Revise assertions and fix bug in the implementation of shifts

tests/language/bit_operations_test.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.
 // Dart test for testing bitwise operations.
-// VMOptions=--optimization-counter-threshold=10 --no-use-osr --no-background-compilation
+// VMOptions=--optimization-counter-threshold=10 --no-use-osr --no-background-compilation --enable-inlining-annotations
 
 import "package:expect/expect.dart";
 
+const neverInline = "NeverInline";
+
 void main() {
   for (int i = 0; i < 4; i++) {
     test();
   }
 }
 
 void test() {
   Expect.equals(3, (3 & 7));
   Expect.equals(7, (3 | 7));
   Expect.equals(4, (3 ^ 7));
@@ skipping 44 matching lines @@
     testLeftShift64Bit();
     testLeftShift64BitWithOverflow1();
     testLeftShift64BitWithOverflow2();
     testLeftShift64BitWithOverflow3();
   }
 
   // Test precedence.
   testPrecedence(4, 5, 3, 1);
   testPrecedence(3, 4, 5, 9);
   testPrecedence(0x5c71, 0x6b92, 0x7654, 0x7d28);
+
+  // Test more special cases.
+  testRightShift65();
 }
 
 void testCornerCasesRightShifts() {
   var v32 = 0xFF000000;
   var v64 = 0xFF00000000000000;
   Expect.equals(0x3, v32 >> 0x1E);
   Expect.equals(0x1, v32 >> 0x1F);
   Expect.equals(0x0, v32 >> 0x20);
   Expect.equals(0x3, v64 >> 0x3E);
   Expect.equals(0x1, v64 >> 0x3F);
@@ skipping 108 matching lines @@
   Expect.notEquals((a & b) ^ (c | (d & b)) ^ c, result); //    &|^
   Expect.notEquals((a & b) ^ ((c | d) & b) ^ c, result); //    |&^
   Expect.notEquals(a & (b ^ (c | d)) & (b ^ c), result); //    |^&
   Expect.notEquals(a & ((b ^ c) | d) & (b ^ c), result); //    ^|&
   // Binds stronger than relational operators.
   Expect.equals((a & b) < (c & d), a & b < c & d);
   // Binds weaker than shift operators.
   Expect.equals((a & (b << c)) ^ d, a & b << c ^ d);
   Expect.notEquals((a & b) << (c ^ d), a & b << c ^ d);
 }
+
+@neverInline
+rightShift65Noinline(a) => a >> 65;
+
+testRightShift65() {
+  var a = 0x5f22334455667788;
+  var b = -0x5f22334455667788;
+
+  for (var i = 0; i < 20; ++i) {
+    Expect.equals(0, rightShift65Noinline(a));
+    Expect.equals(-1, rightShift65Noinline(b));
+  }
+}