diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/passes/remove-unused-names_merge-blocks.txt | 5 | ||||
-rw-r--r-- | test/passes/remove-unused-names_merge-blocks.wast | 9 |
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) + ) + ) ) |