1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
// |jit-test| skip-if: !wasmGcEnabled()
// non-null table initialization
var { get1, get2, get3, get4 } = wasmEvalText(`(module
(type $dummy (func))
(func $dummy)
(table $t1 10 funcref)
(table $t2 10 funcref (ref.func $dummy))
(table $t3 10 (ref $dummy) (ref.func $dummy))
(table $t4 10 (ref func) (ref.func $dummy))
(func (export "get1") (result funcref) (table.get $t1 (i32.const 1)))
(func (export "get2") (result funcref) (table.get $t2 (i32.const 4)))
(func (export "get3") (result funcref) (table.get $t3 (i32.const 7)))
(func (export "get4") (result funcref) (table.get $t4 (i32.const 5)))
)`).exports;
assertEq(get1(), null);
assertEq(get2() != null, true);
assertEq(get3() != null, true);
assertEq(get4() != null, true);
const sampleWasmFunction = get2();
sampleWasmFunction();
// Invalid initializers
for (let i of [
`(table $t1 10 (ref $dummy) (ref.func $dummy1))`,
`(table $t2 5 10 (ref func))`,
`(table $t3 10 10 (ref func) (ref.null $dummy1))`,
`(table $t4 10 (ref $dummy))`,
'(table $t5 1 (ref $dummy) (ref.null $dummy))',
]) {
wasmFailValidateText(`(module
(type $dummy (func))
(type $dummy1 (func (param i32)))
(func $dummy1 (param i32))
${i}
)`, /(type mismatch|table with non-nullable references requires initializer)/);
}
let values = "10 funcref (ref.func $dummy)";
let t1 = new wasmEvalText(`(module (func $dummy) (table (export "t1") ${values}))`).exports.t1;
assertEq(t1.get(2) != null, true);
wasmFailValidateText(`(module
(table $t 10 (ref func))
)`, /table with non-nullable references requires initializer/);
wasmFailValidateText(`
(module
(func $dummy)
(table (export "t") 10 funcref (ref.null none))
)`, /type mismatch/);
const foo = "bar";
const { t2, get } = wasmEvalText(`
(module
(global (import "" "foo") externref)
(table (export "t2") 6 20 externref (global.get 0))
)`, { "": { "foo": foo } }).exports;
assertEq(t2.get(5), "bar");
assertThrows(() => { t2.get(7) });
assertThrows(() => { t2.grow(30, null) });
t2.grow(8, {t: "test"});
assertEq(t2.get(3), "bar");
assertEq(t2.get(7).t, "test");
// Fail because tables come before globals in the binary format, so tables
// cannot refer to globals.
wasmFailValidateText(`(module
(global $g1 externref)
(table 10 externref (global.get $g1))
)`, /global.get index out of range/);
function assertThrows(f) {
var ok = false;
try {
f();
} catch (exc) {
ok = true;
}
if (!ok)
throw new TypeError("Assertion failed: " + f + " did not throw as expected");
}
|
