fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-15 07:05:41 +00:00
Code Issues Projects Releases Wiki Activity
4b79b3e670
wasmer/spectests/align.wast

867 lines
28 KiB
Plaintext
Raw Normal View History

Make align partially pass
2018-10-26 12:53:33 +00:00
;; Test alignment annotation rules
(module (memory 0) (func (drop (i32.load8_s align=1 (i32.const 0)))))
(module (memory 0) (func (drop (i32.load8_u align=1 (i32.const 0)))))
(module (memory 0) (func (drop (i32.load16_s align=2 (i32.const 0)))))
(module (memory 0) (func (drop (i32.load16_u align=2 (i32.const 0)))))
(module (memory 0) (func (drop (i32.load align=4 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load8_s align=1 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load8_u align=1 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load16_s align=2 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load16_u align=2 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load32_s align=4 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load32_u align=4 (i32.const 0)))))
(module (memory 0) (func (drop (i64.load align=8 (i32.const 0)))))
(module (memory 0) (func (drop (f32.load align=4 (i32.const 0)))))
(module (memory 0) (func (drop (f64.load align=8 (i32.const 0)))))
(module (memory 0) (func (i32.store8 align=1 (i32.const 0) (i32.const 1))))
(module (memory 0) (func (i32.store16 align=2 (i32.const 0) (i32.const 1))))
(module (memory 0) (func (i32.store align=4 (i32.const 0) (i32.const 1))))
(module (memory 0) (func (i64.store8 align=1 (i32.const 0) (i64.const 1))))
(module (memory 0) (func (i64.store16 align=2 (i32.const 0) (i64.const 1))))
(module (memory 0) (func (i64.store32 align=4 (i32.const 0) (i64.const 1))))
(module (memory 0) (func (i64.store align=8 (i32.const 0) (i64.const 1))))
(module (memory 0) (func (f32.store align=4 (i32.const 0) (f32.const 1.0))))
(module (memory 0) (func (f64.store align=8 (i32.const 0) (f64.const 1.0))))
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load8_s align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load8_s align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load8_u align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load8_u align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load16_s align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load16_s align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load16_u align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load16_u align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i32.load align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load8_s align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load8_s align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load8_u align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load8_u align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load16_s align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load16_s align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load16_u align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load16_u align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load32_s align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load32_s align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load32_u align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load32_u align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (i64.load align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (f32.load align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (f32.load align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (f64.load align=0 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (drop (f64.load align=7 (i32.const 0)))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i32.store8 align=0 (i32.const 0) (i32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i32.store8 align=7 (i32.const 0) (i32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i32.store16 align=0 (i32.const 0) (i32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i32.store16 align=7 (i32.const 0) (i32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i32.store align=0 (i32.const 0) (i32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i32.store align=7 (i32.const 0) (i32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store8 align=0 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store8 align=7 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store16 align=0 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store16 align=7 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store32 align=0 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store32 align=7 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store align=0 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (i64.store align=7 (i32.const 0) (i64.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (f32.store align=0 (i32.const 0) (f32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (f32.store align=7 (i32.const 0) (f32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (f64.store align=0 (i32.const 0) (f32.const 0))))"
)
"alignment"
)
(assert_malformed
(module quote
"(module (memory 0) (func (f64.store align=7 (i32.const 0) (f32.const 0))))"
)
"alignment"
)
(assert_invalid
(module (memory 0) (func (drop (i32.load8_s align=2 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i32.load8_u align=2 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i32.load16_s align=4 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i32.load16_u align=4 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i32.load align=8 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load8_s align=2 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load8_u align=2 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load16_s align=4 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load16_u align=4 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load32_s align=8 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load32_u align=8 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (i64.load align=16 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (f32.load align=8 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (drop (f64.load align=16 (i32.const 0)))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.load8_s align=2 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.load8_u align=2 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.load16_s align=4 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.load16_u align=4 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.load align=8 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load8_s align=2 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load8_u align=2 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load16_s align=4 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load16_u align=4 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load32_s align=8 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load32_u align=8 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.load align=16 (i32.const 0))))
"alignment"
)
(assert_invalid
(module (memory 0) (func (f32.load align=8 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (f64.load align=16 (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.store8 align=2 (i32.const 0) (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.store16 align=4 (i32.const 0) (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i32.store align=8 (i32.const 0) (i32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.store8 align=2 (i32.const 0) (i64.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.store16 align=4 (i32.const 0) (i64.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.store32 align=8 (i32.const 0) (i64.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (i64.store align=16 (i32.const 0) (i64.const 0))))
"alignment"
)
(assert_invalid
(module (memory 0) (func (f32.store align=8 (i32.const 0) (f32.const 0))))
"alignment must not be larger than natural"
)
(assert_invalid
(module (memory 0) (func (f64.store align=16 (i32.const 0) (f32.const 0))))
"alignment must not be larger than natural"
)
;; Test aligned and unaligned read/write
(module
(memory 1)
;; $default: natural alignment, $1: align=1, $2: align=2, $4: align=4, $8: align=8
(func (export "f32_align_switch") (param i32) (result f32)
(local f32 f32)
(set_local 1 (f32.const 10.0))
(block $4
(block $2
(block $1
(block $default
(block $0
(br_table $0 $default $1 $2 $4 (get_local 0))
) ;; 0
(f32.store (i32.const 0) (get_local 1))
(set_local 2 (f32.load (i32.const 0)))
(br $4)
) ;; default
(f32.store align=1 (i32.const 0) (get_local 1))
(set_local 2 (f32.load align=1 (i32.const 0)))
(br $4)
) ;; 1
(f32.store align=2 (i32.const 0) (get_local 1))
(set_local 2 (f32.load align=2 (i32.const 0)))
(br $4)
) ;; 2
(f32.store align=4 (i32.const 0) (get_local 1))
(set_local 2 (f32.load align=4 (i32.const 0)))
) ;; 4
(get_local 2)
)
(func (export "f64_align_switch") (param i32) (result f64)
(local f64 f64)
(set_local 1 (f64.const 10.0))
(block $8
(block $4
(block $2
(block $1
(block $default
(block $0
(br_table $0 $default $1 $2 $4 $8 (get_local 0))
) ;; 0
(f64.store (i32.const 0) (get_local 1))
(set_local 2 (f64.load (i32.const 0)))
(br $8)
) ;; default
(f64.store align=1 (i32.const 0) (get_local 1))
(set_local 2 (f64.load align=1 (i32.const 0)))
(br $8)
) ;; 1
(f64.store align=2 (i32.const 0) (get_local 1))
(set_local 2 (f64.load align=2 (i32.const 0)))
(br $8)
) ;; 2
(f64.store align=4 (i32.const 0) (get_local 1))
(set_local 2 (f64.load align=4 (i32.const 0)))
(br $8)
) ;; 4
(f64.store align=8 (i32.const 0) (get_local 1))
(set_local 2 (f64.load align=8 (i32.const 0)))
) ;; 8
(get_local 2)
)
;; $8s: i32/i64.load8_s, $8u: i32/i64.load8_u, $16s: i32/i64.load16_s, $16u: i32/i64.load16_u, $32: i32.load
;; $32s: i64.load32_s, $32u: i64.load32_u, $64: i64.load
(func (export "i32_align_switch") (param i32 i32) (result i32)
(local i32 i32)
(set_local 2 (i32.const 10))
(block $32
(block $16u
(block $16s
(block $8u
(block $8s
(block $0
(br_table $0 $8s $8u $16s $16u $32 (get_local 0))
) ;; 0
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i32.store8 (i32.const 0) (get_local 2))
(set_local 3 (i32.load8_s (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i32.store8 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i32.load8_s align=1 (i32.const 0)))
)
)
(br $32)
) ;; 8s
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i32.store8 (i32.const 0) (get_local 2))
(set_local 3 (i32.load8_u (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i32.store8 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i32.load8_u align=1 (i32.const 0)))
)
)
(br $32)
) ;; 8u
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i32.store16 (i32.const 0) (get_local 2))
(set_local 3 (i32.load16_s (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i32.store16 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i32.load16_s align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i32.store16 align=2 (i32.const 0) (get_local 2))
(set_local 3 (i32.load16_s align=2 (i32.const 0)))
)
)
(br $32)
) ;; 16s
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i32.store16 (i32.const 0) (get_local 2))
(set_local 3 (i32.load16_u (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i32.store16 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i32.load16_u align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i32.store16 align=2 (i32.const 0) (get_local 2))
(set_local 3 (i32.load16_u align=2 (i32.const 0)))
)
)
(br $32)
) ;; 16u
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i32.store (i32.const 0) (get_local 2))
(set_local 3 (i32.load (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i32.store align=1 (i32.const 0) (get_local 2))
(set_local 3 (i32.load align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i32.store align=2 (i32.const 0) (get_local 2))
(set_local 3 (i32.load align=2 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 4))
(then
(i32.store align=4 (i32.const 0) (get_local 2))
(set_local 3 (i32.load align=4 (i32.const 0)))
)
)
) ;; 32
(get_local 3)
)
(func (export "i64_align_switch") (param i32 i32) (result i64)
(local i64 i64)
(set_local 2 (i64.const 10))
(block $64
(block $32u
(block $32s
(block $16u
(block $16s
(block $8u
(block $8s
(block $0
(br_table $0 $8s $8u $16s $16u $32s $32u $64 (get_local 0))
) ;; 0
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store8 (i32.const 0) (get_local 2))
(set_local 3 (i64.load8_s (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store8 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load8_s align=1 (i32.const 0)))
)
)
(br $64)
) ;; 8s
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store8 (i32.const 0) (get_local 2))
(set_local 3 (i64.load8_u (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store8 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load8_u align=1 (i32.const 0)))
)
)
(br $64)
) ;; 8u
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store16 (i32.const 0) (get_local 2))
(set_local 3 (i64.load16_s (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store16 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load16_s align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i64.store16 align=2 (i32.const 0) (get_local 2))
(set_local 3 (i64.load16_s align=2 (i32.const 0)))
)
)
(br $64)
) ;; 16s
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store16 (i32.const 0) (get_local 2))
(set_local 3 (i64.load16_u (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store16 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load16_u align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i64.store16 align=2 (i32.const 0) (get_local 2))
(set_local 3 (i64.load16_u align=2 (i32.const 0)))
)
)
(br $64)
) ;; 16u
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store32 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_s (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store32 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_s align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i64.store32 align=2 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_s align=2 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 4))
(then
(i64.store32 align=4 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_s align=4 (i32.const 0)))
)
)
(br $64)
) ;; 32s
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store32 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_u (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store32 align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_u align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i64.store32 align=2 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_u align=2 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 4))
(then
(i64.store32 align=4 (i32.const 0) (get_local 2))
(set_local 3 (i64.load32_u align=4 (i32.const 0)))
)
)
(br $64)
) ;; 32u
(if (i32.eq (get_local 1) (i32.const 0))
(then
(i64.store (i32.const 0) (get_local 2))
(set_local 3 (i64.load (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 1))
(then
(i64.store align=1 (i32.const 0) (get_local 2))
(set_local 3 (i64.load align=1 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 2))
(then
(i64.store align=2 (i32.const 0) (get_local 2))
(set_local 3 (i64.load align=2 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 4))
(then
(i64.store align=4 (i32.const 0) (get_local 2))
(set_local 3 (i64.load align=4 (i32.const 0)))
)
)
(if (i32.eq (get_local 1) (i32.const 8))
(then
(i64.store align=8 (i32.const 0) (get_local 2))
(set_local 3 (i64.load align=8 (i32.const 0)))
)
)
) ;; 64
(get_local 3)
)
)
(assert_return (invoke "f32_align_switch" (i32.const 0)) (f32.const 10.0))
(assert_return (invoke "f32_align_switch" (i32.const 1)) (f32.const 10.0))
(assert_return (invoke "f32_align_switch" (i32.const 2)) (f32.const 10.0))
(assert_return (invoke "f32_align_switch" (i32.const 3)) (f32.const 10.0))
(assert_return (invoke "f64_align_switch" (i32.const 0)) (f64.const 10.0))
(assert_return (invoke "f64_align_switch" (i32.const 1)) (f64.const 10.0))
(assert_return (invoke "f64_align_switch" (i32.const 2)) (f64.const 10.0))
(assert_return (invoke "f64_align_switch" (i32.const 3)) (f64.const 10.0))
(assert_return (invoke "f64_align_switch" (i32.const 4)) (f64.const 10.0))
(assert_return (invoke "i32_align_switch" (i32.const 0) (i32.const 0)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 0) (i32.const 1)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 1) (i32.const 0)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 1) (i32.const 1)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 2) (i32.const 0)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 2) (i32.const 1)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 2) (i32.const 2)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 3) (i32.const 0)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 3) (i32.const 1)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 3) (i32.const 2)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 0)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 1)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 2)) (i32.const 10))
(assert_return (invoke "i32_align_switch" (i32.const 4) (i32.const 4)) (i32.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 0) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 0) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 1) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 1) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 2) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 2) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 2) (i32.const 2)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 3) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 3) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 3) (i32.const 2)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 2)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 4) (i32.const 4)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 2)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 5) (i32.const 4)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 0)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 1)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 2)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 4)) (i64.const 10))
(assert_return (invoke "i64_align_switch" (i32.const 6) (i32.const 8)) (i64.const 10))
;; ;; Test that an i64 store with 4-byte alignment that's 4 bytes out of bounds traps without storing anything
;; (module
;; (memory 1)
;; (func (export "store") (param i32 i64)
;; (i64.store align=4 (get_local 0) (get_local 1))
;; )
;; (func (export "load") (param i32) (result i32)
;; (i32.load (get_local 0))
;; )
;; )
;; (assert_trap (invoke "store" (i32.const 65532) (i64.const -1)) "out of bounds memory access")
;; ;; No memory was changed
;; (assert_return (invoke "load" (i32.const 65532)) (i32.const 0))
Reference in New Issue Copy Permalink