Eliminate overflow check for non-overflowing 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 94 matching lines @@
                   RangeBoundary::PositiveInfinity());
     TEST_RANGE_OP(Range::Shl, -1, 1, 62, 62,
                   RangeBoundary::NegativeInfinity(),
                   RangeBoundary::PositiveInfinity());
   }
   TEST_RANGE_OP(Range::Shl, 0, 100, 0, 64,
                 RangeBoundary(0), RangeBoundary::PositiveInfinity());
   TEST_RANGE_OP(Range::Shl, -100, 0, 0, 64,
                 RangeBoundary::NegativeInfinity(), RangeBoundary(0));
 
+  TEST_RANGE_OP(Range::Shr, -8, 8, 1, 2, RangeBoundary(-4), RangeBoundary(4));
+  TEST_RANGE_OP(Range::Shr, 1, 8, 1, 2, RangeBoundary(0), RangeBoundary(4));
+  TEST_RANGE_OP(Range::Shr, -16, -8, 1, 2,
+                RangeBoundary(-8), RangeBoundary(-2));
+  TEST_RANGE_OP(Range::Shr, 2, 4, -1, 1, RangeBoundary(1), RangeBoundary(4));
+  TEST_RANGE_OP(Range::Shr, kMaxInt64, kMaxInt64, 0, 1,
+                RangeBoundary(kMaxInt64 >> 1), RangeBoundary(kMaxInt64));
+  TEST_RANGE_OP(Range::Shr, kMinInt64, kMinInt64, 0, 1,
+                RangeBoundary(kMinInt64), RangeBoundary(kMinInt64 >> 1));
 #undef TEST_RANGE_OP
 }
 
 
 TEST_CASE(RangeTestsInfinity) {
   // +/- inf overflowed.
   EXPECT(RangeBoundary::NegativeInfinity().OverflowedSmi());
   EXPECT(RangeBoundary::PositiveInfinity().OverflowedSmi());
 
   EXPECT(RangeBoundary::NegativeInfinity().OverflowedMint());
@@ skipping 518 matching lines @@
       RangeBoundary(static_cast<int64_t>(kMaxInt32)),
       RangeBoundary::kRangeBoundaryInt64).ConstantValue() == kMaxInt32);
 
   EXPECT(RangeBoundary::Max(
       RangeBoundary(static_cast<int64_t>(kMaxInt64)),
       RangeBoundary(static_cast<int64_t>(kMaxInt32)),
       RangeBoundary::kRangeBoundaryInt64).ConstantValue() == kMaxInt64);
 }
 
 }  // namespace dart