Use CHA to eliminate checks for calls on receiver of caller: check that there can be only one targe…

runtime/vm/flow_graph_optimizer.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/flow_graph_optimizer.h"
 
 #include "vm/bit_vector.h"
 #include "vm/cha.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/hash_map.h"
@@ skipping 668 matching lines @@
     }
     if ((op_kind == Token::kGET) && TryInlineInstanceGetter(instr)) {
       return;
     }
     if ((op_kind == Token::kSET) && TryInlineInstanceSetter(instr)) {
       return;
     }
     if (TryInlineInstanceMethod(instr)) {
       return;
     }
+    const ICData& unary_checks =
+        ICData::ZoneHandle(instr->ic_data()->AsUnaryClassChecks());
+    if (FLAG_use_cha) {
+      // Check if receiver can have only one target, in which case
+      // we emit call without class checks.
+      Definition* receiver = instr->ArgumentAt(0)->value()->definition();
+      ASSERT(receiver != NULL);
+      const Function& function = flow_graph_->parsed_function().function();
+      if (function.IsDynamicFunction() &&
+          receiver->IsParameter() &&
+          (receiver->AsParameter()->index() == 0)) {
+        intptr_t static_receiver_cid = Class::Handle(function.Owner()).id();
+        ZoneGrowableArray<intptr_t>* subclass_cids =
+            CHA::GetSubclassIdsOf(static_receiver_cid);
+        ZoneGrowableArray<Function*>* overriding_functions =
+            CHA::GetNamedInstanceFunctionsOf(*subclass_cids,
+                                             instr->function_name());
+        if (overriding_functions->is_empty()) {
+          const bool call_with_checks = false;
+          PolymorphicInstanceCallInstr* call =
+              new PolymorphicInstanceCallInstr(instr, unary_checks,
+                                               call_with_checks);
+          instr->ReplaceWith(call, current_iterator());
+          return;
+        }
+      }
+    }
     const intptr_t kMaxChecks = 4;
     if (instr->ic_data()->NumberOfChecks() <= kMaxChecks) {
-      const ICData& unary_checks =
-          ICData::ZoneHandle(instr->ic_data()->AsUnaryClassChecks());
       bool call_with_checks;
       // TODO(srdjan): Add check class instr for mixed smi/non-smi.
       if (HasOneTarget(unary_checks) &&
           (unary_checks.GetReceiverClassIdAt(0) != kSmiCid)) {
         // Type propagation has not run yet, we cannot eliminate the check.
         AddCheckClass(instr, instr->ArgumentAt(0)->value()->Copy());
         // Call can still deoptimize, do not detach environment from instr.
         call_with_checks = false;
       } else {
         call_with_checks = true;
@@ skipping 599 matching lines @@
       DirectChainedHashMap<Definition*> child_map(*map);  // Copy map.
       OptimizeRecursive(child, &child_map);
     } else {
       OptimizeRecursive(child, map);  // Reuse map for the last child.
     }
   }
 }
 
 
 }  // namespace dart