diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 00:47:55 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 00:47:55 +0000 |
commit | 26a029d407be480d791972afb5975cf62c9360a6 (patch) | |
tree | f435a8308119effd964b339f76abb83a57c29483 /js/src/jit-test/tests/warp/guard-specific-atom-with-short-atom.js | |
parent | Initial commit. (diff) | |
download | firefox-26a029d407be480d791972afb5975cf62c9360a6.tar.xz firefox-26a029d407be480d791972afb5975cf62c9360a6.zip |
Adding upstream version 124.0.1.upstream/124.0.1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/jit-test/tests/warp/guard-specific-atom-with-short-atom.js')
-rw-r--r-- | js/src/jit-test/tests/warp/guard-specific-atom-with-short-atom.js | 82 |
1 files changed, 82 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/warp/guard-specific-atom-with-short-atom.js b/js/src/jit-test/tests/warp/guard-specific-atom-with-short-atom.js new file mode 100644 index 0000000000..84be75fbfd --- /dev/null +++ b/js/src/jit-test/tests/warp/guard-specific-atom-with-short-atom.js @@ -0,0 +1,82 @@ +// Test case to cover constant atom guards. +// +// GuardSpecificAtom for short (≤32 characters) constant atoms is optimised. + +function* characters(...ranges) { + for (let [start, end] of ranges) { + for (let i = start; i <= end; ++i) { + yield i; + } + } +} + +const ascii = [...characters( + [0x41, 0x5A], // A..Z + [0x61, 0x7A], // a..z + [0x30, 0x39], // 0..9 +)]; + +const latin1 = [...characters( + [0xC0, 0xFF], // À..ÿ +)]; + +const twoByte = [...characters( + [0x100, 0x17E], // Ā..ž +)]; + +function toRope(s) { + try { + return newRope(s[0], s.substring(1)); + } catch {} + // newRope can fail when |s| fits into an inline string. In that case simply + // return the input. + return s; +} + +function atomize(s) { + return Object.keys({[s]: 0})[0]; +} + +for (let i = 1; i <= 32; ++i) { + let strings = [ascii, latin1, twoByte].flatMap(codePoints => [ + // Same string as the input. + String.fromCodePoint(...codePoints.slice(0, i)), + + // Same length as the input, but a different string. + String.fromCodePoint(...codePoints.slice(1, i + 1)), + + // Shorter string than the input. + String.fromCodePoint(...codePoints.slice(0, i - 1)), + + // Longer string than the input. + String.fromCodePoint(...codePoints.slice(0, i + 1)), + ]).flatMap(x => [ + x, + toRope(x), + newString(x, {twoByte: true}), + atomize(x), + ]); + + // Must be small enough to transition to megamorphic ICs. + const stringsPerLoop = 4; + + for (let codePoints of [ascii, latin1, twoByte]) { + let str = String.fromCodePoint(...codePoints.slice(0, i)); + + for (let i = 0; i < strings.length; i += stringsPerLoop) { + let fn = Function("strings", ` + var obj = {["${str}"]: 0}; + + for (let i = 0; i < 250; ++i) { + let idx = i % strings.length; + let str = strings[idx]; + + let actual = str in obj; + let expected = str === "${str}"; + if (actual !== expected) throw new Error(); + } + `); + fn(strings.slice(i, stringsPerLoop)); + } + } +} |