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/auto-regress/bug1476417.js | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 js/src/jit-test/tests/auto-regress/bug1476417.js (limited to 'js/src/jit-test/tests/auto-regress/bug1476417.js') diff --git a/js/src/jit-test/tests/auto-regress/bug1476417.js b/js/src/jit-test/tests/auto-regress/bug1476417.js new file mode 100644 index 0000000000..7748723f7e --- /dev/null +++ b/js/src/jit-test/tests/auto-regress/bug1476417.js @@ -0,0 +1,22 @@ +function f(x) { + var y, z; + + arguments; // Force creation of mapped arguments, so modifying |x| writes to the arguments object. + Math; // Access a global variable to create a resume point. + z = x + 1; // Was executed twice because only the resume point for 'Math' was present before the fix. + x = z; // Modifying |x| writes into the arguments object. We missed to create a resume point here. + y = 2 * x; // Triggers a bailout when overflowing int32 boundaries. + + return [x, y]; +} + +var x = [0, 0, 0x3FFFFFFF]; + +for (var j = 0; j < 3; ++j) { + var value = x[j]; + var expected = [value + 1, (value + 1) * 2]; + var actual = f(value); + + assertEq(actual[0], expected[0]); + assertEq(actual[1], expected[1]); +} -- cgit v1.2.3