diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
commit | 36d22d82aa202bb199967e9512281e9a53db42c9 (patch) | |
tree | 105e8c98ddea1c1e4784a60a5a6410fa416be2de /js/src/jit-test/tests/ion/monomorphic-inlining.js | |
parent | Initial commit. (diff) | |
download | firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip |
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | js/src/jit-test/tests/ion/monomorphic-inlining.js | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/ion/monomorphic-inlining.js b/js/src/jit-test/tests/ion/monomorphic-inlining.js new file mode 100644 index 0000000000..608d10917d --- /dev/null +++ b/js/src/jit-test/tests/ion/monomorphic-inlining.js @@ -0,0 +1,42 @@ +// |jit-test| --ion-offthread-compile=off; + +function foo(f, a, b) { + return f(a, b); +} + +function bar(a, b) { + let result = a + b; + if (result >= fns.length) { + return b + a; + } + return result; +} + +function baz(a, b) { + return a + b; +} + +let fns = []; + +// This is pretty fiddly. What we are trying to test here is a specific path +// in the bailout code which needs to know which ICScript to load, and has to +// decide between the script's own ICScript, or the trial-inlined ICScript +// which belongs to the outer script. It uses the ICFallbackStub's +// trialInliningState to make this decision, which can change out from +// underneath us if the inlined call fails. So what were doing here is getting +// into a state where we've monomorphic inlined a function, and gone to Ion +// with it. We then cause the inlined call to fail by calling a function which +// doesn't match what we expect, which transitions us to a failed +// trialInliningState. We then will bail out *inside* bar, due to the +// previously unseen inside of the result >= fns.length check, exercising the +// bailout code in question. +for (let i = 0; i < 2000; i++) { + fns.push(bar); +} + +fns.push(baz); +fns.push(bar); + +for (let i = 0; i < fns.length; i++) { + assertEq(foo(fns[i], i, 1), i + 1); +} |