diff options
Diffstat (limited to 'test/passes/dce_all-features.wast')
-rw-r--r-- | test/passes/dce_all-features.wast | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/passes/dce_all-features.wast b/test/passes/dce_all-features.wast index cfdc58bbb..98b2b0ecd 100644 --- a/test/passes/dce_all-features.wast +++ b/test/passes/dce_all-features.wast @@ -739,6 +739,7 @@ ;; reachable (module (func $foo) + (event $e (attr 0)) (func $try_unreachable (try @@ -767,6 +768,40 @@ ) (call $foo) ;; should be dce'd ) + + (func $throw + (drop + (block $label$0 (result nullref) + (if + (i32.clz + (block $label$1 (result i32) + (throw $e) + ) + ) + (nop) + ) + (ref.null) + ) + ) + ) + + (func $rethrow + (drop + (block $label$0 (result nullref) + (if + (i32.clz + (block $label$1 (result i32) + (rethrow + (ref.null) + ) + ) + ) + (nop) + ) + (ref.null) + ) + ) + ) ) ;; Push-pop |