summaryrefslogtreecommitdiff
path: root/test/passes/coalesce-locals.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/coalesce-locals.wast')
-rw-r--r--test/passes/coalesce-locals.wast29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/passes/coalesce-locals.wast b/test/passes/coalesce-locals.wast
index da71b7665..26d90ff49 100644
--- a/test/passes/coalesce-locals.wast
+++ b/test/passes/coalesce-locals.wast
@@ -925,4 +925,33 @@
(get_local $z)
)
)
+ (func $in-unreachable
+ (local $a i32)
+ (block $x
+ (return)
+ (set_local $a (i32.const 1))
+ (drop (get_local $a))
+ (set_local $a (get_local $a))
+ )
+ (block $y
+ (unreachable)
+ (set_local $a (i32.const 1))
+ (drop (get_local $a))
+ (set_local $a (get_local $a))
+ )
+ (block $z
+ (br $z)
+ (set_local $a (i32.const 1))
+ (drop (get_local $a))
+ (set_local $a (get_local $a))
+ )
+ (block $z
+ (br_table $z $z
+ (i32.const 100)
+ )
+ (set_local $a (i32.const 1))
+ (drop (get_local $a))
+ (set_local $a (get_local $a))
+ )
+ )
)