summaryrefslogtreecommitdiff
path: root/test/lit/passes/stack-check-memory64.wast
diff options
context:
space:
mode:
authorThomas Lively <tlively@google.com>2024-01-08 11:46:30 -0800
committerGitHub <noreply@github.com>2024-01-08 11:46:30 -0800
commitcc0fab918aed3643abdc3566ade3f70f06d1d954 (patch)
tree923fe1e125e7b4f95c2dfa20e4525f1c10a190f2 /test/lit/passes/stack-check-memory64.wast
parent82057de7666b84424f8d2bd90e941762e4e14f0e (diff)
downloadbinaryen-cc0fab918aed3643abdc3566ade3f70f06d1d954.tar.gz
binaryen-cc0fab918aed3643abdc3566ade3f70f06d1d954.tar.bz2
binaryen-cc0fab918aed3643abdc3566ade3f70f06d1d954.zip
Fix incorrect wat in tests (#6207)
The new wat parser is much more strict than the legacy wat parser; the latter accepts all sorts of things that the spec does not allow. To ease an eventual transition to using the new wat parser by default, update the tests to use the standard text format in many places where they previously did not. We do not yet have a way to prevent new errors from being introduced into the test suite, but at least there will now be many fewer errors when it comes time to make the switch.
Diffstat (limited to 'test/lit/passes/stack-check-memory64.wast')
-rw-r--r--test/lit/passes/stack-check-memory64.wast12
1 files changed, 4 insertions, 8 deletions
diff --git a/test/lit/passes/stack-check-memory64.wast b/test/lit/passes/stack-check-memory64.wast
index 137b156de..807e733e7 100644
--- a/test/lit/passes/stack-check-memory64.wast
+++ b/test/lit/passes/stack-check-memory64.wast
@@ -4,7 +4,7 @@
;; RUN: foreach %s %t wasm-opt --stack-check --enable-memory64 -S -o - | filecheck %s
(module
- (memory i64 (data))
+ (memory i64 0 0)
;; CHECK: (type $0 (func (result i64)))
;; CHECK: (type $1 (func (param i64 i64)))
@@ -15,9 +15,7 @@
;; CHECK: (global $__stack_limit (mut i64) (i64.const 0))
- ;; CHECK: (memory $0 i64 0 65536)
-
- ;; CHECK: (data $0 (i64.const 0) "")
+ ;; CHECK: (memory $0 i64 0 0)
;; CHECK: (export "use_stack" (func $use_stack))
@@ -64,7 +62,7 @@
;; CHECK-NEXT: )
(module
;; if the global names are taken we should not crash
- (memory i64 (data))
+ (memory i64 0 0)
;; CHECK: (type $0 (func (result i64)))
;; CHECK: (type $1 (func (param i64 i64)))
@@ -79,9 +77,7 @@
;; CHECK: (global $__stack_limit_3 (mut i64) (i64.const 0))
- ;; CHECK: (memory $0 i64 0 65536)
-
- ;; CHECK: (data $0 (i64.const 0) "")
+ ;; CHECK: (memory $0 i64 0 0)
;; CHECK: (export "use_stack" (func $0))
(export "use_stack" (func $0))