Some performance improvements to make raytracer faster (e.g, support intensified operation in mix...

runtime/vm/intrinsifier_ia32.cc

 // Copyright (c) 2011, 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.
 //
 // The intrinsic code below is executed before a method has built its frame.
 // The return address is on the stack and the arguments below it.
 // Registers EDX (arguments descriptor) and ECX (function) must be preserved.
 // Each intrinsification method returns true if the corresponding
 // Dart method was intrinsified.
 
@@ skipping 44 matching lines @@
   V(Double, >=, Double_greaterEqualThan)                                       \
   V(Double, <, Double_lessThan)                                                \
   V(Double, <=, Double_lessEqualThan)                                          \
   V(Double, ==, Double_equal)                                                  \
   V(Double, +, Double_add)                                                     \
   V(Double, -, Double_sub)                                                     \
   V(Double, *, Double_mul)                                                     \
   V(Double, /, Double_div)                                                     \
   V(Double, toDouble, Double_toDouble)                                         \
   V(Double, mulFromInteger, Double_mulFromInteger)                             \
+  V(Double, Double.fromInteger, Double_fromInteger)                            \
   V(ObjectArray, ObjectArray., ObjectArray_Allocate)                           \
   V(ObjectArray, get:length, Array_getLength)                                  \
   V(ObjectArray, [], Array_getIndexed)                                         \
   V(ObjectArray, []=, Array_setIndexed)                                        \
   V(GrowableObjectArray, get:length, GrowableArray_getLength)                  \
   V(GrowableObjectArray, [], GrowableArray_getIndexed)                         \
   V(ImmutableArray, [], Array_getIndexed)                                      \
   V(ImmutableArray, get:length, Array_getLength)                               \
   V(Math, sqrt, Math_sqrt)                                                     \
   V(Object, ==, Object_equal)                                                  \
@@ skipping 504 matching lines @@
   __ testl(EAX, Immediate(kSmiTagMask));
   __ j(NOT_ZERO, &fall_through, Assembler::kNearJump);  // Non-smi.
   __ notl(EAX);
   __ andl(EAX, Immediate(~kSmiTagMask));  // Remove inverted smi-tag.
   __ ret();
   __ Bind(&fall_through);
   return false;
 }
 
 
-// Check if the last argument is a double, otherwise jumps to Label
-// 'not_double'. Returns the last argument in EAX.
-static void TestLastArgumentsIsDouble(Assembler* assembler, Label* not_double) {
+// Check if the last argument is a double, jump to label is_smi if smi
+// (easy to convert to double), otherwise jump to label 'not_double_smi',
+// Returns the last argument in EAX.
+static void TestLastArgumentIsDouble(Assembler* assembler,
+                                     Label* is_smi,
+                                     Label* not_double_smi) {
   __ movl(EAX, Address(ESP, + 1 * kWordSize));
   __ testl(EAX, Immediate(kSmiTagMask));
-  __ j(ZERO, not_double, Assembler::kNearJump);  // Jump if Smi.
+  __ j(ZERO, is_smi, Assembler::kNearJump);  // Jump if Smi.
   __ LoadObject(EBX, Class::ZoneHandle(
       Isolate::Current()->object_store()->double_class()));
   __ cmpl(EBX, FieldAddress(EAX, Object::class_offset()));
-  __ j(NOT_EQUAL, not_double, Assembler::kNearJump);  // Jump if not double.
+  __ j(NOT_EQUAL, not_double_smi, Assembler::kNearJump);  // Jump if not double.
   // Fall through if double.
 }
 
 
 // Both arguments on stack, arg0 (left) is a double, arg1 (right) is of unknown
 // type. Return true or false object in the register EAX. Any NaN argument
 // returns false. Any non-double arg1 causes control flow to fall through to the
 // slow case (compiled method body).
 static bool CompareDoubles(Assembler* assembler, Condition true_condition) {
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   const Bool& bool_false = Bool::ZoneHandle(Bool::False());
-  Label fall_through, is_false, is_true;
-  TestLastArgumentsIsDouble(assembler, &fall_through);
+  Label fall_through, is_false, is_true, is_smi, double_op;
+  TestLastArgumentIsDouble(assembler, &is_smi, &fall_through);
   // Both arguments are double, right operand is in EAX.
   __ movsd(XMM1, FieldAddress(EAX, Double::value_offset()));
+  __ Bind(&double_op);
   __ movl(EAX, Address(ESP, + 2 * kWordSize));  // Left argument.
   __ movsd(XMM0, FieldAddress(EAX, Double::value_offset()));
   __ comisd(XMM0, XMM1);
   __ j(PARITY_EVEN, &is_false, Assembler::kNearJump);  // NaN -> false;
   __ j(true_condition, &is_true, Assembler::kNearJump);
   // Fall through false.
   __ Bind(&is_false);
   __ LoadObject(EAX, bool_false);
   __ ret();
   __ Bind(&is_true);
   __ LoadObject(EAX, bool_true);
   __ ret();
+  __ Bind(&is_smi);
+  __ SmiUntag(EAX);
+  __ cvtsi2sd(XMM1, EAX);
+  __ jmp(&double_op);
   __ Bind(&fall_through);
   return false;
 }
 
 
 // arg0 is Double, arg1 is unknown.
 static bool Double_greaterThan(Assembler* assembler) {
   return CompareDoubles(assembler, ABOVE);
 }
 
@@ skipping 26 matching lines @@
   __ movl(EAX, Address(ESP, + 1 * kWordSize));
   __ ret();
   return true;
 }
 
 
 // Expects EAX to contain right argument, left argument is on stack. Left
 // argument is double, right argument is of unknown type.
 static bool DoubleArithmeticOperations(Assembler* assembler, Token::Kind kind) {
   Label fall_through;
-  TestLastArgumentsIsDouble(assembler, &fall_through);
+  TestLastArgumentIsDouble(assembler, &fall_through, &fall_through);
   // Both arguments are double, right operand is in EAX, class in EBX.
   __ movsd(XMM1, FieldAddress(EAX, Double::value_offset()));
   __ movl(EAX, Address(ESP, + 2 * kWordSize));  // Left argument.
   __ movsd(XMM0, FieldAddress(EAX, Double::value_offset()));
   switch (kind) {
     case Token::kADD: __ addsd(XMM0, XMM1); break;
     case Token::kSUB: __ subsd(XMM0, XMM1); break;
     case Token::kMUL: __ mulsd(XMM0, XMM1); break;
     case Token::kDIV: __ divsd(XMM0, XMM1); break;
     default: UNREACHABLE();
@@ skipping 53 matching lines @@
                                EBX,  // Class register.
                                &fall_through,
                                EAX);  // Result register.
   __ movsd(FieldAddress(EAX, Double::value_offset()), XMM0);
   __ ret();
   __ Bind(&fall_through);
   return false;
 }
 
 
