summaryrefslogtreecommitdiff
path: root/test/unit.wast.from-wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit.wast.from-wast')
-rw-r--r--test/unit.wast.from-wast45
1 files changed, 45 insertions, 0 deletions
diff --git a/test/unit.wast.from-wast b/test/unit.wast.from-wast
index b7b914795..99def6ded 100644
--- a/test/unit.wast.from-wast
+++ b/test/unit.wast.from-wast
@@ -557,4 +557,49 @@
)
)
)
+ (func $unreachable-ifs (type $FUNCSIG$v)
+ (if
+ (unreachable)
+ (nop)
+ )
+ (if
+ (unreachable)
+ (unreachable)
+ )
+ (if
+ (unreachable)
+ (nop)
+ (nop)
+ )
+ (if
+ (unreachable)
+ (unreachable)
+ (nop)
+ )
+ (if
+ (unreachable)
+ (nop)
+ (unreachable)
+ )
+ (if
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ )
+ (if
+ (i32.const 1)
+ (unreachable)
+ (nop)
+ )
+ (if
+ (i32.const 1)
+ (nop)
+ (unreachable)
+ )
+ (if
+ (i32.const 1)
+ (unreachable)
+ (unreachable)
+ )
+ )
)