Propagate this-specialization to regular (megamorphic) calls

runtime/vm/intermediate_language.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/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/bootstrap.h"
 #include "vm/compiler.h"
 #include "vm/constant_propagator.h"
@@ skipping 3174 matching lines @@
   } else if (is_integer) {
     return Type::IntType();
   } else if (is_double) {
     return Type::Double();
   }
 
   return Type::null();
 }
 
 
+Definition* InstanceCallInstr::Canonicalize(FlowGraph* flow_graph) {
+  const intptr_t receiver_cid = PushArgumentAt(0)->value()->Type()->ToCid();
+
+  if (!HasICData()) return this;
+
+  const ICData& new_ic_data =
+      FlowGraphCompiler::TrySpecializeICDataByReceiverCid(*ic_data(),
+                                                          receiver_cid);
+  if (new_ic_data.raw() == ic_data()->raw()) {
+    // No specialization.
+    return this;
+  }
+
+  const bool with_checks = false;
+  const bool complete = false;
+  PolymorphicInstanceCallInstr* specialized = new PolymorphicInstanceCallInstr(
+      this, new_ic_data, with_checks, complete);
+  flow_graph->InsertBefore(this, specialized, env(), FlowGraph::kValue);
+  return specialized;
+}
+
+
 Definition* PolymorphicInstanceCallInstr::Canonicalize(FlowGraph* flow_graph) {
   if (!HasSingleRecognizedTarget() || with_checks()) {
     return this;
   }
 
   const Function& target = Function::Handle(ic_data().GetTargetAt(0));
   if (target.recognized_kind() == MethodRecognizer::kObjectRuntimeType) {
     const AbstractType& type =
         AbstractType::Handle(ComputeRuntimeType(ic_data()));
     if (!type.IsNull()) {
@@ skipping 731 matching lines @@
   set_native_c_function(native_function);
   function().SetIsNativeAutoSetupScope(auto_setup_scope);
   Dart_NativeEntryResolver resolver = library.native_entry_resolver();
   bool is_bootstrap_native = Bootstrap::IsBootstapResolver(resolver);
   set_is_bootstrap_native(is_bootstrap_native);
 }
 
 #undef __
 
 }  // namespace dart