[turbofan] Unify Int32Add/Sub representation selection rules.

test/mjsunit/compiler/integral32-add-sub.js

Index: test/mjsunit/compiler/integral32-add-sub.js
diff --git a/test/mjsunit/compiler/integral32-add-sub.js b/test/mjsunit/compiler/integral32-add-sub.js
new file mode 100644
index 0000000000000000000000000000000000000000..2ab531ff4020fc539636b99aeb6d04c7dc345924
--- /dev/null
+++ b/test/mjsunit/compiler/integral32-add-sub.js
@@ -0,0 +1,90 @@
+// Copyright 2016 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+(function() {
+  function foo(x) {
+    x = x >>> 0;
+    var y = 0 - 2147483648;
+    return x + y;
+  }
+
+  assertEquals(-2147483648, foo(0));
+  assertEquals(0, foo(2147483648));
+  assertEquals(2147483647, foo(4294967295));
+  %OptimizeFunctionOnNextCall(foo);
+  assertEquals(-2147483648, foo(0));
+  assertEquals(0, foo(2147483648));
+  assertEquals(2147483647, foo(4294967295));
+  assertOptimized(foo);
+})();
+
+(function() {
+  function foo(x) {
+    x = x >>> 0;
+    var y = 2147483648;
+    return x - y;
+  }
+
+  assertEquals(-2147483648, foo(0));
+  assertEquals(0, foo(2147483648));
+  assertEquals(2147483647, foo(4294967295));
+  %OptimizeFunctionOnNextCall(foo);
+  assertEquals(-2147483648, foo(0));
+  assertEquals(0, foo(2147483648));
+  assertEquals(2147483647, foo(4294967295));
+  assertOptimized(foo);
+})();
+
+(function() {
+  function foo(x) {
+    x = x | 0;
+    var y = 2147483648;
+    return x + y;
+  }
+
+  assertEquals(2147483648, foo(0));
+  assertEquals(0, foo(-2147483648));
+  assertEquals(4294967295, foo(2147483647));
+  %OptimizeFunctionOnNextCall(foo);
+  assertEquals(2147483648, foo(0));
+  assertEquals(0, foo(-2147483648));
+  assertEquals(4294967295, foo(2147483647));
+  assertOptimized(foo);
+})();
+
+(function() {
+  function foo(x) {
+    x = x | 0;
+    var y = 0 - 2147483648;
+    return x - y;
+  }
+
+  assertEquals(2147483648, foo(0));
+  assertEquals(0, foo(-2147483648));
+  assertEquals(4294967295, foo(2147483647));
+  %OptimizeFunctionOnNextCall(foo);
+  assertEquals(2147483648, foo(0));
+  assertEquals(0, foo(-2147483648));
+  assertEquals(4294967295, foo(2147483647));
+  assertOptimized(foo);
+})();
+
+(function() {
+  function foo(x) {
+    x = x | 0;
+    var y = -0;
+    return x + y;
+  }
+
+  assertEquals(2147483647, foo(2147483647));
+  assertEquals(-2147483648, foo(-2147483648));
+  assertEquals(0, foo(0));
+  %OptimizeFunctionOnNextCall(foo);
+  assertEquals(2147483647, foo(2147483647));
+  assertEquals(-2147483648, foo(-2147483648));
+  assertEquals(0, foo(0));
+  assertOptimized(foo);
+})();