summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--js/src/jit-test/tests/wasm/regress/ion-inlinedcall-resumepoint.js50
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);