summaryrefslogtreecommitdiff
path: root/test/wasm2asm
diff options
context:
space:
mode:
Diffstat (limited to 'test/wasm2asm')
-rw-r--r--test/wasm2asm/i64-lowering.wast269
1 files changed, 269 insertions, 0 deletions
diff --git a/test/wasm2asm/i64-lowering.wast b/test/wasm2asm/i64-lowering.wast
new file mode 100644
index 000000000..1276b54c6
--- /dev/null
+++ b/test/wasm2asm/i64-lowering.wast
@@ -0,0 +1,269 @@
+;; Testing i64 lowering.
+
+(module
+ (func $dummy)
+
+ (func (export "eq_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.eq (get_local $0) (get_local $1)))
+
+ (func (export "ne_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.ne (get_local $0) (get_local $1)))
+
+ (func (export "ge_s_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.ge_s (get_local $0) (get_local $1)))
+
+ (func (export "gt_s_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.gt_s (get_local $0) (get_local $1)))
+
+ (func (export "le_s_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.le_s (get_local $0) (get_local $1)))
+
+ (func (export "lt_s_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.lt_s (get_local $0) (get_local $1)))
+
+ (func (export "ge_u_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.ge_u (get_local $0) (get_local $1)))
+
+ (func (export "gt_u_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.gt_u (get_local $0) (get_local $1)))
+
+ (func (export "le_u_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.le_u (get_local $0) (get_local $1)))
+
+ (func (export "lt_u_i64") (param $0 i64) (param $1 i64) (result i32)
+ (i64.lt_u (get_local $0) (get_local $1)))
+)
+
+;; TODO: change things so we can invoke with i64 args and automatically lower
+;; the arguments, rather than doing it manually.
+(assert_return (invoke "eq_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "eq_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 0))
+(assert_return (invoke "eq_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 0))
+
+(assert_return (invoke "ne_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "ne_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+(assert_return (invoke "ne_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+
+(assert_return (invoke "lt_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "lt_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "lt_u_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "lt_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+(assert_return (invoke "lt_u_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "lt_u_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+
+(assert_return (invoke "gt_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "gt_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "gt_u_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "gt_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 0))
+(assert_return (invoke "gt_u_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "gt_u_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+
+(assert_return (invoke "le_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "le_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "le_u_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "le_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+(assert_return (invoke "le_u_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "le_u_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+
+(assert_return (invoke "ge_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "ge_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "ge_u_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "ge_u_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 0))
+(assert_return (invoke "ge_u_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "ge_u_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "lt_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "lt_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 0))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0xffffffff))
+ (i32.const 1))
+(assert_return (invoke "lt_s_i64" (i32.const 1) (i32.const 0xffffffff)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 0))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0x80000000))
+ (i32.const 0))
+(assert_return (invoke "lt_s_i64" (i32.const 0) (i32.const 0x80000000)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "gt_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 0))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "gt_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 1))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0xffffffff))
+ (i32.const 0))
+(assert_return (invoke "gt_s_i64" (i32.const 1) (i32.const 0xffffffff)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 1))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0x80000000))
+ (i32.const 1))
+(assert_return (invoke "gt_s_i64" (i32.const 0) (i32.const 0x80000000)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "le_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 1))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "le_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 0))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0xffffffff))
+ (i32.const 1))
+(assert_return (invoke "le_s_i64" (i32.const 1) (i32.const 0xffffffff)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 0))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0x80000000))
+ (i32.const 0))
+(assert_return (invoke "le_s_i64" (i32.const 0) (i32.const 0x80000000)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "ge_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 1))
+ (i32.const 0))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 1)
+ (i32.const 1) (i32.const 0))
+ (i32.const 1))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0))
+ (i32.const 0))
+(assert_return (invoke "ge_s_i64" (i32.const 1) (i32.const 0)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 1))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0xffffffff)
+ (i32.const 1) (i32.const 0xffffffff))
+ (i32.const 0))
+(assert_return (invoke "ge_s_i64" (i32.const 1) (i32.const 0xffffffff)
+ (i32.const 0) (i32.const 0xffffffff))
+ (i32.const 1))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0)
+ (i32.const 0) (i32.const 0x80000000))
+ (i32.const 1))
+(assert_return (invoke "ge_s_i64" (i32.const 0) (i32.const 0x80000000)
+ (i32.const 0) (i32.const 0))
+ (i32.const 0))
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-26 05:32:06 +0000