From 36d22d82aa202bb199967e9512281e9a53db42c9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:33:14 +0200 Subject: Adding upstream version 115.7.0esr. Signed-off-by: Daniel Baumann --- js/src/jit-test/tests/wasm/declared-segs.js | 58 +++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 js/src/jit-test/tests/wasm/declared-segs.js (limited to 'js/src/jit-test/tests/wasm/declared-segs.js') 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'}]); -- cgit v1.2.3