x86/x64 port of Math.floor(x/y) to use integer division for specific divisor

src/x64/lithium-codegen-x64.cc

 // Copyright 2012 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 864 matching lines @@
     __ jmp(&done, Label::kNear);
 
     __ bind(&remainder_eq_dividend);
     __ movl(result_reg, left_reg);
 
     __ bind(&done);
   }
 }
 
 
+void LCodeGen::DoMathFloorOfDiv(LMathFloorOfDiv* instr) {
+  ASSERT(instr->InputAt(1)->IsConstantOperand());
+
+  const Register dividend = ToRegister(instr->InputAt(0));
+  int32_t divisor = ToInteger32(LConstantOperand::cast(instr->InputAt(1)));
+  const Register result = ToRegister(instr->result());
+
+  switch (divisor) {
+  case 0:
+    DeoptimizeIf(no_condition, instr->environment());
+    return;
+
+  case 1:
+    if (!result.is(dividend)) {
+        __ movl(result, dividend);
+    }
+    return;
+
+  case -1:
+    if (!result.is(dividend)) {
+      __ movl(result, dividend);
+    }
+    __ negl(result);
+    // FIXME: set & check HValue::kBailoutOnMinusZero

[Yang, 2012/06/19 15:41:38]

Any changes here?

+    DeoptimizeIf(zero, instr->environment());
+    if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
+      DeoptimizeIf(overflow, instr->environment());
+    }
+    return;
+  }
+
+  uint32_t divisor_abs = abs(divisor);
+  if (IsPowerOf2(divisor_abs)) {
+    int32_t power = WhichPowerOf2(divisor_abs);
+    if (divisor < 0) {
+      __ movsxlq(result, dividend);
+      __ neg(result);
+      // FIXME: set & check HValue::kBailoutOnMinusZero

[Yang, 2012/06/19 15:41:38]

Ditto.

+      DeoptimizeIf(zero, instr->environment());
+      __ sar(result, Immediate(power));
+    } else {
+      if (!result.is(dividend)) {
+        __ movl(result, dividend);
+      }
+      __ sarl(result, Immediate(power));
+    }
+  } else {
+    Register reg1 = ToRegister(instr->TempAt(0));
+    Register reg2 = ToRegister(instr->result());
+
+    // b: 2^b < divisor_abs < 2^(b+1)
+    unsigned b = 31 - CompilerIntrinsics::CountLeadingZeros(divisor_abs);
+    unsigned shift = 32 + b;  // precision +1bit (effectively)
+    double multiplier_f = static_cast<double>((uint64_t)1 << shift)

[Yang, 2012/06/19 15:41:38]

Use static_cast please.

+                            / divisor_abs;
+    int64_t multiplier;
+    if (multiplier_f - floor(multiplier_f) < 0.5) {
+        multiplier = floor(multiplier_f);
+    } else {
+        multiplier = floor(multiplier_f) + 1;
+    }
+    // multiplier is a uint32
+    ASSERT(multiplier > 0 && multiplier < ((int64_t)1<<32));

[Yang, 2012/06/19 15:41:38]

Use static_cast please.

+    // the multiply is int64, so sign-extend to r64
+    __ movsxlq(reg1, dividend);
+    if (divisor < 0) {
+      __ neg(reg1);
+      // FIXME: set & check HValue::kBailoutOnMinusZero

[Yang, 2012/06/19 15:41:38]

Ditto.

+      DeoptimizeIf(zero, instr->environment());
+    }
+    __ movq(reg2, multiplier, RelocInfo::NONE);
+    // result just fit in r64: because it's int32 * uint32
+    __ imul(reg2, reg1);
+
+    __ addq(reg2, Immediate(1<<30));  // effectively +1/2d
+    __ sar(reg2, Immediate(shift));
+  }
+}
+
+
 void LCodeGen::DoDivI(LDivI* instr) {
   LOperand* right = instr->InputAt(1);
   ASSERT(ToRegister(instr->result()).is(rax));
   ASSERT(ToRegister(instr->InputAt(0)).is(rax));
   ASSERT(!ToRegister(instr->InputAt(1)).is(rax));
   ASSERT(!ToRegister(instr->InputAt(1)).is(rdx));
 
   Register left_reg = rax;
 
   // Check for x / 0.
@@ skipping 3916 matching lines @@
                                FixedArray::kHeaderSize - kPointerSize));
   __ bind(&done);
 }
 
 
 #undef __
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_X64