From 36d22d82aa202bb199967e9512281e9a53db42c9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:33:14 +0200 Subject: Adding upstream version 115.7.0esr. Signed-off-by: Daniel Baumann --- js/src/jit-test/tests/ion/recover-lambdas.js | 62 ++++++++++++++++++++++++++++ 1 file changed, 62 insertions(+) create mode 100644 js/src/jit-test/tests/ion/recover-lambdas.js (limited to 'js/src/jit-test/tests/ion/recover-lambdas.js') 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); +} -- cgit v1.2.3