wip

WebAssembly · Apr 11, 2024 · c258c9a · c258c9a
1 parent 3359266
commit c258c9a
Show file tree

Hide file tree

Showing 111 changed files with 1,533 additions and 6,421 deletions.
diff --git a/src/parser/wat-parser.cpp b/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();
 }

diff --git a/src/wasm/wasm-io.cpp b/src/wasm/wasm-io.cpp
@@ -33,7 +33,7 @@
 
 namespace wasm {
 
-bool useNewWATParser = false;
+bool useNewWATParser = true;
 
 #define DEBUG_TYPE "writer"
 

diff --git a/test/ctor-eval/bad-indirect-call3.wast.out b/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