diff options
Diffstat (limited to 'test')
3 files changed, 16 insertions, 0 deletions
diff --git a/test/lit/memory64-limits.wast b/test/lit/memory64-limits.wast new file mode 100644 index 000000000..29e51d29e --- /dev/null +++ b/test/lit/memory64-limits.wast @@ -0,0 +1,9 @@ +;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s + +(module + (memory $0 i64 1 4294967296) +) + +;; CHECK: (module +;; CHECK-NEXT: (memory $0 i64 1 4294967296) +;; CHECK-NEXT: ) diff --git a/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.txt b/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.txt index 84ded6ae5..ee263c3cb 100644 --- a/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.txt +++ b/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.txt @@ -166,3 +166,6 @@ ) ) ) +(module + (memory $0 1 65536) +) diff --git a/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.wast b/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.wast index 15ea29eda..68422aea8 100644 --- a/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.wast +++ b/test/passes/memory64-lowering_enable-memory64_enable-bulk-memory.wast @@ -29,3 +29,7 @@ (memory.copy (i64.const 1) (i64.const 2) (i64.const 3)) ) ) + +(module + (memory $0 i64 1 65537) +) |