1;; Tests for store lane operations.
2
3
4(module
5 (memory 1)
6 (global $zero (mut v128) (v128.const i32x4 0 0 0 0))
7 (func (export "v128.store8_lane_0")
8 (param $address i32) (param $x v128) (result i64) (local $ret i64)
9 (v128.store8_lane 0 (local.get $address) (local.get $x))
10 (local.set $ret (i64.load (local.get $address)))
11 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
12 (func (export "v128.store8_lane_1")
13 (param $address i32) (param $x v128) (result i64) (local $ret i64)
14 (v128.store8_lane 1 (local.get $address) (local.get $x))
15 (local.set $ret (i64.load (local.get $address)))
16 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
17 (func (export "v128.store8_lane_2")
18 (param $address i32) (param $x v128) (result i64) (local $ret i64)
19 (v128.store8_lane 2 (local.get $address) (local.get $x))
20 (local.set $ret (i64.load (local.get $address)))
21 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
22 (func (export "v128.store8_lane_3")
23 (param $address i32) (param $x v128) (result i64) (local $ret i64)
24 (v128.store8_lane 3 (local.get $address) (local.get $x))
25 (local.set $ret (i64.load (local.get $address)))
26 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
27 (func (export "v128.store8_lane_4")
28 (param $address i32) (param $x v128) (result i64) (local $ret i64)
29 (v128.store8_lane 4 (local.get $address) (local.get $x))
30 (local.set $ret (i64.load (local.get $address)))
31 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
32 (func (export "v128.store8_lane_5")
33 (param $address i32) (param $x v128) (result i64) (local $ret i64)
34 (v128.store8_lane 5 (local.get $address) (local.get $x))
35 (local.set $ret (i64.load (local.get $address)))
36 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
37 (func (export "v128.store8_lane_6")
38 (param $address i32) (param $x v128) (result i64) (local $ret i64)
39 (v128.store8_lane 6 (local.get $address) (local.get $x))
40 (local.set $ret (i64.load (local.get $address)))
41 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
42 (func (export "v128.store8_lane_7")
43 (param $address i32) (param $x v128) (result i64) (local $ret i64)
44 (v128.store8_lane 7 (local.get $address) (local.get $x))
45 (local.set $ret (i64.load (local.get $address)))
46 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
47 (func (export "v128.store8_lane_8")
48 (param $address i32) (param $x v128) (result i64) (local $ret i64)
49 (v128.store8_lane 8 (local.get $address) (local.get $x))
50 (local.set $ret (i64.load (local.get $address)))
51 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
52 (func (export "v128.store8_lane_9")
53 (param $address i32) (param $x v128) (result i64) (local $ret i64)
54 (v128.store8_lane 9 (local.get $address) (local.get $x))
55 (local.set $ret (i64.load (local.get $address)))
56 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
57 (func (export "v128.store8_lane_10")
58 (param $address i32) (param $x v128) (result i64) (local $ret i64)
59 (v128.store8_lane 10 (local.get $address) (local.get $x))
60 (local.set $ret (i64.load (local.get $address)))
61 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
62 (func (export "v128.store8_lane_11")
63 (param $address i32) (param $x v128) (result i64) (local $ret i64)
64 (v128.store8_lane 11 (local.get $address) (local.get $x))
65 (local.set $ret (i64.load (local.get $address)))
66 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
67 (func (export "v128.store8_lane_12")
68 (param $address i32) (param $x v128) (result i64) (local $ret i64)
69 (v128.store8_lane 12 (local.get $address) (local.get $x))
70 (local.set $ret (i64.load (local.get $address)))
71 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
72 (func (export "v128.store8_lane_13")
73 (param $address i32) (param $x v128) (result i64) (local $ret i64)
74 (v128.store8_lane 13 (local.get $address) (local.get $x))
75 (local.set $ret (i64.load (local.get $address)))
76 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
77 (func (export "v128.store8_lane_14")
78 (param $address i32) (param $x v128) (result i64) (local $ret i64)
79 (v128.store8_lane 14 (local.get $address) (local.get $x))
80 (local.set $ret (i64.load (local.get $address)))
81 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
82 (func (export "v128.store8_lane_15")
83 (param $address i32) (param $x v128) (result i64) (local $ret i64)
84 (v128.store8_lane 15 (local.get $address) (local.get $x))
85 (local.set $ret (i64.load (local.get $address)))
86 (v128.store (local.get $address) (global.get $zero)) (local.get $ret))
87 (func (export "v128.store8_lane_0_offset_0")
88 (param $x v128) (result i64) (local $ret i64)
89 (v128.store8_lane offset=0 0 (i32.const 0) (local.get $x))
90 (local.set $ret (i64.load offset=0 (i32.const 0)))
91 (v128.store offset=0 (i32.const 0) (global.get $zero))
92 (local.get $ret))
93 (func (export "v128.store8_lane_1_offset_1")
94 (param $x v128) (result i64) (local $ret i64)
95 (v128.store8_lane offset=1 1 (i32.const 0) (local.get $x))
96 (local.set $ret (i64.load offset=1 (i32.const 0)))
97 (v128.store offset=1 (i32.const 0) (global.get $zero))
98 (local.get $ret))
99 (func (export "v128.store8_lane_2_offset_2")
100 (param $x v128) (result i64) (local $ret i64)
101 (v128.store8_lane offset=2 2 (i32.const 0) (local.get $x))
102 (local.set $ret (i64.load offset=2 (i32.const 0)))
103 (v128.store offset=2 (i32.const 0) (global.get $zero))
104 (local.get $ret))
105 (func (export "v128.store8_lane_3_offset_3")
106 (param $x v128) (result i64) (local $ret i64)
107 (v128.store8_lane offset=3 3 (i32.const 0) (local.get $x))
108 (local.set $ret (i64.load offset=3 (i32.const 0)))
109 (v128.store offset=3 (i32.const 0) (global.get $zero))
110 (local.get $ret))
111 (func (export "v128.store8_lane_4_offset_4")
112 (param $x v128) (result i64) (local $ret i64)
113 (v128.store8_lane offset=4 4 (i32.const 0) (local.get $x))
114 (local.set $ret (i64.load offset=4 (i32.const 0)))
115 (v128.store offset=4 (i32.const 0) (global.get $zero))
116 (local.get $ret))
117 (func (export "v128.store8_lane_5_offset_5")
118 (param $x v128) (result i64) (local $ret i64)
119 (v128.store8_lane offset=5 5 (i32.const 0) (local.get $x))
120 (local.set $ret (i64.load offset=5 (i32.const 0)))
121 (v128.store offset=5 (i32.const 0) (global.get $zero))
122 (local.get $ret))
123 (func (export "v128.store8_lane_6_offset_6")
124 (param $x v128) (result i64) (local $ret i64)
125 (v128.store8_lane offset=6 6 (i32.const 0) (local.get $x))
126 (local.set $ret (i64.load offset=6 (i32.const 0)))
127 (v128.store offset=6 (i32.const 0) (global.get $zero))
128 (local.get $ret))
129 (func (export "v128.store8_lane_7_offset_7")
130 (param $x v128) (result i64) (local $ret i64)
131 (v128.store8_lane offset=7 7 (i32.const 0) (local.get $x))
132 (local.set $ret (i64.load offset=7 (i32.const 0)))
133 (v128.store offset=7 (i32.const 0) (global.get $zero))
134 (local.get $ret))
135 (func (export "v128.store8_lane_8_offset_8")
136 (param $x v128) (result i64) (local $ret i64)
137 (v128.store8_lane offset=8 8 (i32.const 0) (local.get $x))
138 (local.set $ret (i64.load offset=8 (i32.const 0)))
139 (v128.store offset=8 (i32.const 0) (global.get $zero))
140 (local.get $ret))
141 (func (export "v128.store8_lane_9_offset_9")
142 (param $x v128) (result i64) (local $ret i64)
143 (v128.store8_lane offset=9 9 (i32.const 0) (local.get $x))
144 (local.set $ret (i64.load offset=9 (i32.const 0)))
145 (v128.store offset=9 (i32.const 0) (global.get $zero))
146 (local.get $ret))
147 (func (export "v128.store8_lane_10_offset_10")
148 (param $x v128) (result i64) (local $ret i64)
149 (v128.store8_lane offset=10 10 (i32.const 0) (local.get $x))
150 (local.set $ret (i64.load offset=10 (i32.const 0)))
151 (v128.store offset=10 (i32.const 0) (global.get $zero))
152 (local.get $ret))
153 (func (export "v128.store8_lane_11_offset_11")
154 (param $x v128) (result i64) (local $ret i64)
155 (v128.store8_lane offset=11 11 (i32.const 0) (local.get $x))
156 (local.set $ret (i64.load offset=11 (i32.const 0)))
157 (v128.store offset=11 (i32.const 0) (global.get $zero))
158 (local.get $ret))
159 (func (export "v128.store8_lane_12_offset_12")
160 (param $x v128) (result i64) (local $ret i64)
161 (v128.store8_lane offset=12 12 (i32.const 0) (local.get $x))
162 (local.set $ret (i64.load offset=12 (i32.const 0)))
163 (v128.store offset=12 (i32.const 0) (global.get $zero))
164 (local.get $ret))
165 (func (export "v128.store8_lane_13_offset_13")
166 (param $x v128) (result i64) (local $ret i64)
167 (v128.store8_lane offset=13 13 (i32.const 0) (local.get $x))
168 (local.set $ret (i64.load offset=13 (i32.const 0)))
169 (v128.store offset=13 (i32.const 0) (global.get $zero))
170 (local.get $ret))
171 (func (export "v128.store8_lane_14_offset_14")
172 (param $x v128) (result i64) (local $ret i64)
173 (v128.store8_lane offset=14 14 (i32.const 0) (local.get $x))
174 (local.set $ret (i64.load offset=14 (i32.const 0)))
175 (v128.store offset=14 (i32.const 0) (global.get $zero))
176 (local.get $ret))
177 (func (export "v128.store8_lane_15_offset_15")
178 (param $x v128) (result i64) (local $ret i64)
179 (v128.store8_lane offset=15 15 (i32.const 0) (local.get $x))
180 (local.set $ret (i64.load offset=15 (i32.const 0)))
181 (v128.store offset=15 (i32.const 0) (global.get $zero))
182 (local.get $ret))
183 (func (export "v128.store8_lane_0_align_1")
184 (param $address i32) (param $x v128) (result i64) (local $ret i64)
185 (v128.store8_lane align=1 0 (local.get $address) (local.get $x))
186 (local.set $ret (i64.load (local.get $address)))
187 (v128.store offset=0 (i32.const 0) (global.get $zero))
188 (local.get $ret))
189 (func (export "v128.store8_lane_1_align_1")
190 (param $address i32) (param $x v128) (result i64) (local $ret i64)
191 (v128.store8_lane align=1 1 (local.get $address) (local.get $x))
192 (local.set $ret (i64.load (local.get $address)))
193 (v128.store offset=1 (i32.const 0) (global.get $zero))
194 (local.get $ret))
195 (func (export "v128.store8_lane_2_align_1")
196 (param $address i32) (param $x v128) (result i64) (local $ret i64)
197 (v128.store8_lane align=1 2 (local.get $address) (local.get $x))
198 (local.set $ret (i64.load (local.get $address)))
199 (v128.store offset=2 (i32.const 0) (global.get $zero))
200 (local.get $ret))
201 (func (export "v128.store8_lane_3_align_1")
202 (param $address i32) (param $x v128) (result i64) (local $ret i64)
203 (v128.store8_lane align=1 3 (local.get $address) (local.get $x))
204 (local.set $ret (i64.load (local.get $address)))
205 (v128.store offset=3 (i32.const 0) (global.get $zero))
206 (local.get $ret))
207 (func (export "v128.store8_lane_4_align_1")
208 (param $address i32) (param $x v128) (result i64) (local $ret i64)
209 (v128.store8_lane align=1 4 (local.get $address) (local.get $x))
210 (local.set $ret (i64.load (local.get $address)))
211 (v128.store offset=4 (i32.const 0) (global.get $zero))
212 (local.get $ret))
213 (func (export "v128.store8_lane_5_align_1")
214 (param $address i32) (param $x v128) (result i64) (local $ret i64)
215 (v128.store8_lane align=1 5 (local.get $address) (local.get $x))
216 (local.set $ret (i64.load (local.get $address)))
217 (v128.store offset=5 (i32.const 0) (global.get $zero))
218 (local.get $ret))
219 (func (export "v128.store8_lane_6_align_1")
220 (param $address i32) (param $x v128) (result i64) (local $ret i64)
221 (v128.store8_lane align=1 6 (local.get $address) (local.get $x))
222 (local.set $ret (i64.load (local.get $address)))
223 (v128.store offset=6 (i32.const 0) (global.get $zero))
224 (local.get $ret))
225 (func (export "v128.store8_lane_7_align_1")
226 (param $address i32) (param $x v128) (result i64) (local $ret i64)
227 (v128.store8_lane align=1 7 (local.get $address) (local.get $x))
228 (local.set $ret (i64.load (local.get $address)))
229 (v128.store offset=7 (i32.const 0) (global.get $zero))
230 (local.get $ret))
231 (func (export "v128.store8_lane_8_align_1")
232 (param $address i32) (param $x v128) (result i64) (local $ret i64)
233 (v128.store8_lane align=1 8 (local.get $address) (local.get $x))
234 (local.set $ret (i64.load (local.get $address)))
235 (v128.store offset=8 (i32.const 0) (global.get $zero))
236 (local.get $ret))
237 (func (export "v128.store8_lane_9_align_1")
238 (param $address i32) (param $x v128) (result i64) (local $ret i64)
239 (v128.store8_lane align=1 9 (local.get $address) (local.get $x))
240 (local.set $ret (i64.load (local.get $address)))
241 (v128.store offset=9 (i32.const 0) (global.get $zero))
242 (local.get $ret))
243 (func (export "v128.store8_lane_10_align_1")
244 (param $address i32) (param $x v128) (result i64) (local $ret i64)
245 (v128.store8_lane align=1 10 (local.get $address) (local.get $x))
246 (local.set $ret (i64.load (local.get $address)))
247 (v128.store offset=10 (i32.const 0) (global.get $zero))
248 (local.get $ret))
249 (func (export "v128.store8_lane_11_align_1")
250 (param $address i32) (param $x v128) (result i64) (local $ret i64)
251 (v128.store8_lane align=1 11 (local.get $address) (local.get $x))
252 (local.set $ret (i64.load (local.get $address)))
253 (v128.store offset=11 (i32.const 0) (global.get $zero))
254 (local.get $ret))
255 (func (export "v128.store8_lane_12_align_1")
256 (param $address i32) (param $x v128) (result i64) (local $ret i64)
257 (v128.store8_lane align=1 12 (local.get $address) (local.get $x))
258 (local.set $ret (i64.load (local.get $address)))
259 (v128.store offset=12 (i32.const 0) (global.get $zero))
260 (local.get $ret))
261 (func (export "v128.store8_lane_13_align_1")
262 (param $address i32) (param $x v128) (result i64) (local $ret i64)
263 (v128.store8_lane align=1 13 (local.get $address) (local.get $x))
264 (local.set $ret (i64.load (local.get $address)))
265 (v128.store offset=13 (i32.const 0) (global.get $zero))
266 (local.get $ret))
267 (func (export "v128.store8_lane_14_align_1")
268 (param $address i32) (param $x v128) (result i64) (local $ret i64)
269 (v128.store8_lane align=1 14 (local.get $address) (local.get $x))
270 (local.set $ret (i64.load (local.get $address)))
271 (v128.store offset=14 (i32.const 0) (global.get $zero))
272 (local.get $ret))
273 (func (export "v128.store8_lane_15_align_1")
274 (param $address i32) (param $x v128) (result i64) (local $ret i64)
275 (v128.store8_lane align=1 15 (local.get $address) (local.get $x))
276 (local.set $ret (i64.load (local.get $address)))
277 (v128.store offset=15 (i32.const 0) (global.get $zero))
278 (local.get $ret))
279)
280
281(assert_return (invoke "v128.store8_lane_0" (i32.const 0)
282 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
283 (i64.const 0))
284(assert_return (invoke "v128.store8_lane_1" (i32.const 1)
285 (v128.const i8x16 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
286 (i64.const 1))
287(assert_return (invoke "v128.store8_lane_2" (i32.const 2)
288 (v128.const i8x16 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0))
289 (i64.const 2))
290(assert_return (invoke "v128.store8_lane_3" (i32.const 3)
291 (v128.const i8x16 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0))
292 (i64.const 3))
293(assert_return (invoke "v128.store8_lane_4" (i32.const 4)
294 (v128.const i8x16 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0))
295 (i64.const 4))
296(assert_return (invoke "v128.store8_lane_5" (i32.const 5)
297 (v128.const i8x16 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0))
298 (i64.const 5))
299(assert_return (invoke "v128.store8_lane_6" (i32.const 6)
300 (v128.const i8x16 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0))
301 (i64.const 6))
302(assert_return (invoke "v128.store8_lane_7" (i32.const 7)
303 (v128.const i8x16 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0))
304 (i64.const 7))
305(assert_return (invoke "v128.store8_lane_8" (i32.const 8)
306 (v128.const i8x16 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0))
307 (i64.const 8))
308(assert_return (invoke "v128.store8_lane_9" (i32.const 9)
309 (v128.const i8x16 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0))
310 (i64.const 9))
311(assert_return (invoke "v128.store8_lane_10" (i32.const 10)
312 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0))
313 (i64.const 10))
314(assert_return (invoke "v128.store8_lane_11" (i32.const 11)
315 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0))
316 (i64.const 11))
317(assert_return (invoke "v128.store8_lane_12" (i32.const 12)
318 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0))
319 (i64.const 12))
320(assert_return (invoke "v128.store8_lane_13" (i32.const 13)
321 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0))
322 (i64.const 13))
323(assert_return (invoke "v128.store8_lane_14" (i32.const 14)
324 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0))
325 (i64.const 14))
326(assert_return (invoke "v128.store8_lane_15" (i32.const 15)
327 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15))
328 (i64.const 15))
329(assert_return (invoke "v128.store8_lane_0_offset_0" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
330 (i64.const 0))
331(assert_return (invoke "v128.store8_lane_1_offset_1" (v128.const i8x16 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
332 (i64.const 1))
333(assert_return (invoke "v128.store8_lane_2_offset_2" (v128.const i8x16 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0))
334 (i64.const 2))
335(assert_return (invoke "v128.store8_lane_3_offset_3" (v128.const i8x16 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0))
336 (i64.const 3))
337(assert_return (invoke "v128.store8_lane_4_offset_4" (v128.const i8x16 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0))
338 (i64.const 4))
339(assert_return (invoke "v128.store8_lane_5_offset_5" (v128.const i8x16 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0))
340 (i64.const 5))
341(assert_return (invoke "v128.store8_lane_6_offset_6" (v128.const i8x16 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0))
342 (i64.const 6))
343(assert_return (invoke "v128.store8_lane_7_offset_7" (v128.const i8x16 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0))
344 (i64.const 7))
345(assert_return (invoke "v128.store8_lane_8_offset_8" (v128.const i8x16 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0))
346 (i64.const 8))
347(assert_return (invoke "v128.store8_lane_9_offset_9" (v128.const i8x16 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0))
348 (i64.const 9))
349(assert_return (invoke "v128.store8_lane_10_offset_10" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0))
350 (i64.const 10))
351(assert_return (invoke "v128.store8_lane_11_offset_11" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0))
352 (i64.const 11))
353(assert_return (invoke "v128.store8_lane_12_offset_12" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0))
354 (i64.const 12))
355(assert_return (invoke "v128.store8_lane_13_offset_13" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0))
356 (i64.const 13))
357(assert_return (invoke "v128.store8_lane_14_offset_14" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0))
358 (i64.const 14))
359(assert_return (invoke "v128.store8_lane_15_offset_15" (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15))
360 (i64.const 15))
361(assert_return (invoke "v128.store8_lane_0_align_1" (i32.const 0)
362 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
363 (i64.const 0))
364(assert_return (invoke "v128.store8_lane_1_align_1" (i32.const 1)
365 (v128.const i8x16 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
366 (i64.const 1))
367(assert_return (invoke "v128.store8_lane_2_align_1" (i32.const 2)
368 (v128.const i8x16 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0))
369 (i64.const 2))
370(assert_return (invoke "v128.store8_lane_3_align_1" (i32.const 3)
371 (v128.const i8x16 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0))
372 (i64.const 3))
373(assert_return (invoke "v128.store8_lane_4_align_1" (i32.const 4)
374 (v128.const i8x16 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0))
375 (i64.const 4))
376(assert_return (invoke "v128.store8_lane_5_align_1" (i32.const 5)
377 (v128.const i8x16 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0))
378 (i64.const 5))
379(assert_return (invoke "v128.store8_lane_6_align_1" (i32.const 6)
380 (v128.const i8x16 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0))
381 (i64.const 6))
382(assert_return (invoke "v128.store8_lane_7_align_1" (i32.const 7)
383 (v128.const i8x16 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0))
384 (i64.const 7))
385(assert_return (invoke "v128.store8_lane_8_align_1" (i32.const 8)
386 (v128.const i8x16 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0))
387 (i64.const 8))
388(assert_return (invoke "v128.store8_lane_9_align_1" (i32.const 9)
389 (v128.const i8x16 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0))
390 (i64.const 9))
391(assert_return (invoke "v128.store8_lane_10_align_1" (i32.const 10)
392 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0))
393 (i64.const 10))
394(assert_return (invoke "v128.store8_lane_11_align_1" (i32.const 11)
395 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0))
396 (i64.const 11))
397(assert_return (invoke "v128.store8_lane_12_align_1" (i32.const 12)
398 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0))
399 (i64.const 12))
400(assert_return (invoke "v128.store8_lane_13_align_1" (i32.const 13)
401 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0))
402 (i64.const 13))
403(assert_return (invoke "v128.store8_lane_14_align_1" (i32.const 14)
404 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0))
405 (i64.const 14))
406(assert_return (invoke "v128.store8_lane_15_align_1" (i32.const 15)
407 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15))
408 (i64.const 15))
409
410;; type check
411(assert_invalid (module (memory 1)
412 (func (param $x v128) (result v128)
413 (v128.store8_lane 0 (local.get $x) (i32.const 0))))
414 "type mismatch")
415
416;; invalid lane index
417(assert_invalid (module (memory 1)
418 (func (param $x v128) (result v128)
419 (v128.store8_lane 16 (i32.const 0) (local.get $x))))
420 "invalid lane index")
421
422;; invalid memarg alignment
423(assert_invalid
424 (module (memory 1)
425 (func (param $x v128) (result v128)
426 (v128.store8_lane align=2 0 (i32.const 0) (local.get $x))))
427 "alignment must not be larger than natural")
View as plain text