1;;
2;; Generated by ../meta/generate_table_init.js
3;; DO NOT EDIT THIS FILE. CHANGE THE SOURCE AND REGENERATE.
4;;
5
6(module
7 (func (export "ef0") (result i32) (i32.const 0))
8 (func (export "ef1") (result i32) (i32.const 1))
9 (func (export "ef2") (result i32) (i32.const 2))
10 (func (export "ef3") (result i32) (i32.const 3))
11 (func (export "ef4") (result i32) (i32.const 4))
12)
13(register "a")
14
15(module
16 (type (func (result i32))) ;; type #0
17 (import "a" "ef0" (func (result i32))) ;; index 0
18 (import "a" "ef1" (func (result i32)))
19 (import "a" "ef2" (func (result i32)))
20 (import "a" "ef3" (func (result i32)))
21 (import "a" "ef4" (func (result i32))) ;; index 4
22 (table $t0 30 30 funcref)
23 (table $t1 30 30 funcref)
24 (elem (table $t0) (i32.const 2) func 3 1 4 1)
25 (elem funcref
26 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
27 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
28 (elem funcref
29 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
30 (func (result i32) (i32.const 5)) ;; index 5
31 (func (result i32) (i32.const 6))
32 (func (result i32) (i32.const 7))
33 (func (result i32) (i32.const 8))
34 (func (result i32) (i32.const 9)) ;; index 9
35 (func (export "test")
36 (table.init $t0 1 (i32.const 7) (i32.const 0) (i32.const 4)))
37 (func (export "check") (param i32) (result i32)
38 (call_indirect $t0 (type 0) (local.get 0)))
39)
40
41(invoke "test")
42(assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
43(assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
44(assert_return (invoke "check" (i32.const 2)) (i32.const 3))
45(assert_return (invoke "check" (i32.const 3)) (i32.const 1))
46(assert_return (invoke "check" (i32.const 4)) (i32.const 4))
47(assert_return (invoke "check" (i32.const 5)) (i32.const 1))
48(assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
49(assert_return (invoke "check" (i32.const 7)) (i32.const 2))
50(assert_return (invoke "check" (i32.const 8)) (i32.const 7))
51(assert_return (invoke "check" (i32.const 9)) (i32.const 1))
52(assert_return (invoke "check" (i32.const 10)) (i32.const 8))
53(assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
54(assert_return (invoke "check" (i32.const 12)) (i32.const 7))
55(assert_return (invoke "check" (i32.const 13)) (i32.const 5))
56(assert_return (invoke "check" (i32.const 14)) (i32.const 2))
57(assert_return (invoke "check" (i32.const 15)) (i32.const 3))
58(assert_return (invoke "check" (i32.const 16)) (i32.const 6))
59(assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
60(assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
61(assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
62(assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
63(assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
64(assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
65(assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
66(assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
67(assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
68(assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
69(assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
70(assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
71(assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
72
73(module
74 (type (func (result i32))) ;; type #0
75 (import "a" "ef0" (func (result i32))) ;; index 0
76 (import "a" "ef1" (func (result i32)))
77 (import "a" "ef2" (func (result i32)))
78 (import "a" "ef3" (func (result i32)))
79 (import "a" "ef4" (func (result i32))) ;; index 4
80 (table $t0 30 30 funcref)
81 (table $t1 30 30 funcref)
82 (elem (table $t0) (i32.const 2) func 3 1 4 1)
83 (elem funcref
84 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
85 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
86 (elem funcref
87 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
88 (func (result i32) (i32.const 5)) ;; index 5
89 (func (result i32) (i32.const 6))
90 (func (result i32) (i32.const 7))
91 (func (result i32) (i32.const 8))
92 (func (result i32) (i32.const 9)) ;; index 9
93 (func (export "test")
94 (table.init $t0 3 (i32.const 15) (i32.const 1) (i32.const 3)))
95 (func (export "check") (param i32) (result i32)
96 (call_indirect $t0 (type 0) (local.get 0)))
97)
98
99(invoke "test")
100(assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
101(assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
102(assert_return (invoke "check" (i32.const 2)) (i32.const 3))
103(assert_return (invoke "check" (i32.const 3)) (i32.const 1))
104(assert_return (invoke "check" (i32.const 4)) (i32.const 4))
105(assert_return (invoke "check" (i32.const 5)) (i32.const 1))
106(assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
107(assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
108(assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
109(assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
110(assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
111(assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
112(assert_return (invoke "check" (i32.const 12)) (i32.const 7))
113(assert_return (invoke "check" (i32.const 13)) (i32.const 5))
114(assert_return (invoke "check" (i32.const 14)) (i32.const 2))
115(assert_return (invoke "check" (i32.const 15)) (i32.const 9))
116(assert_return (invoke "check" (i32.const 16)) (i32.const 2))
117(assert_return (invoke "check" (i32.const 17)) (i32.const 7))
118(assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
119(assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
120(assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
121(assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
122(assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
123(assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
124(assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
125(assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
126(assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
127(assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
128(assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
129(assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
130
131(module
132 (type (func (result i32))) ;; type #0
133 (import "a" "ef0" (func (result i32))) ;; index 0
134 (import "a" "ef1" (func (result i32)))
135 (import "a" "ef2" (func (result i32)))
136 (import "a" "ef3" (func (result i32)))
137 (import "a" "ef4" (func (result i32))) ;; index 4
138 (table $t0 30 30 funcref)
139 (table $t1 30 30 funcref)
140 (elem (table $t0) (i32.const 2) func 3 1 4 1)
141 (elem funcref
142 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
143 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
144 (elem funcref
145 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
146 (func (result i32) (i32.const 5)) ;; index 5
147 (func (result i32) (i32.const 6))
148 (func (result i32) (i32.const 7))
149 (func (result i32) (i32.const 8))
150 (func (result i32) (i32.const 9)) ;; index 9
151 (func (export "test")
152 (table.init $t0 1 (i32.const 7) (i32.const 0) (i32.const 4))
153 (elem.drop 1)
154 (table.init $t0 3 (i32.const 15) (i32.const 1) (i32.const 3))
155 (elem.drop 3)
156 (table.copy $t0 0 (i32.const 20) (i32.const 15) (i32.const 5))
157 (table.copy $t0 0 (i32.const 21) (i32.const 29) (i32.const 1))
158 (table.copy $t0 0 (i32.const 24) (i32.const 10) (i32.const 1))
159 (table.copy $t0 0 (i32.const 13) (i32.const 11) (i32.const 4))
160 (table.copy $t0 0 (i32.const 19) (i32.const 20) (i32.const 5)))
161 (func (export "check") (param i32) (result i32)
162 (call_indirect $t0 (type 0) (local.get 0)))
163)
164
165(invoke "test")
166(assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
167(assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
168(assert_return (invoke "check" (i32.const 2)) (i32.const 3))
169(assert_return (invoke "check" (i32.const 3)) (i32.const 1))
170(assert_return (invoke "check" (i32.const 4)) (i32.const 4))
171(assert_return (invoke "check" (i32.const 5)) (i32.const 1))
172(assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
173(assert_return (invoke "check" (i32.const 7)) (i32.const 2))
174(assert_return (invoke "check" (i32.const 8)) (i32.const 7))
175(assert_return (invoke "check" (i32.const 9)) (i32.const 1))
176(assert_return (invoke "check" (i32.const 10)) (i32.const 8))
177(assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
178(assert_return (invoke "check" (i32.const 12)) (i32.const 7))
179(assert_trap (invoke "check" (i32.const 13)) "uninitialized element")
180(assert_return (invoke "check" (i32.const 14)) (i32.const 7))
181(assert_return (invoke "check" (i32.const 15)) (i32.const 5))
182(assert_return (invoke "check" (i32.const 16)) (i32.const 2))
183(assert_return (invoke "check" (i32.const 17)) (i32.const 7))
184(assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
185(assert_return (invoke "check" (i32.const 19)) (i32.const 9))
186(assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
187(assert_return (invoke "check" (i32.const 21)) (i32.const 7))
188(assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
189(assert_return (invoke "check" (i32.const 23)) (i32.const 8))
190(assert_return (invoke "check" (i32.const 24)) (i32.const 8))
191(assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
192(assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
193(assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
194(assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
195(assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
196
197(module
198 (type (func (result i32))) ;; type #0
199 (import "a" "ef0" (func (result i32))) ;; index 0
200 (import "a" "ef1" (func (result i32)))
201 (import "a" "ef2" (func (result i32)))
202 (import "a" "ef3" (func (result i32)))
203 (import "a" "ef4" (func (result i32))) ;; index 4
204 (table $t0 30 30 funcref)
205 (table $t1 30 30 funcref)
206 (elem (table $t1) (i32.const 2) func 3 1 4 1)
207 (elem funcref
208 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
209 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
210 (elem funcref
211 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
212 (func (result i32) (i32.const 5)) ;; index 5
213 (func (result i32) (i32.const 6))
214 (func (result i32) (i32.const 7))
215 (func (result i32) (i32.const 8))
216 (func (result i32) (i32.const 9)) ;; index 9
217 (func (export "test")
218 (table.init $t1 1 (i32.const 7) (i32.const 0) (i32.const 4)))
219 (func (export "check") (param i32) (result i32)
220 (call_indirect $t1 (type 0) (local.get 0)))
221)
222
223(invoke "test")
224(assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
225(assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
226(assert_return (invoke "check" (i32.const 2)) (i32.const 3))
227(assert_return (invoke "check" (i32.const 3)) (i32.const 1))
228(assert_return (invoke "check" (i32.const 4)) (i32.const 4))
229(assert_return (invoke "check" (i32.const 5)) (i32.const 1))
230(assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
231(assert_return (invoke "check" (i32.const 7)) (i32.const 2))
232(assert_return (invoke "check" (i32.const 8)) (i32.const 7))
233(assert_return (invoke "check" (i32.const 9)) (i32.const 1))
234(assert_return (invoke "check" (i32.const 10)) (i32.const 8))
235(assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
236(assert_return (invoke "check" (i32.const 12)) (i32.const 7))
237(assert_return (invoke "check" (i32.const 13)) (i32.const 5))
238(assert_return (invoke "check" (i32.const 14)) (i32.const 2))
239(assert_return (invoke "check" (i32.const 15)) (i32.const 3))
240(assert_return (invoke "check" (i32.const 16)) (i32.const 6))
241(assert_trap (invoke "check" (i32.const 17)) "uninitialized element")
242(assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
243(assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
244(assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
245(assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
246(assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
247(assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
248(assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
249(assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
250(assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
251(assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
252(assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
253(assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
254
255(module
256 (type (func (result i32))) ;; type #0
257 (import "a" "ef0" (func (result i32))) ;; index 0
258 (import "a" "ef1" (func (result i32)))
259 (import "a" "ef2" (func (result i32)))
260 (import "a" "ef3" (func (result i32)))
261 (import "a" "ef4" (func (result i32))) ;; index 4
262 (table $t0 30 30 funcref)
263 (table $t1 30 30 funcref)
264 (elem (table $t1) (i32.const 2) func 3 1 4 1)
265 (elem funcref
266 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
267 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
268 (elem funcref
269 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
270 (func (result i32) (i32.const 5)) ;; index 5
271 (func (result i32) (i32.const 6))
272 (func (result i32) (i32.const 7))
273 (func (result i32) (i32.const 8))
274 (func (result i32) (i32.const 9)) ;; index 9
275 (func (export "test")
276 (table.init $t1 3 (i32.const 15) (i32.const 1) (i32.const 3)))
277 (func (export "check") (param i32) (result i32)
278 (call_indirect $t1 (type 0) (local.get 0)))
279)
280
281(invoke "test")
282(assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
283(assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
284(assert_return (invoke "check" (i32.const 2)) (i32.const 3))
285(assert_return (invoke "check" (i32.const 3)) (i32.const 1))
286(assert_return (invoke "check" (i32.const 4)) (i32.const 4))
287(assert_return (invoke "check" (i32.const 5)) (i32.const 1))
288(assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
289(assert_trap (invoke "check" (i32.const 7)) "uninitialized element")
290(assert_trap (invoke "check" (i32.const 8)) "uninitialized element")
291(assert_trap (invoke "check" (i32.const 9)) "uninitialized element")
292(assert_trap (invoke "check" (i32.const 10)) "uninitialized element")
293(assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
294(assert_return (invoke "check" (i32.const 12)) (i32.const 7))
295(assert_return (invoke "check" (i32.const 13)) (i32.const 5))
296(assert_return (invoke "check" (i32.const 14)) (i32.const 2))
297(assert_return (invoke "check" (i32.const 15)) (i32.const 9))
298(assert_return (invoke "check" (i32.const 16)) (i32.const 2))
299(assert_return (invoke "check" (i32.const 17)) (i32.const 7))
300(assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
301(assert_trap (invoke "check" (i32.const 19)) "uninitialized element")
302(assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
303(assert_trap (invoke "check" (i32.const 21)) "uninitialized element")
304(assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
305(assert_trap (invoke "check" (i32.const 23)) "uninitialized element")
306(assert_trap (invoke "check" (i32.const 24)) "uninitialized element")
307(assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
308(assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
309(assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
310(assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
311(assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
312
313(module
314 (type (func (result i32))) ;; type #0
315 (import "a" "ef0" (func (result i32))) ;; index 0
316 (import "a" "ef1" (func (result i32)))
317 (import "a" "ef2" (func (result i32)))
318 (import "a" "ef3" (func (result i32)))
319 (import "a" "ef4" (func (result i32))) ;; index 4
320 (table $t0 30 30 funcref)
321 (table $t1 30 30 funcref)
322 (elem (table $t1) (i32.const 2) func 3 1 4 1)
323 (elem funcref
324 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
325 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
326 (elem funcref
327 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
328 (func (result i32) (i32.const 5)) ;; index 5
329 (func (result i32) (i32.const 6))
330 (func (result i32) (i32.const 7))
331 (func (result i32) (i32.const 8))
332 (func (result i32) (i32.const 9)) ;; index 9
333 (func (export "test")
334 (table.init $t1 1 (i32.const 7) (i32.const 0) (i32.const 4))
335 (elem.drop 1)
336 (table.init $t1 3 (i32.const 15) (i32.const 1) (i32.const 3))
337 (elem.drop 3)
338 (table.copy $t1 1 (i32.const 20) (i32.const 15) (i32.const 5))
339 (table.copy $t1 1 (i32.const 21) (i32.const 29) (i32.const 1))
340 (table.copy $t1 1 (i32.const 24) (i32.const 10) (i32.const 1))
341 (table.copy $t1 1 (i32.const 13) (i32.const 11) (i32.const 4))
342 (table.copy $t1 1 (i32.const 19) (i32.const 20) (i32.const 5)))
343 (func (export "check") (param i32) (result i32)
344 (call_indirect $t1 (type 0) (local.get 0)))
345)
346
347(invoke "test")
348(assert_trap (invoke "check" (i32.const 0)) "uninitialized element")
349(assert_trap (invoke "check" (i32.const 1)) "uninitialized element")
350(assert_return (invoke "check" (i32.const 2)) (i32.const 3))
351(assert_return (invoke "check" (i32.const 3)) (i32.const 1))
352(assert_return (invoke "check" (i32.const 4)) (i32.const 4))
353(assert_return (invoke "check" (i32.const 5)) (i32.const 1))
354(assert_trap (invoke "check" (i32.const 6)) "uninitialized element")
355(assert_return (invoke "check" (i32.const 7)) (i32.const 2))
356(assert_return (invoke "check" (i32.const 8)) (i32.const 7))
357(assert_return (invoke "check" (i32.const 9)) (i32.const 1))
358(assert_return (invoke "check" (i32.const 10)) (i32.const 8))
359(assert_trap (invoke "check" (i32.const 11)) "uninitialized element")
360(assert_return (invoke "check" (i32.const 12)) (i32.const 7))
361(assert_trap (invoke "check" (i32.const 13)) "uninitialized element")
362(assert_return (invoke "check" (i32.const 14)) (i32.const 7))
363(assert_return (invoke "check" (i32.const 15)) (i32.const 5))
364(assert_return (invoke "check" (i32.const 16)) (i32.const 2))
365(assert_return (invoke "check" (i32.const 17)) (i32.const 7))
366(assert_trap (invoke "check" (i32.const 18)) "uninitialized element")
367(assert_return (invoke "check" (i32.const 19)) (i32.const 9))
368(assert_trap (invoke "check" (i32.const 20)) "uninitialized element")
369(assert_return (invoke "check" (i32.const 21)) (i32.const 7))
370(assert_trap (invoke "check" (i32.const 22)) "uninitialized element")
371(assert_return (invoke "check" (i32.const 23)) (i32.const 8))
372(assert_return (invoke "check" (i32.const 24)) (i32.const 8))
373(assert_trap (invoke "check" (i32.const 25)) "uninitialized element")
374(assert_trap (invoke "check" (i32.const 26)) "uninitialized element")
375(assert_trap (invoke "check" (i32.const 27)) "uninitialized element")
376(assert_trap (invoke "check" (i32.const 28)) "uninitialized element")
377(assert_trap (invoke "check" (i32.const 29)) "uninitialized element")
378(assert_invalid
379 (module
380 (func (export "test")
381 (elem.drop 0)))
382 "unknown elem segment 0")
383
384(assert_invalid
385 (module
386 (func (export "test")
387 (table.init 0 (i32.const 12) (i32.const 1) (i32.const 1))))
388 "unknown table 0")
389
390(assert_invalid
391 (module
392 (elem funcref (ref.func 0))
393 (func (result i32) (i32.const 0))
394 (func (export "test")
395 (elem.drop 4)))
396 "unknown elem segment 4")
397
398(assert_invalid
399 (module
400 (elem funcref (ref.func 0))
401 (func (result i32) (i32.const 0))
402 (func (export "test")
403 (table.init 4 (i32.const 12) (i32.const 1) (i32.const 1))))
404 "unknown table 0")
405
406
407(module
408 (table $t0 30 30 funcref)
409 (table $t1 28 28 funcref)
410 (elem (table $t0) (i32.const 2) func 3 1 4 1)
411 (elem funcref
412 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
413 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
414 (elem funcref
415 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
416 (func (result i32) (i32.const 0))
417 (func (result i32) (i32.const 1))
418 (func (result i32) (i32.const 2))
419 (func (result i32) (i32.const 3))
420 (func (result i32) (i32.const 4))
421 (func (result i32) (i32.const 5))
422 (func (result i32) (i32.const 6))
423 (func (result i32) (i32.const 7))
424 (func (result i32) (i32.const 8))
425 (func (result i32) (i32.const 9))
426 (func (export "test")
427 (elem.drop 2)
428 ))
429(invoke "test")
430
431(module
432 (table $t0 30 30 funcref)
433 (table $t1 28 28 funcref)
434 (elem (table $t0) (i32.const 2) func 3 1 4 1)
435 (elem funcref
436 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
437 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
438 (elem funcref
439 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
440 (func (result i32) (i32.const 0))
441 (func (result i32) (i32.const 1))
442 (func (result i32) (i32.const 2))
443 (func (result i32) (i32.const 3))
444 (func (result i32) (i32.const 4))
445 (func (result i32) (i32.const 5))
446 (func (result i32) (i32.const 6))
447 (func (result i32) (i32.const 7))
448 (func (result i32) (i32.const 8))
449 (func (result i32) (i32.const 9))
450 (func (export "test")
451 (table.init 2 (i32.const 12) (i32.const 1) (i32.const 1))
452 ))
453(assert_trap (invoke "test") "out of bounds table access")
454
455(module
456 (table $t0 30 30 funcref)
457 (table $t1 28 28 funcref)
458 (elem (table $t0) (i32.const 2) func 3 1 4 1)
459 (elem funcref
460 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
461 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
462 (elem funcref
463 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
464 (func (result i32) (i32.const 0))
465 (func (result i32) (i32.const 1))
466 (func (result i32) (i32.const 2))
467 (func (result i32) (i32.const 3))
468 (func (result i32) (i32.const 4))
469 (func (result i32) (i32.const 5))
470 (func (result i32) (i32.const 6))
471 (func (result i32) (i32.const 7))
472 (func (result i32) (i32.const 8))
473 (func (result i32) (i32.const 9))
474 (func (export "test")
475 (table.init 1 (i32.const 12) (i32.const 1) (i32.const 1))
476 (table.init 1 (i32.const 21) (i32.const 1) (i32.const 1))))
477(invoke "test")
478
479(module
480 (table $t0 30 30 funcref)
481 (table $t1 28 28 funcref)
482 (elem (table $t0) (i32.const 2) func 3 1 4 1)
483 (elem funcref
484 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
485 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
486 (elem funcref
487 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
488 (func (result i32) (i32.const 0))
489 (func (result i32) (i32.const 1))
490 (func (result i32) (i32.const 2))
491 (func (result i32) (i32.const 3))
492 (func (result i32) (i32.const 4))
493 (func (result i32) (i32.const 5))
494 (func (result i32) (i32.const 6))
495 (func (result i32) (i32.const 7))
496 (func (result i32) (i32.const 8))
497 (func (result i32) (i32.const 9))
498 (func (export "test")
499 (elem.drop 1)
500 (elem.drop 1)))
501(invoke "test")
502
503(module
504 (table $t0 30 30 funcref)
505 (table $t1 28 28 funcref)
506 (elem (table $t0) (i32.const 2) func 3 1 4 1)
507 (elem funcref
508 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
509 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
510 (elem funcref
511 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
512 (func (result i32) (i32.const 0))
513 (func (result i32) (i32.const 1))
514 (func (result i32) (i32.const 2))
515 (func (result i32) (i32.const 3))
516 (func (result i32) (i32.const 4))
517 (func (result i32) (i32.const 5))
518 (func (result i32) (i32.const 6))
519 (func (result i32) (i32.const 7))
520 (func (result i32) (i32.const 8))
521 (func (result i32) (i32.const 9))
522 (func (export "test")
523 (elem.drop 1)
524 (table.init 1 (i32.const 12) (i32.const 1) (i32.const 1))))
525(assert_trap (invoke "test") "out of bounds table access")
526
527(module
528 (table $t0 30 30 funcref)
529 (table $t1 28 28 funcref)
530 (elem (table $t0) (i32.const 2) func 3 1 4 1)
531 (elem funcref
532 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
533 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
534 (elem funcref
535 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
536 (func (result i32) (i32.const 0))
537 (func (result i32) (i32.const 1))
538 (func (result i32) (i32.const 2))
539 (func (result i32) (i32.const 3))
540 (func (result i32) (i32.const 4))
541 (func (result i32) (i32.const 5))
542 (func (result i32) (i32.const 6))
543 (func (result i32) (i32.const 7))
544 (func (result i32) (i32.const 8))
545 (func (result i32) (i32.const 9))
546 (func (export "test")
547 (table.init 1 (i32.const 12) (i32.const 0) (i32.const 5))
548 ))
549(assert_trap (invoke "test") "out of bounds table access")
550
551(module
552 (table $t0 30 30 funcref)
553 (table $t1 28 28 funcref)
554 (elem (table $t0) (i32.const 2) func 3 1 4 1)
555 (elem funcref
556 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
557 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
558 (elem funcref
559 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
560 (func (result i32) (i32.const 0))
561 (func (result i32) (i32.const 1))
562 (func (result i32) (i32.const 2))
563 (func (result i32) (i32.const 3))
564 (func (result i32) (i32.const 4))
565 (func (result i32) (i32.const 5))
566 (func (result i32) (i32.const 6))
567 (func (result i32) (i32.const 7))
568 (func (result i32) (i32.const 8))
569 (func (result i32) (i32.const 9))
570 (func (export "test")
571 (table.init 1 (i32.const 12) (i32.const 2) (i32.const 3))
572 ))
573(assert_trap (invoke "test") "out of bounds table access")
574
575(module
576 (table $t0 30 30 funcref)
577 (table $t1 28 28 funcref)
578 (elem (table $t0) (i32.const 2) func 3 1 4 1)
579 (elem funcref
580 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
581 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
582 (elem funcref
583 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
584 (func (result i32) (i32.const 0))
585 (func (result i32) (i32.const 1))
586 (func (result i32) (i32.const 2))
587 (func (result i32) (i32.const 3))
588 (func (result i32) (i32.const 4))
589 (func (result i32) (i32.const 5))
590 (func (result i32) (i32.const 6))
591 (func (result i32) (i32.const 7))
592 (func (result i32) (i32.const 8))
593 (func (result i32) (i32.const 9))
594 (func (export "test")
595 (table.init $t0 1 (i32.const 28) (i32.const 1) (i32.const 3))
596 ))
597(assert_trap (invoke "test") "out of bounds table access")
598
599(module
600 (table $t0 30 30 funcref)
601 (table $t1 28 28 funcref)
602 (elem (table $t0) (i32.const 2) func 3 1 4 1)
603 (elem funcref
604 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
605 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
606 (elem funcref
607 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
608 (func (result i32) (i32.const 0))
609 (func (result i32) (i32.const 1))
610 (func (result i32) (i32.const 2))
611 (func (result i32) (i32.const 3))
612 (func (result i32) (i32.const 4))
613 (func (result i32) (i32.const 5))
614 (func (result i32) (i32.const 6))
615 (func (result i32) (i32.const 7))
616 (func (result i32) (i32.const 8))
617 (func (result i32) (i32.const 9))
618 (func (export "test")
619 (table.init $t0 1 (i32.const 12) (i32.const 4) (i32.const 0))
620 ))
621(invoke "test")
622
623(module
624 (table $t0 30 30 funcref)
625 (table $t1 28 28 funcref)
626 (elem (table $t0) (i32.const 2) func 3 1 4 1)
627 (elem funcref
628 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
629 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
630 (elem funcref
631 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
632 (func (result i32) (i32.const 0))
633 (func (result i32) (i32.const 1))
634 (func (result i32) (i32.const 2))
635 (func (result i32) (i32.const 3))
636 (func (result i32) (i32.const 4))
637 (func (result i32) (i32.const 5))
638 (func (result i32) (i32.const 6))
639 (func (result i32) (i32.const 7))
640 (func (result i32) (i32.const 8))
641 (func (result i32) (i32.const 9))
642 (func (export "test")
643 (table.init $t0 1 (i32.const 12) (i32.const 5) (i32.const 0))
644 ))
645(assert_trap (invoke "test") "out of bounds table access")
646
647(module
648 (table $t0 30 30 funcref)
649 (table $t1 28 28 funcref)
650 (elem (table $t0) (i32.const 2) func 3 1 4 1)
651 (elem funcref
652 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
653 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
654 (elem funcref
655 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
656 (func (result i32) (i32.const 0))
657 (func (result i32) (i32.const 1))
658 (func (result i32) (i32.const 2))
659 (func (result i32) (i32.const 3))
660 (func (result i32) (i32.const 4))
661 (func (result i32) (i32.const 5))
662 (func (result i32) (i32.const 6))
663 (func (result i32) (i32.const 7))
664 (func (result i32) (i32.const 8))
665 (func (result i32) (i32.const 9))
666 (func (export "test")
667 (table.init $t0 1 (i32.const 30) (i32.const 2) (i32.const 0))
668 ))
669(invoke "test")
670
671(module
672 (table $t0 30 30 funcref)
673 (table $t1 28 28 funcref)
674 (elem (table $t0) (i32.const 2) func 3 1 4 1)
675 (elem funcref
676 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
677 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
678 (elem funcref
679 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
680 (func (result i32) (i32.const 0))
681 (func (result i32) (i32.const 1))
682 (func (result i32) (i32.const 2))
683 (func (result i32) (i32.const 3))
684 (func (result i32) (i32.const 4))
685 (func (result i32) (i32.const 5))
686 (func (result i32) (i32.const 6))
687 (func (result i32) (i32.const 7))
688 (func (result i32) (i32.const 8))
689 (func (result i32) (i32.const 9))
690 (func (export "test")
691 (table.init $t0 1 (i32.const 31) (i32.const 2) (i32.const 0))
692 ))
693(assert_trap (invoke "test") "out of bounds table access")
694
695(module
696 (table $t0 30 30 funcref)
697 (table $t1 28 28 funcref)
698 (elem (table $t0) (i32.const 2) func 3 1 4 1)
699 (elem funcref
700 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
701 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
702 (elem funcref
703 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
704 (func (result i32) (i32.const 0))
705 (func (result i32) (i32.const 1))
706 (func (result i32) (i32.const 2))
707 (func (result i32) (i32.const 3))
708 (func (result i32) (i32.const 4))
709 (func (result i32) (i32.const 5))
710 (func (result i32) (i32.const 6))
711 (func (result i32) (i32.const 7))
712 (func (result i32) (i32.const 8))
713 (func (result i32) (i32.const 9))
714 (func (export "test")
715 (table.init $t0 1 (i32.const 30) (i32.const 4) (i32.const 0))
716 ))
717(invoke "test")
718
719(module
720 (table $t0 30 30 funcref)
721 (table $t1 28 28 funcref)
722 (elem (table $t0) (i32.const 2) func 3 1 4 1)
723 (elem funcref
724 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
725 (elem (table $t0) (i32.const 12) func 7 5 2 3 6)
726 (elem funcref
727 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
728 (func (result i32) (i32.const 0))
729 (func (result i32) (i32.const 1))
730 (func (result i32) (i32.const 2))
731 (func (result i32) (i32.const 3))
732 (func (result i32) (i32.const 4))
733 (func (result i32) (i32.const 5))
734 (func (result i32) (i32.const 6))
735 (func (result i32) (i32.const 7))
736 (func (result i32) (i32.const 8))
737 (func (result i32) (i32.const 9))
738 (func (export "test")
739 (table.init $t0 1 (i32.const 31) (i32.const 5) (i32.const 0))
740 ))
741(assert_trap (invoke "test") "out of bounds table access")
742
743(module
744 (table $t0 30 30 funcref)
745 (table $t1 28 28 funcref)
746 (elem (table $t1) (i32.const 2) func 3 1 4 1)
747 (elem funcref
748 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
749 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
750 (elem funcref
751 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
752 (func (result i32) (i32.const 0))
753 (func (result i32) (i32.const 1))
754 (func (result i32) (i32.const 2))
755 (func (result i32) (i32.const 3))
756 (func (result i32) (i32.const 4))
757 (func (result i32) (i32.const 5))
758 (func (result i32) (i32.const 6))
759 (func (result i32) (i32.const 7))
760 (func (result i32) (i32.const 8))
761 (func (result i32) (i32.const 9))
762 (func (export "test")
763 (table.init $t1 1 (i32.const 26) (i32.const 1) (i32.const 3))
764 ))
765(assert_trap (invoke "test") "out of bounds table access")
766
767(module
768 (table $t0 30 30 funcref)
769 (table $t1 28 28 funcref)
770 (elem (table $t1) (i32.const 2) func 3 1 4 1)
771 (elem funcref
772 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
773 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
774 (elem funcref
775 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
776 (func (result i32) (i32.const 0))
777 (func (result i32) (i32.const 1))
778 (func (result i32) (i32.const 2))
779 (func (result i32) (i32.const 3))
780 (func (result i32) (i32.const 4))
781 (func (result i32) (i32.const 5))
782 (func (result i32) (i32.const 6))
783 (func (result i32) (i32.const 7))
784 (func (result i32) (i32.const 8))
785 (func (result i32) (i32.const 9))
786 (func (export "test")
787 (table.init $t1 1 (i32.const 12) (i32.const 4) (i32.const 0))
788 ))
789(invoke "test")
790
791(module
792 (table $t0 30 30 funcref)
793 (table $t1 28 28 funcref)
794 (elem (table $t1) (i32.const 2) func 3 1 4 1)
795 (elem funcref
796 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
797 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
798 (elem funcref
799 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
800 (func (result i32) (i32.const 0))
801 (func (result i32) (i32.const 1))
802 (func (result i32) (i32.const 2))
803 (func (result i32) (i32.const 3))
804 (func (result i32) (i32.const 4))
805 (func (result i32) (i32.const 5))
806 (func (result i32) (i32.const 6))
807 (func (result i32) (i32.const 7))
808 (func (result i32) (i32.const 8))
809 (func (result i32) (i32.const 9))
810 (func (export "test")
811 (table.init $t1 1 (i32.const 12) (i32.const 5) (i32.const 0))
812 ))
813(assert_trap (invoke "test") "out of bounds table access")
814
815(module
816 (table $t0 30 30 funcref)
817 (table $t1 28 28 funcref)
818 (elem (table $t1) (i32.const 2) func 3 1 4 1)
819 (elem funcref
820 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
821 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
822 (elem funcref
823 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
824 (func (result i32) (i32.const 0))
825 (func (result i32) (i32.const 1))
826 (func (result i32) (i32.const 2))
827 (func (result i32) (i32.const 3))
828 (func (result i32) (i32.const 4))
829 (func (result i32) (i32.const 5))
830 (func (result i32) (i32.const 6))
831 (func (result i32) (i32.const 7))
832 (func (result i32) (i32.const 8))
833 (func (result i32) (i32.const 9))
834 (func (export "test")
835 (table.init $t1 1 (i32.const 28) (i32.const 2) (i32.const 0))
836 ))
837(invoke "test")
838
839(module
840 (table $t0 30 30 funcref)
841 (table $t1 28 28 funcref)
842 (elem (table $t1) (i32.const 2) func 3 1 4 1)
843 (elem funcref
844 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
845 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
846 (elem funcref
847 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
848 (func (result i32) (i32.const 0))
849 (func (result i32) (i32.const 1))
850 (func (result i32) (i32.const 2))
851 (func (result i32) (i32.const 3))
852 (func (result i32) (i32.const 4))
853 (func (result i32) (i32.const 5))
854 (func (result i32) (i32.const 6))
855 (func (result i32) (i32.const 7))
856 (func (result i32) (i32.const 8))
857 (func (result i32) (i32.const 9))
858 (func (export "test")
859 (table.init $t1 1 (i32.const 29) (i32.const 2) (i32.const 0))
860 ))
861(assert_trap (invoke "test") "out of bounds table access")
862
863(module
864 (table $t0 30 30 funcref)
865 (table $t1 28 28 funcref)
866 (elem (table $t1) (i32.const 2) func 3 1 4 1)
867 (elem funcref
868 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
869 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
870 (elem funcref
871 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
872 (func (result i32) (i32.const 0))
873 (func (result i32) (i32.const 1))
874 (func (result i32) (i32.const 2))
875 (func (result i32) (i32.const 3))
876 (func (result i32) (i32.const 4))
877 (func (result i32) (i32.const 5))
878 (func (result i32) (i32.const 6))
879 (func (result i32) (i32.const 7))
880 (func (result i32) (i32.const 8))
881 (func (result i32) (i32.const 9))
882 (func (export "test")
883 (table.init $t1 1 (i32.const 28) (i32.const 4) (i32.const 0))
884 ))
885(invoke "test")
886
887(module
888 (table $t0 30 30 funcref)
889 (table $t1 28 28 funcref)
890 (elem (table $t1) (i32.const 2) func 3 1 4 1)
891 (elem funcref
892 (ref.func 2) (ref.func 7) (ref.func 1) (ref.func 8))
893 (elem (table $t1) (i32.const 12) func 7 5 2 3 6)
894 (elem funcref
895 (ref.func 5) (ref.func 9) (ref.func 2) (ref.func 7) (ref.func 6))
896 (func (result i32) (i32.const 0))
897 (func (result i32) (i32.const 1))
898 (func (result i32) (i32.const 2))
899 (func (result i32) (i32.const 3))
900 (func (result i32) (i32.const 4))
901 (func (result i32) (i32.const 5))
902 (func (result i32) (i32.const 6))
903 (func (result i32) (i32.const 7))
904 (func (result i32) (i32.const 8))
905 (func (result i32) (i32.const 9))
906 (func (export "test")
907 (table.init $t1 1 (i32.const 29) (i32.const 5) (i32.const 0))
908 ))
909(assert_trap (invoke "test") "out of bounds table access")
910
911(assert_invalid
912 (module
913 (table 10 funcref)
914 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
915 (func $f0)
916 (func (export "test")
917 (table.init 0 (i32.const 1) (i32.const 1) (f32.const 1))))
918 "type mismatch")
919
920(assert_invalid
921 (module
922 (table 10 funcref)
923 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
924 (func $f0)
925 (func (export "test")
926 (table.init 0 (i32.const 1) (i32.const 1) (i64.const 1))))
927 "type mismatch")
928
929(assert_invalid
930 (module
931 (table 10 funcref)
932 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
933 (func $f0)
934 (func (export "test")
935 (table.init 0 (i32.const 1) (i32.const 1) (f64.const 1))))
936 "type mismatch")
937
938(assert_invalid
939 (module
940 (table 10 funcref)
941 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
942 (func $f0)
943 (func (export "test")
944 (table.init 0 (i32.const 1) (f32.const 1) (i32.const 1))))
945 "type mismatch")
946
947(assert_invalid
948 (module
949 (table 10 funcref)
950 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
951 (func $f0)
952 (func (export "test")
953 (table.init 0 (i32.const 1) (f32.const 1) (f32.const 1))))
954 "type mismatch")
955
956(assert_invalid
957 (module
958 (table 10 funcref)
959 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
960 (func $f0)
961 (func (export "test")
962 (table.init 0 (i32.const 1) (f32.const 1) (i64.const 1))))
963 "type mismatch")
964
965(assert_invalid
966 (module
967 (table 10 funcref)
968 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
969 (func $f0)
970 (func (export "test")
971 (table.init 0 (i32.const 1) (f32.const 1) (f64.const 1))))
972 "type mismatch")
973
974(assert_invalid
975 (module
976 (table 10 funcref)
977 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
978 (func $f0)
979 (func (export "test")
980 (table.init 0 (i32.const 1) (i64.const 1) (i32.const 1))))
981 "type mismatch")
982
983(assert_invalid
984 (module
985 (table 10 funcref)
986 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
987 (func $f0)
988 (func (export "test")
989 (table.init 0 (i32.const 1) (i64.const 1) (f32.const 1))))
990 "type mismatch")
991
992(assert_invalid
993 (module
994 (table 10 funcref)
995 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
996 (func $f0)
997 (func (export "test")
998 (table.init 0 (i32.const 1) (i64.const 1) (i64.const 1))))
999 "type mismatch")
1000
1001(assert_invalid
1002 (module
1003 (table 10 funcref)
1004 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1005 (func $f0)
1006 (func (export "test")
1007 (table.init 0 (i32.const 1) (i64.const 1) (f64.const 1))))
1008 "type mismatch")
1009
1010(assert_invalid
1011 (module
1012 (table 10 funcref)
1013 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1014 (func $f0)
1015 (func (export "test")
1016 (table.init 0 (i32.const 1) (f64.const 1) (i32.const 1))))
1017 "type mismatch")
1018
1019(assert_invalid
1020 (module
1021 (table 10 funcref)
1022 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1023 (func $f0)
1024 (func (export "test")
1025 (table.init 0 (i32.const 1) (f64.const 1) (f32.const 1))))
1026 "type mismatch")
1027
1028(assert_invalid
1029 (module
1030 (table 10 funcref)
1031 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1032 (func $f0)
1033 (func (export "test")
1034 (table.init 0 (i32.const 1) (f64.const 1) (i64.const 1))))
1035 "type mismatch")
1036
1037(assert_invalid
1038 (module
1039 (table 10 funcref)
1040 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1041 (func $f0)
1042 (func (export "test")
1043 (table.init 0 (i32.const 1) (f64.const 1) (f64.const 1))))
1044 "type mismatch")
1045
1046(assert_invalid
1047 (module
1048 (table 10 funcref)
1049 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1050 (func $f0)
1051 (func (export "test")
1052 (table.init 0 (f32.const 1) (i32.const 1) (i32.const 1))))
1053 "type mismatch")
1054
1055(assert_invalid
1056 (module
1057 (table 10 funcref)
1058 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1059 (func $f0)
1060 (func (export "test")
1061 (table.init 0 (f32.const 1) (i32.const 1) (f32.const 1))))
1062 "type mismatch")
1063
1064(assert_invalid
1065 (module
1066 (table 10 funcref)
1067 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1068 (func $f0)
1069 (func (export "test")
1070 (table.init 0 (f32.const 1) (i32.const 1) (i64.const 1))))
1071 "type mismatch")
1072
1073(assert_invalid
1074 (module
1075 (table 10 funcref)
1076 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1077 (func $f0)
1078 (func (export "test")
1079 (table.init 0 (f32.const 1) (i32.const 1) (f64.const 1))))
1080 "type mismatch")
1081
1082(assert_invalid
1083 (module
1084 (table 10 funcref)
1085 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1086 (func $f0)
1087 (func (export "test")
1088 (table.init 0 (f32.const 1) (f32.const 1) (i32.const 1))))
1089 "type mismatch")
1090
1091(assert_invalid
1092 (module
1093 (table 10 funcref)
1094 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1095 (func $f0)
1096 (func (export "test")
1097 (table.init 0 (f32.const 1) (f32.const 1) (f32.const 1))))
1098 "type mismatch")
1099
1100(assert_invalid
1101 (module
1102 (table 10 funcref)
1103 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1104 (func $f0)
1105 (func (export "test")
1106 (table.init 0 (f32.const 1) (f32.const 1) (i64.const 1))))
1107 "type mismatch")
1108
1109(assert_invalid
1110 (module
1111 (table 10 funcref)
1112 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1113 (func $f0)
1114 (func (export "test")
1115 (table.init 0 (f32.const 1) (f32.const 1) (f64.const 1))))
1116 "type mismatch")
1117
1118(assert_invalid
1119 (module
1120 (table 10 funcref)
1121 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1122 (func $f0)
1123 (func (export "test")
1124 (table.init 0 (f32.const 1) (i64.const 1) (i32.const 1))))
1125 "type mismatch")
1126
1127(assert_invalid
1128 (module
1129 (table 10 funcref)
1130 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1131 (func $f0)
1132 (func (export "test")
1133 (table.init 0 (f32.const 1) (i64.const 1) (f32.const 1))))
1134 "type mismatch")
1135
1136(assert_invalid
1137 (module
1138 (table 10 funcref)
1139 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1140 (func $f0)
1141 (func (export "test")
1142 (table.init 0 (f32.const 1) (i64.const 1) (i64.const 1))))
1143 "type mismatch")
1144
1145(assert_invalid
1146 (module
1147 (table 10 funcref)
1148 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1149 (func $f0)
1150 (func (export "test")
1151 (table.init 0 (f32.const 1) (i64.const 1) (f64.const 1))))
1152 "type mismatch")
1153
1154(assert_invalid
1155 (module
1156 (table 10 funcref)
1157 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1158 (func $f0)
1159 (func (export "test")
1160 (table.init 0 (f32.const 1) (f64.const 1) (i32.const 1))))
1161 "type mismatch")
1162
1163(assert_invalid
1164 (module
1165 (table 10 funcref)
1166 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1167 (func $f0)
1168 (func (export "test")
1169 (table.init 0 (f32.const 1) (f64.const 1) (f32.const 1))))
1170 "type mismatch")
1171
1172(assert_invalid
1173 (module
1174 (table 10 funcref)
1175 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1176 (func $f0)
1177 (func (export "test")
1178 (table.init 0 (f32.const 1) (f64.const 1) (i64.const 1))))
1179 "type mismatch")
1180
1181(assert_invalid
1182 (module
1183 (table 10 funcref)
1184 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1185 (func $f0)
1186 (func (export "test")
1187 (table.init 0 (f32.const 1) (f64.const 1) (f64.const 1))))
1188 "type mismatch")
1189
1190(assert_invalid
1191 (module
1192 (table 10 funcref)
1193 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1194 (func $f0)
1195 (func (export "test")
1196 (table.init 0 (i64.const 1) (i32.const 1) (i32.const 1))))
1197 "type mismatch")
1198
1199(assert_invalid
1200 (module
1201 (table 10 funcref)
1202 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1203 (func $f0)
1204 (func (export "test")
1205 (table.init 0 (i64.const 1) (i32.const 1) (f32.const 1))))
1206 "type mismatch")
1207
1208(assert_invalid
1209 (module
1210 (table 10 funcref)
1211 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1212 (func $f0)
1213 (func (export "test")
1214 (table.init 0 (i64.const 1) (i32.const 1) (i64.const 1))))
1215 "type mismatch")
1216
1217(assert_invalid
1218 (module
1219 (table 10 funcref)
1220 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1221 (func $f0)
1222 (func (export "test")
1223 (table.init 0 (i64.const 1) (i32.const 1) (f64.const 1))))
1224 "type mismatch")
1225
1226(assert_invalid
1227 (module
1228 (table 10 funcref)
1229 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1230 (func $f0)
1231 (func (export "test")
1232 (table.init 0 (i64.const 1) (f32.const 1) (i32.const 1))))
1233 "type mismatch")
1234
1235(assert_invalid
1236 (module
1237 (table 10 funcref)
1238 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1239 (func $f0)
1240 (func (export "test")
1241 (table.init 0 (i64.const 1) (f32.const 1) (f32.const 1))))
1242 "type mismatch")
1243
1244(assert_invalid
1245 (module
1246 (table 10 funcref)
1247 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1248 (func $f0)
1249 (func (export "test")
1250 (table.init 0 (i64.const 1) (f32.const 1) (i64.const 1))))
1251 "type mismatch")
1252
1253(assert_invalid
1254 (module
1255 (table 10 funcref)
1256 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1257 (func $f0)
1258 (func (export "test")
1259 (table.init 0 (i64.const 1) (f32.const 1) (f64.const 1))))
1260 "type mismatch")
1261
1262(assert_invalid
1263 (module
1264 (table 10 funcref)
1265 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1266 (func $f0)
1267 (func (export "test")
1268 (table.init 0 (i64.const 1) (i64.const 1) (i32.const 1))))
1269 "type mismatch")
1270
1271(assert_invalid
1272 (module
1273 (table 10 funcref)
1274 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1275 (func $f0)
1276 (func (export "test")
1277 (table.init 0 (i64.const 1) (i64.const 1) (f32.const 1))))
1278 "type mismatch")
1279
1280(assert_invalid
1281 (module
1282 (table 10 funcref)
1283 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1284 (func $f0)
1285 (func (export "test")
1286 (table.init 0 (i64.const 1) (i64.const 1) (i64.const 1))))
1287 "type mismatch")
1288
1289(assert_invalid
1290 (module
1291 (table 10 funcref)
1292 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1293 (func $f0)
1294 (func (export "test")
1295 (table.init 0 (i64.const 1) (i64.const 1) (f64.const 1))))
1296 "type mismatch")
1297
1298(assert_invalid
1299 (module
1300 (table 10 funcref)
1301 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1302 (func $f0)
1303 (func (export "test")
1304 (table.init 0 (i64.const 1) (f64.const 1) (i32.const 1))))
1305 "type mismatch")
1306
1307(assert_invalid
1308 (module
1309 (table 10 funcref)
1310 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1311 (func $f0)
1312 (func (export "test")
1313 (table.init 0 (i64.const 1) (f64.const 1) (f32.const 1))))
1314 "type mismatch")
1315
1316(assert_invalid
1317 (module
1318 (table 10 funcref)
1319 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1320 (func $f0)
1321 (func (export "test")
1322 (table.init 0 (i64.const 1) (f64.const 1) (i64.const 1))))
1323 "type mismatch")
1324
1325(assert_invalid
1326 (module
1327 (table 10 funcref)
1328 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1329 (func $f0)
1330 (func (export "test")
1331 (table.init 0 (i64.const 1) (f64.const 1) (f64.const 1))))
1332 "type mismatch")
1333
1334(assert_invalid
1335 (module
1336 (table 10 funcref)
1337 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1338 (func $f0)
1339 (func (export "test")
1340 (table.init 0 (f64.const 1) (i32.const 1) (i32.const 1))))
1341 "type mismatch")
1342
1343(assert_invalid
1344 (module
1345 (table 10 funcref)
1346 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1347 (func $f0)
1348 (func (export "test")
1349 (table.init 0 (f64.const 1) (i32.const 1) (f32.const 1))))
1350 "type mismatch")
1351
1352(assert_invalid
1353 (module
1354 (table 10 funcref)
1355 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1356 (func $f0)
1357 (func (export "test")
1358 (table.init 0 (f64.const 1) (i32.const 1) (i64.const 1))))
1359 "type mismatch")
1360
1361(assert_invalid
1362 (module
1363 (table 10 funcref)
1364 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1365 (func $f0)
1366 (func (export "test")
1367 (table.init 0 (f64.const 1) (i32.const 1) (f64.const 1))))
1368 "type mismatch")
1369
1370(assert_invalid
1371 (module
1372 (table 10 funcref)
1373 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1374 (func $f0)
1375 (func (export "test")
1376 (table.init 0 (f64.const 1) (f32.const 1) (i32.const 1))))
1377 "type mismatch")
1378
1379(assert_invalid
1380 (module
1381 (table 10 funcref)
1382 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1383 (func $f0)
1384 (func (export "test")
1385 (table.init 0 (f64.const 1) (f32.const 1) (f32.const 1))))
1386 "type mismatch")
1387
1388(assert_invalid
1389 (module
1390 (table 10 funcref)
1391 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1392 (func $f0)
1393 (func (export "test")
1394 (table.init 0 (f64.const 1) (f32.const 1) (i64.const 1))))
1395 "type mismatch")
1396
1397(assert_invalid
1398 (module
1399 (table 10 funcref)
1400 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1401 (func $f0)
1402 (func (export "test")
1403 (table.init 0 (f64.const 1) (f32.const 1) (f64.const 1))))
1404 "type mismatch")
1405
1406(assert_invalid
1407 (module
1408 (table 10 funcref)
1409 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1410 (func $f0)
1411 (func (export "test")
1412 (table.init 0 (f64.const 1) (i64.const 1) (i32.const 1))))
1413 "type mismatch")
1414
1415(assert_invalid
1416 (module
1417 (table 10 funcref)
1418 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1419 (func $f0)
1420 (func (export "test")
1421 (table.init 0 (f64.const 1) (i64.const 1) (f32.const 1))))
1422 "type mismatch")
1423
1424(assert_invalid
1425 (module
1426 (table 10 funcref)
1427 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1428 (func $f0)
1429 (func (export "test")
1430 (table.init 0 (f64.const 1) (i64.const 1) (i64.const 1))))
1431 "type mismatch")
1432
1433(assert_invalid
1434 (module
1435 (table 10 funcref)
1436 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1437 (func $f0)
1438 (func (export "test")
1439 (table.init 0 (f64.const 1) (i64.const 1) (f64.const 1))))
1440 "type mismatch")
1441
1442(assert_invalid
1443 (module
1444 (table 10 funcref)
1445 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1446 (func $f0)
1447 (func (export "test")
1448 (table.init 0 (f64.const 1) (f64.const 1) (i32.const 1))))
1449 "type mismatch")
1450
1451(assert_invalid
1452 (module
1453 (table 10 funcref)
1454 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1455 (func $f0)
1456 (func (export "test")
1457 (table.init 0 (f64.const 1) (f64.const 1) (f32.const 1))))
1458 "type mismatch")
1459
1460(assert_invalid
1461 (module
1462 (table 10 funcref)
1463 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1464 (func $f0)
1465 (func (export "test")
1466 (table.init 0 (f64.const 1) (f64.const 1) (i64.const 1))))
1467 "type mismatch")
1468
1469(assert_invalid
1470 (module
1471 (table 10 funcref)
1472 (elem funcref (ref.func $f0) (ref.func $f0) (ref.func $f0))
1473 (func $f0)
1474 (func (export "test")
1475 (table.init 0 (f64.const 1) (f64.const 1) (f64.const 1))))
1476 "type mismatch")
1477
1478(module
1479 (type (func (result i32)))
1480 (table 32 64 funcref)
1481 (elem funcref
1482 (ref.func $f0) (ref.func $f1) (ref.func $f2) (ref.func $f3)
1483 (ref.func $f4) (ref.func $f5) (ref.func $f6) (ref.func $f7)
1484 (ref.func $f8) (ref.func $f9) (ref.func $f10) (ref.func $f11)
1485 (ref.func $f12) (ref.func $f13) (ref.func $f14) (ref.func $f15))
1486 (func $f0 (export "f0") (result i32) (i32.const 0))
1487 (func $f1 (export "f1") (result i32) (i32.const 1))
1488 (func $f2 (export "f2") (result i32) (i32.const 2))
1489 (func $f3 (export "f3") (result i32) (i32.const 3))
1490 (func $f4 (export "f4") (result i32) (i32.const 4))
1491 (func $f5 (export "f5") (result i32) (i32.const 5))
1492 (func $f6 (export "f6") (result i32) (i32.const 6))
1493 (func $f7 (export "f7") (result i32) (i32.const 7))
1494 (func $f8 (export "f8") (result i32) (i32.const 8))
1495 (func $f9 (export "f9") (result i32) (i32.const 9))
1496 (func $f10 (export "f10") (result i32) (i32.const 10))
1497 (func $f11 (export "f11") (result i32) (i32.const 11))
1498 (func $f12 (export "f12") (result i32) (i32.const 12))
1499 (func $f13 (export "f13") (result i32) (i32.const 13))
1500 (func $f14 (export "f14") (result i32) (i32.const 14))
1501 (func $f15 (export "f15") (result i32) (i32.const 15))
1502 (func (export "test") (param $n i32) (result i32)
1503 (call_indirect (type 0) (local.get $n)))
1504 (func (export "run") (param $offs i32) (param $len i32)
1505 (table.init 0 (local.get $offs) (i32.const 0) (local.get $len))))
1506(assert_trap (invoke "run" (i32.const 24) (i32.const 16)) "out of bounds table access")
1507(assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1508(assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1509(assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1510(assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1511(assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1512(assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1513(assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1514(assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1515(assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1516(assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1517(assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1518(assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1519(assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1520(assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1521(assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1522(assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1523(assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1524(assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1525(assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1526(assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1527(assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1528(assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1529(assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1530(assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1531(assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1532(assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1533(assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1534(assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1535(assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1536(assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1537(assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1538(assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1539
1540(module
1541 (type (func (result i32)))
1542 (table 32 64 funcref)
1543 (elem funcref
1544 (ref.func $f0) (ref.func $f1) (ref.func $f2) (ref.func $f3)
1545 (ref.func $f4) (ref.func $f5) (ref.func $f6) (ref.func $f7)
1546 (ref.func $f8) (ref.func $f9) (ref.func $f10) (ref.func $f11)
1547 (ref.func $f12) (ref.func $f13) (ref.func $f14) (ref.func $f15))
1548 (func $f0 (export "f0") (result i32) (i32.const 0))
1549 (func $f1 (export "f1") (result i32) (i32.const 1))
1550 (func $f2 (export "f2") (result i32) (i32.const 2))
1551 (func $f3 (export "f3") (result i32) (i32.const 3))
1552 (func $f4 (export "f4") (result i32) (i32.const 4))
1553 (func $f5 (export "f5") (result i32) (i32.const 5))
1554 (func $f6 (export "f6") (result i32) (i32.const 6))
1555 (func $f7 (export "f7") (result i32) (i32.const 7))
1556 (func $f8 (export "f8") (result i32) (i32.const 8))
1557 (func $f9 (export "f9") (result i32) (i32.const 9))
1558 (func $f10 (export "f10") (result i32) (i32.const 10))
1559 (func $f11 (export "f11") (result i32) (i32.const 11))
1560 (func $f12 (export "f12") (result i32) (i32.const 12))
1561 (func $f13 (export "f13") (result i32) (i32.const 13))
1562 (func $f14 (export "f14") (result i32) (i32.const 14))
1563 (func $f15 (export "f15") (result i32) (i32.const 15))
1564 (func (export "test") (param $n i32) (result i32)
1565 (call_indirect (type 0) (local.get $n)))
1566 (func (export "run") (param $offs i32) (param $len i32)
1567 (table.init 0 (local.get $offs) (i32.const 0) (local.get $len))))
1568(assert_trap (invoke "run" (i32.const 25) (i32.const 16)) "out of bounds table access")
1569(assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1570(assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1571(assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1572(assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1573(assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1574(assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1575(assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1576(assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1577(assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1578(assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1579(assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1580(assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1581(assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1582(assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1583(assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1584(assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1585(assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1586(assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1587(assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1588(assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1589(assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1590(assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1591(assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1592(assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1593(assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1594(assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1595(assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1596(assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1597(assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1598(assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1599(assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1600(assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1601
1602(module
1603 (type (func (result i32)))
1604 (table 160 320 funcref)
1605 (elem funcref
1606 (ref.func $f0) (ref.func $f1) (ref.func $f2) (ref.func $f3)
1607 (ref.func $f4) (ref.func $f5) (ref.func $f6) (ref.func $f7)
1608 (ref.func $f8) (ref.func $f9) (ref.func $f10) (ref.func $f11)
1609 (ref.func $f12) (ref.func $f13) (ref.func $f14) (ref.func $f15))
1610 (func $f0 (export "f0") (result i32) (i32.const 0))
1611 (func $f1 (export "f1") (result i32) (i32.const 1))
1612 (func $f2 (export "f2") (result i32) (i32.const 2))
1613 (func $f3 (export "f3") (result i32) (i32.const 3))
1614 (func $f4 (export "f4") (result i32) (i32.const 4))
1615 (func $f5 (export "f5") (result i32) (i32.const 5))
1616 (func $f6 (export "f6") (result i32) (i32.const 6))
1617 (func $f7 (export "f7") (result i32) (i32.const 7))
1618 (func $f8 (export "f8") (result i32) (i32.const 8))
1619 (func $f9 (export "f9") (result i32) (i32.const 9))
1620 (func $f10 (export "f10") (result i32) (i32.const 10))
1621 (func $f11 (export "f11") (result i32) (i32.const 11))
1622 (func $f12 (export "f12") (result i32) (i32.const 12))
1623 (func $f13 (export "f13") (result i32) (i32.const 13))
1624 (func $f14 (export "f14") (result i32) (i32.const 14))
1625 (func $f15 (export "f15") (result i32) (i32.const 15))
1626 (func (export "test") (param $n i32) (result i32)
1627 (call_indirect (type 0) (local.get $n)))
1628 (func (export "run") (param $offs i32) (param $len i32)
1629 (table.init 0 (local.get $offs) (i32.const 0) (local.get $len))))
1630(assert_trap (invoke "run" (i32.const 96) (i32.const 32)) "out of bounds table access")
1631(assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1632(assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1633(assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1634(assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1635(assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1636(assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1637(assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1638(assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1639(assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1640(assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1641(assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1642(assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1643(assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1644(assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1645(assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1646(assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1647(assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1648(assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1649(assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1650(assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1651(assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1652(assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1653(assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1654(assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1655(assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1656(assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1657(assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1658(assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1659(assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1660(assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1661(assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1662(assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1663(assert_trap (invoke "test" (i32.const 32)) "uninitialized element")
1664(assert_trap (invoke "test" (i32.const 33)) "uninitialized element")
1665(assert_trap (invoke "test" (i32.const 34)) "uninitialized element")
1666(assert_trap (invoke "test" (i32.const 35)) "uninitialized element")
1667(assert_trap (invoke "test" (i32.const 36)) "uninitialized element")
1668(assert_trap (invoke "test" (i32.const 37)) "uninitialized element")
1669(assert_trap (invoke "test" (i32.const 38)) "uninitialized element")
1670(assert_trap (invoke "test" (i32.const 39)) "uninitialized element")
1671(assert_trap (invoke "test" (i32.const 40)) "uninitialized element")
1672(assert_trap (invoke "test" (i32.const 41)) "uninitialized element")
1673(assert_trap (invoke "test" (i32.const 42)) "uninitialized element")
1674(assert_trap (invoke "test" (i32.const 43)) "uninitialized element")
1675(assert_trap (invoke "test" (i32.const 44)) "uninitialized element")
1676(assert_trap (invoke "test" (i32.const 45)) "uninitialized element")
1677(assert_trap (invoke "test" (i32.const 46)) "uninitialized element")
1678(assert_trap (invoke "test" (i32.const 47)) "uninitialized element")
1679(assert_trap (invoke "test" (i32.const 48)) "uninitialized element")
1680(assert_trap (invoke "test" (i32.const 49)) "uninitialized element")
1681(assert_trap (invoke "test" (i32.const 50)) "uninitialized element")
1682(assert_trap (invoke "test" (i32.const 51)) "uninitialized element")
1683(assert_trap (invoke "test" (i32.const 52)) "uninitialized element")
1684(assert_trap (invoke "test" (i32.const 53)) "uninitialized element")
1685(assert_trap (invoke "test" (i32.const 54)) "uninitialized element")
1686(assert_trap (invoke "test" (i32.const 55)) "uninitialized element")
1687(assert_trap (invoke "test" (i32.const 56)) "uninitialized element")
1688(assert_trap (invoke "test" (i32.const 57)) "uninitialized element")
1689(assert_trap (invoke "test" (i32.const 58)) "uninitialized element")
1690(assert_trap (invoke "test" (i32.const 59)) "uninitialized element")
1691(assert_trap (invoke "test" (i32.const 60)) "uninitialized element")
1692(assert_trap (invoke "test" (i32.const 61)) "uninitialized element")
1693(assert_trap (invoke "test" (i32.const 62)) "uninitialized element")
1694(assert_trap (invoke "test" (i32.const 63)) "uninitialized element")
1695(assert_trap (invoke "test" (i32.const 64)) "uninitialized element")
1696(assert_trap (invoke "test" (i32.const 65)) "uninitialized element")
1697(assert_trap (invoke "test" (i32.const 66)) "uninitialized element")
1698(assert_trap (invoke "test" (i32.const 67)) "uninitialized element")
1699(assert_trap (invoke "test" (i32.const 68)) "uninitialized element")
1700(assert_trap (invoke "test" (i32.const 69)) "uninitialized element")
1701(assert_trap (invoke "test" (i32.const 70)) "uninitialized element")
1702(assert_trap (invoke "test" (i32.const 71)) "uninitialized element")
1703(assert_trap (invoke "test" (i32.const 72)) "uninitialized element")
1704(assert_trap (invoke "test" (i32.const 73)) "uninitialized element")
1705(assert_trap (invoke "test" (i32.const 74)) "uninitialized element")
1706(assert_trap (invoke "test" (i32.const 75)) "uninitialized element")
1707(assert_trap (invoke "test" (i32.const 76)) "uninitialized element")
1708(assert_trap (invoke "test" (i32.const 77)) "uninitialized element")
1709(assert_trap (invoke "test" (i32.const 78)) "uninitialized element")
1710(assert_trap (invoke "test" (i32.const 79)) "uninitialized element")
1711(assert_trap (invoke "test" (i32.const 80)) "uninitialized element")
1712(assert_trap (invoke "test" (i32.const 81)) "uninitialized element")
1713(assert_trap (invoke "test" (i32.const 82)) "uninitialized element")
1714(assert_trap (invoke "test" (i32.const 83)) "uninitialized element")
1715(assert_trap (invoke "test" (i32.const 84)) "uninitialized element")
1716(assert_trap (invoke "test" (i32.const 85)) "uninitialized element")
1717(assert_trap (invoke "test" (i32.const 86)) "uninitialized element")
1718(assert_trap (invoke "test" (i32.const 87)) "uninitialized element")
1719(assert_trap (invoke "test" (i32.const 88)) "uninitialized element")
1720(assert_trap (invoke "test" (i32.const 89)) "uninitialized element")
1721(assert_trap (invoke "test" (i32.const 90)) "uninitialized element")
1722(assert_trap (invoke "test" (i32.const 91)) "uninitialized element")
1723(assert_trap (invoke "test" (i32.const 92)) "uninitialized element")
1724(assert_trap (invoke "test" (i32.const 93)) "uninitialized element")
1725(assert_trap (invoke "test" (i32.const 94)) "uninitialized element")
1726(assert_trap (invoke "test" (i32.const 95)) "uninitialized element")
1727(assert_trap (invoke "test" (i32.const 96)) "uninitialized element")
1728(assert_trap (invoke "test" (i32.const 97)) "uninitialized element")
1729(assert_trap (invoke "test" (i32.const 98)) "uninitialized element")
1730(assert_trap (invoke "test" (i32.const 99)) "uninitialized element")
1731(assert_trap (invoke "test" (i32.const 100)) "uninitialized element")
1732(assert_trap (invoke "test" (i32.const 101)) "uninitialized element")
1733(assert_trap (invoke "test" (i32.const 102)) "uninitialized element")
1734(assert_trap (invoke "test" (i32.const 103)) "uninitialized element")
1735(assert_trap (invoke "test" (i32.const 104)) "uninitialized element")
1736(assert_trap (invoke "test" (i32.const 105)) "uninitialized element")
1737(assert_trap (invoke "test" (i32.const 106)) "uninitialized element")
1738(assert_trap (invoke "test" (i32.const 107)) "uninitialized element")
1739(assert_trap (invoke "test" (i32.const 108)) "uninitialized element")
1740(assert_trap (invoke "test" (i32.const 109)) "uninitialized element")
1741(assert_trap (invoke "test" (i32.const 110)) "uninitialized element")
1742(assert_trap (invoke "test" (i32.const 111)) "uninitialized element")
1743(assert_trap (invoke "test" (i32.const 112)) "uninitialized element")
1744(assert_trap (invoke "test" (i32.const 113)) "uninitialized element")
1745(assert_trap (invoke "test" (i32.const 114)) "uninitialized element")
1746(assert_trap (invoke "test" (i32.const 115)) "uninitialized element")
1747(assert_trap (invoke "test" (i32.const 116)) "uninitialized element")
1748(assert_trap (invoke "test" (i32.const 117)) "uninitialized element")
1749(assert_trap (invoke "test" (i32.const 118)) "uninitialized element")
1750(assert_trap (invoke "test" (i32.const 119)) "uninitialized element")
1751(assert_trap (invoke "test" (i32.const 120)) "uninitialized element")
1752(assert_trap (invoke "test" (i32.const 121)) "uninitialized element")
1753(assert_trap (invoke "test" (i32.const 122)) "uninitialized element")
1754(assert_trap (invoke "test" (i32.const 123)) "uninitialized element")
1755(assert_trap (invoke "test" (i32.const 124)) "uninitialized element")
1756(assert_trap (invoke "test" (i32.const 125)) "uninitialized element")
1757(assert_trap (invoke "test" (i32.const 126)) "uninitialized element")
1758(assert_trap (invoke "test" (i32.const 127)) "uninitialized element")
1759(assert_trap (invoke "test" (i32.const 128)) "uninitialized element")
1760(assert_trap (invoke "test" (i32.const 129)) "uninitialized element")
1761(assert_trap (invoke "test" (i32.const 130)) "uninitialized element")
1762(assert_trap (invoke "test" (i32.const 131)) "uninitialized element")
1763(assert_trap (invoke "test" (i32.const 132)) "uninitialized element")
1764(assert_trap (invoke "test" (i32.const 133)) "uninitialized element")
1765(assert_trap (invoke "test" (i32.const 134)) "uninitialized element")
1766(assert_trap (invoke "test" (i32.const 135)) "uninitialized element")
1767(assert_trap (invoke "test" (i32.const 136)) "uninitialized element")
1768(assert_trap (invoke "test" (i32.const 137)) "uninitialized element")
1769(assert_trap (invoke "test" (i32.const 138)) "uninitialized element")
1770(assert_trap (invoke "test" (i32.const 139)) "uninitialized element")
1771(assert_trap (invoke "test" (i32.const 140)) "uninitialized element")
1772(assert_trap (invoke "test" (i32.const 141)) "uninitialized element")
1773(assert_trap (invoke "test" (i32.const 142)) "uninitialized element")
1774(assert_trap (invoke "test" (i32.const 143)) "uninitialized element")
1775(assert_trap (invoke "test" (i32.const 144)) "uninitialized element")
1776(assert_trap (invoke "test" (i32.const 145)) "uninitialized element")
1777(assert_trap (invoke "test" (i32.const 146)) "uninitialized element")
1778(assert_trap (invoke "test" (i32.const 147)) "uninitialized element")
1779(assert_trap (invoke "test" (i32.const 148)) "uninitialized element")
1780(assert_trap (invoke "test" (i32.const 149)) "uninitialized element")
1781(assert_trap (invoke "test" (i32.const 150)) "uninitialized element")
1782(assert_trap (invoke "test" (i32.const 151)) "uninitialized element")
1783(assert_trap (invoke "test" (i32.const 152)) "uninitialized element")
1784(assert_trap (invoke "test" (i32.const 153)) "uninitialized element")
1785(assert_trap (invoke "test" (i32.const 154)) "uninitialized element")
1786(assert_trap (invoke "test" (i32.const 155)) "uninitialized element")
1787(assert_trap (invoke "test" (i32.const 156)) "uninitialized element")
1788(assert_trap (invoke "test" (i32.const 157)) "uninitialized element")
1789(assert_trap (invoke "test" (i32.const 158)) "uninitialized element")
1790(assert_trap (invoke "test" (i32.const 159)) "uninitialized element")
1791
1792(module
1793 (type (func (result i32)))
1794 (table 160 320 funcref)
1795 (elem funcref
1796 (ref.func $f0) (ref.func $f1) (ref.func $f2) (ref.func $f3)
1797 (ref.func $f4) (ref.func $f5) (ref.func $f6) (ref.func $f7)
1798 (ref.func $f8) (ref.func $f9) (ref.func $f10) (ref.func $f11)
1799 (ref.func $f12) (ref.func $f13) (ref.func $f14) (ref.func $f15))
1800 (func $f0 (export "f0") (result i32) (i32.const 0))
1801 (func $f1 (export "f1") (result i32) (i32.const 1))
1802 (func $f2 (export "f2") (result i32) (i32.const 2))
1803 (func $f3 (export "f3") (result i32) (i32.const 3))
1804 (func $f4 (export "f4") (result i32) (i32.const 4))
1805 (func $f5 (export "f5") (result i32) (i32.const 5))
1806 (func $f6 (export "f6") (result i32) (i32.const 6))
1807 (func $f7 (export "f7") (result i32) (i32.const 7))
1808 (func $f8 (export "f8") (result i32) (i32.const 8))
1809 (func $f9 (export "f9") (result i32) (i32.const 9))
1810 (func $f10 (export "f10") (result i32) (i32.const 10))
1811 (func $f11 (export "f11") (result i32) (i32.const 11))
1812 (func $f12 (export "f12") (result i32) (i32.const 12))
1813 (func $f13 (export "f13") (result i32) (i32.const 13))
1814 (func $f14 (export "f14") (result i32) (i32.const 14))
1815 (func $f15 (export "f15") (result i32) (i32.const 15))
1816 (func (export "test") (param $n i32) (result i32)
1817 (call_indirect (type 0) (local.get $n)))
1818 (func (export "run") (param $offs i32) (param $len i32)
1819 (table.init 0 (local.get $offs) (i32.const 0) (local.get $len))))
1820(assert_trap (invoke "run" (i32.const 97) (i32.const 31)) "out of bounds table access")
1821(assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
1822(assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
1823(assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
1824(assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
1825(assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
1826(assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
1827(assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
1828(assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
1829(assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
1830(assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
1831(assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
1832(assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
1833(assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
1834(assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
1835(assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
1836(assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
1837(assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
1838(assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
1839(assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
1840(assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
1841(assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
1842(assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
1843(assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
1844(assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
1845(assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
1846(assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
1847(assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
1848(assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
1849(assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
1850(assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
1851(assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
1852(assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
1853(assert_trap (invoke "test" (i32.const 32)) "uninitialized element")
1854(assert_trap (invoke "test" (i32.const 33)) "uninitialized element")
1855(assert_trap (invoke "test" (i32.const 34)) "uninitialized element")
1856(assert_trap (invoke "test" (i32.const 35)) "uninitialized element")
1857(assert_trap (invoke "test" (i32.const 36)) "uninitialized element")
1858(assert_trap (invoke "test" (i32.const 37)) "uninitialized element")
1859(assert_trap (invoke "test" (i32.const 38)) "uninitialized element")
1860(assert_trap (invoke "test" (i32.const 39)) "uninitialized element")
1861(assert_trap (invoke "test" (i32.const 40)) "uninitialized element")
1862(assert_trap (invoke "test" (i32.const 41)) "uninitialized element")
1863(assert_trap (invoke "test" (i32.const 42)) "uninitialized element")
1864(assert_trap (invoke "test" (i32.const 43)) "uninitialized element")
1865(assert_trap (invoke "test" (i32.const 44)) "uninitialized element")
1866(assert_trap (invoke "test" (i32.const 45)) "uninitialized element")
1867(assert_trap (invoke "test" (i32.const 46)) "uninitialized element")
1868(assert_trap (invoke "test" (i32.const 47)) "uninitialized element")
1869(assert_trap (invoke "test" (i32.const 48)) "uninitialized element")
1870(assert_trap (invoke "test" (i32.const 49)) "uninitialized element")
1871(assert_trap (invoke "test" (i32.const 50)) "uninitialized element")
1872(assert_trap (invoke "test" (i32.const 51)) "uninitialized element")
1873(assert_trap (invoke "test" (i32.const 52)) "uninitialized element")
1874(assert_trap (invoke "test" (i32.const 53)) "uninitialized element")
1875(assert_trap (invoke "test" (i32.const 54)) "uninitialized element")
1876(assert_trap (invoke "test" (i32.const 55)) "uninitialized element")
1877(assert_trap (invoke "test" (i32.const 56)) "uninitialized element")
1878(assert_trap (invoke "test" (i32.const 57)) "uninitialized element")
1879(assert_trap (invoke "test" (i32.const 58)) "uninitialized element")
1880(assert_trap (invoke "test" (i32.const 59)) "uninitialized element")
1881(assert_trap (invoke "test" (i32.const 60)) "uninitialized element")
1882(assert_trap (invoke "test" (i32.const 61)) "uninitialized element")
1883(assert_trap (invoke "test" (i32.const 62)) "uninitialized element")
1884(assert_trap (invoke "test" (i32.const 63)) "uninitialized element")
1885(assert_trap (invoke "test" (i32.const 64)) "uninitialized element")
1886(assert_trap (invoke "test" (i32.const 65)) "uninitialized element")
1887(assert_trap (invoke "test" (i32.const 66)) "uninitialized element")
1888(assert_trap (invoke "test" (i32.const 67)) "uninitialized element")
1889(assert_trap (invoke "test" (i32.const 68)) "uninitialized element")
1890(assert_trap (invoke "test" (i32.const 69)) "uninitialized element")
1891(assert_trap (invoke "test" (i32.const 70)) "uninitialized element")
1892(assert_trap (invoke "test" (i32.const 71)) "uninitialized element")
1893(assert_trap (invoke "test" (i32.const 72)) "uninitialized element")
1894(assert_trap (invoke "test" (i32.const 73)) "uninitialized element")
1895(assert_trap (invoke "test" (i32.const 74)) "uninitialized element")
1896(assert_trap (invoke "test" (i32.const 75)) "uninitialized element")
1897(assert_trap (invoke "test" (i32.const 76)) "uninitialized element")
1898(assert_trap (invoke "test" (i32.const 77)) "uninitialized element")
1899(assert_trap (invoke "test" (i32.const 78)) "uninitialized element")
1900(assert_trap (invoke "test" (i32.const 79)) "uninitialized element")
1901(assert_trap (invoke "test" (i32.const 80)) "uninitialized element")
1902(assert_trap (invoke "test" (i32.const 81)) "uninitialized element")
1903(assert_trap (invoke "test" (i32.const 82)) "uninitialized element")
1904(assert_trap (invoke "test" (i32.const 83)) "uninitialized element")
1905(assert_trap (invoke "test" (i32.const 84)) "uninitialized element")
1906(assert_trap (invoke "test" (i32.const 85)) "uninitialized element")
1907(assert_trap (invoke "test" (i32.const 86)) "uninitialized element")
1908(assert_trap (invoke "test" (i32.const 87)) "uninitialized element")
1909(assert_trap (invoke "test" (i32.const 88)) "uninitialized element")
1910(assert_trap (invoke "test" (i32.const 89)) "uninitialized element")
1911(assert_trap (invoke "test" (i32.const 90)) "uninitialized element")
1912(assert_trap (invoke "test" (i32.const 91)) "uninitialized element")
1913(assert_trap (invoke "test" (i32.const 92)) "uninitialized element")
1914(assert_trap (invoke "test" (i32.const 93)) "uninitialized element")
1915(assert_trap (invoke "test" (i32.const 94)) "uninitialized element")
1916(assert_trap (invoke "test" (i32.const 95)) "uninitialized element")
1917(assert_trap (invoke "test" (i32.const 96)) "uninitialized element")
1918(assert_trap (invoke "test" (i32.const 97)) "uninitialized element")
1919(assert_trap (invoke "test" (i32.const 98)) "uninitialized element")
1920(assert_trap (invoke "test" (i32.const 99)) "uninitialized element")
1921(assert_trap (invoke "test" (i32.const 100)) "uninitialized element")
1922(assert_trap (invoke "test" (i32.const 101)) "uninitialized element")
1923(assert_trap (invoke "test" (i32.const 102)) "uninitialized element")
1924(assert_trap (invoke "test" (i32.const 103)) "uninitialized element")
1925(assert_trap (invoke "test" (i32.const 104)) "uninitialized element")
1926(assert_trap (invoke "test" (i32.const 105)) "uninitialized element")
1927(assert_trap (invoke "test" (i32.const 106)) "uninitialized element")
1928(assert_trap (invoke "test" (i32.const 107)) "uninitialized element")
1929(assert_trap (invoke "test" (i32.const 108)) "uninitialized element")
1930(assert_trap (invoke "test" (i32.const 109)) "uninitialized element")
1931(assert_trap (invoke "test" (i32.const 110)) "uninitialized element")
1932(assert_trap (invoke "test" (i32.const 111)) "uninitialized element")
1933(assert_trap (invoke "test" (i32.const 112)) "uninitialized element")
1934(assert_trap (invoke "test" (i32.const 113)) "uninitialized element")
1935(assert_trap (invoke "test" (i32.const 114)) "uninitialized element")
1936(assert_trap (invoke "test" (i32.const 115)) "uninitialized element")
1937(assert_trap (invoke "test" (i32.const 116)) "uninitialized element")
1938(assert_trap (invoke "test" (i32.const 117)) "uninitialized element")
1939(assert_trap (invoke "test" (i32.const 118)) "uninitialized element")
1940(assert_trap (invoke "test" (i32.const 119)) "uninitialized element")
1941(assert_trap (invoke "test" (i32.const 120)) "uninitialized element")
1942(assert_trap (invoke "test" (i32.const 121)) "uninitialized element")
1943(assert_trap (invoke "test" (i32.const 122)) "uninitialized element")
1944(assert_trap (invoke "test" (i32.const 123)) "uninitialized element")
1945(assert_trap (invoke "test" (i32.const 124)) "uninitialized element")
1946(assert_trap (invoke "test" (i32.const 125)) "uninitialized element")
1947(assert_trap (invoke "test" (i32.const 126)) "uninitialized element")
1948(assert_trap (invoke "test" (i32.const 127)) "uninitialized element")
1949(assert_trap (invoke "test" (i32.const 128)) "uninitialized element")
1950(assert_trap (invoke "test" (i32.const 129)) "uninitialized element")
1951(assert_trap (invoke "test" (i32.const 130)) "uninitialized element")
1952(assert_trap (invoke "test" (i32.const 131)) "uninitialized element")
1953(assert_trap (invoke "test" (i32.const 132)) "uninitialized element")
1954(assert_trap (invoke "test" (i32.const 133)) "uninitialized element")
1955(assert_trap (invoke "test" (i32.const 134)) "uninitialized element")
1956(assert_trap (invoke "test" (i32.const 135)) "uninitialized element")
1957(assert_trap (invoke "test" (i32.const 136)) "uninitialized element")
1958(assert_trap (invoke "test" (i32.const 137)) "uninitialized element")
1959(assert_trap (invoke "test" (i32.const 138)) "uninitialized element")
1960(assert_trap (invoke "test" (i32.const 139)) "uninitialized element")
1961(assert_trap (invoke "test" (i32.const 140)) "uninitialized element")
1962(assert_trap (invoke "test" (i32.const 141)) "uninitialized element")
1963(assert_trap (invoke "test" (i32.const 142)) "uninitialized element")
1964(assert_trap (invoke "test" (i32.const 143)) "uninitialized element")
1965(assert_trap (invoke "test" (i32.const 144)) "uninitialized element")
1966(assert_trap (invoke "test" (i32.const 145)) "uninitialized element")
1967(assert_trap (invoke "test" (i32.const 146)) "uninitialized element")
1968(assert_trap (invoke "test" (i32.const 147)) "uninitialized element")
1969(assert_trap (invoke "test" (i32.const 148)) "uninitialized element")
1970(assert_trap (invoke "test" (i32.const 149)) "uninitialized element")
1971(assert_trap (invoke "test" (i32.const 150)) "uninitialized element")
1972(assert_trap (invoke "test" (i32.const 151)) "uninitialized element")
1973(assert_trap (invoke "test" (i32.const 152)) "uninitialized element")
1974(assert_trap (invoke "test" (i32.const 153)) "uninitialized element")
1975(assert_trap (invoke "test" (i32.const 154)) "uninitialized element")
1976(assert_trap (invoke "test" (i32.const 155)) "uninitialized element")
1977(assert_trap (invoke "test" (i32.const 156)) "uninitialized element")
1978(assert_trap (invoke "test" (i32.const 157)) "uninitialized element")
1979(assert_trap (invoke "test" (i32.const 158)) "uninitialized element")
1980(assert_trap (invoke "test" (i32.const 159)) "uninitialized element")
1981
1982(module
1983 (type (func (result i32)))
1984 (table 64 64 funcref)
1985 (elem funcref
1986 (ref.func $f0) (ref.func $f1) (ref.func $f2) (ref.func $f3)
1987 (ref.func $f4) (ref.func $f5) (ref.func $f6) (ref.func $f7)
1988 (ref.func $f8) (ref.func $f9) (ref.func $f10) (ref.func $f11)
1989 (ref.func $f12) (ref.func $f13) (ref.func $f14) (ref.func $f15))
1990 (func $f0 (export "f0") (result i32) (i32.const 0))
1991 (func $f1 (export "f1") (result i32) (i32.const 1))
1992 (func $f2 (export "f2") (result i32) (i32.const 2))
1993 (func $f3 (export "f3") (result i32) (i32.const 3))
1994 (func $f4 (export "f4") (result i32) (i32.const 4))
1995 (func $f5 (export "f5") (result i32) (i32.const 5))
1996 (func $f6 (export "f6") (result i32) (i32.const 6))
1997 (func $f7 (export "f7") (result i32) (i32.const 7))
1998 (func $f8 (export "f8") (result i32) (i32.const 8))
1999 (func $f9 (export "f9") (result i32) (i32.const 9))
2000 (func $f10 (export "f10") (result i32) (i32.const 10))
2001 (func $f11 (export "f11") (result i32) (i32.const 11))
2002 (func $f12 (export "f12") (result i32) (i32.const 12))
2003 (func $f13 (export "f13") (result i32) (i32.const 13))
2004 (func $f14 (export "f14") (result i32) (i32.const 14))
2005 (func $f15 (export "f15") (result i32) (i32.const 15))
2006 (func (export "test") (param $n i32) (result i32)
2007 (call_indirect (type 0) (local.get $n)))
2008 (func (export "run") (param $offs i32) (param $len i32)
2009 (table.init 0 (local.get $offs) (i32.const 0) (local.get $len))))
2010(assert_trap (invoke "run" (i32.const 48) (i32.const 4294967280)) "out of bounds table access")
2011(assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
2012(assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
2013(assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
2014(assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
2015(assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
2016(assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
2017(assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
2018(assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
2019(assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
2020(assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
2021(assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
2022(assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
2023(assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
2024(assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
2025(assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
2026(assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
2027(assert_trap (invoke "test" (i32.const 16)) "uninitialized element")
2028(assert_trap (invoke "test" (i32.const 17)) "uninitialized element")
2029(assert_trap (invoke "test" (i32.const 18)) "uninitialized element")
2030(assert_trap (invoke "test" (i32.const 19)) "uninitialized element")
2031(assert_trap (invoke "test" (i32.const 20)) "uninitialized element")
2032(assert_trap (invoke "test" (i32.const 21)) "uninitialized element")
2033(assert_trap (invoke "test" (i32.const 22)) "uninitialized element")
2034(assert_trap (invoke "test" (i32.const 23)) "uninitialized element")
2035(assert_trap (invoke "test" (i32.const 24)) "uninitialized element")
2036(assert_trap (invoke "test" (i32.const 25)) "uninitialized element")
2037(assert_trap (invoke "test" (i32.const 26)) "uninitialized element")
2038(assert_trap (invoke "test" (i32.const 27)) "uninitialized element")
2039(assert_trap (invoke "test" (i32.const 28)) "uninitialized element")
2040(assert_trap (invoke "test" (i32.const 29)) "uninitialized element")
2041(assert_trap (invoke "test" (i32.const 30)) "uninitialized element")
2042(assert_trap (invoke "test" (i32.const 31)) "uninitialized element")
2043(assert_trap (invoke "test" (i32.const 32)) "uninitialized element")
2044(assert_trap (invoke "test" (i32.const 33)) "uninitialized element")
2045(assert_trap (invoke "test" (i32.const 34)) "uninitialized element")
2046(assert_trap (invoke "test" (i32.const 35)) "uninitialized element")
2047(assert_trap (invoke "test" (i32.const 36)) "uninitialized element")
2048(assert_trap (invoke "test" (i32.const 37)) "uninitialized element")
2049(assert_trap (invoke "test" (i32.const 38)) "uninitialized element")
2050(assert_trap (invoke "test" (i32.const 39)) "uninitialized element")
2051(assert_trap (invoke "test" (i32.const 40)) "uninitialized element")
2052(assert_trap (invoke "test" (i32.const 41)) "uninitialized element")
2053(assert_trap (invoke "test" (i32.const 42)) "uninitialized element")
2054(assert_trap (invoke "test" (i32.const 43)) "uninitialized element")
2055(assert_trap (invoke "test" (i32.const 44)) "uninitialized element")
2056(assert_trap (invoke "test" (i32.const 45)) "uninitialized element")
2057(assert_trap (invoke "test" (i32.const 46)) "uninitialized element")
2058(assert_trap (invoke "test" (i32.const 47)) "uninitialized element")
2059(assert_trap (invoke "test" (i32.const 48)) "uninitialized element")
2060(assert_trap (invoke "test" (i32.const 49)) "uninitialized element")
2061(assert_trap (invoke "test" (i32.const 50)) "uninitialized element")
2062(assert_trap (invoke "test" (i32.const 51)) "uninitialized element")
2063(assert_trap (invoke "test" (i32.const 52)) "uninitialized element")
2064(assert_trap (invoke "test" (i32.const 53)) "uninitialized element")
2065(assert_trap (invoke "test" (i32.const 54)) "uninitialized element")
2066(assert_trap (invoke "test" (i32.const 55)) "uninitialized element")
2067(assert_trap (invoke "test" (i32.const 56)) "uninitialized element")
2068(assert_trap (invoke "test" (i32.const 57)) "uninitialized element")
2069(assert_trap (invoke "test" (i32.const 58)) "uninitialized element")
2070(assert_trap (invoke "test" (i32.const 59)) "uninitialized element")
2071(assert_trap (invoke "test" (i32.const 60)) "uninitialized element")
2072(assert_trap (invoke "test" (i32.const 61)) "uninitialized element")
2073(assert_trap (invoke "test" (i32.const 62)) "uninitialized element")
2074(assert_trap (invoke "test" (i32.const 63)) "uninitialized element")
2075
2076(module
2077 (type (func (result i32)))
2078 (table 16 16 funcref)
2079 (elem funcref
2080 (ref.func $f0) (ref.func $f1) (ref.func $f2) (ref.func $f3)
2081 (ref.func $f4) (ref.func $f5) (ref.func $f6) (ref.func $f7)
2082 (ref.func $f8) (ref.func $f9) (ref.func $f10) (ref.func $f11)
2083 (ref.func $f12) (ref.func $f13) (ref.func $f14) (ref.func $f15))
2084 (func $f0 (export "f0") (result i32) (i32.const 0))
2085 (func $f1 (export "f1") (result i32) (i32.const 1))
2086 (func $f2 (export "f2") (result i32) (i32.const 2))
2087 (func $f3 (export "f3") (result i32) (i32.const 3))
2088 (func $f4 (export "f4") (result i32) (i32.const 4))
2089 (func $f5 (export "f5") (result i32) (i32.const 5))
2090 (func $f6 (export "f6") (result i32) (i32.const 6))
2091 (func $f7 (export "f7") (result i32) (i32.const 7))
2092 (func $f8 (export "f8") (result i32) (i32.const 8))
2093 (func $f9 (export "f9") (result i32) (i32.const 9))
2094 (func $f10 (export "f10") (result i32) (i32.const 10))
2095 (func $f11 (export "f11") (result i32) (i32.const 11))
2096 (func $f12 (export "f12") (result i32) (i32.const 12))
2097 (func $f13 (export "f13") (result i32) (i32.const 13))
2098 (func $f14 (export "f14") (result i32) (i32.const 14))
2099 (func $f15 (export "f15") (result i32) (i32.const 15))
2100 (func (export "test") (param $n i32) (result i32)
2101 (call_indirect (type 0) (local.get $n)))
2102 (func (export "run") (param $offs i32) (param $len i32)
2103 (table.init 0 (local.get $offs) (i32.const 8) (local.get $len))))
2104(assert_trap (invoke "run" (i32.const 0) (i32.const 4294967292)) "out of bounds table access")
2105(assert_trap (invoke "test" (i32.const 0)) "uninitialized element")
2106(assert_trap (invoke "test" (i32.const 1)) "uninitialized element")
2107(assert_trap (invoke "test" (i32.const 2)) "uninitialized element")
2108(assert_trap (invoke "test" (i32.const 3)) "uninitialized element")
2109(assert_trap (invoke "test" (i32.const 4)) "uninitialized element")
2110(assert_trap (invoke "test" (i32.const 5)) "uninitialized element")
2111(assert_trap (invoke "test" (i32.const 6)) "uninitialized element")
2112(assert_trap (invoke "test" (i32.const 7)) "uninitialized element")
2113(assert_trap (invoke "test" (i32.const 8)) "uninitialized element")
2114(assert_trap (invoke "test" (i32.const 9)) "uninitialized element")
2115(assert_trap (invoke "test" (i32.const 10)) "uninitialized element")
2116(assert_trap (invoke "test" (i32.const 11)) "uninitialized element")
2117(assert_trap (invoke "test" (i32.const 12)) "uninitialized element")
2118(assert_trap (invoke "test" (i32.const 13)) "uninitialized element")
2119(assert_trap (invoke "test" (i32.const 14)) "uninitialized element")
2120(assert_trap (invoke "test" (i32.const 15)) "uninitialized element")
2121
2122(module
2123 (table 1 funcref)
2124 ;; 65 elem segments. 64 is the smallest positive number that is encoded
2125 ;; differently as a signed LEB.
2126 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2127 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2128 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2129 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2130 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2131 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2132 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2133 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2134 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2135 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2136 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2137 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2138 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2139 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2140 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2141 (elem funcref) (elem funcref) (elem funcref) (elem funcref)
2142 (elem funcref)
2143 (func (table.init 64 (i32.const 0) (i32.const 0) (i32.const 0))))
View as plain text