wip

Author: tlively

src/parser/wat-parser.cpp

@@ -138,7 +138,11 @@ void propagateDebugLocations(Module& wasm) {
       return std::make_unique<Propagator>();
     }
   };
-  PassRunner runner(&wasm);
+  // The parser should not be responsible for validation.
+  PassOptions opts;
+  opts.validate = false;
+  opts.validateGlobally = false;
+  PassRunner runner(&wasm, opts);
   runner.add(std::make_unique<Propagator>());
   runner.run();
 }

src/wasm/wasm-io.cpp

@@ -33,7 +33,7 @@
 
 namespace wasm {
 
-bool useNewWATParser = false;
+bool useNewWATParser = true;
 
 #define DEBUG_TYPE "writer"
 

test/ctor-eval/bad-indirect-call3.wast.out

@@ -5,7 +5,7 @@
  (memory $0 256 256)
  (data $0 (i32.const 10) "waka waka waka waka waka")
  (table $0 1 1 funcref)
- (elem $0 (i32.const 0) $callee)
+ (elem $implicit-elem (i32.const 0) $callee)
  (export "sig_mismatch" (func $sig_mismatch))
  (func $callee (type $0) (param $0 externref)
   (i32.store8