Implement range analysis for smi values.

tests/language/deopt_hoisted_smi_check_test.dart

Index: tests/language/deopt_hoisted_smi_check_test.dart
diff --git a/tests/language/deopt_hoisted_smi_check.dart b/tests/language/deopt_hoisted_smi_check_test.dart
similarity index 70%
rename from tests/language/deopt_hoisted_smi_check.dart
rename to tests/language/deopt_hoisted_smi_check_test.dart
index 36ed8f34fc1602daa6c4c9d6c91d5622c1403e72..5ed53374c15eaa54512c87b62008ba1d19ec0854 100644
--- a/tests/language/deopt_hoisted_smi_check.dart
+++ b/tests/language/deopt_hoisted_smi_check_test.dart
@@ -1,13 +1,12 @@
 // 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 caused by running code that did not collect type
-// feedback before.
+// Test deoptimization on an optimistically hoisted smi check.
 
 sum(a, b) {
-  int sum = 0;
-  for (int j = 1; j < 10; j++) {
-    for (int i = a; i < b; i++) {
+  var sum = 0;
+  for (var j = 1; j < 10; j++) {
+    for (var i = a; i < b; i++) {
       sum++;
     }
   }