Allow div and cmp to work in uint32 mode

src/ia32/lithium-codegen-ia32.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 1349 matching lines @@
       // Check for (kMinInt / -1).
       if (divisor == -1 && instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
         __ cmp(dividend, kMinInt);
         DeoptimizeIf(zero, instr->environment());
       }
       test_value = - divisor - 1;
       power = WhichPowerOf2(-divisor);
     }
 
     if (test_value != 0) {
-      if (instr->hydrogen()->CheckFlag(
+      if (instr->hydrogen()->CheckFlag(HInstruction::kUint32)) {
+        __ sar(dividend, power);
+      } else if (instr->hydrogen()->CheckFlag(
           HInstruction::kAllUsesTruncatingToInt32)) {
         Label done, negative;
         __ cmp(dividend, 0);
         __ j(less, &negative, Label::kNear);
         __ sar(dividend, power);
         __ jmp(&done, Label::kNear);
 
         __ bind(&negative);
         __ neg(dividend);
         __ sar(dividend, power);
@@ skipping 41 matching lines @@
   // Check for (kMinInt / -1).
   if (instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow)) {
     Label left_not_min_int;
     __ cmp(left_reg, kMinInt);
     __ j(not_zero, &left_not_min_int, Label::kNear);
     __ cmp(right_reg, -1);
     DeoptimizeIf(zero, instr->environment());
     __ bind(&left_not_min_int);
   }
 
-  // Sign extend to edx.
-  __ cdq();
-  __ idiv(right_reg);
+  if (instr->hydrogen()->CheckFlag(HInstruction::kUint32)) {
+    // Zero out edx (don't use cdq, this is unsigned).
+    __ xor_(edx, edx);
+    __ div(right_reg);
+  } else {
+    // Sign extend to edx.
+    __ cdq();
+    __ idiv(right_reg);
+  }
 
   if (instr->is_flooring()) {
     Label done;
     __ test(edx, edx);
     __ j(zero, &done, Label::kNear);
     __ xor_(edx, right_reg);
     __ sar(edx, 31);
     __ add(eax, edx);
     __ bind(&done);
   } else if (!instr->hydrogen()->CheckFlag(
@@ skipping 862 matching lines @@
   }
   return cond;
 }
 
 
 void LCodeGen::DoCmpIDAndBranch(LCmpIDAndBranch* instr) {
   LOperand* left = instr->left();
   LOperand* right = instr->right();
   int false_block = chunk_->LookupDestination(instr->false_block_id());
   int true_block = chunk_->LookupDestination(instr->true_block_id());
-  Condition cc = TokenToCondition(instr->op(), instr->is_double());
+  bool is_unsigned =
+      instr->is_double() || instr->hydrogen()->CheckFlag(HInstruction::kUint32);
+  Condition cc = TokenToCondition(instr->op(), is_unsigned);
 
   if (left->IsConstantOperand() && right->IsConstantOperand()) {
     // We can statically evaluate the comparison.
     double left_val = ToDouble(LConstantOperand::cast(left));
     double right_val = ToDouble(LConstantOperand::cast(right));
     int next_block =
       EvalComparison(instr->op(), left_val, right_val) ? true_block
                                                        : false_block;
     EmitGoto(next_block);
   } else {
@@ skipping 4196 matching lines @@
                               FixedArray::kHeaderSize - kPointerSize));
   __ bind(&done);
 }
 
 
 #undef __
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_IA32