Inlining of calls with optional parameters.

runtime/vm/flow_graph.h

 // 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.
 
 #ifndef VM_FLOW_GRAPH_H_
 #define VM_FLOW_GRAPH_H_
 
 #include "vm/growable_array.h"
 #include "vm/parser.h"
 
 namespace dart {
 
 class BlockEntryInstr;
+class ConstantInstr;
 class Definition;
 class FlowGraphBuilder;
 class GraphEntryInstr;
 class PhiInstr;
 class ReturnInstr;
 
 class BlockIterator : public ValueObject {
  public:
   explicit BlockIterator(const GrowableArray<BlockEntryInstr*>& block_order)
       : block_order_(block_order), current_(0) { }
@@ skipping 73 matching lines @@
     return graph_entry_;
   }
 
   ZoneGrowableArray<ReturnInstr*>* exits() const { return exits_; }
   void set_exits(ZoneGrowableArray<ReturnInstr*>* exits) { exits_ = exits; }
 
   intptr_t alloc_ssa_temp_index() { return current_ssa_temp_index_++; }
 
   intptr_t InstructionCount() const;
 
+  ConstantInstr* AddConstantToInitialDefinitions(const Object& object);
+
   // Operations on the flow graph.
-  void ComputeSSA(intptr_t next_virtual_register_number);
+  void ComputeSSA(intptr_t next_virtual_register_number,
+                  GrowableArray<Definition*>* inlining_parameters);
   void ComputeUseLists();
 
   // Finds natural loops in the flow graph and attaches a list of loop
   // body blocks for each loop header.
   void ComputeLoops(GrowableArray<BlockEntryInstr*>* loop_headers);
 
   void InlineCall(Definition* call, FlowGraph* callee_graph);
   void RepairGraphAfterInlining();
 
   // TODO(zerny): Once the SSA is feature complete this should be removed.
@@ skipping 12 matching lines @@
 
   // SSA transformation methods and fields.
   void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier);
 
   void CompressPath(
       intptr_t start_index,
       intptr_t current_index,
       GrowableArray<intptr_t>* parent,
       GrowableArray<intptr_t>* label);
 
-  void Rename(GrowableArray<PhiInstr*>* live_phis);
+  void Rename(GrowableArray<PhiInstr*>* live_phis,
+              GrowableArray<Definition*>* inlining_parameters);
   void RenameRecursive(
       BlockEntryInstr* block_entry,
       GrowableArray<Definition*>* env,
       GrowableArray<PhiInstr*>* live_phis);
 
   void InsertPhis(
       const GrowableArray<BlockEntryInstr*>& preorder,
       const GrowableArray<BitVector*>& assigned_vars,
       const GrowableArray<BitVector*>& dom_frontier);
 
@@ skipping 19 matching lines @@
   GrowableArray<BlockEntryInstr*> preorder_;
   GrowableArray<BlockEntryInstr*> postorder_;
   GrowableArray<BlockEntryInstr*> reverse_postorder_;
   ZoneGrowableArray<ReturnInstr*>* exits_;
   bool invalid_dominator_tree_;
 };
 
 }  // namespace dart
 
 #endif  // VM_FLOW_GRAPH_H_