summaryrefslogtreecommitdiff
path: root/src/tools/wast2wasm.c
diff options
context:
space:
mode:
authorBen Smith <binji@chromium.org>2016-11-12 13:38:36 -0800
committerBen Smith <binji@chromium.org>2016-11-16 10:21:13 -0800
commit0029de32e08f23cc59d36dbdbaa38a25f185a3c0 (patch)
tree006ba7f23bf8b574f77ae16c98a7aaf4307b6d2a /src/tools/wast2wasm.c
parentc73c9100c2e480da4cda6339df01a8341ddbb46d (diff)
downloadwabt-0029de32e08f23cc59d36dbdbaa38a25f185a3c0.tar.gz
wabt-0029de32e08f23cc59d36dbdbaa38a25f185a3c0.tar.bz2
wabt-0029de32e08f23cc59d36dbdbaa38a25f185a3c0.zip
Add wast_resolve_names_* as a separate pass
This used to be handled by wasm_check_ast, but is clunkier than having a separate pass.
Diffstat (limited to 'src/tools/wast2wasm.c')
-rw-r--r--src/tools/wast2wasm.c13
1 files changed, 6 insertions, 7 deletions
diff --git a/src/tools/wast2wasm.c b/src/tools/wast2wasm.c
index 064806b7..6017d77f 100644
--- a/src/tools/wast2wasm.c
+++ b/src/tools/wast2wasm.c
@@ -28,6 +28,7 @@
#include "binary-writer-spec.h"
#include "common.h"
#include "option-parser.h"
+#include "resolve-names.h"
#include "stack-allocator.h"
#include "stream.h"
#include "writer.h"
@@ -238,13 +239,11 @@ int main(int argc, char** argv) {
WasmResult result = wasm_parse_ast(lexer, &script, &s_error_handler);
if (WASM_SUCCEEDED(result)) {
- if (s_check) {
- /* full validation of the module */
- result = wasm_check_ast(allocator, lexer, &script, &s_error_handler);
- } else {
- /* minimal checks necessary to ensure we can generate a binary */
- result = wasm_check_names(allocator, lexer, &script, &s_error_handler);
- }
+ result =
+ wasm_resolve_names_script(allocator, lexer, &script, &s_error_handler);
+
+ if (WASM_SUCCEEDED(result) && s_check)
+ result = wasm_check_script(allocator, lexer, &script, &s_error_handler);
if (WASM_SUCCEEDED(result) && s_check_assert_invalid_and_malformed) {
WasmDefaultErrorHandlerInfo assert_invalid_info;