Add range to kBIT_AND with positive constants. Use that range to eliminate compares in left shifts.

runtime/vm/intermediate_language.cc

Index: runtime/vm/intermediate_language.cc
===================================================================
--- runtime/vm/intermediate_language.cc	(revision 13823)
+++ runtime/vm/intermediate_language.cc	(working copy)
@@ -2187,6 +2187,23 @@
                            RangeBoundary::OverflowedMaxSmi());
       break;
 
+    case Token::kBIT_AND:
+      if (Range::ConstantMin(right_range).value() >= 0) {
+        new_min = RangeBoundary::FromConstant(0);
+        new_max = Range::ConstantMax(right_range);
+        break;
+      }
+      if (Range::ConstantMin(left_range).value() >= 0) {
+        new_min = RangeBoundary::FromConstant(0);
+        new_max = Range::ConstantMax(left_range);
+        break;
+      }
+      if (range_ == NULL) {

[Vyacheslav Egorov (Google), 2012/10/19 20:05:28]

I sense a problem here. Range of a phi can start like [0, 0] but be later
expanded due to the flow of information on the back edge. However we will loose
this fact and stop updating the range correctly.

Please test it on the code:

var j, k = -0xff;
for (var i = 0; i >= -10; i--) {
  print(k & i); // range of this & should not be [0, 0].
}

+        range_ = Range::Unknown();
+        return true;
+      }
+      return false;
+
     default:
       if (range_ == NULL) {
         range_ = Range::Unknown();
@@ -2207,6 +2224,14 @@
 }
 
 
+// Inclusive.
+bool Range::IsWithin(intptr_t min_int, intptr_t max_int) const {
+  if (!min().IsConstant() || (min().value() < min_int)) return false;
+  if (!max().IsConstant() || (max().value() > max_int)) return false;
+  return true;
+}
+
+
 #undef __
 
 }  // namespace dart