summaryrefslogtreecommitdiff
path: root/test/unit.wast.fromBinary
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2017-03-14 14:06:36 -0700
committerGitHub <noreply@github.com>2017-03-14 14:06:36 -0700
commita407b989ecc0c57ed4862ceaaa25acb0a41af63c (patch)
tree736ec0349a9429430b1995fe7d913d40ad01b67a /test/unit.wast.fromBinary
parentc1e18d8aded2b86cfd8fb86886ad74cee2f14535 (diff)
downloadbinaryen-a407b989ecc0c57ed4862ceaaa25acb0a41af63c.tar.gz
binaryen-a407b989ecc0c57ed4862ceaaa25acb0a41af63c.tar.bz2
binaryen-a407b989ecc0c57ed4862ceaaa25acb0a41af63c.zip
fix emitting of unreachable ifs (#944)
Diffstat (limited to 'test/unit.wast.fromBinary')
-rw-r--r--test/unit.wast.fromBinary46
1 files changed, 46 insertions, 0 deletions
diff --git a/test/unit.wast.fromBinary b/test/unit.wast.fromBinary
index 7a9b1c58d..266cd2246 100644
--- a/test/unit.wast.fromBinary
+++ b/test/unit.wast.fromBinary
@@ -595,5 +595,51 @@
)
(unreachable)
)
+ (func $unreachable-ifs (type $1)
+ (block $label$0
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (unreachable)
+ (if
+ (i32.const 1)
+ (block $label$1
+ (unreachable)
+ )
+ (block $label$2
+ (nop)
+ )
+ )
+ (if
+ (i32.const 1)
+ (block $label$3
+ (nop)
+ )
+ (block $label$4
+ (unreachable)
+ )
+ )
+ (if
+ (i32.const 1)
+ (block $label$5
+ (unreachable)
+ )
+ (block $label$6
+ (unreachable)
+ )
+ )
+ (unreachable)
+ (unreachable)
+ )
+ (unreachable)
+ )
)