Fix for running with --throw_on_javascript_int_overflow: recognize pattern (a << b) & mask and test…

tests/standalone/javascript_int_overflow_test.dart

 // Copyright (c) 2013, 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.
 
-// VMOptions=--throw_on_javascript_int_overflow --optimization_counter_threshold=10
+// VMOptions=--throw_on_javascript_int_overflow --optimization_counter_threshold=10 --no-use-osr
 
 
 import "package:expect/expect.dart";
 import 'dart:typed_data';
 
 
 double dti_arg;
 int double_to_int() {
   return dti_arg.toInt();
 }
@@ skipping 31 matching lines @@
 int max_literal() {
   return 0x20000000000000;
 }
 
 
 int min_literal() {
   var min_literal = -0x20000000000000;
   return min_literal;
 }
 
+
+int doNotThrow1(a, b) {
+  return (a << b) & 0xFFFFFFFF;
+}
+
+int doNotThrow2(a, b) {
+  return (a << b) & 0xFFFFFFFF;
+}
+
+
+int doNotThrow3(a, b) {
+  return (a << b) & 0x7FFFFFFF;
+}
+
+
+int doNotThrow4(a, b) {
+  return (a << b) & 0x7FFFFFFF;
+}
+
+
 // We don't test for the _JavascriptIntegerOverflowError since it's not visible.
 // It should not be visible since it doesn't exist on dart2js.
 bool isJavascriptIntError(e) =>
     e is Error && "$e".startsWith("Javascript Integer Overflow:");
 
 main() {
   Expect.equals(0x20000000000000, max_literal());
   Expect.equals(-0x20000000000000, min_literal());
 
   // Run the tests once before optimizations.
@@ skipping 42 matching lines @@
   Expect.throws(integer_add, isJavascriptIntError);
 
   n_arg = -0x20000000000000;
   Expect.equals(0x20000000000000, negate());
 
   is_arg = (1 << 53);
   Expect.throws(integer_shift, isJavascriptIntError);
 
   Expect.throws(max_add_throws, isJavascriptIntError);
   Expect.throws(min_sub_throws, isJavascriptIntError);
+
+  for (int i = 0; i < 20; i++) {
+    Expect.equals(0xAFAFA000, doNotThrow1(0xFAFAFA, 12));
+    Expect.equals(0x2FAFA000, doNotThrow3(0xFAFAFA, 12));
+    Expect.equals(0xABABA000, doNotThrow2(0xFAFAFAABABA, 12));
+    Expect.equals(0x2BABA000, doNotThrow4(0xFAFAFAABABA, 12));
+  }
+  for (int i = 0; i < 20; i++) {
+    Expect.equals(0xABABA000, doNotThrow1(0xFAFAFAABABA, 12));
+    Expect.equals(0x2BABA000, doNotThrow3(0xFAFAFAABABA, 12));
+  }
+
 }