In optimized code always deoptimize if we encounter an instance call without type feedback (ICData …

runtime/vm/intermediate_language.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/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/dart_entry.h"
 #include "vm/flow_graph_allocator.h"
 #include "vm/flow_graph_builder.h"
@@ skipping 1757 matching lines @@
   __ Drop(argument_count);
 }
 
 
 LocationSummary* InstanceCallInstr::MakeLocationSummary() const {
   return MakeCallSummary();
 }
 
 
 void InstanceCallInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
-  if (!compiler->is_optimizing()) {
+  if (compiler->is_optimizing()) {
+    if (HasICData() && (ic_data()->NumberOfChecks() > 0)) {
+      compiler->GenerateInstanceCall(deopt_id(),
+                                     token_pos(),
+                                     function_name(),
+                                     ArgumentCount(),
+                                     argument_names(),
+                                     checked_argument_count(),
+                                     locs());
+    } else {
+      Label* deopt =
+          compiler->AddDeoptStub(deopt_id(), kDeoptInstanceCallNoICData);
+      __ jmp(deopt);
+    }
+  } else {
     compiler->AddCurrentDescriptor(PcDescriptors::kDeoptBefore,
                                    deopt_id(),
                                    token_pos());
+    compiler->GenerateInstanceCall(deopt_id(),
+                                   token_pos(),
+                                   function_name(),
+                                   ArgumentCount(),
+                                   argument_names(),
+                                   checked_argument_count(),
+                                   locs());
   }
-  compiler->GenerateInstanceCall(deopt_id(),
-                                 token_pos(),
-                                 function_name(),
-                                 ArgumentCount(),
-                                 argument_names(),
-                                 checked_argument_count(),
-                                 locs());
 }
 
 
 LocationSummary* StaticCallInstr::MakeLocationSummary() const {
   return MakeCallSummary();
 }
 
 
 void StaticCallInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
   compiler->GenerateStaticCall(deopt_id(),
@@ skipping 354 matching lines @@
     new_max = new_max.Clamp();
   }
 
   return Range::Update(&range_, new_min, new_max);
 }
 
 
 #undef __
 
 }  // namespace dart