summaryrefslogtreecommitdiff
path: root/test/passes/dce_all-features.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/dce_all-features.wast')
-rw-r--r--test/passes/dce_all-features.wast35
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