diff options
| author | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-07-13 10:31:28 -0700 |
|---|---|---|
| committer | Alon Zakai (kripken) <alonzakai@gmail.com> | 2017-07-13 11:54:03 -0700 |
| commit | 29cf8735b0a0dd1cd6640e27206f2e2ac78503c1 (patch) | |
| tree | 626cf50c3e0711945cced649f120c2a1cf3919c9 /test | |
| parent | f755250db869781db4206eee8db00c8060ac398b (diff) | |
| download | binaryen-29cf8735b0a0dd1cd6640e27206f2e2ac78503c1.tar.gz binaryen-29cf8735b0a0dd1cd6640e27206f2e2ac78503c1.tar.bz2 binaryen-29cf8735b0a0dd1cd6640e27206f2e2ac78503c1.zip | |
note changes when removing an if body in vacuum
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/vacuum.txt | 14 | ||||
| -rw-r--r-- | test/passes/vacuum.wast | 26 |
2 files changed, 40 insertions, 0 deletions
diff --git a/test/passes/vacuum.txt b/test/passes/vacuum.txt index 7cee4edf1..f3b06af1a 100644 --- a/test/passes/vacuum.txt +++ b/test/passes/vacuum.txt @@ -287,4 +287,18 @@ ) ) ) + (func $if-arm-vanishes (type $3) (result i32) + (block $label$0 (result i32) + (br $label$0 + (i32.const 1) + ) + ) + ) + (func $if-arm-vanishes-2 (type $3) (result i32) + (block $label$0 (result i32) + (br $label$0 + (i32.const 1) + ) + ) + ) ) diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast index 1885da09b..db4bf6749 100644 --- a/test/passes/vacuum.wast +++ b/test/passes/vacuum.wast @@ -611,4 +611,30 @@ ) ) ) + (func $if-arm-vanishes (result i32) + (block $label$0 (result i32) + (block $label$1 + (if + (br $label$0 + (i32.const 1) + ) + (br $label$1) + ) + ) + (i32.const 1579493952) + ) + ) + (func $if-arm-vanishes-2 (result i32) + (block $label$0 (result i32) + (block $label$1 + (if + (br $label$0 + (i32.const 1) + ) + (br $label$1) + ) + ) + (i32.const 1579493952) + ) + ) ) |