;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.

;; RUN: wasm-opt %s -all --roundtrip --optimize-added-constants --low-memory-unused -S -o - | filecheck %s

(module
 ;; CHECK:      (memory $0 i64 1 4294967296)
 (memory $0 i64 1 4294967296)


  ;; CHECK:      (func $load_i64 (type $0) (result i64)
  ;; CHECK-NEXT:  (i64.load
  ;; CHECK-NEXT:   (i64.const 579)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $load_i64 (result i64)
    (i64.load offset=123
      (i64.const 456)
    )
  )

  ;; CHECK:      (func $load_overflow_i64 (type $0) (result i64)
  ;; CHECK-NEXT:  (i64.load offset=32
  ;; CHECK-NEXT:   (i64.const -16)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $load_overflow_i64 (result i64)
    (i64.load offset=32
      (i64.const 0xfffffffffffffff0)
    )
  )

  ;; CHECK:      (func $store (type $1)
  ;; CHECK-NEXT:  (i64.store
  ;; CHECK-NEXT:   (i64.const 579)
  ;; CHECK-NEXT:   (i64.const 123)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $store (result)
    (i64.store offset=123
      (i64.const 456)
      (i64.const 123)
    )
  )

  ;; CHECK:      (func $store_overflow (type $1)
  ;; CHECK-NEXT:  (i64.store offset=32
  ;; CHECK-NEXT:   (i64.const -16)
  ;; CHECK-NEXT:   (i64.const 123)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $store_overflow (result)
    (i64.store offset=32
      (i64.const 0xfffffffffffffff0)
      (i64.const 123)
    )
  )
)