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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
// Make sure we are correctly parsing this custom section.
var code =`
(module
(func $$dummy)
(func $main (param i32) (result i32)
i32.const 0
local.get 0
i32.eq
;; Only allowed on br_if and if
(@metadata.code.branch_hint "\\00") if
call $$dummy
i32.const 1
return
else
call $$dummy
i32.const 0
return
end
i32.const 3
return
)
(export "_main" (func $main))
)`;
let branchHintsModule = new WebAssembly.Module(wasmTextToBinary(code));
assertEq(WebAssembly.Module.customSections(branchHintsModule, "metadata.code.branch_hint").length, 1);
assertEq(wasmParsedBranchHints(branchHintsModule), true);
let instance = new WebAssembly.Instance(branchHintsModule);
assertEq(instance.exports._main(0), 1);
// Testing branch hints parsing on `if` and `br_if`
branchHintsModule = new WebAssembly.Module(wasmTextToBinary(`
(module
(func $main
i32.const 0
(@metadata.code.branch_hint "\\00")
if
i32.const 0
(@metadata.code.branch_hint "\\01")
br_if 0
end
)
(export "_main" (func $main))
)`));
assertEq(wasmParsedBranchHints(branchHintsModule), true);
instance = new WebAssembly.Instance(branchHintsModule);
instance.exports._main();
let m = new WebAssembly.Module(wasmTextToBinary(`
(module
(type (;0;) (func))
(type (;1;) (func (param i32) (result i32)))
(type (;2;) (func (result i32)))
(func $__wasm_nullptr (type 0)
unreachable)
(func $main (type 2) (result i32)
(local i32 i32 i32 i32)
i32.const 0
local.tee 2
local.set 3
loop
local.get 2
i32.const 50000
i32.eq
(@metadata.code.branch_hint "\\00") if
i32.const 1
local.set 3
end
local.get 2
i32.const 1
i32.add
local.tee 2
i32.const 100000
i32.ne
(@metadata.code.branch_hint "\\01") br_if 0 (;@1;)
end
local.get 3)
(table (;0;) 1 1 funcref)
(memory (;0;) 17 128)
(global (;0;) (mut i32) (i32.const 42))
(export "memory" (memory 0))
(export "_main" (func $main))
(elem (;0;) (i32.const 0) func $__wasm_nullptr)
(type (;0;) (func (param i32)))
)`));
assertEq(wasmParsedBranchHints(m), true);
instance = new WebAssembly.Instance(m);
assertEq(instance.exports._main(0), 1);
// Testing invalid values for branch hints
assertErrorMessage(() => new WebAssembly.Module(wasmTextToBinary(`
(module
(func $main (param i32) (result i32)
i32.const 0
(@metadata.code.branch_hint "\\0000000") if
i32.const 1
return
end
i32.const 42
return
)
)
`)), SyntaxError, /invalid value for branch hint/);
assertErrorMessage(() => new WebAssembly.Module(wasmTextToBinary(`
(module
(func $main (param i32) (result i32)
i32.const 0
(@metadata.code.branch_hint "\\02") if
i32.const 1
return
end
i32.const 42
return
)
)
`)), SyntaxError, /invalid value for branch hint/);
assertErrorMessage(() => new WebAssembly.Module(wasmTextToBinary(`
(module
(func $main (param i32) (result i32)
i32.const 0
(@metadata.code.branch_hint "\\aaaa") if
i32.const 1
return
end
i32.const 42
return
)
)
`)), SyntaxError, /wasm text error/);
assertErrorMessage(() => new WebAssembly.Module(wasmTextToBinary(`
(module
(func $main (param i32) (result i32)
i32.const 0
(@metadata.code.branch_hint) if
i32.const 1
return
end
i32.const 42
return
)
)
`)), SyntaxError, /wasm text error/);
assertErrorMessage(() => new WebAssembly.Module(wasmTextToBinary(`
(module
(@metadata.code.branch_hint)
)
`)), SyntaxError, /wasm text error/);
|
