Skip to content

Commit d76759e

Browse files
github-actions[bot]WebAssembly/testsuite auto-update
github-actions[bot]
and
WebAssembly/testsuite auto-update
authored
Auto-update for 2025-03-12 (#121)
Update repos: wasm-3.0: WebAssembly/spec@a1f0bf6 This change was automatically generated by `update-testsuite.py` Co-authored-by: WebAssembly/testsuite auto-update <[email protected]>
1 parent 5504e41 commit d76759e

File tree

3 files changed

+177
-0
lines changed

3 files changed

+177
-0
lines changed

‎proposals/wasm-3.0/array_init_data.wast

Lines changed: 102 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -108,3 +108,105 @@
108108
(assert_return (invoke "drop_segs"))
109109
(assert_return (invoke "array_init_data" (i32.const 0) (i32.const 0) (i32.const 0)))
110110
(assert_trap (invoke "array_init_data" (i32.const 0) (i32.const 0) (i32.const 1)) "out of bounds memory access")
111+
112+
113+
(module
114+
(type $a32 (array (mut i32)))
115+
(type $a64 (array (mut i64)))
116+
117+
(data $data0 "")
118+
(data $data1 "1")
119+
(data $data2 "12")
120+
(data $data3 "123")
121+
(data $data4 "1234")
122+
(data $data7 "1234567")
123+
(data $data9 "123456789")
124+
125+
(func (export "f0")
126+
(array.init_data $a32 $data0
127+
(array.new_default $a32 (i32.const 1))
128+
(i32.const 0) (i32.const 0) (i32.const 1)
129+
)
130+
)
131+
(func (export "f1")
132+
(array.init_data $a32 $data1
133+
(array.new_default $a32 (i32.const 1))
134+
(i32.const 0) (i32.const 0) (i32.const 1)
135+
)
136+
)
137+
(func (export "f2")
138+
(array.init_data $a32 $data2
139+
(array.new_default $a32 (i32.const 1))
140+
(i32.const 0) (i32.const 0) (i32.const 1)
141+
)
142+
)
143+
(func (export "f3")
144+
(array.init_data $a32 $data3
145+
(array.new_default $a32 (i32.const 1))
146+
(i32.const 0) (i32.const 0) (i32.const 1)
147+
)
148+
)
149+
(func (export "f4")
150+
(array.init_data $a32 $data4
151+
(array.new_default $a32 (i32.const 1))
152+
(i32.const 0) (i32.const 0) (i32.const 1)
153+
)
154+
)
155+
(func (export "f9")
156+
(array.init_data $a32 $data9
157+
(array.new_default $a32 (i32.const 1))
158+
(i32.const 0) (i32.const 6) (i32.const 1)
159+
)
160+
)
161+
162+
(func (export "g0")
163+
(array.init_data $a64 $data0
164+
(array.new_default $a64 (i32.const 1))
165+
(i32.const 0) (i32.const 0) (i32.const 1)
166+
)
167+
)
168+
(func (export "g1")
169+
(array.init_data $a64 $data1
170+
(array.new_default $a64 (i32.const 1))
171+
(i32.const 0) (i32.const 0) (i32.const 1)
172+
)
173+
)
174+
(func (export "g4")
175+
(array.init_data $a64 $data4
176+
(array.new_default $a64 (i32.const 1))
177+
(i32.const 0) (i32.const 0) (i32.const 1)
178+
)
179+
)
180+
(func (export "g7")
181+
(array.init_data $a64 $data7
182+
(array.new_default $a64 (i32.const 1))
183+
(i32.const 0) (i32.const 0) (i32.const 1)
184+
)
185+
)
186+
(func (export "g8")
187+
(array.init_data $a64 $data9
188+
(array.new_default $a64 (i32.const 1))
189+
(i32.const 0) (i32.const 0) (i32.const 1)
190+
)
191+
)
192+
(func (export "g9")
193+
(array.init_data $a64 $data9
194+
(array.new_default $a64 (i32.const 1))
195+
(i32.const 0) (i32.const 2) (i32.const 1)
196+
)
197+
)
198+
)
199+
200+
(assert_trap (invoke "f0") "out of bounds memory access")
201+
(assert_trap (invoke "f1") "out of bounds memory access")
202+
(assert_trap (invoke "f2") "out of bounds memory access")
203+
(assert_trap (invoke "f3") "out of bounds memory access")
204+
(assert_return (invoke "f4"))
205+
(assert_trap (invoke "f9") "out of bounds memory access")
206+
207+
(assert_trap (invoke "g0") "out of bounds memory access")
208+
(assert_trap (invoke "g1") "out of bounds memory access")
209+
(assert_trap (invoke "g4") "out of bounds memory access")
210+
(assert_trap (invoke "g7") "out of bounds memory access")
211+
(assert_return (invoke "g8"))
212+
(assert_trap (invoke "g9") "out of bounds memory access")

‎proposals/wasm-3.0/array_new_data.wast

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,71 @@
2020
(assert_trap (invoke "array-new-data" (i32.const 1) (i32.const 4)) "out of bounds memory access")
2121
(assert_trap (invoke "array-new-data" (i32.const 4) (i32.const 1)) "out of bounds memory access")
2222

23+
(module
24+
(type $a32 (array i32))
25+
(type $a64 (array i64))
26+
27+
(data $data0 "")
28+
(data $data1 "1")
29+
(data $data2 "12")
30+
(data $data3 "123")
31+
(data $data4 "1234")
32+
(data $data7 "1234567")
33+
(data $data9 "123456789")
34+
35+
(func (export "f0")
36+
(drop (array.new_data $a32 $data0 (i32.const 0) (i32.const 1)))
37+
)
38+
(func (export "f1")
39+
(drop (array.new_data $a32 $data1 (i32.const 0) (i32.const 1)))
40+
)
41+
(func (export "f2")
42+
(drop (array.new_data $a32 $data2 (i32.const 0) (i32.const 1)))
43+
)
44+
(func (export "f3")
45+
(drop (array.new_data $a32 $data3 (i32.const 0) (i32.const 1)))
46+
)
47+
(func (export "f4")
48+
(drop (array.new_data $a32 $data4 (i32.const 0) (i32.const 1)))
49+
)
50+
(func (export "f9")
51+
(drop (array.new_data $a32 $data9 (i32.const 6) (i32.const 1)))
52+
)
53+
54+
(func (export "g0")
55+
(drop (array.new_data $a64 $data0 (i32.const 0) (i32.const 1)))
56+
)
57+
(func (export "g1")
58+
(drop (array.new_data $a64 $data1 (i32.const 0) (i32.const 1)))
59+
)
60+
(func (export "g4")
61+
(drop (array.new_data $a64 $data4 (i32.const 0) (i32.const 1)))
62+
)
63+
(func (export "g7")
64+
(drop (array.new_data $a64 $data7 (i32.const 0) (i32.const 1)))
65+
)
66+
(func (export "g8")
67+
(drop (array.new_data $a64 $data9 (i32.const 0) (i32.const 1)))
68+
)
69+
(func (export "g9")
70+
(drop (array.new_data $a64 $data9 (i32.const 2) (i32.const 1)))
71+
)
72+
)
73+
74+
(assert_trap (invoke "f0") "out of bounds memory access")
75+
(assert_trap (invoke "f1") "out of bounds memory access")
76+
(assert_trap (invoke "f2") "out of bounds memory access")
77+
(assert_trap (invoke "f3") "out of bounds memory access")
78+
(assert_return (invoke "f4"))
79+
(assert_trap (invoke "f9") "out of bounds memory access")
80+
81+
(assert_trap (invoke "g0") "out of bounds memory access")
82+
(assert_trap (invoke "g1") "out of bounds memory access")
83+
(assert_trap (invoke "g4") "out of bounds memory access")
84+
(assert_trap (invoke "g7") "out of bounds memory access")
85+
(assert_return (invoke "g8"))
86+
(assert_trap (invoke "g9") "out of bounds memory access")
87+
2388

2489
(module
2590
(type $arr (array (mut i8)))

‎proposals/wasm-3.0/return_call_indirect.wast

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -548,6 +548,16 @@
548548
"type mismatch"
549549
)
550550

551+
;; return_call_indirect expects funcref type but receives externref
552+
(assert_invalid
553+
(module
554+
(type (func))
555+
(table 10 externref)
556+
(func $return-call-indirect (return_call_indirect (type 0) (i32.const 0)))
557+
)
558+
"type mismatch"
559+
)
560+
551561
;; Unbound type
552562

553563
(assert_invalid

0 commit comments

Comments
 (0)