summaryrefslogtreecommitdiff
path: root/test/lit/memory64-limits.wast
blob: aecfee725e51d4cf33cb44c5bbc4752f47642b6d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s


(module
 ;; CHECK:      (type $none_=>_i64 (func (result i64)))

 ;; CHECK:      (type $none_=>_none (func))

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

  ;; CHECK:      (func $load_i64 (type $none_=>_i64) (result i64)
  ;; CHECK-NEXT:  (i64.load offset=8589934592
  ;; CHECK-NEXT:   (i64.const 4294967296)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $load_i64 (result i64)
    (i64.load offset=8589934592
      (i64.const 0x100000000)
    )
  )

  ;; CHECK:      (func $store (type $none_=>_none)
  ;; CHECK-NEXT:  (i64.store offset=8589934592
  ;; CHECK-NEXT:   (i64.const 4294967296)
  ;; CHECK-NEXT:   (i64.const 123)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $store (result)
    (i64.store offset=8589934592
      (i64.const 0x100000000)
      (i64.const 123)
    )
  )
)