1;; Test alignment annotation rules
2
3(module (memory 0) (func (drop (i32.load8_s align=1 (i32.const 0)))))
4(module (memory 0) (func (drop (i32.load8_u align=1 (i32.const 0)))))
5(module (memory 0) (func (drop (i32.load16_s align=2 (i32.const 0)))))
6(module (memory 0) (func (drop (i32.load16_u align=2 (i32.const 0)))))
7(module (memory 0) (func (drop (i32.load align=4 (i32.const 0)))))
8(module (memory 0) (func (drop (i64.load8_s align=1 (i32.const 0)))))
9(module (memory 0) (func (drop (i64.load8_u align=1 (i32.const 0)))))
10(module (memory 0) (func (drop (i64.load16_s align=2 (i32.const 0)))))
11(module (memory 0) (func (drop (i64.load16_u align=2 (i32.const 0)))))
12(module (memory 0) (func (drop (i64.load32_s align=4 (i32.const 0)))))
13(module (memory 0) (func (drop (i64.load32_u align=4 (i32.const 0)))))
14(module (memory 0) (func (drop (i64.load align=8 (i32.const 0)))))
15(module (memory 0) (func (drop (f32.load align=4 (i32.const 0)))))
16(module (memory 0) (func (drop (f64.load align=8 (i32.const 0)))))
17(module (memory 0) (func (i32.store8 align=1 (i32.const 0) (i32.const 1))))
18(module (memory 0) (func (i32.store16 align=2 (i32.const 0) (i32.const 1))))
19(module (memory 0) (func (i32.store align=4 (i32.const 0) (i32.const 1))))
20(module (memory 0) (func (i64.store8 align=1 (i32.const 0) (i64.const 1))))
21(module (memory 0) (func (i64.store16 align=2 (i32.const 0) (i64.const 1))))
22(module (memory 0) (func (i64.store32 align=4 (i32.const 0) (i64.const 1))))
23(module (memory 0) (func (i64.store align=8 (i32.const 0) (i64.const 1))))
24(module (memory 0) (func (f32.store align=4 (i32.const 0) (f32.const 1.0))))
25(module (memory 0) (func (f64.store align=8 (i32.const 0) (f64.const 1.0))))
26
27(assert_malformed
28 (module quote
29 "(module (memory 0) (func (drop (i32.load8_s align=0 (i32.const 0)))))"
30 )
31 "alignment"
32)
33(assert_malformed
34 (module quote
35 "(module (memory 0) (func (drop (i32.load8_s align=7 (i32.const 0)))))"
36 )
37 "alignment"
38)
39(assert_malformed
40 (module quote
41 "(module (memory 0) (func (drop (i32.load8_u align=0 (i32.const 0)))))"
42 )
43 "alignment"
44)
45(assert_malformed
46 (module quote
47 "(module (memory 0) (func (drop (i32.load8_u align=7 (i32.const 0)))))"
48 )
49 "alignment"
50)
51(assert_malformed
52 (module quote
53 "(module (memory 0) (func (drop (i32.load16_s align=0 (i32.const 0)))))"
54 )
55 "alignment"
56)
57(assert_malformed
58 (module quote
59 "(module (memory 0) (func (drop (i32.load16_s align=7 (i32.const 0)))))"
60 )
61 "alignment"
62)
63(assert_malformed
64 (module quote
65 "(module (memory 0) (func (drop (i32.load16_u align=0 (i32.const 0)))))"
66 )
67 "alignment"
68)
69(assert_malformed
70 (module quote
71 "(module (memory 0) (func (drop (i32.load16_u align=7 (i32.const 0)))))"
72 )
73 "alignment"
74)
75(assert_malformed
76 (module quote
77 "(module (memory 0) (func (drop (i32.load align=0 (i32.const 0)))))"
78 )
79 "alignment"
80)
81(assert_malformed
82 (module quote
83 "(module (memory 0) (func (drop (i32.load align=7 (i32.const 0)))))"
84 )
85 "alignment"
86)
87(assert_malformed
88 (module quote
89 "(module (memory 0) (func (drop (i64.load8_s align=0 (i32.const 0)))))"
90 )
91 "alignment"
92)
93(assert_malformed
94 (module quote
95 "(module (memory 0) (func (drop (i64.load8_s align=7 (i32.const 0)))))"
96 )
97 "alignment"
98)
99(assert_malformed
100 (module quote
101 "(module (memory 0) (func (drop (i64.load8_u align=0 (i32.const 0)))))"
102 )
103 "alignment"
104)
105(assert_malformed
106 (module quote
107 "(module (memory 0) (func (drop (i64.load8_u align=7 (i32.const 0)))))"
108 )
109 "alignment"
110)
111(assert_malformed
112 (module quote
113 "(module (memory 0) (func (drop (i64.load16_s align=0 (i32.const 0)))))"
114 )
115 "alignment"
116)
117(assert_malformed
118 (module quote
119 "(module (memory 0) (func (drop (i64.load16_s align=7 (i32.const 0)))))"
120 )
121 "alignment"
122)
123(assert_malformed
124 (module quote
125 "(module (memory 0) (func (drop (i64.load16_u align=0 (i32.const 0)))))"
126 )
127 "alignment"
128)
129(assert_malformed
130 (module quote
131 "(module (memory 0) (func (drop (i64.load16_u align=7 (i32.const 0)))))"
132 )
133 "alignment"
134)
135(assert_malformed
136 (module quote
137 "(module (memory 0) (func (drop (i64.load32_s align=0 (i32.const 0)))))"
138 )
139 "alignment"
140)
141(assert_malformed
142 (module quote
143 "(module (memory 0) (func (drop (i64.load32_s align=7 (i32.const 0)))))"
144 )
145 "alignment"
146)
147(assert_malformed
148 (module quote
149 "(module (memory 0) (func (drop (i64.load32_u align=0 (i32.const 0)))))"
150 )
151 "alignment"
152)
153(assert_malformed
154 (module quote
155 "(module (memory 0) (func (drop (i64.load32_u align=7 (i32.const 0)))))"
156 )
157 "alignment"
158)
159(assert_malformed
160 (module quote
161 "(module (memory 0) (func (drop (i64.load align=0 (i32.const 0)))))"
162 )
163 "alignment"
164)
165(assert_malformed
166 (module quote
167 "(module (memory 0) (func (drop (i64.load align=7 (i32.const 0)))))"
168 )
169 "alignment"
170)
171(assert_malformed
172 (module quote
173 "(module (memory 0) (func (drop (f32.load align=0 (i32.const 0)))))"
174 )
175 "alignment"
176)
177(assert_malformed
178 (module quote
179 "(module (memory 0) (func (drop (f32.load align=7 (i32.const 0)))))"
180 )
181 "alignment"
182)
183(assert_malformed
184 (module quote
185 "(module (memory 0) (func (drop (f64.load align=0 (i32.const 0)))))"
186 )
187 "alignment"
188)
189(assert_malformed
190 (module quote
191 "(module (memory 0) (func (drop (f64.load align=7 (i32.const 0)))))"
192 )
193 "alignment"
194)
195
196(assert_malformed
197 (module quote
198 "(module (memory 0) (func (i32.store8 align=0 (i32.const 0) (i32.const 0))))"
199 )
200 "alignment"
201)
202(assert_malformed
203 (module quote
204 "(module (memory 0) (func (i32.store8 align=7 (i32.const 0) (i32.const 0))))"
205 )
206 "alignment"
207)
208(assert_malformed
209 (module quote
210 "(module (memory 0) (func (i32.store16 align=0 (i32.const 0) (i32.const 0))))"
211 )
212 "alignment"
213)
214(assert_malformed
215 (module quote
216 "(module (memory 0) (func (i32.store16 align=7 (i32.const 0) (i32.const 0))))"
217 )
218 "alignment"
219)
220(assert_malformed
221 (module quote
222 "(module (memory 0) (func (i32.store align=0 (i32.const 0) (i32.const 0))))"
223 )
224 "alignment"
225)
226(assert_malformed
227 (module quote
228 "(module (memory 0) (func (i32.store align=7 (i32.const 0) (i32.const 0))))"
229 )
230 "alignment"
231)
232(assert_malformed
233 (module quote
234 "(module (memory 0) (func (i64.store8 align=0 (i32.const 0) (i64.const 0))))"
235 )
236 "alignment"
237)
238(assert_malformed
239 (module quote
240 "(module (memory 0) (func (i64.store8 align=7 (i32.const 0) (i64.const 0))))"
241 )
242 "alignment"
243)
244(assert_malformed
245 (module quote
246 "(module (memory 0) (func (i64.store16 align=0 (i32.const 0) (i64.const 0))))"
247 )
248 "alignment"
249)
250(assert_malformed
251 (module quote
252 "(module (memory 0) (func (i64.store16 align=7 (i32.const 0) (i64.const 0))))"
253 )
254 "alignment"
255)
256(assert_malformed
257 (module quote
258 "(module (memory 0) (func (i64.store32 align=0 (i32.const 0) (i64.const 0))))"
259 )
260 "alignment"
261)
262(assert_malformed
263 (module quote
264 "(module (memory 0) (func (i64.store32 align=7 (i32.const 0) (i64.const 0))))"
265 )
266 "alignment"
267)
268(assert_malformed
269 (module quote
270 "(module (memory 0) (func (i64.store align=0 (i32.const 0) (i64.const 0))))"
271 )
272 "alignment"
273)
274(assert_malformed
275 (module quote
276 "(module (memory 0) (func (i64.store align=7 (i32.const 0) (i64.const 0))))"
277 )
278 "alignment"
279)
280(assert_malformed
281 (module quote
282 "(module (memory 0) (func (f32.store align=0 (i32.const 0) (f32.const 0))))"
283 )
284 "alignment"
285)
286(assert_malformed
287 (module quote
288 "(module (memory 0) (func (f32.store align=7 (i32.const 0) (f32.const 0))))"
289 )
290 "alignment"
291)
292(assert_malformed
293 (module quote
294 "(module (memory 0) (func (f64.store align=0 (i32.const 0) (f32.const 0))))"
295 )
296 "alignment"
297)
298(assert_malformed
299 (module quote
300 "(module (memory 0) (func (f64.store align=7 (i32.const 0) (f32.const 0))))"
301 )
302 "alignment"
303)
304
305(assert_invalid
306 (module (memory 0) (func (drop (i32.load8_s align=2 (i32.const 0)))))
307 "alignment must not be larger than natural"
308)
309(assert_invalid
310 (module (memory 0) (func (drop (i32.load8_u align=2 (i32.const 0)))))
311 "alignment must not be larger than natural"
312)
313(assert_invalid
314 (module (memory 0) (func (drop (i32.load16_s align=4 (i32.const 0)))))
315 "alignment must not be larger than natural"
316)
317(assert_invalid
318 (module (memory 0) (func (drop (i32.load16_u align=4 (i32.const 0)))))
319 "alignment must not be larger than natural"
320)
321(assert_invalid
322 (module (memory 0) (func (drop (i32.load align=8 (i32.const 0)))))
323 "alignment must not be larger than natural"
324)
325(assert_invalid
326 (module (memory 0) (func (drop (i64.load8_s align=2 (i32.const 0)))))
327 "alignment must not be larger than natural"
328)
329(assert_invalid
330 (module (memory 0) (func (drop (i64.load8_u align=2 (i32.const 0)))))
331 "alignment must not be larger than natural"
332)
333(assert_invalid
334 (module (memory 0) (func (drop (i64.load16_s align=4 (i32.const 0)))))
335 "alignment must not be larger than natural"
336)
337(assert_invalid
338 (module (memory 0) (func (drop (i64.load16_u align=4 (i32.const 0)))))
339 "alignment must not be larger than natural"
340)
341(assert_invalid
342 (module (memory 0) (func (drop (i64.load32_s align=8 (i32.const 0)))))
343 "alignment must not be larger than natural"
344)
345(assert_invalid
346 (module (memory 0) (func (drop (i64.load32_u align=8 (i32.const 0)))))
347 "alignment must not be larger than natural"
348)
349(assert_invalid
350 (module (memory 0) (func (drop (i64.load align=16 (i32.const 0)))))
351 "alignment must not be larger than natural"
352)
353(assert_invalid
354 (module (memory 0) (func (drop (f32.load align=8 (i32.const 0)))))
355 "alignment must not be larger than natural"
356)
357(assert_invalid
358 (module (memory 0) (func (drop (f64.load align=16 (i32.const 0)))))
359 "alignment must not be larger than natural"
360)
361
362(assert_invalid
363 (module (memory 0) (func (drop (i32.load8_s align=2 (i32.const 0)))))
364 "alignment must not be larger than natural"
365)
366(assert_invalid
367 (module (memory 0) (func (drop (i32.load8_u align=2 (i32.const 0)))))
368 "alignment must not be larger than natural"
369)
370(assert_invalid
371 (module (memory 0) (func (drop (i32.load16_s align=4 (i32.const 0)))))
372 "alignment must not be larger than natural"
373)
374(assert_invalid
375 (module (memory 0) (func (drop (i32.load16_u align=4 (i32.const 0)))))
376 "alignment must not be larger than natural"
377)
378(assert_invalid
379 (module (memory 0) (func (drop (i32.load align=8 (i32.const 0)))))
380 "alignment must not be larger than natural"
381)
382(assert_invalid
383 (module (memory 0) (func (drop (i64.load8_s align=2 (i32.const 0)))))
384 "alignment must not be larger than natural"
385)
386(assert_invalid
387 (module (memory 0) (func (drop (i64.load8_u align=2 (i32.const 0)))))
388 "alignment must not be larger than natural"
389)
390(assert_invalid
391 (module (memory 0) (func (drop (i64.load16_s align=4 (i32.const 0)))))
392 "alignment must not be larger than natural"
393)
394(assert_invalid
395 (module (memory 0) (func (drop (i64.load16_u align=4 (i32.const 0)))))
396 "alignment must not be larger than natural"
397)
398(assert_invalid
399 (module (memory 0) (func (drop (i64.load32_s align=8 (i32.const 0)))))
400 "alignment must not be larger than natural"
401)
402(assert_invalid
403 (module (memory 0) (func (drop (i64.load32_u align=8 (i32.const 0)))))
404 "alignment must not be larger than natural"
405)
406(assert_invalid
407 (module (memory 0) (func (drop (i64.load align=16 (i32.const 0)))))
408 "alignment must not be larger than natural"
409)
410(assert_invalid
411 (module (memory 0) (func (drop (f32.load align=8 (i32.const 0)))))
412 "alignment must not be larger than natural"
413)
414(assert_invalid
415 (module (memory 0) (func (drop (f64.load align=16 (i32.const 0)))))
416 "alignment must not be larger than natural"
417)
418
419(assert_invalid
420 (module (memory 0) (func (i32.store8 align=2 (i32.const 0) (i32.const 0))))
421 "alignment must not be larger than natural"
422)
423(assert_invalid
424 (module (memory 0) (func (i32.store16 align=4 (i32.const 0) (i32.const 0))))
425 "alignment must not be larger than natural"
426)
427(assert_invalid
428 (module (memory 0) (func (i32.store align=8 (i32.const 0) (i32.const 0))))
429 "alignment must not be larger than natural"
430)
431(assert_invalid
432 (module (memory 0) (func (i64.store8 align=2 (i32.const 0) (i64.const 0))))
433 "alignment must not be larger than natural"
434)
435(assert_invalid
436 (module (memory 0) (func (i64.store16 align=4 (i32.const 0) (i64.const 0))))
437 "alignment must not be larger than natural"
438)
439(assert_invalid
440 (module (memory 0) (func (i64.store32 align=8 (i32.const 0) (i64.const 0))))
441 "alignment must not be larger than natural"
442)
443(assert_invalid
444 (module (memory 0) (func (i64.store align=16 (i32.const 0) (i64.const 0))))
445 "alignment must not be larger than natural"
446)
447(assert_invalid
448 (module (memory 0) (func (f32.store align=8 (i32.const 0) (f32.const 0))))
449 "alignment must not be larger than natural"
450)
451(assert_invalid
452 (module (memory 0) (func (f64.store align=16 (i32.const 0) (f64.const 0))))
453 "alignment must not be larger than natural"
454)
455
456;; Test aligned and unaligned read/write
457
458(module
459 (memory 1)
460
461 ;; $default: natural alignment, $1: align=1, $2: align=2, $4: align=4, $8: align=8
462
463 (func (export "f32_align_switch") (param i32) (result f32)
464 (local f32 f32)
465 (local.set 1 (f32.const 10.0))
466 (block $4
467 (block $2
468 (block $1
469 (block $default
470 (block $0
471 (br_table $0 $default $1 $2 $4 (local.get 0))
472 ) ;; 0
473 (f32.store (i32.const 0) (local.get 1))
474 (local.set 2 (f32.load (i32.const 0)))
475 (br $4)
476 ) ;; default
477 (f32.store align=1 (i32.const 0) (local.get 1))
478 (local.set 2 (f32.load align=1 (i32.const 0)))
479 (br $4)
480 ) ;; 1
481 (f32.store align=2 (i32.const 0) (local.get 1))
482 (local.set 2 (f32.load align=2 (i32.const 0)))
483 (br $4)
484 ) ;; 2
485 (f32.store align=4 (i32.const 0) (local.get 1))
486 (local.set 2 (f32.load align=4 (i32.const 0)))
487 ) ;; 4
488 (local.get 2)
489 )
490
491 (func (export "f64_align_switch") (param i32) (result f64)
492 (local f64 f64)
493 (local.set 1 (f64.const 10.0))
494 (block $8
495 (block $4
496 (block $2
497 (block $1
498 (block $default
499 (block $0
500 (br_table $0 $default $1 $2 $4 $8 (local.get 0))
501 ) ;; 0
502 (f64.store (i32.const 0) (local.get 1))
503 (local.set 2 (f64.load (i32.const 0)))
504 (br $8)
505 ) ;; default
506 (f64.store align=1 (i32.const 0) (local.get 1))
507 (local.set 2 (f64.load align=1 (i32.const 0)))
508 (br $8)
509 ) ;; 1
510 (f64.store align=2 (i32.const 0) (local.get 1))
511 (local.set 2 (f64.load align=2 (i32.const 0)))
512 (br $8)
513 ) ;; 2
514 (f64.store align=4 (i32.const 0) (local.get 1))
515 (local.set 2 (f64.load align=4 (i32.const 0)))
516 (br $8)
517 ) ;; 4
518 (f64.store align=8 (i32.const 0) (local.get 1))
519 (local.set 2 (f64.load align=8 (i32.const 0)))
520 ) ;; 8
521 (local.get 2)
522 )
523
524 ;; $8s: i32/i64.load8_s, $8u: i32/i64.load8_u, $16s: i32/i64.load16_s, $16u: i32/i64.load16_u, $32: i32.load
525 ;; $32s: i64.load32_s, $32u: i64.load32_u, $64: i64.load
526
527 (func (export "i32_align_switch") (param i32 i32) (result i32)
528 (local i32 i32)
529 (local.set 2 (i32.const 10))
530 (block $32
531 (block $16u
532 (block $16s
533 (block $8u
534 (block $8s
535 (block $0
536 (br_table $0 $8s $8u $16s $16u $32 (local.get 0))
537 ) ;; 0
538 (if (i32.eq (local.get 1) (i32.const 0))
539 (then
540 (i32.store8 (i32.const 0) (local.get 2))
541 (local.set 3 (i32.load8_s (i32.const 0)))
542 )
543 )
544 (if (i32.eq (local.get 1) (i32.const 1))
545 (then
546 (i32.store8 align=1 (i32.const 0) (local.get 2))
547 (local.set 3 (i32.load8_s align=1 (i32.const 0)))
548 )
549 )
550 (br $32)
551 ) ;; 8s
552 (if (i32.eq (local.get 1) (i32.const 0))
553 (then
554 (i32.store8 (i32.const 0) (local.get 2))
555 (local.set 3 (i32.load8_u (i32.const 0)))
556 )
557 )
558 (if (i32.eq (local.get 1) (i32.const 1))
559 (then
560 (i32.store8 align=1 (i32.const 0) (local.get 2))
561 (local.set 3 (i32.load8_u align=1 (i32.const 0)))
562 )
563 )
564 (br $32)
565 ) ;; 8u
566 (if (i32.eq (local.get 1) (i32.const 0))
567 (then
568 (i32.store16 (i32.const 0) (local.get 2))
569 (local.set 3 (i32.load16_s (i32.const 0)))
570 )
571 )
572 (if (i32.eq (local.get 1) (i32.const 1))
573 (then
574 (i32.store16 align=1 (i32.const 0) (local.get 2))
575 (local.set 3 (i32.load16_s align=1 (i32.const 0)))
576 )
577 )
578 (if (i32.eq (local.get 1) (i32.const 2))
579 (then
580 (i32.store16 align=2 (i32.const 0) (local.get 2))
581 (local.set 3 (i32.load16_s align=2 (i32.const 0)))
582 )
583 )
584 (br $32)
585 ) ;; 16s
586 (if (i32.eq (local.get 1) (i32.const 0))
587 (then
588 (i32.store16 (i32.const 0) (local.get 2))
589 (local.set 3 (i32.load16_u (i32.const 0)))
590 )
591 )
592 (if (i32.eq (local.get 1) (i32.const 1))
593 (then
594 (i32.store16 align=1 (i32.const 0) (local.get 2))
595 (local.set 3 (i32.load16_u align=1 (i32.const 0)))
596 )
597 )
598 (if (i32.eq (local.get 1) (i32.const 2))
599 (then
600 (i32.store16 align=2 (i32.const 0) (local.get 2))
601 (local.set 3 (i32.load16_u align=2 (i32.const 0)))
602 )
603 )
604 (br $32)
605 ) ;; 16u
606 (if (i32.eq (local.get 1) (i32.const 0))
607 (then
608 (i32.store (i32.const 0) (local.get 2))
609 (local.set 3 (i32.load (i32.const 0)))
610 )
611 )
612 (if (i32.eq (local.get 1) (i32.const 1))
613 (then
614 (i32.store align=1 (i32.const 0) (local.get 2))
615 (local.set 3 (i32.load align=1 (i32.const 0)))
616 )
617 )
618 (if (i32.eq (local.get 1) (i32.const 2))
619 (then
620 (i32.store align=2 (i32.const 0) (local.get 2))
621 (local.set 3 (i32.load align=2 (i32.const 0)))
622 )
623 )
624 (if (i32.eq (local.get 1) (i32.const 4))
625 (then
626 (i32.store align=4 (i32.const 0) (local.get 2))
627 (local.set 3 (i32.load align=4 (i32.const 0)))
628 )
629 )
630 ) ;; 32
631 (local.get 3)
632 )
633
634 (func (export "i64_align_switch") (param i32 i32) (result i64)
635 (local i64 i64)
636 (local.set 2 (i64.const 10))
637 (block $64
638 (block $32u
639 (block $32s
640 (block $16u
641 (block $16s
642 (block $8u
643 (block $8s
644 (block $0
645 (br_table $0 $8s $8u $16s $16u $32s $32u $64 (local.get 0))
646 ) ;; 0
647 (if (i32.eq (local.get 1) (i32.const 0))
648 (then
649 (i64.store8 (i32.const 0) (local.get 2))
650 (local.set 3 (i64.load8_s (i32.const 0)))
651 )
652 )
653 (if (i32.eq (local.get 1) (i32.const 1))
654 (then
655 (i64.store8 align=1 (i32.const 0) (local.get 2))
656 (local.set 3 (i64.load8_s align=1 (i32.const 0)))
657 )
658 )
659 (br $64)
660 ) ;; 8s
661 (if (i32.eq (local.get 1) (i32.const 0))
662 (then
663 (i64.store8 (i32.const 0) (local.get 2))
664 (local.set 3 (i64.load8_u (i32.const 0)))
665 )
666 )
667 (if (i32.eq (local.get 1) (i32.const 1))
668 (then
669 (i64.store8 align=1 (i32.const 0) (local.get 2))
670 (local.set 3 (i64.load8_u align=1 (i32.const 0)))
671 )
672 )
673 (br $64)
674 ) ;; 8u
675 (if (i32.eq (local.get 1) (i32.const 0))
676 (then
677 (i64.store16 (i32.const 0) (local.get 2))
678 (local.set 3 (i64.load16_s (i32.const 0)))
679 )
680 )
681 (if (i32.eq (local.get 1) (i32.const 1))
682 (then
683 (i64.store16 align=1 (i32.const 0) (local.get 2))
684 (local.set 3 (i64.load16_s align=1 (i32.const 0)))
685 )
686 )
687 (if (i32.eq (local.get 1) (i32.const 2))
688 (then
689 (i64.store16 align=2 (i32.const 0) (local.get 2))
690 (local.set 3 (i64.load16_s align=2 (i32.const 0)))
691 )
692 )
693 (br $64)
694 ) ;; 16s
695 (if (i32.eq (local.get 1) (i32.const 0))
696 (then
697 (i64.store16 (i32.const 0) (local.get 2))
698 (local.set 3 (i64.load16_u (i32.const 0)))
699 )
700 )
701 (if (i32.eq (local.get 1) (i32.const 1))
702 (then
703 (i64.store16 align=1 (i32.const 0) (local.get 2))
704 (local.set 3 (i64.load16_u align=1 (i32.const 0)))
705 )
706 )
707 (if (i32.eq (local.get 1) (i32.const 2))
708 (then
709 (i64.store16 align=2 (i32.const 0) (local.get 2))
710 (local.set 3 (i64.load16_u align=2 (i32.const 0)))
711 )
712 )
713 (br $64)
714 ) ;; 16u
715 (if (i32.eq (local.get 1) (i32.const 0))
716 (then
717 (i64.store32 (i32.const 0) (local.get 2))
718 (local.set 3 (i64.load32_s (i32.const 0)))
719 )
720 )
721 (if (i32.eq (local.get 1) (i32.const 1))
722 (then
723 (i64.store32 align=1 (i32.const 0) (local.get 2))
724 (local.set 3 (i64.load32_s align=1 (i32.const 0)))
725 )
726 )
727 (if (i32.eq (local.get 1) (i32.const 2))
728 (then
729 (i64.store32 align=2 (i32.const 0) (local.get 2))
730 (local.set 3 (i64.load32_s align=2 (i32.const 0)))
731 )
732 )
733 (if (i32.eq (local.get 1) (i32.const 4))
734 (then
735 (i64.store32 align=4 (i32.const 0) (local.get 2))
736 (local.set 3 (i64.load32_s align=4 (i32.const 0)))
737 )
738 )
739 (br $64)
740 ) ;; 32s
741 (if (i32.eq (local.get 1) (i32.const 0))
742 (then
743 (i64.store32 (i32.const 0) (local.get 2))
744 (local.set 3 (i64.load32_u (i32.const 0)))
745 )
746 )
747 (if (i32.eq (local.get 1) (i32.const 1))
748 (then
749 (i64.store32 align=1 (i32.const 0) (local.get 2))
750 (local.set 3 (i64.load32_u align=1 (i32.const 0)))
751 )
752 )
753 (if (i32.eq (local.get 1) (i32.const 2))
754 (then
755 (i64.store32 align=2 (i32.const 0) (local.get 2))
756 (local.set 3 (i64.load32_u align=2 (i32.const 0)))
757 )
758 )
759 (if (i32.eq (local.get 1) (i32.const 4))
760 (then
761 (i64.store32 align=4 (i32.const 0) (local.get 2))
762 (local.set 3 (i64.load32_u align=4 (i32.const 0)))
763 )
764 )
765 (br $64)
766 ) ;; 32u
767 (if (i32.eq (local.get 1) (i32.const 0))
768 (then
769 (i64.store (i32.const 0) (local.get 2))
770 (local.set 3 (i64.load (i32.const 0)))
771 )
772 )
773 (if (i32.eq (local.get 1) (i32.const 1))
774 (then
775 (i64.store align=1 (i32.const 0) (local.get 2))
776 (local.set 3 (i64.load align=1 (i32.const 0)))
777 )
778 )
779 (if (i32.eq (local.get 1) (i32.const 2))
780 (then
781 (i64.store align=2 (i32.const 0) (local.get 2))
782 (local.set 3 (i64.load align=2 (i32.const 0)))
783 )
784 )
785 (if (i32.eq (local.get 1) (i32.const 4))
786 (then
787 (i64.store align=4 (i32.const 0) (local.get 2))
788 (local.set 3 (i64.load align=4 (i32.const 0)))
789 )
790 )
791 (if (i32.eq (local.get 1) (i32.const 8))
792 (then
793 (i64.store align=8 (i32.const 0) (local.get 2))
794 (local.set 3 (i64.load align=8 (i32.const 0)))
795 )
796 )
797 ) ;; 64
798 (local.get 3)
799 )
800)
801
802(assert_return (invoke "f32_align_switch" (i32.const 0)) (f32.const 10.0))
803(assert_return (invoke "f32_align_switch" (i32.const 1)) (f32.const 10.0))
804(assert_return (invoke "f32_align_switch" (i32.const 2)) (f32.const 10.0))
805(assert_return (invoke "f32_align_switch" (i32.const 3)) (f32.const 10.0))
806
807(assert_return (invoke "f64_align_switch" (i32.const 0)) (f64.const 10.0))
808(assert_return (invoke "f64_align_switch" (i32.const 1)) (f64.const 10.0))
809(assert_return (invoke "f64_align_switch" (i32.const 2)) (f64.const 10.0))
810(assert_return (invoke "f64_align_switch" (i32.const 3)) (f64.const 10.0))
811(assert_return (invoke "f64_align_switch" (i32.const 4)) (f64.const 10.0))
812
813(assert_return (invoke "i32_align_switch" (i32.const 0) (i32.const 0)) (i32.const 10))
814(assert_return (invoke "i32_align_switch" (i32.const 0) (i32.const 1)) (i32.const 10))
815(assert_return (invoke "i32_align_switch" (i32.const 1) (i32.const 0)) (i32.const 10))
816(assert_return (invoke "i32_align_switch" (i32.const 1) (i32.const 1)) (i32.const 10))
817(assert_return (invoke "i32_align_switch" (i32.const 2) (i32.const 0)) (i32.const 10))
818(assert_return (invoke "i32_align_switch" (i32.const 2) (i32.const 1)) (i32.const 10))
819(assert_return (invoke "i32_align_switch" (i32.const 2) (i32.const 2)) (i32.const 10))
820(assert_return (invoke "i32_align_switch" (i32.const 3) (i32.const 0)) (i32.const 10))
821(assert_return (invoke "i32_align_switch" (i32.const 3) (i32.const 1)) (i32.const 10))
822(assert_return (invoke "i32_align_switch" (i32.const 3) (i32.const 2)) (i32.const 10))
823(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 0)) (i32.const 10))
824(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 1)) (i32.const 10))
825(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 2)) (i32.const 10))
826(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 4)) (i32.const 10))
827
828(assert_return (invoke "i64_align_switch" (i32.const 0) (i32.const 0)) (i64.const 10))
829(assert_return (invoke "i64_align_switch" (i32.const 0) (i32.const 1)) (i64.const 10))
830(assert_return (invoke "i64_align_switch" (i32.const 1) (i32.const 0)) (i64.const 10))
831(assert_return (invoke "i64_align_switch" (i32.const 1) (i32.const 1)) (i64.const 10))
832(assert_return (invoke "i64_align_switch" (i32.const 2) (i32.const 0)) (i64.const 10))
833(assert_return (invoke "i64_align_switch" (i32.const 2) (i32.const 1)) (i64.const 10))
834(assert_return (invoke "i64_align_switch" (i32.const 2) (i32.const 2)) (i64.const 10))
835(assert_return (invoke "i64_align_switch" (i32.const 3) (i32.const 0)) (i64.const 10))
836(assert_return (invoke "i64_align_switch" (i32.const 3) (i32.const 1)) (i64.const 10))
837(assert_return (invoke "i64_align_switch" (i32.const 3) (i32.const 2)) (i64.const 10))
838(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 0)) (i64.const 10))
839(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 1)) (i64.const 10))
840(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 2)) (i64.const 10))
841(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 4)) (i64.const 10))
842(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 0)) (i64.const 10))
843(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 1)) (i64.const 10))
844(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 2)) (i64.const 10))
845(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 4)) (i64.const 10))
846(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 0)) (i64.const 10))
847(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 1)) (i64.const 10))
848(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 2)) (i64.const 10))
849(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 4)) (i64.const 10))
850(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 8)) (i64.const 10))
851
852;; Test that an i64 store with 4-byte alignment that's 4 bytes out of bounds traps without storing anything
853
854(module
855 (memory 1)
856 (func (export "store") (param i32 i64)
857 (i64.store align=4 (local.get 0) (local.get 1))
858 )
859 (func (export "load") (param i32) (result i32)
860 (i32.load (local.get 0))
861 )
862)
863
864(assert_trap (invoke "store" (i32.const 65532) (i64.const -1)) "out of bounds memory access")
865;; No memory was changed
866(assert_return (invoke "load" (i32.const 65532)) (i32.const 0))
View as plain text