1 files changed, 6 insertions, 1 deletions
diff --git a/src/tools/asm2wasm.cpp b/src/tools/asm2wasm.cpp
index dd2b6a791..24cff6f09 100644
--- a/src/tools/asm2wasm.cpp
+++ b/src/tools/asm2wasm.cpp
@@ -24,6 +24,7 @@
 #include "wasm-builder.h"
 #include "wasm-printing.h"
 #include "wasm-io.h"
+#include "wasm-validator.h"
 
 #include "asm2wasm.h"
 
@@ -189,7 +190,11 @@ int main(int argc, const char *argv[]) {
     }
   }
 
-  if (options.debug) std::cerr << "printing..." << std::endl;
+  if (!WasmValidator().validate(wasm)) {
+    Fatal() << "error in validating output";
+  }
+
+  if (options.debug) std::cerr << "emitting..." << std::endl;
   ModuleWriter writer;
   writer.setDebug(options.debug);
   writer.setDebugInfo(passOptions.debugInfo);