summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/code-pushing_all-features.txt17
-rw-r--r--test/passes/code-pushing_all-features.wast14
2 files changed, 31 insertions, 0 deletions
diff --git a/test/passes/code-pushing_all-features.txt b/test/passes/code-pushing_all-features.txt
index 230a9006d..6cb241e26 100644
--- a/test/passes/code-pushing_all-features.txt
+++ b/test/passes/code-pushing_all-features.txt
@@ -94,4 +94,21 @@
)
)
)
+ (func $push-past-br-on-exn (; 4 ;)
+ (local $x i32)
+ (local $y exnref)
+ (drop
+ (block $out (result i32)
+ (drop
+ (br_on_exn $out $e
+ (local.get $y)
+ )
+ )
+ (local.set $x
+ (i32.const 1)
+ )
+ (local.get $x)
+ )
+ )
+ )
)
diff --git a/test/passes/code-pushing_all-features.wast b/test/passes/code-pushing_all-features.wast
index f24456c6d..03debf139 100644
--- a/test/passes/code-pushing_all-features.wast
+++ b/test/passes/code-pushing_all-features.wast
@@ -60,4 +60,18 @@
(drop (local.get $x))
)
)
+
+ (func $push-past-br-on-exn
+ (local $x i32)
+ (local $y exnref)
+ (drop
+ (block $out (result i32)
+ (local.set $x (i32.const 1))
+ (drop
+ (br_on_exn $out $e (local.get $y))
+ )
+ (local.get $x)
+ )
+ )
+ )
)