AOT: Use propagated type when specializing single target calls.

runtime/vm/aot_optimizer.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/aot_optimizer.h"
 
 #include "vm/bit_vector.h"
 #include "vm/branch_optimizer.h"
 #include "vm/cha.h"
 #include "vm/compiler.h"
@@ skipping 1815 matching lines @@
           new (Z) PolymorphicInstanceCallInstr(instr, ic_data,
                                                /* with_checks = */ false,
                                                /* complete = */ true);
       instr->ReplaceWith(call, current_iterator());
       return;
     }
   }
 
   Definition* callee_receiver = instr->ArgumentAt(0);
   const Function& function = flow_graph_->function();
+  Class& receiver_class = Class::Handle(Z);
+
   if (function.IsDynamicFunction() &&
       flow_graph_->IsReceiver(callee_receiver)) {
     // Call receiver is method receiver.
-    Class& receiver_class = Class::Handle(Z, function.Owner());
-
+    receiver_class = function.Owner();
+  } else {
+    CompileType* type = instr->ArgumentAt(0)->Type();
+    if (type->ToAbstractType()->IsType() &&
+        !type->ToAbstractType()->IsDynamicType() && !type->is_nullable()) {
+      receiver_class = type->ToAbstractType()->type_class();
+      if (receiver_class.is_implemented()) {
+        receiver_class = Class::null();
+      }
+    }
+  }
+  if (!receiver_class.IsNull()) {
     GrowableArray<intptr_t> class_ids(6);
     if (thread()->cha()->ConcreteSubclasses(receiver_class, &class_ids)) {
       // First check if all subclasses end up calling the same method.
       // If this is the case we will replace instance call with a direct
       // static call.
       // Otherwise we will try to create ICData that contains all possible
       // targets with appropriate checks.
       Function& single_target = Function::Handle(Z);
       ICData& ic_data = ICData::Handle(Z);
 
@@ skipping 298 matching lines @@
                                   FlowGraph::kEffect);
         current_iterator()->RemoveCurrentFromGraph();
       }
     }
   }
 }
 
 #endif  // DART_PRECOMPILER
 
 }  // namespace dart