fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2025-07-03 02:21:33 +00:00
Code Issues Projects Releases Wiki Activity

Make align partially pass

Browse Source
This commit is contained in:
Syrus Akbary
2018-10-26 14:53:33 +02:00
parent 6c18701f9d
commit 79506c4983
6 changed files with 3052 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

866
spectests/align.wast Normal file
View File

@ -0,0 +1,866 @@
;; 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))

3
src/build_spectests.rs
View File

@ -15,7 +15,8 @@ static ENV_VAR: &str = "WASM_GENERATE_SPECTESTS";
static BANNER: &str = "// Rust test file autogenerated with cargo build (src/build_spectests.rs).
// Please do NOT modify it by hand, as it will be reseted on next build.\n";
const TESTS: [&str; 23] = [
const TESTS: [&str; 24] = [
"spectests/align.wast",
"spectests/block.wast",
"spectests/br.wast",
"spectests/br_if.wast",

2175
src/spectests/align.rs Normal file
View File

File diff suppressed because it is too large Load Diff

1
src/spectests/mod.rs
View File

@ -3,6 +3,7 @@
// The _common module is not autogenerated, as it provides common functions for the spectests
mod _common;
mod align;
mod block;
mod br;
mod br_if;

5
src/webassembly/memory.rs
View File

@ -30,6 +30,11 @@ pub struct LinearMemory {
/// It holds the raw bytes of memory accessed by a WebAssembly Instance
impl LinearMemory {
pub const WASM_PAGE_SIZE: usize = 1 << 16; // 64 KiB
pub const DEFAULT_HEAP_SIZE: usize = 1 << 32; // 4 GiB
pub const DEFAULT_GUARD_SIZE: usize = 1 << 31; // 2 GiB
pub const DEFAULT_SIZE: usize = Self::DEFAULT_HEAP_SIZE + Self::DEFAULT_GUARD_SIZE; // 8GiB
/// Create a new linear memory instance with specified initial and maximum number of pages.
///
/// `maximum` cannot be set to more than `65536` pages.

5
src/webassembly/module.rs
View File

@ -37,6 +37,7 @@ use cranelift_wasm::{
};
use super::errors::ErrorKind;
use super::memory::LinearMemory;
/// Compute a `ir::ExternalName` for a given wasm function index.
fn get_func_name(func_index: FuncIndex) -> ir::ExternalName {
@ -356,9 +357,9 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
func.create_heap(ir::HeapData {
base: base,
min_size: Imm64::new(0),
guard_size: Imm64::new(0x8000_0000),
guard_size: Imm64::new(LinearMemory::DEFAULT_GUARD_SIZE as i64),
style: ir::HeapStyle::Static {
bound: Imm64::new(0x1_0000_0000),
bound: Imm64::new(LinearMemory::DEFAULT_HEAP_SIZE as i64),
},
index_type: I32,
})