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
88
89
90
91
92
93
94
95
96
97
98
|
// META: global=window,dedicatedworker,jsshell
// META: script=/wasm/jsapi/wasm-module-builder.js
let exports = {};
setup(() => {
const builder = new WasmModuleBuilder();
const i31Ref = wasmRefType(kWasmI31Ref);
const i31NullableRef = wasmRefNullType(kWasmI31Ref);
const anyRef = wasmRefType(kWasmAnyRef);
builder
.addFunction("makeI31", makeSig_r_x(i31Ref, kWasmI32))
.addBody([kExprLocalGet, 0,
...GCInstr(kExprI31New)])
.exportFunc();
builder
.addFunction("castI31", makeSig_r_x(kWasmI32, anyRef))
.addBody([kExprLocalGet, 0,
...GCInstr(kExprRefCast), kI31RefCode,
...GCInstr(kExprI31GetU)])
.exportFunc();
builder
.addFunction("getI31", makeSig_r_x(kWasmI32, i31Ref))
.addBody([kExprLocalGet, 0,
...GCInstr(kExprI31GetS)])
.exportFunc();
builder
.addFunction("argI31", makeSig_v_x(i31NullableRef))
.addBody([])
.exportFunc();
builder
.addGlobal(i31NullableRef, true, [...wasmI32Const(0), ...GCInstr(kExprI31New)])
builder
.addExportOfKind("i31Global", kExternalGlobal, 0);
builder
.addTable(i31NullableRef, 10)
builder
.addExportOfKind("i31Table", kExternalTable, 0);
const buffer = builder.toBuffer();
const module = new WebAssembly.Module(buffer);
const instance = new WebAssembly.Instance(module, {});
exports = instance.exports;
});
test(() => {
assert_equals(exports.makeI31(42), 42);
assert_equals(exports.makeI31(2 ** 30 - 1), 2 ** 30 - 1);
assert_equals(exports.makeI31(2 ** 30), -(2 ** 30));
assert_equals(exports.makeI31(-(2 ** 30)), -(2 ** 30));
assert_equals(exports.makeI31(2 ** 31 - 1), -1);
assert_equals(exports.makeI31(2 ** 31), 0);
}, "i31ref conversion to Number");
test(() => {
assert_equals(exports.getI31(exports.makeI31(42)), 42);
assert_equals(exports.getI31(42), 42);
assert_equals(exports.getI31(2.0 ** 30 - 1), 2 ** 30 - 1);
assert_equals(exports.getI31(-(2 ** 30)), -(2 ** 30));
}, "Number conversion to i31ref");
test(() => {
exports.argI31(null);
assert_throws_js(TypeError, () => exports.argI31(2 ** 30));
assert_throws_js(TypeError, () => exports.argI31(-(2 ** 30) - 1));
assert_throws_js(TypeError, () => exports.argI31(2n));
assert_throws_js(TypeError, () => exports.argI31(() => 3));
assert_throws_js(TypeError, () => exports.argI31(exports.getI31));
}, "Check i31ref argument type");
test(() => {
assert_equals(exports.castI31(42), 42);
assert_equals(exports.castI31(2 ** 30 - 1), 2 ** 30 - 1);
assert_throws_js(WebAssembly.RuntimeError, () => { exports.castI31(2 ** 30); });
assert_throws_js(WebAssembly.RuntimeError, () => { exports.castI31(-(2 ** 30) - 1); });
assert_throws_js(WebAssembly.RuntimeError, () => { exports.castI31(2 ** 32); });
}, "Numbers in i31 range are i31ref, not hostref");
test(() => {
assert_equals(exports.i31Global.value, 0);
exports.i31Global.value = 42;
assert_throws_js(TypeError, () => exports.i31Global.value = 2 ** 30);
assert_throws_js(TypeError, () => exports.i31Global.value = -(2 ** 30) - 1);
assert_equals(exports.i31Global.value, 42);
}, "i31ref global");
test(() => {
assert_equals(exports.i31Table.get(0), null);
exports.i31Table.set(0, 42);
assert_throws_js(TypeError, () => exports.i31Table.set(0, 2 ** 30));
assert_throws_js(TypeError, () => exports.i31Table.set(0, -(2 ** 30) - 1));
assert_equals(exports.i31Table.get(0), 42);
}, "i31ref table");
|
