summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/remove-unused-names_merge-blocks.txt5
-rw-r--r--test/passes/remove-unused-names_merge-blocks.wast9
2 files changed, 14 insertions, 0 deletions
diff --git a/test/passes/remove-unused-names_merge-blocks.txt b/test/passes/remove-unused-names_merge-blocks.txt
index ed448607d..d9186a46e 100644
--- a/test/passes/remove-unused-names_merge-blocks.txt
+++ b/test/passes/remove-unused-names_merge-blocks.txt
@@ -4,6 +4,7 @@
(type $iii (func (param i32 i32 i32)))
(type $3 (func))
(type $4 (func (result i32)))
+ (type $5 (func (result f64)))
(table 1 1 anyfunc)
(elem (i32.const 0) $call-i)
(memory $0 256 256)
@@ -748,4 +749,8 @@
)
(unreachable)
)
+ (func $concrete_finale_in_unreachable (type $5) (result f64)
+ (unreachable)
+ (f64.const -1)
+ )
)
diff --git a/test/passes/remove-unused-names_merge-blocks.wast b/test/passes/remove-unused-names_merge-blocks.wast
index 5cefa357e..f301bbc2e 100644
--- a/test/passes/remove-unused-names_merge-blocks.wast
+++ b/test/passes/remove-unused-names_merge-blocks.wast
@@ -926,4 +926,13 @@
(unreachable)
)
)
+ (func $concrete_finale_in_unreachable (result f64)
+ (block $label$0 (result f64)
+ (block ;; this block is unreachable
+ (unreachable)
+ (f64.const 6.322092475576799e-96)
+ )
+ (f64.const -1)
+ )
+ )
)