summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/ion/recover-lambdas.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/ion/recover-lambdas.js')
-rw-r--r--js/src/jit-test/tests/ion/recover-lambdas.js62
1 files changed, 62 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/ion/recover-lambdas.js b/js/src/jit-test/tests/ion/recover-lambdas.js
new file mode 100644
index 0000000000..bec1dad254
--- /dev/null
+++ b/js/src/jit-test/tests/ion/recover-lambdas.js
@@ -0,0 +1,62 @@
+// |jit-test| --no-ion; --ion-osr=off
+// Warp lacks Scalar Replacement support (bug 1650233). Re-evaluate after that
+// bug has been fixed.
+
+var max = 40;
+setJitCompilerOption("ion.warmup.trigger", max - 10);
+
+// Prevent the GC from cancelling Ion compilations, when we expect them to succeed
+gczeal(0);
+
+// This function is used to escape "g" which is a non-escaped inner function.
+// As it is not escaped within "f", the lambda for "g" would be computed on the
+// bailout path. Resolving the first ".caller" implies that we have to recover
+// the lambda. Resolving the second ".caller" is needed such as we can build the
+// test case without explicitly escaping "g", which would prevent this
+// optimization.
+
+function return_f(i) {
+ if (i != max - 1)
+ return f;
+
+ // return_f.caller == g
+ // return_f.caller.caller == f
+ return return_f.caller.caller;
+}
+
+function f(i) {
+ function g() {
+ return return_f(i);
+ }
+
+ assertRecoveredOnBailout(g, true);
+ return g();
+}
+
+// This function is used to cause an invalidation after having removed a branch.
+// These functions are used to check if we correctly recover the lambda
+// and its environment during a bailout.
+var uceFault = function (i) {
+ if (i == max - 1)
+ uceFault = function (i) { return true; };
+ return false;
+};
+
+var uceFault_lambdaCall = eval(`(${uceFault})`.replace('uceFault', 'uceFault_lambdaCall'));
+function lambdaCall(i) {
+ function g() {
+ return i;
+ }
+
+ if (uceFault_lambdaCall(i) || uceFault_lambdaCall(i))
+ assertEq(g(), i);
+
+ assertRecoveredOnBailout(g, true);
+};
+
+
+
+for (var i = 0; i < max; i++) {
+ assertEq(f(i), f);
+ lambdaCall(i);
+}