Initial support for polymorphic inlining.

runtime/vm/flow_graph.h

 // Copyright (c) 2013, 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/intermediate_language.h"
 #include "vm/parser.h"
@@ skipping 80 matching lines @@
   void set_current_ssa_temp_index(intptr_t index) {
     current_ssa_temp_index_ = index;
   }
 
   intptr_t max_virtual_register_number() const {
     return current_ssa_temp_index();
   }
 
   intptr_t max_block_id() const { return max_block_id_; }
   void set_max_block_id(intptr_t id) { max_block_id_ = id; }
+  intptr_t allocate_block_id() { return ++max_block_id_; }
 
   GraphEntryInstr* graph_entry() const {
     return graph_entry_;
   }
 
   ConstantInstr* constant_null() const {
     return constant_null_;
   }
 
   intptr_t alloc_ssa_temp_index() { return current_ssa_temp_index_++; }
@@ skipping 28 matching lines @@
   bool VerifyUseLists();
 #endif  // DEBUG
 
   void DiscoverBlocks();
 
   // Compute information about effects occuring in different blocks and
   // discover side-effect free paths.
   void ComputeBlockEffects();
   BlockEffects* block_effects() const { return block_effects_; }
 
+  // Remove the redefinition instructions inserted to inhibit code motion.
+  void RemoveRedefinitions();
+
  private:
   friend class IfConverter;
   friend class BranchSimplifier;
   friend class ConstantPropagator;
 
   // SSA transformation methods and fields.
   void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier);
 
   void CompressPath(
       intptr_t start_index,
@@ skipping 140 matching lines @@
   // Per block sets of available blocks. Block A is available at the block B if
   // and only if A dominates B and all paths from A to B are free of side
   // effects.
   GrowableArray<BitVector*> available_at_;
 };
 
 
 }  // namespace dart
 
 #endif  // VM_FLOW_GRAPH_H_