fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-04 18:10:18 +00:00
Code Issues Projects Releases Wiki Activity

Add int-extend-garbage test

Browse Source
This commit is contained in:
losfair 2020-05-12 03:04:26 +08:00
parent 6790702901
commit eeb608ced7
1 changed files with 35 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
tests/custom/int-extend-garbage.wast Normal file
View File

@ -0,0 +1,35 @@
;; https://github.com/wasmerio/wasmer/pull/1436
;;
;; When doing an I64ExtendI32U or other integer extension operations, the
;; upper bits in the underlying storage must be cleared.
;;
;; On x86 sign extension is done with its own instruction, `movsx`, so here we only
;; test the unsigned extension case.
(module
(func (export "i64-extend-i32-u") (result i64)
;; fill in stack slots allocated to registers
(i64.add (i64.const 0) (i64.const 0))
(i64.add (i64.const 0) (i64.const 0))
(i64.add (i64.const 0) (i64.const 0))
(i64.add (i64.const 0) (i64.const 0))
(i64.add (i64.const 0) (i64.const 0))
(i64.add (i64.const 0) (i64.const 0))
;; push an i64 to produce garbage on the higher 32 bits
(i64.add (i64.const -1) (i64.const 0))
;; pop it
(drop)
;; push an i32
(i32.add (i32.const 0) (i32.const 0))
;; extend
(i64.extend_i32_u)
(return)
)
)
(assert_return (invoke "i64-extend-i32-u") (i64.const 0))