X-Git-Url: https://git.saurik.com/apple/javascriptcore.git/blobdiff_plain/2d39b0e377c0896910ee49ae70082ba665faf986..ed1e77d3adeb83d26fd1dfb16dd84cabdcefd250:/tests/stress/fold-based-on-int32-proof.js

diff --git a/tests/stress/fold-based-on-int32-proof.js b/tests/stress/fold-based-on-int32-proof.js
new file mode 100644
index 0000000..f9a2ee5
--- /dev/null
+++ b/tests/stress/fold-based-on-int32-proof.js
@@ -0,0 +1,14 @@
+function foo(a, b) {
+    return a + b === 2147483648;
+}
+noInline(foo);
+
+for (var i = 0; i < 10000; ++i) {
+    var result = foo(1, 1);
+    if (result !== false)
+        throw "Error: bad result: " + result;
+}
+
+var result = foo(1073741824, 1073741824);
+if (result !== true)
+    throw "Error: bad result at end: " + result;