Tweaks on Math.pow (ia32 and x64).

src/ia32/code-stubs-ia32.cc

 // Copyright 2011 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 2930 matching lines @@
   CpuFeatures::Scope use_sse2(SSE2);
   Factory* factory = masm->isolate()->factory();
   const Register exponent = eax;
   const Register base = edx;
   const Register scratch = ecx;
   const XMMRegister double_result = xmm3;
   const XMMRegister double_base = xmm2;
   const XMMRegister double_exponent = xmm1;
   const XMMRegister double_scratch = xmm4;
 
-  Label double_int_runtime, generic_runtime, done;
-  Label exponent_not_smi, int_exponent;
+  Label call_runtime, done, exponent_not_smi, int_exponent;
 
   // Save 1 in double_result - we need this several times later on.
   __ mov(scratch, Immediate(1));
   __ cvtsi2sd(double_result, scratch);
 
   if (exponent_type_ == ON_STACK) {
     Label base_is_smi, unpack_exponent;
     // The exponent and base are supplied as arguments on the stack.
     // This can only happen if the stub is called from non-optimized code.
     // Load input parameters from stack.
     __ mov(base, Operand(esp, 2 * kPointerSize));
     __ mov(exponent, Operand(esp, 1 * kPointerSize));
 
     __ JumpIfSmi(base, &base_is_smi, Label::kNear);
     __ cmp(FieldOperand(base, HeapObject::kMapOffset),
            factory->heap_number_map());
-    __ j(not_equal, &generic_runtime);
+    __ j(not_equal, &call_runtime);
 
     __ movdbl(double_base, FieldOperand(base, HeapNumber::kValueOffset));
     __ jmp(&unpack_exponent, Label::kNear);
 
     __ bind(&base_is_smi);
     __ SmiUntag(base);
     __ cvtsi2sd(double_base, base);
 
     __ bind(&unpack_exponent);
     __ JumpIfNotSmi(exponent, &exponent_not_smi, Label::kNear);
     __ SmiUntag(exponent);
     __ jmp(&int_exponent);
 
     __ bind(&exponent_not_smi);
     __ cmp(FieldOperand(exponent, HeapObject::kMapOffset),
            factory->heap_number_map());
-    __ j(not_equal, &generic_runtime);
+    __ j(not_equal, &call_runtime);
     __ movdbl(double_exponent,
               FieldOperand(exponent, HeapNumber::kValueOffset));
   } else if (exponent_type_ == TAGGED) {
     __ JumpIfNotSmi(exponent, &exponent_not_smi, Label::kNear);
     __ SmiUntag(exponent);
     __ jmp(&int_exponent);
 
     __ bind(&exponent_not_smi);
     __ movdbl(double_exponent,
               FieldOperand(exponent, HeapNumber::kValueOffset));
   }
 
   if (exponent_type_ != INTEGER) {
     Label fast_power;
     // Detect integer exponents stored as double.
     __ cvttsd2si(exponent, Operand(double_exponent));
     // Skip to runtime if possibly NaN (indicated by the indefinite integer).
     __ cmp(exponent, Immediate(0x80000000u));
-    __ j(equal, &generic_runtime);
+    __ j(equal, &call_runtime);
     __ cvtsi2sd(double_scratch, exponent);
     // Already ruled out NaNs for exponent.
     __ ucomisd(double_exponent, double_scratch);
     __ j(equal, &int_exponent);
 
     if (exponent_type_ == ON_STACK) {
       // Detect square root case.  Crankshaft detects constant +/-0.5 at
       // compile time and uses DoMathPowHalf instead.  We then skip this check
       // for non-constant cases of +/-0.5 as these hardly occur.
       Label continue_sqrt, continue_rsqrt, not_plus_half;
@@ skipping 96 matching lines @@
     __ test_b(eax, 0x5F);  // We check for all but precision exception.
     __ j(not_zero, &fast_power_failed, Label::kNear);
     __ fstp_d(Operand(esp, 0));
     __ movdbl(double_result, Operand(esp, 0));
     __ add(esp, Immediate(kDoubleSize));
     __ jmp(&done);
 
     __ bind(&fast_power_failed);
     __ fninit();
     __ add(esp, Immediate(kDoubleSize));
-    __ jmp(&generic_runtime);
+    __ jmp(&call_runtime);
   }
 
   // Calculate power with integer exponent.
   __ bind(&int_exponent);
   const XMMRegister double_scratch2 = double_exponent;
-  __ mov(scratch, exponent);      // Back up exponent.
+  __ mov(scratch, exponent);  // Back up exponent.
   __ movsd(double_scratch, double_base);  // Back up base.
   __ movsd(double_scratch2, double_result);  // Load double_exponent with 1.
 
   // Get absolute value of exponent.
-  Label while_true, no_multiply;
-  const uint32_t kClearSignBitMask = 0x7FFFFFFF;
-  __ and_(exponent, Immediate(kClearSignBitMask));

[Yang, 2011/12/07 15:07:50]

This is a screw-up I did earlier. Obviously this code does not result in
absolute, but triggered a bail out, which is why this mistake made no visible
difference.

+  Label no_neg, while_true, no_multiply;
+  __ test(scratch, scratch);
+  __ j(positive, &no_neg, Label::kNear);
+  __ neg(scratch);
+  __ bind(&no_neg);
 
   __ bind(&while_true);
-  __ shr(exponent, 1);
+  __ shr(scratch, 1);
   __ j(not_carry, &no_multiply, Label::kNear);
-  __ mulsd(double_result, double_base);
+  __ mulsd(double_result, double_scratch);
   __ bind(&no_multiply);
 
-  __ mulsd(double_base, double_base);
+  __ mulsd(double_scratch, double_scratch);
   __ j(not_zero, &while_true);
 
   // scratch has the original value of the exponent - if the exponent is
   // negative, return 1/result.
-  __ test(scratch, scratch);
+  __ test(exponent, exponent);
   __ j(positive, &done);
   __ divsd(double_scratch2, double_result);
   __ movsd(double_result, double_scratch2);
   // Test whether result is zero.  Bail out to check for subnormal result.
   // Due to subnormals, x^-y == (1/x)^y does not hold in all cases.
   __ xorps(double_scratch2, double_scratch2);
   __ ucomisd(double_scratch2, double_result);  // Result cannot be NaN.
-  __ j(equal, &double_int_runtime);
+  __ j(not_equal, &done);
+  __ cvtsi2sd(double_exponent, exponent);
 
   // Returning or bailing out.
+  Counters* counters = masm->isolate()->counters();
   if (exponent_type_ == ON_STACK) {
+    // The arguments are still on the stack.
+    __ bind(&call_runtime);
+    __ TailCallRuntime(Runtime::kMath_pow_cfunction, 2, 1);
+
     // The stub is called from non-optimized code, which expects the result
     // as heap number in exponent.
     __ bind(&done);
-    __ AllocateHeapNumber(exponent, scratch, base, &generic_runtime);
-    __ movdbl(FieldOperand(exponent, HeapNumber::kValueOffset), double_result);
+    __ AllocateHeapNumber(eax, scratch, base, &call_runtime);
+    __ movdbl(FieldOperand(eax, HeapNumber::kValueOffset), double_result);
+    __ IncrementCounter(counters->math_pow(), 1);
     __ ret(2 * kPointerSize);
-
-    // The arguments are still on the stack.
-    __ bind(&generic_runtime);
-    __ bind(&double_int_runtime);
-    __ TailCallRuntime(Runtime::kMath_pow_cfunction, 2, 1);
   } else {
-    __ jmp(&done);
-
-    Label return_from_runtime;
-    __ bind(&generic_runtime);
+    __ bind(&call_runtime);
     {
       AllowExternalCallThatCantCauseGC scope(masm);
-      __ PrepareCallCFunction(4, exponent);
+      __ PrepareCallCFunction(4, scratch);
       __ movdbl(Operand(esp, 0 * kDoubleSize), double_base);
       __ movdbl(Operand(esp, 1 * kDoubleSize), double_exponent);
       __ CallCFunction(
           ExternalReference::power_double_double_function(masm->isolate()), 4);
     }
-    __ jmp(&return_from_runtime, Label::kNear);
-
-    __ bind(&double_int_runtime);
-    {
-      AllowExternalCallThatCantCauseGC scope(masm);
-      __ PrepareCallCFunction(4, exponent);
-      __ movdbl(Operand(esp, 0 * kDoubleSize), double_scratch);
-      __ mov(Operand(esp, 1 * kDoubleSize), scratch);
-      __ CallCFunction(
-          ExternalReference::power_double_int_function(masm->isolate()), 4);
-    }
-
-    __ bind(&return_from_runtime);
     // Return value is in st(0) on ia32.
     // Store it into the (fixed) result register.
     __ sub(esp, Immediate(kDoubleSize));
     __ fstp_d(Operand(esp, 0));
     __ movdbl(double_result, Operand(esp, 0));
     __ add(esp, Immediate(kDoubleSize));
 
     __ bind(&done);
+    __ IncrementCounter(counters->math_pow(), 1);
     __ ret(0);
   }
 }
 
 
 void ArgumentsAccessStub::GenerateReadElement(MacroAssembler* masm) {
   // The key is in edx and the parameter count is in eax.
 
   // The displacement is used for skipping the frame pointer on the
   // stack. It is the offset of the last parameter (if any) relative
@@ skipping 4067 matching lines @@
                                  false);
   __ pop(edx);
   __ ret(0);
 }
 
 #undef __
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_IA32