Add range analysis for left-shift smi operations.

runtime/vm/intermediate_language_test.cc

 // 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.
 
 #include "vm/intermediate_language.h"
 #include "vm/unit_test.h"
 
 namespace dart {
 
 TEST_CASE(InstructionTests) {
@@ skipping 44 matching lines @@
       RangeBoundary::FromConstant(100));
   EXPECT(negative->IsNegative());
   EXPECT(positive->IsPositive());
   EXPECT(zero->Overlaps(0, 0));
   EXPECT(positive->Overlaps(0, 0));
   EXPECT(!negative->Overlaps(0, 0));
   EXPECT(range_x->Overlaps(0, 0));
   EXPECT(range_x->IsWithin(-15, 100));
   EXPECT(!range_x->IsWithin(-15, 99));
   EXPECT(!range_x->IsWithin(-14, 100));
+
+#define TEST_RANGE_SHL(Op, l_min, l_max, r_min, r_max, result_min, result_max) \
+  {                                                                            \
+    RangeBoundary min, max;                                                    \
+    Range* left_range = new Range(                                             \
+      RangeBoundary::FromConstant(l_min),                                      \
+      RangeBoundary::FromConstant(l_max));                                     \
+    Range* shift_range = new Range(                                            \
+      RangeBoundary::FromConstant(r_min),                                      \
+      RangeBoundary::FromConstant(r_max));                                     \
+    Op(left_range, shift_range, &min, &max);                                   \
+    EXPECT(min.Equals(result_min));                                            \
+    if (!min.Equals(result_min)) OS::Print("%s\n", min.ToCString());           \
+    EXPECT(max.Equals(result_max));                                            \
+    if (!max.Equals(result_max)) OS::Print("%s\n", max.ToCString());           \
+  }
+
+  TEST_RANGE_SHL(Range::Shl, -15, 100, 0, 2,
+                 RangeBoundary(-60), RangeBoundary(400));
+  TEST_RANGE_SHL(Range::Shl, -15, 100, -2, 2,
+                 RangeBoundary(-60), RangeBoundary(400));
+  TEST_RANGE_SHL(Range::Shl, -15, -10, 1, 2,
+                 RangeBoundary(-60), RangeBoundary(-20));
+  TEST_RANGE_SHL(Range::Shl, 5, 10, -2, 2,
+                 RangeBoundary(5), RangeBoundary(40));
+  TEST_RANGE_SHL(Range::Shl, -15, 100, 0, 64,
+                 RangeBoundary::NegativeInfinity(),
+                 RangeBoundary::PositiveInfinity());
+  TEST_RANGE_SHL(Range::Shl, -1, 1, 0, 63,
+                 RangeBoundary::NegativeInfinity(),
+                 RangeBoundary::PositiveInfinity());
+  TEST_RANGE_SHL(Range::Shl, 0, 100, 0, 64,
+                 RangeBoundary(0), RangeBoundary::PositiveInfinity());
+  TEST_RANGE_SHL(Range::Shl, -100, 0, 0, 64,
+                 RangeBoundary::NegativeInfinity(), RangeBoundary(0));
+
+#undef TEST_RANGE_SHL
 }
 
 
 TEST_CASE(RangeTestsInfinity) {
   // +/- inf overflowed.
   EXPECT(RangeBoundary::NegativeInfinity().Overflowed());
   EXPECT(RangeBoundary::PositiveInfinity().Overflowed());
 
   Range* all = new Range(RangeBoundary::NegativeInfinity(),
                          RangeBoundary::PositiveInfinity());
@@ skipping 41 matching lines @@
   Range* unsatisfiable_right = new Range(RangeBoundary::PositiveInfinity(),
                                          RangeBoundary::FromConstant(0));
   EXPECT(unsatisfiable_right->IsUnsatisfiable());
 
   Range* unsatisfiable_left = new Range(RangeBoundary::FromConstant(0),
                                         RangeBoundary::NegativeInfinity());
   EXPECT(unsatisfiable_left->IsUnsatisfiable());
 }
 
 }  // namespace dart