summaryrefslogtreecommitdiff
path: root/test/passes/code-folding.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/code-folding.wast')
-rw-r--r--test/passes/code-folding.wast21
1 files changed, 21 insertions, 0 deletions
diff --git a/test/passes/code-folding.wast b/test/passes/code-folding.wast
index a813f44a6..d9c1cc950 100644
--- a/test/passes/code-folding.wast
+++ b/test/passes/code-folding.wast
@@ -198,5 +198,26 @@
)
(unreachable)
)
+ (func $careful-of-the-switch (param $0 i32)
+ (block $label$1
+ (block $label$3
+ (block $label$5
+ (block $label$7 ;; this is block is equal to $label$8 when accounting for the internal 7/8 difference
+ (br_table $label$3 $label$7 ;; the reference to $label$3 must remain valid, cannot hoist out of it!
+ (i32.const 0)
+ )
+ )
+ (br $label$1)
+ )
+ (block $label$8
+ (br_table $label$3 $label$8
+ (i32.const 0)
+ )
+ )
+ (br $label$1)
+ )
+ (unreachable)
+ )
+ )
)