From 2aa4a82499d4becd2284cdb482213d541b8804dd Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 28 Apr 2024 16:29:10 +0200 Subject: Adding upstream version 86.0.1. Signed-off-by: Daniel Baumann --- .../tests/wasm/function-references/br-null.js | 58 ++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 js/src/jit-test/tests/wasm/function-references/br-null.js (limited to 'js/src/jit-test/tests/wasm/function-references/br-null.js') diff --git a/js/src/jit-test/tests/wasm/function-references/br-null.js b/js/src/jit-test/tests/wasm/function-references/br-null.js new file mode 100644 index 0000000000..26d1013de2 --- /dev/null +++ b/js/src/jit-test/tests/wasm/function-references/br-null.js @@ -0,0 +1,58 @@ +// |jit-test| skip-if: !wasmFunctionReferencesEnabled() + +// br_on_null from constant +wasmValidateText(`(module + (func + ref.null extern + br_on_null 0 + drop + ) +)`); + +// br_on_null from parameter +wasmValidateText(`(module + (func (param externref) + local.get 0 + br_on_null 0 + drop + ) +)`); + +// br_on_null with single result +wasmValidateText(`(module + (func (result i32) + i32.const 0 + ref.null extern + br_on_null 0 + drop + ) +)`); + +// br_on_null with multiple results +wasmValidateText(`(module + (func (result i32 i32 i32) + i32.const 0 + i32.const 1 + i32.const 2 + ref.null extern + br_on_null 0 + drop + ) +)`); + +// Test the branch takes the correct path and results are passed correctly +let {isNull} = wasmEvalText(`(module + (func (export "isNull") (param externref) (result i32) + i32.const 1 + local.get 0 + br_on_null 0 + drop + drop + i32.const 0 + ) +)`).exports; + +assertEq(isNull(null), 1, `null is null`); +for (let val of WasmNonNullExternrefValues) { + assertEq(isNull(val), 0, `${typeof(val)} is not null`); +} -- cgit v1.2.3