DBC: Fleshing out the polymorphic instance call instruction

runtime/vm/intermediate_language_dbc.cc

 // Copyright (c) 2016, 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/globals.h"  // Needed here to get TARGET_ARCH_DBC.
 #if defined(TARGET_ARCH_DBC)
 
 #include "vm/intermediate_language.h"
 
 #include "vm/cpu.h"
@@ skipping 216 matching lines @@
   compiler->RecordSafepoint(locs());
   compiler->AddCurrentDescriptor(RawPcDescriptors::kOther,
                                  deopt_id(),
                                  token_pos());
   if (compiler->is_optimizing()) {
     __ Drop1();
   }
 }
 
 
-LocationSummary* PolymorphicInstanceCallInstr::MakeLocationSummary(
-    Zone* zone, bool optimizing) const {
-  return MakeCallSummary(zone);
+EMIT_NATIVE_CODE(PolymorphicInstanceCall,
+                 0, Location::RegisterLocation(0),
+                 LocationSummary::kCall) {
+  ASSERT(ic_data().NumArgsTested() == 1);
+  const Array& arguments_descriptor =
+      Array::Handle(ArgumentsDescriptor::New(
+          instance_call()->ArgumentCount(),
+          instance_call()->argument_names()));
+  const intptr_t argdesc_kidx = __ AddConstant(arguments_descriptor);
+
+  // Push the target onto the stack.
+  if (with_checks()) {
+    const intptr_t may_be_smi =
+        (ic_data().GetReceiverClassIdAt(0) == kSmiCid) ? 1 : 0;
+    GrowableArray<CidTarget> sorted_ic_data;
+    FlowGraphCompiler::SortICDataByCount(ic_data(),
+                                         &sorted_ic_data,
+                                         /* drop_smi = */ true);
+    const intptr_t sorted_length = sorted_ic_data.length();
+    if (!Utils::IsUint(8, sorted_length)) {
+      Unsupported(compiler);
+      UNREACHABLE();
+    }
+    __ PushPolymorphicInstanceCall(
+        instance_call()->ArgumentCount(), sorted_length + may_be_smi);
+    if (may_be_smi == 1) {
+      const Function& target = Function::ZoneHandle(
+          compiler->zone(), ic_data().GetTargetAt(0));
+      __ Nop(compiler->ToEmbeddableCid(kSmiCid, this));
+      __ Nop(__ AddConstant(target));
+    }
+    for (intptr_t i = 0; i < sorted_length; i++) {
+      const Function& target = *sorted_ic_data[i].target;
+      __ Nop(compiler->ToEmbeddableCid(sorted_ic_data[i].cid, this));
+      __ Nop(__ AddConstant(target));
+    }
+    compiler->EmitDeopt(
+        deopt_id(), ICData::kDeoptPolymorphicInstanceCallTestFail, 0);
+  } else {
+    ASSERT(ic_data().HasOneTarget());
+    const Function& target = Function::ZoneHandle(ic_data().GetTargetAt(0));
+    __ PushConstant(target);
+  }
+
+  // Call the function.
+  __ StaticCall(instance_call()->ArgumentCount(), argdesc_kidx);
+  compiler->AddCurrentDescriptor(RawPcDescriptors::kOther,
+      deopt_id(), instance_call()->token_pos());
+  compiler->RecordAfterCall(this);
+  __ PopLocal(locs()->out(0).reg());
 }
 
 
-void PolymorphicInstanceCallInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
-  ASSERT(ic_data().NumArgsTested() == 1);
-  if (!with_checks()) {
-    ASSERT(ic_data().HasOneTarget());
-    const Function& target = Function::ZoneHandle(ic_data().GetTargetAt(0));
-    const Array& arguments_descriptor =
-        Array::Handle(ArgumentsDescriptor::New(
-            instance_call()->ArgumentCount(),
-            instance_call()->argument_names()));
-    const intptr_t argdesc_kidx = __ AddConstant(arguments_descriptor);
-
-    __ PushConstant(target);
-    __ StaticCall(instance_call()->ArgumentCount(), argdesc_kidx);
-    compiler->AddCurrentDescriptor(RawPcDescriptors::kOther,
-        deopt_id(), instance_call()->token_pos());
-    compiler->RecordAfterCall(this);
-    __ PopLocal(locs()->out(0).reg());
-    return;
-  }
-  Unsupported(compiler);
-  UNREACHABLE();
-}
-
-
 EMIT_NATIVE_CODE(Stop, 0) {
   __ Stop(message());
 }
 
 
 EMIT_NATIVE_CODE(CheckStackOverflow,
                  0, Location::NoLocation(),
                  LocationSummary::kCall) {
   __ CheckStack();
   compiler->AddCurrentDescriptor(RawPcDescriptors::kOther,
@@ skipping 862 matching lines @@
       return kTagged;
   }
 }
 
 
 void Environment::DropArguments(intptr_t argc) {
 #if defined(DEBUG)
     // Check that we are in the backend - register allocation has been run.
     ASSERT(locations_ != NULL);
 
-    // Check that we are only dropping PushArgument instructions from the
+    // Check that we are only dropping a valid number of instructions from the
     // environment.
     ASSERT(argc <= values_.length());
-    for (intptr_t i = 0; i < argc; i++) {
-      ASSERT(values_[values_.length() - i - 1]->definition()->IsPushArgument());
-    }
 #endif
     values_.TruncateTo(values_.length() - argc);
 }
 
 
 EMIT_NATIVE_CODE(CheckSmi, 1) {
   __ CheckSmi(locs()->in(0).reg());
   compiler->EmitDeopt(deopt_id(),
                       ICData::kDeoptCheckSmi,
                       licm_hoisted_ ? ICData::kHoisted : 0);
@@ skipping 433 matching lines @@
   __ IfULe(length, index);
   compiler->EmitDeopt(deopt_id(),
                       ICData::kDeoptCheckArrayBound,
                       (generalized_ ? ICData::kGeneralized : 0) |
                       (licm_hoisted_ ? ICData::kHoisted : 0));
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_DBC