diff options
| -rw-r--r-- | src/passes/StripEH.cpp | 5 | ||||
| -rw-r--r-- | test/lit/passes/strip-eh.wast | 35 |
2 files changed, 40 insertions, 0 deletions
diff --git a/src/passes/StripEH.cpp b/src/passes/StripEH.cpp index d2a68d630..95d862745 100644 --- a/src/passes/StripEH.cpp +++ b/src/passes/StripEH.cpp @@ -51,6 +51,11 @@ struct StripEHImpl : public WalkerPass<PostWalker<StripEHImpl>> { refinalize = true; } + void visitTryTable(TryTable* curr) { + replaceCurrent(curr->body); + refinalize = true; + } + void visitFunction(Function* curr) { if (refinalize) { ReFinalize().walkFunctionInModule(curr, getModule()); diff --git a/test/lit/passes/strip-eh.wast b/test/lit/passes/strip-eh.wast new file mode 100644 index 000000000..41c432088 --- /dev/null +++ b/test/lit/passes/strip-eh.wast @@ -0,0 +1,35 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. +;; RUN: wasm-opt %s -all --strip-eh -S -o - | filecheck %s + +;; Remove all EH instructions and tags. Converts 'throw's into 'unreachable's. + +(module + (tag $e-i32 (param i32)) + (tag $e-f32 (param f32)) + + ;; CHECK: (func $throw-i32 (type $0) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + (func $throw-i32 + (throw $e-i32 (i32.const 0)) + ) + ;; CHECK: (func $throw-f32 (type $0) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + (func $throw-f32 + (throw $e-f32 (f32.const 0.0)) + ) + + ;; CHECK: (func $try-catch (type $0) + ;; CHECK-NEXT: (block $out + ;; CHECK-NEXT: (call $throw-f32) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $try-catch + (block $out + (try_table (catch_all $out) + (call $throw-f32) + ) + ) + ) +) |