1 files changed, 58 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/declared-segs.js b/js/src/jit-test/tests/wasm/declared-segs.js
new file mode 100644
index 0000000000..d0f3a175ef
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/declared-segs.js
@@ -0,0 +1,58 @@
+// Declared segments parse and validate
+wasmFullPass(`
+	(module
+		(func $f1)
+		(elem declare $f1)
+		(elem declare funcref (ref.null func))
+		(func $run)
+		(export "run" (func $run))
+	)
+`);
+
+// Declared segments can be used with externref
+wasmFullPass(`
+	(module
+		(elem declare externref (ref.null extern))
+		(func $run)
+		(export "run" (func $run))
+	)
+`);
+
+// Declared segments cannot be used at runtime
+{
+	let inst = wasmEvalText(`
+		(module
+			(func $f1)
+			(table 1 1 funcref)
+			(elem $e1 declare $f1)
+			(func (export "testfn") (table.init $e1 (i32.const 0) (i32.const 0) (i32.const 1)))
+		)
+	`);
+	assertErrorMessage(() => inst.exports.testfn(), WebAssembly.RuntimeError, /index out of bounds/);
+}
+
+// Declared segments can be dropped, although this has no effect
+wasmEvalText(`
+	(module
+		(func $f1)
+		(table 1 1 funcref)
+		(elem $e1 declare $f1)
+		(func $start (elem.drop $e1) (elem.drop $e1))
+		(start $start)
+	)
+`)
+
+// Declared segments don't cause initialization of a table
+wasmAssert(`
+	(module
+		(func $f1)
+		(table 1 1 funcref)
+		(elem declare $f1)
+		(func $at (param i32) (result i32)
+			local.get 0
+			table.get 0
+			ref.is_null
+		)
+		(export "at" (func $at))
+	)
+`, [{type: 'i32', func: '$at', args: ['i32.const 0'], expected: '1'}]);