diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/vacuum.txt | 18 | ||||
| -rw-r--r-- | test/passes/vacuum.wast | 18 |
2 files changed, 36 insertions, 0 deletions
diff --git a/test/passes/vacuum.txt b/test/passes/vacuum.txt index dda7d8abf..f64ef0868 100644 --- a/test/passes/vacuum.txt +++ b/test/passes/vacuum.txt @@ -241,4 +241,22 @@ (i32.const 7) ) ) + (func $drop-if-both-unreachable (type $1) (param $0 i32) + (block $out + (drop + (if i32 + (get_local $0) + (br $out) + (br $out) + ) + ) + ) + (drop + (if i32 + (get_local $0) + (unreachable) + (unreachable) + ) + ) + ) ) diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast index 06dea2034..8b97b9386 100644 --- a/test/passes/vacuum.wast +++ b/test/passes/vacuum.wast @@ -445,4 +445,22 @@ (if (i32.const 0) (call $if-const (i32.const 4)) (call $if-const (i32.const 5))) (if (i32.const 6) (call $if-const (i32.const 7)) (call $if-const (i32.const 8))) ) + (func $drop-if-both-unreachable (param $0 i32) + (block $out + (drop + (if i32 + (get_local $0) + (br $out) + (br $out) + ) + ) + ) + (drop + (if i32 + (get_local $0) + (unreachable) + (unreachable) + ) + ) + ) ) |