diff options
Diffstat (limited to 'js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js')
-rw-r--r-- | js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js b/js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js new file mode 100644 index 0000000000..9b9c8209bc --- /dev/null +++ b/js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js @@ -0,0 +1,50 @@ +var invalidatedFunction = function() { return false; } + +var counter = 0; + +function maybeInvalidate(iplusk) { + if (iplusk === 0) { + // This should happen only once; it will invalidate the call frame of + // the ion() function, which should rewind to just after the wasm call + // (if it got its own resume point). + // Before the patch, the wasm call doesn't get its resume point, so + // it's repeated and the importedFunc() is called once too many. + counter++; + invalidatedFunction = function () { return true; }; + } +} + +function importedFunc(k) { + for (let i = 100; i --> 0 ;) { + maybeInvalidate(i + k); + } +} + +let { exports } = new WebAssembly.Instance( + new WebAssembly.Module( + wasmTextToBinary(` + (module + (func $imp (import "env" "importedFunc") (param i32)) + (func (export "exp") (param i32) + local.get 0 + call $imp + ) + ) + `) + ), { + env: { + importedFunc + } + } +); + +function ion(k) { + exports.exp(k); + invalidatedFunction(); +} + +for (let k = 100; k --> 0 ;) { + ion(k); +} + +assertEq(counter, 1); |