Adding upstream version 86.0.1.upstream/86.0.1upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 58 insertions, 0 deletions

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`);
+}