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 --- js/src/jit-test/tests/wasm/regress/bug1857829.js | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 js/src/jit-test/tests/wasm/regress/bug1857829.js (limited to 'js/src/jit-test/tests/wasm/regress/bug1857829.js') 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(); -- cgit v1.2.3