diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/passes/vacuum.txt | 11 | ||||
-rw-r--r-- | test/passes/vacuum.wast | 15 |
2 files changed, 26 insertions, 0 deletions
diff --git a/test/passes/vacuum.txt b/test/passes/vacuum.txt index 103dbc6bc..d604cfa08 100644 --- a/test/passes/vacuum.txt +++ b/test/passes/vacuum.txt @@ -16,5 +16,16 @@ (i32.const 57) ) ) + (if + (i32.eqz + (i32.const 100) + ) + (i32.const 101) + ) + (if + (i32.const 102) + (i32.const 103) + ) + (i32.const 104) ) ) diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast index a0c638eb8..28125b969 100644 --- a/test/passes/vacuum.wast +++ b/test/passes/vacuum.wast @@ -23,6 +23,21 @@ ) (i32.const 58) ) + (if + (i32.const 100) + (nop) + (i32.const 101) + ) + (if + (i32.const 102) + (i32.const 103) + (nop) + ) + (if + (i32.const 104) + (nop) + (nop) + ) ) ) |