summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/jaeger/undoAdd.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/jaeger/undoAdd.js')
-rw-r--r--js/src/jit-test/tests/jaeger/undoAdd.js25
1 files changed, 25 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/jaeger/undoAdd.js b/js/src/jit-test/tests/jaeger/undoAdd.js
new file mode 100644
index 000000000..007a29c97
--- /dev/null
+++ b/js/src/jit-test/tests/jaeger/undoAdd.js
@@ -0,0 +1,25 @@
+
+/* Test undoing addition in overflow paths when under heavy register pressure. */
+
+function add1(x, y, a, b, res) { var nres = res + 0; var z = (x + a) + (y + b); assertEq(z, nres); }
+function add2(x, y, a, b, res) { var nres = res + 0; var z = (x + a) + (y + b); assertEq(z, nres); }
+function add3(x, y, a, b, res) { var nres = res + 0; var z = (x + a) + (y + b); assertEq(z, nres); }
+add1(0x7ffffff0, 100, 0, 0, 2147483732);
+add2(-1000, -0x80000000, 0, 0, -2147484648);
+add3(-0x80000000, -1000, 0, 0, -2147484648);
+
+function cadd1(x, a, b, res) {
+ var nres = res + 0;
+ var nb = b + 0;
+ var z = (x + a) + 1000;
+ assertEq(z, nres + nb);
+}
+cadd1(0x7ffffff0, 0, 0, 2147484632);
+
+function cadd2(x, a, b, res) {
+ var nres = res + 0;
+ var nb = b + 0;
+ var z = (x + a) + (-0x80000000);
+ assertEq(z, nres + nb);
+}
+cadd2(-1000, 0, 0, -2147484648);