Adding upstream version 86.0.1.upstream/86.0.1upstream

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

1 files changed, 26 insertions, 0 deletions

diff --git a/js/src/jit-test/tests/wasm/gc/disabled.js b/js/src/jit-test/tests/wasm/gc/disabled.js
new file mode 100644
index 0000000000..3bc55e58f9
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/gc/disabled.js
@@ -0,0 +1,26 @@
+// |jit-test| skip-if: wasmGcEnabled()
+
+const { CompileError, validate } = WebAssembly;
+
+const UNRECOGNIZED_OPCODE_OR_BAD_TYPE = /unrecognized opcode|(Structure|reference|gc) types not enabled|invalid heap type|invalid inline block type|bad type|\(ref T\) types not enabled|Invalid type|invalid function type/;
+
+let simpleTests = [
+    "(module (func (drop (ref.null eq))))",
+    "(module (func $test (local eqref)))",
+    "(module (func $test (param eqref)))",
+    "(module (func $test (result eqref) (ref.null eq)))",
+    "(module (func $test (block (result eqref) (unreachable)) unreachable))",
+    "(module (func $test (result i32) (local eqref) (ref.is_null (local.get 0))))",
+    `(module (import "a" "b" (func (param eqref))))`,
+    `(module (import "a" "b" (func (result eqref))))`,
+    `(module (type $s (struct)))`,
+    `(module (func (param (ref 0)) (unreachable)))`,
+];
+
+// Test that use of gc-types fails when gc is disabled.
+
+for (let src of simpleTests) {
+    let bin = wasmTextToBinary(src);
+    assertEq(validate(bin), false);
+    wasmCompilationShouldFail(bin, UNRECOGNIZED_OPCODE_OR_BAD_TYPE);
+}