blob: f2d395a1318a2c7fd447bf0108885fa4234f65f4 (
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
|
;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s
;; CHECK: (module
;; CHECK-NEXT: (type $none_=>_i64 (func (result i64)))
;; CHECK-NEXT: (type $none_=>_none (func))
;; CHECK-NEXT: (memory $0 i64 1 4294967296)
;; CHECK-NEXT: (func $load_i64 (result i64)
;; CHECK-NEXT: (i64.load offset=8589934592
;; CHECK-NEXT: (i64.const 4294967296)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (func $store
;; CHECK-NEXT: (i64.store offset=8589934592
;; CHECK-NEXT: (i64.const 4294967296)
;; CHECK-NEXT: (i64.const 123)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT:)
(module
(memory $0 i64 1 4294967296)
(func $load_i64 (result i64)
(i64.load offset=8589934592
(i64.const 0x100000000)
)
)
(func $store (result)
(i64.store offset=8589934592
(i64.const 0x100000000)
(i64.const 123)
)
)
)
|
