summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/remove-unused-names.txt17
-rw-r--r--test/passes/remove-unused-names.wast16
2 files changed, 33 insertions, 0 deletions
diff --git a/test/passes/remove-unused-names.txt b/test/passes/remove-unused-names.txt
index 91b8b8981..894e07165 100644
--- a/test/passes/remove-unused-names.txt
+++ b/test/passes/remove-unused-names.txt
@@ -1,6 +1,7 @@
(module
(type $0 (func (param i32) (result i32)))
(type $1 (func))
+ (type $2 (func (result i32)))
(memory $0 256 256)
(func $b0 (type $0) (param $i1 i32) (result i32)
(i32.const 0)
@@ -63,4 +64,20 @@
)
)
)
+ (func $merge-typed-with-unreachable-child (type $2) (result i32)
+ (local $0 f32)
+ (block $label$0 (result i32)
+ (block $label$1
+ (br_if $label$1
+ (i32.const 0)
+ (br_if $label$0
+ (i32.const 0)
+ (br $label$0
+ (i32.const 0)
+ )
+ )
+ )
+ )
+ )
+ )
)
diff --git a/test/passes/remove-unused-names.wast b/test/passes/remove-unused-names.wast
index 0f8fe4dcc..dc882cf4c 100644
--- a/test/passes/remove-unused-names.wast
+++ b/test/passes/remove-unused-names.wast
@@ -77,4 +77,20 @@
)
)
)
+ (func $merge-typed-with-unreachable-child (result i32)
+ (local $0 f32)
+ (block $label$0 (result i32)
+ (block $label$1
+ (br_if $label$1
+ (i32.const 0)
+ (br_if $label$0
+ (i32.const 0)
+ (br $label$0
+ (i32.const 0)
+ )
+ )
+ )
+ )
+ )
+ )
)