Implement polymorphic instance calls.

runtime/vm/intermediate_language_ia32.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/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/intermediate_language.h"
 
 #include "lib/error.h"
@@ skipping 1567 matching lines @@
   __ popl(value);
 
   __ testl(value, Immediate(kSmiTagMask));
   __ j(NOT_ZERO, deopt);  // Deoptimize if not Smi.
   __ SmiUntag(value);
   __ cvtsi2sd(XMM0, value);
   __ movsd(FieldAddress(result, Double::value_offset()), XMM0);
 }
 
 
+LocationSummary* PolymorphicInstanceCallComp::MakeLocationSummary() const {
+  return MakeCallSummary();
+}
+
+
+void PolymorphicInstanceCallComp::EmitNativeCode(FlowGraphCompiler* compiler) {
+  ASSERT(instance_call()->VerifyComputation());
+  ASSERT(class_ids().length() == targets().length());
+  ASSERT(class_ids().length() > 0);
+  Label* deopt = compiler->AddDeoptStub(instance_call()->cid(),
+                                        instance_call()->token_index(),
+                                        instance_call()->try_index(),
+                                        kDeoptPolymorphicInstanceCallTestFail);
+  Label handle_smi;
+  Label* is_smi_label = class_ids()[0] == kSmi ?  &handle_smi : deopt;
+  __ movl(EAX,

[Vyacheslav Egorov (Google), 2012/06/14 11:22:03]

Please add a comment like:

// Load receiver into EAX. 

(same on x64)

[srdjan, 2012/06/14 17:47:15]

Done.

+      Address(ESP, (instance_call()->ArgumentCount() - 1) * kWordSize));
+  __ testl(EAX, Immediate(kSmiTagMask));
+  __ j(ZERO, is_smi_label);  // Smi -> deopt.

[Vyacheslav Egorov (Google), 2012/06/14 11:22:03]

Comment does not match the code.

(same on x64)

[srdjan, 2012/06/14 17:47:15]

Done.

+  Label done;
+  __ LoadClassId(EDI, EAX);
+  for (intptr_t i = 0; i < class_ids().length(); i++) {
+    Label next_test;
+    __ cmpl(EDI, Immediate(class_ids()[i]));
+    __ j(NOT_EQUAL, &next_test);
+    compiler->GenerateStaticCall(instance_call()->cid(),
+                                 instance_call()->token_index(),
+                                 instance_call()->try_index(),
+                                 *targets()[i],
+                                 instance_call()->ArgumentCount(),
+                                 instance_call()->argument_names());
+    __ jmp(&done);
+    __ Bind(&next_test);
+  }
+  __ jmp(deopt);
+  if (is_smi_label == &handle_smi) {
+    __ Bind(&handle_smi);
+    compiler->GenerateStaticCall(instance_call()->cid(),
+                                 instance_call()->token_index(),
+                                 instance_call()->try_index(),
+                                 *targets()[0],
+                                 instance_call()->ArgumentCount(),
+                                 instance_call()->argument_names());
+  }
+  __ Bind(&done);
+}
+
+
 }  // namespace dart
 
 #undef __
 
 #endif  // defined TARGET_ARCH_X64