diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/vacuum.txt | 12 | ||||
| -rw-r--r-- | test/passes/vacuum.wast | 12 |
2 files changed, 24 insertions, 0 deletions
diff --git a/test/passes/vacuum.txt b/test/passes/vacuum.txt index bc3cbfda3..131686b42 100644 --- a/test/passes/vacuum.txt +++ b/test/passes/vacuum.txt @@ -218,6 +218,18 @@ ) (i32.const 2) ) + (func $if2drops-different (type $3) (result i32) + (if + (call $if2drops) + (drop + (call $if2drops) + ) + (drop + (call $unary) + ) + ) + (i32.const 2) + ) (func $if-const (type $1) (param $x i32) (call $if-const (i32.const 3) diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast index 05a8611c5..06dea2034 100644 --- a/test/passes/vacuum.wast +++ b/test/passes/vacuum.wast @@ -427,6 +427,18 @@ ) (i32.const 2) ) + (func $if2drops-different (result i32) + (if + (call $if2drops) + (drop + (call $if2drops) ;; i32 + ) + (drop + (call $unary) ;; f32! + ) + ) + (i32.const 2) + ) (func $if-const (param $x i32) (if (i32.const 0) (call $if-const (i32.const 1))) (if (i32.const 2) (call $if-const (i32.const 3))) |