Implement SmiToInt and DoubleToInt.

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 1967 matching lines @@
 
 
 void SmiToDoubleInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
   Register result = locs()->out().reg();
 
   Label* deopt = compiler->AddDeoptStub(instance_call()->deopt_id(),
                                         kDeoptIntegerToDouble);
 
   const Class& double_class = compiler->double_class();
   const Code& stub =
-    Code::Handle(StubCode::GetAllocationStubForClass(double_class));
+      Code::Handle(StubCode::GetAllocationStubForClass(double_class));
   const ExternalLabel label(double_class.ToCString(), stub.EntryPoint());
 
   // TODO(vegorov): allocate box in the driver loop to avoid spilling.
   compiler->GenerateCall(instance_call()->token_pos(),
                          &label,
                          PcDescriptors::kOther,
                          locs());
   ASSERT(result == EAX);
   Register value = EBX;
   // Preserve argument on the stack until after the deoptimization point.
   __ movl(value, Address(ESP, 0));
 
   __ testl(value, Immediate(kSmiTagMask));
   __ j(NOT_ZERO, deopt);  // Deoptimize if not Smi.
   __ SmiUntag(value);
   __ cvtsi2sd(XMM0, value);
   __ movsd(FieldAddress(result, Double::value_offset()), XMM0);
   __ Drop(1);
 }
 
 
+LocationSummary* DoubleToIntegerInstr::MakeLocationSummary() const {
+  return MakeCallSummary();  // Slow case calls the method.
+}
+
+
+void DoubleToIntegerInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
+  Register result = locs()->out().reg();
+  ASSERT(result == EAX);
+  Register value_obj = EBX;
+  XmmRegister value_double = XMM0;
+  __ movl(value_obj, Address(ESP, 0));

[Florian Schneider, 2012/10/09 11:13:58]

Alternatively, you could make the instruction take 1 input operand in a register
and push the argument explicitly before the call and drop it after the call.

[srdjan, 2012/10/09 21:23:04]

Done.

+  __ movsd(value_double, FieldAddress(value_obj, Double::value_offset()));
+  __ cvttsd2si(result, value_double);

[Florian Schneider, 2012/10/09 11:13:58]

Please add this instruction to the disassembler. I noticed it is still missing.

[srdjan, 2012/10/09 21:23:04]

Done.

+  // Overflow is signalled with minint.
+  Label do_call, done;
+  // Check for overflow and that it fits into Smi.
+  __ cmpl(result, Immediate(0xC0000000));
+  __ j(NEGATIVE, &do_call, Assembler::kNearJump);
+  __ SmiTag(result);
+  __ Drop(1);
+  __ jmp(&done);
+  __ Bind(&do_call);
+  ASSERT(instance_call()->HasICData());
+  const ICData& ic_data = *instance_call()->ic_data();
+  ASSERT((ic_data.NumberOfChecks() == 1));
+  const Function& target = Function::ZoneHandle(ic_data.GetTargetAt(0));
+
+  const intptr_t kNumberOfArguments = 1;
+  compiler->GenerateStaticCall(instance_call()->deopt_id(),
+                               instance_call()->token_pos(),
+                               target,
+                               kNumberOfArguments,
+                               Array::Handle(),  // No argument names.,
+                               locs());
+  __ Bind(&done);
+}
+
+
 LocationSummary* PolymorphicInstanceCallInstr::MakeLocationSummary() const {
   return MakeCallSummary();
 }
 
 
 void PolymorphicInstanceCallInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
   Label* deopt = compiler->AddDeoptStub(instance_call()->deopt_id(),
                                         kDeoptPolymorphicInstanceCallTestFail);
   if (ic_data().NumberOfChecks() == 0) {
     __ jmp(deopt);
@@ skipping 441 matching lines @@
   __ pcmpeqq(XMM0, XMM0);  // Generate all 1's.
   __ pxor(value, XMM0);
 }
 
 
 }  // namespace dart
 
 #undef __
 
 #endif  // defined TARGET_ARCH_X64