summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/regress/bug1467415.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/wasm/regress/bug1467415.js')
-rw-r--r--js/src/jit-test/tests/wasm/regress/bug1467415.js29
1 files changed, 29 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/regress/bug1467415.js b/js/src/jit-test/tests/wasm/regress/bug1467415.js
new file mode 100644
index 0000000000..177e67ba08
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/regress/bug1467415.js
@@ -0,0 +1,29 @@
+
+// This exposed an alias analysis bug in the Wasm Ion machinery. It should
+// compute 125 (88 + 37) but with the bug would compute 176 (88 + 88) instead.
+// See bug 1467415.
+
+let mt = `
+(module
+ (import "m" "g" (global (mut i32)))
+ (import "m" "h" (global (mut i32)))
+ (memory 1 1)
+ (data (i32.const 0) "\\01\\00\\00\\00\\01\\00\\00\\00\\01\\00\\00\\00")
+ (func (export "f") (result i32)
+ (local i32)
+ (local i32)
+ (block (result i32)
+ (local.set 0 (global.get 0))
+ (block (result i32)
+ (global.set 1 (i32.const 37))
+ (block (result i32)
+ (local.set 1 (global.get 0))
+ (i32.add (local.get 0) (local.get 1)))))))
+`;
+
+let glob = new WebAssembly.Global({value:'i32', mutable:true}, 88);
+let module = new WebAssembly.Module(wasmTextToBinary(mt));
+let ins = new WebAssembly.Instance(module, {m:{g:glob, h:glob}});
+
+let shouldBe125 = ins.exports.f();
+assertEq(shouldBe125, 125);