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/wasm/regress/bug1857829.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/wasm/regress/bug1857829.js')
-rw-r--r-- | js/src/jit-test/tests/wasm/regress/bug1857829.js | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/regress/bug1857829.js b/js/src/jit-test/tests/wasm/regress/bug1857829.js new file mode 100644 index 0000000000..037855a4b1 --- /dev/null +++ b/js/src/jit-test/tests/wasm/regress/bug1857829.js @@ -0,0 +1,23 @@ +// |jit-test| --wasm-gc; skip-if: !wasmGcEnabled() + +// Tests if i31ref global value is normalized. +var ins = wasmEvalText(`(module + (global $i (ref i31) (ref.i31 (i32.const -1))) + (func (export "f") (result i32) + (ref.eq (ref.i31 (i32.const -1)) (global.get $i)) + ) + )`); +assertEq(ins.exports.f(), 1); + +// OP test +var ins = wasmEvalText(`(module + (import "env" "v" (func $g (result (ref eq)))) + (func (export "f") + (local $v (ref eq)) + (local.set $v (call $g)) + (if (i32.eq (i31.get_s (ref.cast (ref i31) (local.get $v))) (i32.const -1)) + (then + (if (i32.eqz (ref.eq (local.get $v) (ref.i31 (i32.const -1)))) + (then (unreachable)))))) +)`, {env:{v:()=>-1}}); +ins.exports.f(); |