Implement new optional parameters syntax in the vm (issue 4290).

runtime/vm/flow_graph_allocator.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/flow_graph_allocator.h"
 
 #include "vm/bit_vector.h"
 #include "vm/intermediate_language.h"
 #include "vm/il_printer.h"
 #include "vm/flow_graph.h"
@@ skipping 513 matching lines @@
     ParameterInstr* param = val->definition()->AsParameter();
     if (param == NULL) continue;
 
     // Handle the parameters specially.  They are spilled on entry.
     LiveRange* range = GetLiveRange(param->ssa_temp_index());
     range->AddUseInterval(graph_entry->start_pos(), graph_entry->end_pos());
     range->DefineAt(graph_entry->start_pos());
 
     // Assert that copied and non-copied parameters are mutually exclusive.
     // This might change in the future and, if so, the index will be wrong.
-    ASSERT(flow_graph_.copied_parameter_count() == 0 ||
-           flow_graph_.non_copied_parameter_count() == 0);
+    ASSERT((flow_graph_.num_copied_params() == 0) ||
+           (flow_graph_.num_non_copied_params() == 0));
     // Slot index for the leftmost copied parameter is 0.
     intptr_t slot_index = param->index();
     // Slot index for the rightmost fixed parameter is -1.
-    slot_index -= flow_graph_.non_copied_parameter_count();
+    slot_index -= flow_graph_.num_non_copied_params();
 
     range->set_assigned_location(Location::StackSlot(slot_index));
     range->set_spill_slot(Location::StackSlot(slot_index));
-    if (flow_graph_.copied_parameter_count() > 0) {
+    if (flow_graph_.num_copied_params() > 0) {
       ASSERT(spill_slots_.length() == slot_index);
       spill_slots_.Add(range->End());
     }
 
     AssignSafepoints(range);
 
     range->finger()->Initialize(range);
     UsePosition* use =
         range->finger()->FirstRegisterBeneficialUse(graph_entry->start_pos());
     if (use != NULL) {
       LiveRange* tail =
           SplitBetween(range, graph_entry->start_pos(), use->pos());
       // All incoming parameters are tagged.
       CompleteRange(tail, Location::kRegister);
     }
     ConvertAllUses(range);
-    if (flow_graph_.copied_parameter_count() > 0) {
+    if (flow_graph_.num_copied_params() > 0) {
       MarkAsObjectAtSafepoints(range);
     }
   }
 
   // Process global constants.
   ConstantInstr* null_defn = graph_entry->constant_null();
   LiveRange* range = GetLiveRange(null_defn->ssa_temp_index());
   range->AddUseInterval(graph_entry->start_pos(), graph_entry->end_pos());
   range->DefineAt(graph_entry->start_pos());
   range->set_assigned_location(Location::Constant(null_defn->value()));
@@ skipping 1612 matching lines @@
     OS::Print("-- [after ssa allocator] ir [%s] -------------\n",
               function.ToFullyQualifiedCString());
     FlowGraphPrinter printer(flow_graph_, true);
     printer.PrintBlocks();
     OS::Print("----------------------------------------------\n");
   }
 }
 
 
 }  // namespace dart