Update test of value_range change.

tests/compiler/dart2js/value_range2_test.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import "../../../lib/compiler/implementation/ssa/ssa.dart";
 import "../../../lib/compiler/implementation/dart2jslib.dart";
+import "../../../lib/compiler/implementation/js_backend/js_backend.dart";
 
-Value instructionValue = new InstructionValue(new HReturn(null));
-Value lengthValue = new LengthValue(new HReturn(null));
+ValueRangeInfo info = new ValueRangeInfo(const JavaScriptConstantSystem());
 
-Range createSingleRange(Value value) => new Range(value, value);
-Range createSingleIntRange(int value) => createSingleRange(new IntValue(value));
+Value instructionValue = info.newInstructionValue(new HReturn(null));
+Value lengthValue = info.newLengthValue(new HReturn(null));
+
+Range createSingleRange(Value value) => info.newRange(value, value);
+Range createSingleIntRange(int value) => createSingleRange(info.newIntValue(value));
 Range createSingleInstructionRange() => createSingleRange(instructionValue);
 Range createSingleLengthRange() => createSingleRange(lengthValue);
 Range createIntRange(int lower, int upper) {
-  return new Range(new IntValue(lower), new IntValue(upper));
+  return info.newRange(info.newIntValue(lower), info.newIntValue(upper));
 }
 Range createLengthRange(int lower) {
-  return new Range(new IntValue(lower), lengthValue);
+  return info.newRange(info.newIntValue(lower), lengthValue);
 }
 Range createInstructionRange(int lower) {
-  return new Range(new IntValue(lower), instructionValue);
+  return info.newRange(info.newIntValue(lower), instructionValue);
 }
 
 Range instruction = createSingleInstructionRange();
 Range FF = createSingleIntRange(0xFF);
 Range FA = createSingleIntRange(0xFA);
 Range nFF = createSingleIntRange(-0xFF);
 Range length = createSingleLengthRange();
 Range _FA_FF = createIntRange(0xFA, 0xFF);
 Range _0_FF = createIntRange(0, 0xFF);
 Range _nFF_FF = createIntRange(-0xFF, 0xFF);
 Range _nFF_0 = createIntRange(-0xFF, 0);
 Range _0_length = createLengthRange(0);
 Range _0_instruction = createInstructionRange(0);
 
 checkAndRange(Range one, Range two, lower, upper) {
-  if (lower is num) lower = new IntValue(lower);
-  if (upper is num) upper = new IntValue(upper);
-  Range range = new Range(lower, upper);
+  if (lower is num) lower = info.newIntValue(lower);
+  if (upper is num) upper = info.newIntValue(upper);
+  Range range = info.newRange(lower, upper);
   Expect.equals(range, one & two);
 }
 
 checkSubRange(Range one, Range two, [lower, upper]) {
 
   buildBound(one, two) {
     // Create a bound just like our current implementation in dart2js does.
     if (two is IntValue) {
       if (two.isNegative) {
-        return new AddValue(one, -two);
+        return info.newAddValue(one, -two);
       } else if (two.isZero) {
         return one;
       }
     }
     if (one is IntValue) {
       if (one.isNegative) {
-        return new SubtractValue(-two, -one);
+        return info.newSubtractValue(-two, -one);
       } else if (one.isZero) {
         return -two;
       }
     }
-    return new SubtractValue(one, two);
+    return info.newSubtractValue(one, two);
   }
 
   if (lower == null) {
     lower = buildBound(one.lower, two.upper);
   } else if (lower is num) {
-    lower = new IntValue(lower);
+    lower = info.newIntValue(lower);
   }
   if (upper == null) {
     upper = buildBound(one.upper, two.lower);
   } else if (upper is num) {
-    upper = new IntValue(upper);
+    upper = info.newIntValue(upper);
   }
 
-  Expect.equals(new Range(lower, upper), one - two);
+  Expect.equals(info.newRange(lower, upper), one - two);
 }
 
 checkNegateRange(Range range, [arg1, arg2]) {
   if (arg1 is Range) {
     Expect.equals(arg1, -range);
   } else {
     Value low, up;
     if (arg1 is num) {
-      low = new IntValue(arg1);
+      low = info.newIntValue(arg1);
     } else if (arg1 == null) {
-      low = new NegateValue(range.upper);
+      low = info.newNegateValue(range.upper);
     } else {
       low = arg1;
     }
     if (arg2 is num) {
-      up = new IntValue(arg2);
+      up = info.newIntValue(arg2);
     } else if (arg2 == null) {
-      up = new NegateValue(range.lower);
+      up = info.newNegateValue(range.lower);
     } else {
       up = arg2;
     }
-    Expect.equals(new Range(low, up), -range);
+    Expect.equals(info.newRange(low, up), -range);
   }
 }
 
 testNegate() {
   checkNegateRange(instruction);
   checkNegateRange(FF, nFF);
   checkNegateRange(nFF, FF);
   checkNegateRange(FA, -0xFA, -0xFA);
   checkNegateRange(length);
   checkNegateRange(_FA_FF, -0xFF, -0xFA);
   checkNegateRange(_0_FF, _nFF_0);
   checkNegateRange(_nFF_FF, _nFF_FF);
   checkNegateRange(_nFF_0, _0_FF);
   checkNegateRange(_0_length, -lengthValue, 0);
   checkNegateRange(_0_instruction, -instructionValue, 0);
 }
 
