Fix ARM code for DoModI.

src/arm/lithium-codegen-arm.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 1087 matching lines @@
   Label done;
 
   if (CpuFeatures::IsSupported(SUDIV)) {
     CpuFeatures::Scope scope(SUDIV);
     // Check for x % 0.
     if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
       __ cmp(right, Operand(0));
       DeoptimizeIf(eq, instr->environment());
     }
 
+    // Check for (kMinInt % -1).
+    if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
+      Label left_not_min_int;
+      __ cmp(left, Operand(kMinInt));
+      __ b(ne, &left_not_min_int);
+      __ cmp(right, Operand(-1));
+      DeoptimizeIf(eq, instr->environment());
+      __ bind(&left_not_min_int);
+    }
+
     // For  r3 = r1 % r2; we can have the following ARM code
     // sdiv r3, r1, r2
     // mls r3, r3, r2, r1
 
     __ sdiv(result, left, right);
     __ mls(result, result, right, left);
     __ cmp(result, Operand(0));
     __ b(ne, &done);
 
     if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
        __ cmp(left, Operand(0));
        DeoptimizeIf(lt, instr->environment());
     }
   } else {
     Register scratch = scratch0();
     Register scratch2 = ToRegister(instr->temp());
     DwVfpRegister dividend = ToDoubleRegister(instr->temp2());
     DwVfpRegister divisor = ToDoubleRegister(instr->temp3());
     DwVfpRegister quotient = double_scratch0();
 
     ASSERT(!dividend.is(divisor));
     ASSERT(!dividend.is(quotient));
     ASSERT(!divisor.is(quotient));
     ASSERT(!scratch.is(left));
     ASSERT(!scratch.is(right));
     ASSERT(!scratch.is(result));
 
     Label vfp_modulo, both_positive, right_negative;
 
+    CpuFeatures::Scope scope(VFP2);
+
     // Check for x % 0.
     if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
       __ cmp(right, Operand(0));
       DeoptimizeIf(eq, instr->environment());
     }
 
     __ Move(result, left);
 
     // (0 % x) must yield 0 (if x is finite, which is the case here).
     __ cmp(left, Operand(0));
@@ skipping 202 matching lines @@
   // Check for (0 / -x) that will produce negative zero.
   if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
     Label left_not_zero;
     __ cmp(left, Operand(0));
     __ b(ne, &left_not_zero);
     __ cmp(right, Operand(0));
     DeoptimizeIf(mi, instr->environment());
     __ bind(&left_not_zero);
   }
 
-  // Check for (-kMinInt / -1).
+  // Check for (kMinInt / -1).
   if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
     Label left_not_min_int;
     __ cmp(left, Operand(kMinInt));
     __ b(ne, &left_not_min_int);
     __ cmp(right, Operand(-1));
     DeoptimizeIf(eq, instr->environment());
     __ bind(&left_not_min_int);
   }
 
   Label done, deoptimize;
@@ skipping 4658 matching lines @@
   __ sub(scratch, result, Operand(index, LSL, kPointerSizeLog2 - kSmiTagSize));
   __ ldr(result, FieldMemOperand(scratch,
                                  FixedArray::kHeaderSize - kPointerSize));
   __ bind(&done);
 }
 
 
 #undef __
 
 } }  // namespace v8::internal