From 26a029d407be480d791972afb5975cf62c9360a6 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 19 Apr 2024 02:47:55 +0200 Subject: Adding upstream version 124.0.1. Signed-off-by: Daniel Baumann --- .../jit-test/tests/ion/merge-phi-usage-analysis.js | 63 ++++++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 js/src/jit-test/tests/ion/merge-phi-usage-analysis.js (limited to 'js/src/jit-test/tests/ion/merge-phi-usage-analysis.js') diff --git a/js/src/jit-test/tests/ion/merge-phi-usage-analysis.js b/js/src/jit-test/tests/ion/merge-phi-usage-analysis.js new file mode 100644 index 0000000000..f239a8faf2 --- /dev/null +++ b/js/src/jit-test/tests/ion/merge-phi-usage-analysis.js @@ -0,0 +1,63 @@ + +function expensive() { + with({}) {} +} + +function phi_merge_0(i) { + // These computations can overflow, if the output is not truncated. + i = i | 0; + var a0 = i + i; + var a1 = i + i; + + if ((a1 | 0) - ((2 * i) | 0)) { + // Good candidate for branch pruning, which marks only a1 as having + // removed uses. + expensive(); + expensive(); + expensive(); + expensive(); + expensive(); + } + + // Simple branch made to let GVN merge the Phi instructions. + if (a1 % 3 == 1) { + a1 = 2 * i; + a0 = 2 * i; + } + + // a0 is never used, but a1 is truncated. + return a1 | 0; +} + +function phi_merge_1(i) { + // These computations can overflow, if the output is not truncated. + i = i | 0; + var a1 = i + i; + var a0 = i + i; + + if ((a1 | 0) - ((2 * i) | 0)) { + // Good candidate for branch pruning, which marks only a1 as having + // removed uses. + expensive(); + expensive(); + expensive(); + expensive(); + expensive(); + } + + // Simple branch made to let GVN merge the Phi instructions. + if (a1 % 3 == 1) { + a1 = 2 * i; + a0 = 2 * i; + } + + // a0 is never used, but a1 is truncated. + return a1 | 0; +} + +for (var j = 0; j < 300; j++) { + for (var i = 1; i == (i | 0); i = 2 * i + 1) { + assertEq(phi_merge_0(i) < 0x80000000, true); + assertEq(phi_merge_1(i) < 0x80000000, true); + } +} -- cgit v1.2.3