+static bool Double_fromInteger(Assembler* assembler) {
+  Label fall_through;
+  __ movl(EAX, Address(ESP, +1 * kWordSize));
+  __ testl(EAX, Immediate(kSmiTagMask));
+  __ j(NOT_ZERO, &fall_through, Assembler::kNearJump);
+  // Is Smi.
+  __ SmiUntag(EAX);
+  __ cvtsi2sd(XMM0, EAX);
+  const Class& double_class = Class::ZoneHandle(
+      Isolate::Current()->object_store()->double_class());
+  __ LoadObject(EBX, double_class);
+  AssemblerMacros::TryAllocate(assembler,
+                               double_class,
+                               EBX,  // Class register.
+                               &fall_through,
+                               EAX);  // Result register.
+  __ movsd(FieldAddress(EAX, Double::value_offset()), XMM0);
+  __ ret();
+  __ Bind(&fall_through);
+  return false;
+}
+
+
 // Argument type is not known
 static bool Math_sqrt(Assembler* assembler) {
-  Label fall_through;
-  TestLastArgumentsIsDouble(assembler, &fall_through);
+  Label fall_through, is_smi, double_op;
+  TestLastArgumentIsDouble(assembler, &is_smi, &fall_through);
   // Argument is double and is in EAX, class in EBX.
   __ movsd(XMM1, FieldAddress(EAX, Double::value_offset()));
+  __ Bind(&double_op);
   __ sqrtsd(XMM0, XMM1);
   const Class& double_class = Class::ZoneHandle(
       Isolate::Current()->object_store()->double_class());
   AssemblerMacros::TryAllocate(assembler,
                                double_class,
                                EBX,  // Class register.
                                &fall_through,
                                EAX);  // Result register.
   __ movsd(FieldAddress(EAX, Double::value_offset()), XMM0);
   __ ret();
+  __ Bind(&is_smi);
+  __ SmiUntag(EAX);
+  __ cvtsi2sd(XMM1, EAX);
+  __ jmp(&double_op);
   __ Bind(&fall_through);
   return false;
 }
 
 
 // Identity comparison.
 static bool Object_equal(Assembler* assembler) {
   Label is_true;
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   const Bool& bool_false = Bool::ZoneHandle(Bool::False());
@@ skipping 103 matching lines @@
   }                                                                            \
 
 INTRINSIC_LIST(FIND_INTRINSICS);
 #undef FIND_INTRINSICS
   return false;
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32