diff options
| author | Thomas Lively <tlively@google.com> | 2024-05-17 17:49:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-17 17:49:45 -0700 |
| commit | 921644ca65afbafb84fb82d58dacc4a028e2d720 (patch) | |
| tree | 9253fbcf3f1dd9930dd1b9bc9f545234399b918e /test/spec/address64.wast | |
| parent | 369cddfb44ddbada2ef7742a9ebef54727d12dd5 (diff) | |
| download | binaryen-921644ca65afbafb84fb82d58dacc4a028e2d720.tar.gz binaryen-921644ca65afbafb84fb82d58dacc4a028e2d720.tar.bz2 binaryen-921644ca65afbafb84fb82d58dacc4a028e2d720.zip | |
Rewrite wasm-shell to use new wast parser (#6601)
Use the new wast parser to parse a full script up front, then traverse the
parsed script data structure and execute the commands. wasm-shell had previously
used the new wat parser for top-level modules, but it now uses the new parser
for module assertions as well. Fix various bugs this uncovered.
After this change, wasm-shell supports all the assertions used in the upstream
spec tests (although not new kinds of assertions introduced in any proposals).
Uncomment various `assert_exhaustion` tests that we can now execute.
Other kinds of assertions remain commented out in our tests: wasm-shell now
supports `assert_unlinkable`, but the interpreter does not eagerly check for the
existence of imports, so those tests do not pass. Tests that check for NaNs also
remain commented out because they do not yet use the standard syntax that
wasm-shell now supports for canonical and arithmetic NaN results, and our
interpreter would not pass all of those tests even if they did use the standard
syntax.
Diffstat (limited to 'test/spec/address64.wast')
| -rw-r--r-- | test/spec/address64.wast | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/spec/address64.wast b/test/spec/address64.wast index b3b009ae0..29771ae77 100644 --- a/test/spec/address64.wast +++ b/test/spec/address64.wast @@ -203,13 +203,6 @@ (assert_trap (invoke "16s_bad" (i64.const 1)) "out of bounds memory access") (assert_trap (invoke "32_bad" (i64.const 1)) "out of bounds memory access") -(assert_malformed - (module quote - "(memory i64 1)" - "(func (drop (i32.load offset=4294967296 (i64.const 0))))" - ) - "i32 constant" -) ;; Load i64 data with different offset/align arguments |