diff options
| author | Thomas Lively <tlively@google.com> | 2024-05-13 14:18:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-13 14:18:01 -0700 |
| commit | 924533fbcd0181f4460a13adc5762ee52f97de58 (patch) | |
| tree | 8ceb319970b6fe120c2c15b1f20674a4702df540 /src/tools/wasm-shell.cpp | |
| parent | 5b46a5bcf6a26a54f40b9d2510cacd524661201f (diff) | |
| download | binaryen-924533fbcd0181f4460a13adc5762ee52f97de58.tar.gz binaryen-924533fbcd0181f4460a13adc5762ee52f97de58.tar.bz2 binaryen-924533fbcd0181f4460a13adc5762ee52f97de58.zip | |
[Parser] Parse wast scripts (#6581)
The spec tests use an extension of the standard text format that includes
various commands and assertions used to test WebAssembly implementations. Add a
utility to parse this extended WebAssembly script format and use it in
wasm-shell to check that it parses our spec tests without error. Fix a few
errors the new parser found in our spec tests.
A future PR will rewrite wasm-shell to interpret the results of the new parser,
but for now to keep the diff smaller, do not do anything with the new parser
except check for errors.
Diffstat (limited to 'src/tools/wasm-shell.cpp')
| -rw-r--r-- | src/tools/wasm-shell.cpp | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/tools/wasm-shell.cpp b/src/tools/wasm-shell.cpp index e2709b8ae..3fe8b3505 100644 --- a/src/tools/wasm-shell.cpp +++ b/src/tools/wasm-shell.cpp @@ -444,11 +444,18 @@ int main(int argc, const char* argv[]) { options.parse(argc, argv); auto input = read_file<std::string>(infile, Flags::Text); - Lexer lexer(input); + // Check that we can parse the script correctly with the new parser. + auto script = WATParser::parseScript(input); + if (auto* err = script.getErr()) { + std::cerr << err->msg << '\n'; + exit(1); + } + + Lexer lexer(input); auto result = Shell(options).parseAndRun(lexer); if (auto* err = result.getErr()) { - std::cerr << err->msg; + std::cerr << err->msg << '\n'; exit(1); } |