+bits32(value) => value & 0xFFFFFFFF;
+
 testAnd() {
   checkAndRange(
       instruction, instruction, const MinIntValue(), const MaxIntValue());
   checkAndRange(instruction, FF, 0, 0xFF);
   checkAndRange(instruction, FA, 0, 0xFA);
   checkAndRange(instruction, nFF, const MinIntValue(), const MaxIntValue());
   checkAndRange(instruction, length, 0, length.upper);
   checkAndRange(instruction, _FA_FF, 0, 0xFF);
   checkAndRange(instruction, _0_FF, 0, 0xFF);
   checkAndRange(instruction, _nFF_FF, const MinIntValue(), const MaxIntValue());
@@ skipping 29 matching lines @@
   checkAndRange(FA, length, 0, 0xFA);
   checkAndRange(FA, _FA_FF, 0, 0xFA);
   checkAndRange(FA, _0_FF, 0, 0xFA);
   checkAndRange(FA, _nFF_FF, 0, 0xFA);
   checkAndRange(FA, _nFF_0, 0, 0xFA);
   checkAndRange(FA, _0_length, 0, 0xFA);
   checkAndRange(FA, _0_instruction, 0, 0xFA);
 
   checkAndRange(nFF, FF, 1, 1);
   checkAndRange(nFF, FA, 0, 0);
-  checkAndRange(nFF, nFF, -0xFF, -0xFF);
+  checkAndRange(nFF, nFF, bits32(-0xFF), bits32(-0xFF));
   checkAndRange(nFF, length, 0, length.upper);
   checkAndRange(nFF, _FA_FF, 0, 0xFF);
   checkAndRange(nFF, _0_FF, 0, 0xFF);
   checkAndRange(nFF, _nFF_FF, const MinIntValue(), const MaxIntValue());
   checkAndRange(nFF, _nFF_0, const MinIntValue(), const MaxIntValue());
   checkAndRange(nFF, _0_length, 0, _0_length.upper);
   checkAndRange(nFF, _0_instruction, 0, _0_instruction.upper);
 
   checkAndRange(_FA_FF, FF, 0, 0xFF);
   checkAndRange(_FA_FF, FA, 0, 0xFA);
@@ skipping 185 matching lines @@
   checkSubRange(_0_instruction, _0_length, null, _0_instruction.upper);
   checkSubRange(_0_instruction, _0_instruction, null, _0_instruction.upper);
 }
 
 main() {
   HInstruction.idCounter = 0;
   testAnd();
   testSub();
   testNegate();
 }