diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2018-05-12 23:26:45 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2018-05-12 21:26:45 -0700 |
| commit | 51e515748e56c3ace6b3181e9ca8bf464c86f0e0 (patch) | |
| tree | 72bbcd9a3a4ae7f1850a043cc9ffac4b6547a187 /test/wasm2asm | |
| parent | e4927328ed2f748bd02d47a281d35fe22dfe5ef8 (diff) | |
| download | binaryen-51e515748e56c3ace6b3181e9ca8bf464c86f0e0.tar.gz binaryen-51e515748e56c3ace6b3181e9ca8bf464c86f0e0.tar.bz2 binaryen-51e515748e56c3ace6b3181e9ca8bf464c86f0e0.zip | |
Implement signed 64-bit shift right for wasm2asm (#1544)
Mostly piggy-back pon the previous 64-bit shift lowering code, just filling in a
few gaps.
Diffstat (limited to 'test/wasm2asm')
| -rw-r--r-- | test/wasm2asm/i64-shifts.wast | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/test/wasm2asm/i64-shifts.wast b/test/wasm2asm/i64-shifts.wast new file mode 100644 index 000000000..d13c700ef --- /dev/null +++ b/test/wasm2asm/i64-shifts.wast @@ -0,0 +1,81 @@ +;; Testing i64 shifts + +(module + (func $dummy) + + (func (export "shl_i64") (param $0 i64) (param $1 i64) (param $2 i64) (result i32) + (i64.eq (i64.shl (get_local $0) (get_local $1)) (get_local $2))) + (func (export "shr_i64") (param $0 i64) (param $1 i64) (param $2 i64) (result i32) + (i64.eq (i64.shr_s (get_local $0) (get_local $1)) (get_local $2))) +) + +(assert_return (invoke "shl_i64" (i32.const 0) (i32.const 0) + (i32.const 0) (i32.const 0) + (i32.const 0) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0) + (i32.const 1) (i32.const 0) + (i32.const 2) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0) + (i32.const 0) (i32.const 0) + (i32.const 1) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0) + (i32.const 32) (i32.const 0) + (i32.const 0) (i32.const 1)) + (i32.const 1)) +(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0) + (i32.const 63) (i32.const 0) + (i32.const 0) (i32.const 2147483648)) + (i32.const 1)) +(assert_return (invoke "shl_i64" (i32.const 1) (i32.const 0) + (i32.const 64) (i32.const 0) + (i32.const 1) (i32.const 0)) + (i32.const 1)) + +(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0) + (i32.const 0) (i32.const 0) + (i32.const 1) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0) + (i32.const 32) (i32.const 0) + (i32.const 0) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 1) + (i32.const 32) (i32.const 0) + (i32.const 1) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2) + (i32.const 33) (i32.const 0) + (i32.const 1) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2147483648) + (i32.const 32) (i32.const 0) + (i32.const 2147483648) (i32.const -1)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2147483648) + (i32.const 33) (i32.const 0) + (i32.const 3221225472) (i32.const -1)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 0) (i32.const 2147483648) + (i32.const 63) (i32.const 0) + (i32.const -1) (i32.const -1)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0) + (i32.const 1) (i32.const 0) + (i32.const 0) (i32.const 0)) + (i32.const 1)) + +(assert_return (invoke "shr_i64" (i32.const 1) (i32.const 0) + (i32.const 2) (i32.const 0) + (i32.const 0) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 2) (i32.const 1) + (i32.const 1) (i32.const 0) + (i32.const -2147483647) (i32.const 0)) + (i32.const 1)) +(assert_return (invoke "shr_i64" (i32.const 2) (i32.const 1) + (i32.const 2) (i32.const 0) + (i32.const 1073741824) (i32.const 0)) + (i32.const 1)) |