diff options
| author | Axis <dongaxis1944@outlook.com> | 2022-09-20 03:31:56 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-19 12:31:56 -0700 |
| commit | b65d325ac6ec9e5d92e41f1479ef6157ccca64c7 (patch) | |
| tree | aff0a508bea08f32376055091a3164ad7b46bf30 /test | |
| parent | 854c4efc619bc7caa1a1d53efceece477959092e (diff) | |
| download | binaryen-b65d325ac6ec9e5d92e41f1479ef6157ccca64c7.tar.gz binaryen-b65d325ac6ec9e5d92e41f1479ef6157ccca64c7.tar.bz2 binaryen-b65d325ac6ec9e5d92e41f1479ef6157ccca64c7.zip | |
[Wasm64] The binary format offset of load/store should be u64leb in wasm64 (#5038)
Diffstat (limited to 'test')
| -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) + ) + ) +) |