Proper reg for deoptiomization.

tests/language/src/DeoptimizationTest.dart

 // Copyright (c) 2011, 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.
 // Test deoptimization.
 
 class SmiCompares {
   // Test deoptimization when one argument is known to be Smi.
   static bool smiCompareLessThan2(a) {
     return a < 2;
   }
@@ skipping 36 matching lines @@
     return a - 1;
   }
 
   static void smiBinopTest() {
     for (int i = 0; i < 2000; i++) {
       Expect.equals(2, subWithLiteral(3));
     }
     // Deoptimize.
     Expect.equals(2.0, subWithLiteral(3.0));
   }
+
+  static mul(x) {
+    return x * 1024;
+  }
+
+  static void smiBinopOverflowTest() {
+    final int big = 536870912;
+    for (int i = 0; i < 2000; i++) {
+      Expect.equals(1024, mul(1));
+    }
+    // Deoptimize by overflow.
+    Expect.equals(1024 * big, mul(big));
+  }
 }
 
 
 class ObjectsEquality {
   static bool compareEqual(a, b) {
     return a == b;
   }
   
   static bool compareNotEqual(a, b) {
     return a != b;
@@ skipping 90 matching lines @@
 
 
 
   static void testMain() {
     test1();
     test2();
     test3();
     test4();
     SmiCompares.smiComparesTest();
     SmiBinop.smiBinopTest();
+    SmiBinop.smiBinopOverflowTest();
     ObjectsEquality.objectsEqualityTest();
   }
 }
 
 main() {
   DeoptimizationTest.testMain();
 }