| Index: src/x64/lithium-codegen-x64.cc
|
| ===================================================================
|
| --- src/x64/lithium-codegen-x64.cc (revision 6859)
|
| +++ src/x64/lithium-codegen-x64.cc (working copy)
|
| @@ -683,7 +683,42 @@
|
|
|
|
|
| void LCodeGen::DoModI(LModI* instr) {
|
| - Abort("Unimplemented: %s", "DoModI");
|
| + LOperand* right = instr->InputAt(1);
|
| + ASSERT(ToRegister(instr->result()).is(rdx));
|
| + ASSERT(ToRegister(instr->InputAt(0)).is(rax));
|
| + ASSERT(!ToRegister(instr->InputAt(1)).is(rax));
|
| + ASSERT(!ToRegister(instr->InputAt(1)).is(rdx));
|
| +
|
| + Register right_reg = ToRegister(right);
|
| +
|
| + // Check for x % 0.
|
| + if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
|
| + __ testl(right_reg, right_reg);
|
| + DeoptimizeIf(zero, instr->environment());
|
| + }
|
| +
|
| + // Sign extend eax to edx. (We are using only the low 32 bits of the values.)
|
| + __ cdq();
|
| +
|
| + // Check for (0 % -x) that will produce negative zero.
|
| + if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
|
| + NearLabel positive_left;
|
| + NearLabel done;
|
| + __ testl(rax, rax);
|
| + __ j(not_sign, &positive_left);
|
| + __ idivl(right_reg);
|
| +
|
| + // Test the remainder for 0, because then the result would be -0.
|
| + __ testl(rdx, rdx);
|
| + __ j(not_zero, &done);
|
| +
|
| + DeoptimizeIf(no_condition, instr->environment());
|
| + __ bind(&positive_left);
|
| + __ idivl(right_reg);
|
| + __ bind(&done);
|
| + } else {
|
| + __ idivl(right_reg);
|
| + }
|
| }
|
|
|
|
|
|
|