Fix error in static type information computation for bitwise shift.

test/mjsunit/smi-ops.js

Index: test/mjsunit/smi-ops.js
===================================================================
--- test/mjsunit/smi-ops.js	(revision 4470)
+++ test/mjsunit/smi-ops.js	(working copy)
@@ -669,3 +669,12 @@
 function shiftByZero(n) { return n << 0; }
 
 assertEquals(3, shiftByZero(3.1415));
+
+// Verify that the static type information of x >>> 32 is computed correctly.
+function LogicalShiftRightByMultipleOf32(x) {
+  x = x >>> 32;
+  return x + x;
+}
+
+assertEquals(4589934592, LogicalShiftRightByMultipleOf32(-2000000000));
+assertEquals(4589934592, LogicalShiftRightByMultipleOf32(-2000000000));

[Lasse Reichstein, 2010/04/22 08:59:04]

Why the same line twice?

[William Hesse, 2010/04/22 09:01:29]

Because the function returns different answers each time, due to binary
operation inline caches.