summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/declared-segs.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /js/src/jit-test/tests/wasm/declared-segs.js
parentInitial commit. (diff)
downloadfirefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz
firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esr
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/jit-test/tests/wasm/declared-segs.js')
-rw-r--r--js/src/jit-test/tests/wasm/declared-segs.js58
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'}]);