;; Testing i64 lowering.

(module
  (func $dummy)

  (func (export "eq_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.eq (local.get $0) (local.get $1)))

  (func (export "ne_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.ne (local.get $0) (local.get $1)))

  (func (export "ge_s_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.ge_s (local.get $0) (local.get $1)))

  (func (export "gt_s_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.gt_s (local.get $0) (local.get $1)))

  (func (export "le_s_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.le_s (local.get $0) (local.get $1)))

  (func (export "lt_s_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.lt_s (local.get $0) (local.get $1)))

  (func (export "ge_u_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.ge_u (local.get $0) (local.get $1)))

  (func (export "gt_u_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.gt_u (local.get $0) (local.get $1)))

  (func (export "le_u_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.le_u (local.get $0) (local.get $1)))

  (func (export "lt_u_i64") (param $0 i64) (param $1 i64) (result i32)
    (i64.lt_u (local.get $0) (local.get $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))