Initial support for polymorphic inlining.

runtime/vm/flow_graph_inliner.cc

 // 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.
 
 #include "vm/flow_graph_inliner.h"
 
 #include "vm/compiler.h"
 #include "vm/flags.h"
 #include "vm/flow_graph.h"
 #include "vm/flow_graph_builder.h"
+#include "vm/flow_graph_compiler.h"
 #include "vm/flow_graph_optimizer.h"
 #include "vm/il_printer.h"
 #include "vm/intrinsifier.h"
 #include "vm/longjump.h"
 #include "vm/object.h"
 #include "vm/object_store.h"
 #include "vm/timer.h"
 
 namespace dart {
 
@@ skipping 262 matching lines @@
  private:
   GrowableArray<StaticCallInstr*> static_calls_;
   GrowableArray<ClosureCallInstr*> closure_calls_;
   GrowableArray<InstanceCallInfo> instance_calls_;
   GrowableArray<intptr_t> skip_static_call_deopt_ids_;
 
   DISALLOW_COPY_AND_ASSIGN(CallSites);
 };
 
 
+struct InlinedCallData {
+ public:

[Florian Schneider, 2013/05/03 10:41:36]

struct has public as default.

[Kevin Millikin (Google), 2013/05/03 11:47:38]

I know, but it certainly doesn't hurt.

+  InlinedCallData(Definition* call, GrowableArray<Value*>* arguments)
+      : call(call),
+        arguments(arguments),
+        callee_graph(NULL),
+        parameter_stubs(NULL),
+        exit_collector(NULL) { }
+
+  Definition* call;
+  GrowableArray<Value*>* arguments;
+  FlowGraph* callee_graph;
+  ZoneGrowableArray<Definition*>* parameter_stubs;
+  InlineExitCollector* exit_collector;
+};
+
+
+class CallSiteInliner;
+
+class PolymorphicInliner : public ValueObject {
+ public:
+  PolymorphicInliner(CallSiteInliner* owner,
+                     PolymorphicInstanceCallInstr* call);
+
+  void Inline();
+
+ private:
+  bool CheckInlinedDuplicate(const Function& target);
+  bool CheckNonInlinedDuplicate(const Function& target);
+
+  bool TryInlining(const Function& target);
+
+  TargetEntryInstr* BuildDecisionGraph();
+
+  CallSiteInliner* const owner_;
+  PolymorphicInstanceCallInstr* const call_;
+  const intptr_t num_variants_;
+  GrowableArray<CidTarget> variants_;
+
+  GrowableArray<CidTarget> inlined_variants_;
+  GrowableArray<CidTarget> non_inlined_variants_;
+  GrowableArray<BlockEntryInstr*> inlined_entries_;
+  InlineExitCollector* exit_collector_;
+};
+
+
 class CallSiteInliner : public ValueObject {
  public:
   CallSiteInliner(FlowGraph* flow_graph, GrowableArray<Field*>* guarded_fields)
       : caller_graph_(flow_graph),
         inlined_(false),
         initial_size_(flow_graph->InstructionCount()),
         inlined_size_(0),
         inlining_depth_(1),
         collected_call_sites_(NULL),
         inlining_call_sites_(NULL),
         function_cache_(),
         guarded_fields_(guarded_fields) { }
 
+  FlowGraph* caller_graph() const { return caller_graph_; }
+
   // Inlining heuristics based on Cooper et al. 2008.
   bool ShouldWeInline(intptr_t instr_count,
                       intptr_t call_site_count,
                       intptr_t const_arg_count) {
     if (instr_count <= FLAG_inlining_size_threshold) {
       return true;
     }
     if (call_site_count <= FLAG_inlining_callee_call_sites_threshold) {
       return true;
     }
@@ skipping 35 matching lines @@
     inlining_call_sites_ = NULL;
   }
 
   bool inlined() const { return inlined_; }
 
   double GrowthFactor() const {
     return static_cast<double>(inlined_size_) /
         static_cast<double>(initial_size_);
   }
 
- private:
-  struct InlinedCallData {
-   public:
-    InlinedCallData(Definition* call, GrowableArray<Value*>* arguments)
-        : call(call),
-          arguments(arguments),
-          callee_graph(NULL),
-          parameter_stubs(NULL),
-          exit_collector(NULL) { }
-
-    Definition* call;
-    GrowableArray<Value*>* arguments;
-    FlowGraph* callee_graph;
-    ZoneGrowableArray<Definition*>* parameter_stubs;
-    InlineExitCollector* exit_collector;
-  };
-
   bool TryInlining(const Function& function,
                    const Array& argument_names,
                    InlinedCallData* call_data) {
     TRACE_INLINING(OS::Print("  => %s (deopt count %d)\n",
                              function.ToCString(),
                              function.deoptimization_counter()));
 
     // Abort if the inlinable bit on the function is low.
     if (!function.IsInlineable()) {
       TRACE_INLINING(OS::Print("     Bailout: not inlinable\n"));
@@ skipping 207 matching lines @@
       error = isolate->object_store()->sticky_error();
       isolate->object_store()->clear_sticky_error();
       isolate->set_long_jump_base(base);
       isolate->set_deopt_id(prev_deopt_id);
       isolate->set_ic_data_array(prev_ic_data.raw());
       TRACE_INLINING(OS::Print("     Bailout: %s\n", error.ToErrorCString()));
       return false;
     }
   }
 
+ private:
   void InlineCall(InlinedCallData* call_data) {
     TimerScope timer(FLAG_compiler_stats,
                      &CompilerStats::graphinliner_subst_timer,
                      Isolate::Current());
 
     // Plug result in the caller graph.
     FlowGraph* callee_graph = call_data->callee_graph;
     InlineExitCollector* exit_collector = call_data->exit_collector;
     exit_collector->PrepareGraphs(callee_graph);
     exit_collector->ReplaceCall(callee_graph->graph_entry()->normal_entry());
@@ skipping 116 matching lines @@
         InlineCall(&call_data);
       }
     }
   }
 
   void InlineInstanceCalls() {
     const GrowableArray<CallSites::InstanceCallInfo>& call_info =
         inlining_call_sites_->instance_calls();
     TRACE_INLINING(OS::Print("  Polymorphic Instance Calls (%d)\n",
                              call_info.length()));
-    for (intptr_t i = 0; i < call_info.length(); ++i) {
-      PolymorphicInstanceCallInstr* call = call_info[i].call;
+    for (intptr_t call_idx = 0; call_idx < call_info.length(); ++call_idx) {
+      PolymorphicInstanceCallInstr* call = call_info[call_idx].call;
+      if (call->with_checks()) {
+        PolymorphicInliner inliner(this, call);
+        inliner.Inline();
+        continue;
+      }
+
       const ICData& ic_data = call->ic_data();
       const Function& target = Function::ZoneHandle(ic_data.GetTargetAt(0));
-      if (call->with_checks()) {
-        TRACE_INLINING(OS::Print(
-            "  => %s (deopt count %d)\n     Bailout: %"Pd" checks\n",
-            target.ToCString(),
-            target.deoptimization_counter(),
-            ic_data.NumberOfChecks()));
-        continue;
-      }
-      if ((call_info[i].ratio * 100) < FLAG_inlining_hotness) {
+      if ((call_info[call_idx].ratio * 100) < FLAG_inlining_hotness) {
         TRACE_INLINING(OS::Print(
             "  => %s (deopt count %d)\n     Bailout: cold %f\n",
             target.ToCString(),
             target.deoptimization_counter(),
-            call_info[i].ratio));
+            call_info[call_idx].ratio));
         continue;
       }
       GrowableArray<Value*> arguments(call->ArgumentCount());
       for (int arg_i = 0; arg_i < call->ArgumentCount(); ++arg_i) {
         arguments.Add(call->PushArgumentAt(arg_i)->value());
       }
       InlinedCallData call_data(call, &arguments);
       if (TryInlining(target,
                       call->instance_call()->argument_names(),
                       &call_data)) {
@@ skipping 99 matching lines @@
   intptr_t inlining_depth_;
   CallSites* collected_call_sites_;
   CallSites* inlining_call_sites_;
   GrowableArray<ParsedFunction*> function_cache_;
   GrowableArray<Field*>* guarded_fields_;
 
   DISALLOW_COPY_AND_ASSIGN(CallSiteInliner);
 };
 
 
+PolymorphicInliner::PolymorphicInliner(CallSiteInliner* owner,
+                                       PolymorphicInstanceCallInstr* call)
+    : owner_(owner),
+      call_(call),
+      num_variants_(call->ic_data().NumberOfChecks()),
+      variants_(num_variants_),
+      inlined_variants_(num_variants_),
+      non_inlined_variants_(num_variants_),
+      inlined_entries_(num_variants_),
+      exit_collector_(new InlineExitCollector(owner->caller_graph(), call)) {
+}
+
+
+// Inlined bodies are shared if two different class ids have the same
+// inlined target.  This sharing is represented by using three different
+// types of entries in the inlined_entries_ array:
+//
+//   * GraphEntry: the inlined body is not shared.
+//
+//   * TargetEntry: the inlined body is shared and this is the first variant.
+//
+//   * JoinEntry: the inlined body is shared and this is a subsequent variant.
+bool PolymorphicInliner::CheckInlinedDuplicate(const Function& target) {
+  for (intptr_t i = 0; i < inlined_variants_.length(); ++i) {
+    if (target.raw() == inlined_variants_[i].target->raw()) {
+      // The call target is shared with a previous inlined variant.  Share
+      // the graph.  This requires a join block at the entry, and edge-split
+      // form requires a target for each branch.
+      //
+      // Represent the sharing by recording a fresh target for the first
+      // variant and the shared join for all later variants.
+      if (inlined_entries_[i]->IsGraphEntry()) {
+        // Convert the old target entry to a new join entry.
+        TargetEntryInstr* old_target =
+            inlined_entries_[i]->AsGraphEntry()->normal_entry();
+        JoinEntryInstr* new_join = BranchSimplifier::ToJoinEntry(old_target);
+        for (intptr_t j = 0; j < old_target->dominated_blocks().length(); ++j) {
+          BlockEntryInstr* block = old_target->dominated_blocks()[j];
+          block->set_dominator(new_join);

[Florian Schneider, 2013/05/03 10:41:36]

Since set_dominator is always coupled with a following AddDominatedBlock,
consider adding a function that does both to BlockEntryInstr.

[Kevin Millikin (Google), 2013/05/03 11:47:38]

OK.

+          new_join->AddDominatedBlock(block);
+        }
+        // Create a new target with the join as unconditional successor.
+        TargetEntryInstr* new_target =
+            new TargetEntryInstr(owner_->caller_graph()->allocate_block_id(),
+                                 old_target->try_index());
+        new_target->InheritDeoptTarget(new_join);
+        GotoInstr* new_goto = new GotoInstr(new_join);
+        new_goto->InheritDeoptTarget(new_join);
+        new_target->LinkTo(new_goto);
+        new_target->set_last_instruction(new_goto);
+        new_join->predecessors_.Add(new_target);
+
+        // Record the new target for the first variant.
+        inlined_entries_[i] = new_target;
+      }
+      ASSERT(inlined_entries_[i]->IsTargetEntry());
+      // Record the shared join for this variant.
+      BlockEntryInstr* join =
+          inlined_entries_[i]->last_instruction()->SuccessorAt(0);
+      ASSERT(join->IsJoinEntry());
+      inlined_entries_.Add(join);
+      return true;
+    }
+  }
+
+  return false;
+}
+
+
+bool PolymorphicInliner::CheckNonInlinedDuplicate(const Function& target) {

[srdjan, 2013/05/02 20:06:30]

Maybe give it a name that better suits a Boolean result.

[Kevin Millikin (Google), 2013/05/03 11:47:38]

Suggestions?

I called it this way to parallel CheckInlinedDuplicate.  And I called that one
that way because the emphasis should be on the computation (and mutation) that
it does and not on the value.

+  for (intptr_t i = 0; i < non_inlined_variants_.length(); ++i) {
+    if (target.raw() == non_inlined_variants_[i].target->raw()) {
+      return true;
+    }
+  }
+
+  return false;
+}
+
+
+bool PolymorphicInliner::TryInlining(const Function& target) {
+  GrowableArray<Value*> arguments(call_->ArgumentCount());
+  for (int i = 0; i < call_->ArgumentCount(); ++i) {
+    arguments.Add(call_->PushArgumentAt(i)->value());
+  }
+  InlinedCallData call_data(call_, &arguments);
+  if (!owner_->TryInlining(target,
+                           call_->instance_call()->argument_names(),
+                           &call_data)) {
+    return false;
+  }
+
+  FlowGraph* callee_graph = call_data.callee_graph;
+  call_data.exit_collector->PrepareGraphs(callee_graph);
+  inlined_entries_.Add(callee_graph->graph_entry());
+  exit_collector_->Union(call_data.exit_collector);
+
+  // Replace parameter stubs and constants.  Replace the receiver argument
+  // with a redefinition to prevent code from the inlined body from being
+  // hoisted above the inlined entry.

[srdjan, 2013/05/02 20:06:30]

Could you briefly explain (as comment to the CL) situation where hoisting is
damaging?

+  ASSERT(arguments.length() > 0);
+  Value* actual = arguments[0];
+  RedefinitionInstr* redefinition = new RedefinitionInstr(actual->Copy());
+  redefinition->set_ssa_temp_index(
+      owner_->caller_graph()->alloc_ssa_temp_index());
+  redefinition->InsertAfter(callee_graph->graph_entry()->normal_entry());
+  Definition* stub = (*call_data.parameter_stubs)[0];
+  stub->ReplaceUsesWith(redefinition);
+
+  for (intptr_t i = 1; i < arguments.length(); ++i) {
+    actual = arguments[i];
+    if (actual != NULL) {
+      stub = (*call_data.parameter_stubs)[i];
+      stub->ReplaceUsesWith(actual->definition());
+    }
+  }
+  GrowableArray<Definition*>* defns =
+      callee_graph->graph_entry()->initial_definitions();
+  for (intptr_t i = 0; i < defns->length(); ++i) {
+    ConstantInstr* constant = (*defns)[i]->AsConstant();
+    if ((constant != NULL) && constant->HasUses()) {
+      constant->ReplaceUsesWith(
+          owner_->caller_graph()->AddConstantToInitialDefinitions(
+              constant->value()));
+    }
+  }
+  return true;
+}
+
+
+// Build a DAG to dispatch to the inlined function bodies.  Load the class
+// id of the receiver and make explicit comparisons for each inlined body,
+// in frequency order.  If all variants are inlined, the entry to the last
+// inlined body is guarded by a CheckClassId instruction which can deopt.
+// If not all variants are inlined, we add a PolymorphicInstanceCall
+// instruction to handle the non-inlined variants.
+TargetEntryInstr* PolymorphicInliner::BuildDecisionGraph() {
+  // Start with a fresh target entry.
+  TargetEntryInstr* entry =
+      new TargetEntryInstr(owner_->caller_graph()->allocate_block_id(),
+                           call_->GetBlock()->try_index());
+  entry->InheritDeoptTarget(call_);
+
+  // This function uses a cursor (a pointer to the 'current' instruction) to
+  // build the graph.  The next instruction will be inserted after the
+  // cursor.
+  TargetEntryInstr* current_block = entry;
+  Instruction* cursor = entry;
+
+  Definition* receiver = call_->ArgumentAt(0);
+  // There are at least two variants including non-inlined ones, so we have
+  // at least one branch on the class id.
+  LoadClassIdInstr* load_cid = new LoadClassIdInstr(new Value(receiver));
+  load_cid->set_ssa_temp_index(owner_->caller_graph()->alloc_ssa_temp_index());
+  receiver->AddInputUse(load_cid->object());
+  cursor->LinkTo(load_cid);

[Florian Schneider, 2013/05/03 10:41:36]

This pattern of appending to the cursor is used a couple of times: You could use
a helper that does AddInputUse, LinkTo and possibly updating the cursor :

load_cid->AppendTo(&cursor);

[Kevin Millikin (Google), 2013/05/03 11:47:38]

I'll come up with something.

+  cursor = load_cid;
+  for (intptr_t i = 0; i < inlined_variants_.length(); ++i) {
+    // 1. Guard the body with a class id check.
+    if ((i == (inlined_variants_.length() - 1)) &&
+        non_inlined_variants_.is_empty()) {
+      // If it is the last variant use a check class or check smi
+      // instruction which can deoptimize, followed unconditionally by the
+      // body.
+      if (inlined_variants_[i].cid == kSmiCid) {
+        CheckSmiInstr* check_smi =
+            new CheckSmiInstr(new Value(receiver), call_->deopt_id());
+        check_smi->InheritDeoptTarget(call_);
+        receiver->AddInputUse(check_smi->value());
+        cursor->LinkTo(check_smi);
+        cursor = check_smi;
+      } else {
+        const ICData& old_checks = call_->ic_data();
+        const ICData& new_checks = ICData::ZoneHandle(
+            ICData::New(Function::Handle(old_checks.function()),
+                        String::Handle(old_checks.target_name()),
+                        old_checks.deopt_id(),
+                        1));
+        new_checks.AddReceiverCheck(inlined_variants_[i].cid,
+                                    *inlined_variants_[i].target);
+        CheckClassInstr* check_class =
+            new CheckClassInstr(new Value(receiver),
+                                call_->deopt_id(),
+                                new_checks);
+        check_class->InheritDeoptTarget(call_);
+        receiver->AddInputUse(check_class->value());
+        cursor->LinkTo(check_class);
+        cursor = check_class;
+      }
+      // The next instruction is the first instruction of the inlined body.
+      // Handle the two possible cases (unshared and shared subsequent
+      // predecessors) separately.
+      BlockEntryInstr* callee_entry = inlined_entries_[i];
+      if (callee_entry->IsGraphEntry()) {
+        // Unshared.  Graft the normal entry on after the check class
+        // instruction.
+        TargetEntryInstr* target =
+            callee_entry->AsGraphEntry()->normal_entry();
+        cursor->LinkTo(target->next());
+        current_block->set_last_instruction(target->last_instruction());
+        target->ReplaceAsPredecessorWith(current_block);
+        // All blocks that were dominated by the normal entry are now
+        // dominated by the current block.
+        for (intptr_t j = 0;
+             j < target->dominated_blocks().length();
+             ++j) {
+          BlockEntryInstr* block = target->dominated_blocks()[j];
+          block->set_dominator(current_block);
+          current_block->AddDominatedBlock(block);
+        }
+      } else if (callee_entry->IsJoinEntry()) {
+        // Shared inlined body and this is a subsequent entry.  We have
+        // already constructed a join and set its dominator.  Add a jump to
+        // the join.
+        JoinEntryInstr* join = callee_entry->AsJoinEntry();
+        ASSERT(join->dominator() != NULL);
+        GotoInstr* goto_join = new GotoInstr(join);
+        goto_join->InheritDeoptTarget(join);
+        cursor->LinkTo(goto_join);
+        current_block->set_last_instruction(goto_join);
+      } else {
+        // There is no possibility of a TargetEntry (the first entry to a
+        // shared inlined body) because this is the last inlined entry.
+        UNREACHABLE();
+      }
+      cursor = NULL;
+    } else {
+      // For all variants except the last, use a branch on the loaded class
+      // id.
+      const Smi& cid = Smi::ZoneHandle(Smi::New(inlined_variants_[i].cid));
+      ConstantInstr* cid_constant = new ConstantInstr(cid);
+      cid_constant->set_ssa_temp_index(
+          owner_->caller_graph()->alloc_ssa_temp_index());
+      StrictCompareInstr* compare =
+          new StrictCompareInstr(Token::kEQ_STRICT,
+                                 new Value(load_cid),
+                                 new Value(cid_constant));
+      load_cid->AddInputUse(compare->left());
+      cid_constant->AddInputUse(compare->right());
+      BranchInstr* branch = new BranchInstr(compare);
+      branch->InheritDeoptTarget(call_);
+      cursor->LinkTo(cid_constant);
+      cid_constant->LinkTo(branch);
+      current_block->set_last_instruction(branch);
+
+      // 2. Handle a match by linking to the inlined body.  There are three
+      // cases (unshared, shared first predecessor, and shared subsequent
+      // predecessors).
+      BlockEntryInstr* callee_entry = inlined_entries_[i];
+      TargetEntryInstr* true_target = NULL;
+      if (callee_entry->IsGraphEntry()) {
+        // Unshared.
+        true_target = callee_entry->AsGraphEntry()->normal_entry();
+      } else if (callee_entry->IsTargetEntry()) {
+        // Shared inlined body and this is the first entry.  We have already
+        // constructed a join and this target jumps to it.
+        true_target = callee_entry->AsTargetEntry();
+        BlockEntryInstr* join =
+            true_target->last_instruction()->SuccessorAt(0);
+        join->set_dominator(current_block);
+        current_block->AddDominatedBlock(join);
+      } else {
+        // Shared inlined body and this is a subsequent entry.  We have
+        // already constructed a join.  We need a fresh target that jumps to
+        // the join.
+        JoinEntryInstr* join = callee_entry->AsJoinEntry();
+        ASSERT(join != NULL);
+        ASSERT(join->dominator() != NULL);
+        true_target =
+            new TargetEntryInstr(owner_->caller_graph()->allocate_block_id(),
+                                 call_->GetBlock()->try_index());
+        true_target->InheritDeoptTarget(join);
+        GotoInstr* goto_join = new GotoInstr(join);
+        goto_join->InheritDeoptTarget(join);
+        true_target->LinkTo(goto_join);
+        true_target->set_last_instruction(goto_join);
+      }
+      *branch->true_successor_address() = true_target;
+      true_target->set_dominator(current_block);
+      current_block->AddDominatedBlock(true_target);
+
+      // 3. Prepare to handle a match failure on the next iteration or the
+      // fall-through code below for non-inlined variants.
+      TargetEntryInstr* false_target =
+          new TargetEntryInstr(owner_->caller_graph()->allocate_block_id(),
+                               call_->GetBlock()->try_index());
+      false_target->InheritDeoptTarget(call_);
+      *branch->false_successor_address() = false_target;
+      false_target->set_dominator(current_block);
+      current_block->AddDominatedBlock(false_target);
+      cursor = current_block = false_target;
+    }
+  }
+
+  // Handle any non-inlined variants.
+  if (!non_inlined_variants_.is_empty()) {
+    // Move push arguments of the call.
+    for (intptr_t i = 0; i < call_->ArgumentCount(); ++i) {
+      PushArgumentInstr* push = call_->PushArgumentAt(i);
+      push->ReplaceUsesWith(push->value()->definition());
+      push->previous()->LinkTo(push->next());
+      cursor->LinkTo(push);
+      cursor = push;
+    }
+    const ICData& old_checks = call_->ic_data();
+    const ICData& new_checks = ICData::ZoneHandle(
+        ICData::New(Function::Handle(old_checks.function()),
+                    String::Handle(old_checks.target_name()),
+                    old_checks.deopt_id(),
+                    1));

[Florian Schneider, 2013/05/03 10:41:36]

Line-end comment: // Number of args tested.

[Kevin Millikin (Google), 2013/05/03 11:47:38]

OK.

+    for (intptr_t i = 0; i < non_inlined_variants_.length(); ++i) {
+      new_checks.AddReceiverCheck(non_inlined_variants_[i].cid,
+                                  *non_inlined_variants_[i].target,
+                                  non_inlined_variants_[i].count);
+    }
+    PolymorphicInstanceCallInstr* fallback_call =
+        new PolymorphicInstanceCallInstr(call_->instance_call(),
+                                         new_checks,
+                                         true);

[Florian Schneider, 2013/05/03 10:41:36]

// Line-end comment: With checks.

[Kevin Millikin (Google), 2013/05/03 11:47:38]

OK.

+    fallback_call->set_ssa_temp_index(
+        owner_->caller_graph()->alloc_ssa_temp_index());
+    fallback_call->InheritDeoptTarget(call_);
+    ReturnInstr* fallback_return =
+        new ReturnInstr(call_->instance_call()->token_pos(),
+                        new Value(fallback_call));
+    fallback_return->InheritDeoptTargetAfter(call_);
+    fallback_call->AddInputUse(fallback_return->value());
+    cursor->LinkTo(fallback_call);
+    fallback_call->LinkTo(fallback_return);
+    exit_collector_->AddExit(fallback_return);
+  } else {
+    // Remove push arguments of the call.
+    for (intptr_t i = 0; i < call_->ArgumentCount(); ++i) {
+      PushArgumentInstr* push = call_->PushArgumentAt(i);
+      push->ReplaceUsesWith(push->value()->definition());
+      push->RemoveFromGraph();
+    }
+  }
+  return entry;
+}
+
+
+void PolymorphicInliner::Inline() {
+  // Consider the polymorphic variants in order by frequency.
+  FlowGraphCompiler::SortICDataByCount(call_->ic_data(), &variants_);
+  for (intptr_t var_idx = 0; var_idx < variants_.length(); ++var_idx) {
+    const Function& target = *variants_[var_idx].target;
+
+    // First check if this is the same target as an earlier inlined variant.
+    if (CheckInlinedDuplicate(target)) {
+      inlined_variants_.Add(variants_[var_idx]);
+      continue;
+    }
+
+    // Also check if this is the same target as an earlier non-inlined
+    // variant.  If so and since inlining decisions are costly, do not try
+    // to inline this variant.
+    if (CheckNonInlinedDuplicate(target)) {
+      non_inlined_variants_.Add(variants_[var_idx]);
+      continue;
+    }
+
+    // Make an inlining decision.
+    if (TryInlining(target)) {
+      inlined_variants_.Add(variants_[var_idx]);
+    } else {
+      non_inlined_variants_.Add(variants_[var_idx]);
+    }
+  }
+
+  // If there are no inlined variants, leave the call in place.
+  if (inlined_variants_.is_empty()) return;
+
+  // Now build a decision tree (a DAG because of shared inline variants) and
+  // inline it at the call site.
+  TargetEntryInstr* entry = BuildDecisionGraph();
+  exit_collector_->ReplaceCall(entry);
+}
+
+
 void FlowGraphInliner::CollectGraphInfo(FlowGraph* flow_graph) {
   GraphInfoCollector info;
   info.Collect(*flow_graph);
   const Function& function = flow_graph->parsed_function().function();
   function.set_optimized_instruction_count(
     static_cast<uint16_t>(info.instruction_count()));
   function.set_optimized_call_site_count(
     static_cast<uint16_t>(info.call_site_count()));
 }
 
@@ skipping 33 matching lines @@
         OS::Print("After Inlining of %s\n", flow_graph_->
                   parsed_function().function().ToFullyQualifiedCString());
         FlowGraphPrinter printer(*flow_graph_);
         printer.PrintBlocks();
       }
     }
   }
 }
 
 }  // namespace dart