diff options
Diffstat (limited to 'test/lit/memory64-limits.wast')
| -rw-r--r-- | test/lit/memory64-limits.wast | 34 |
1 files changed, 30 insertions, 4 deletions
diff --git a/test/lit/memory64-limits.wast b/test/lit/memory64-limits.wast index 29e51d29e..f2d395a13 100644 --- a/test/lit/memory64-limits.wast +++ b/test/lit/memory64-limits.wast @@ -1,9 +1,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) -) -;; CHECK: (module -;; CHECK-NEXT: (memory $0 i64 1 4294967296) -;; CHECK-NEXT: ) + (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) + ) + ) +) |