diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-11-05 19:29:26 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-11-06 10:13:12 -0800 |
| commit | 57d0a549d715a25b471c8913c3013fc407eceea6 (patch) | |
| tree | 4984374220181ca61044bd7d8849aaec2084c1ec /test/passes/simplify-locals-notee.wast | |
| parent | 5447c53b612c8d0f0d0902efe5053f2f81bd1595 (diff) | |
| download | binaryen-57d0a549d715a25b471c8913c3013fc407eceea6.tar.gz binaryen-57d0a549d715a25b471c8913c3013fc407eceea6.tar.bz2 binaryen-57d0a549d715a25b471c8913c3013fc407eceea6.zip | |
improve local simplication: simplify without if/block structure values before coalesce, so that coalesce can remove all copies, then do another pass of full simplification after it
Diffstat (limited to 'test/passes/simplify-locals-notee.wast')
| -rw-r--r-- | test/passes/simplify-locals-notee.wast | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/passes/simplify-locals-notee.wast b/test/passes/simplify-locals-notee.wast index fb938b8c5..e7b827f55 100644 --- a/test/passes/simplify-locals-notee.wast +++ b/test/passes/simplify-locals-notee.wast @@ -3,6 +3,8 @@ (local $x i32) (local $y i32) (local $z i32) + (local $a i32) + (local $b i32) (set_local $x (i32.const 1)) (if (get_local $x) (nop)) (if (get_local $x) (nop)) @@ -10,6 +12,21 @@ (drop (get_local $y)) (set_local $z (block i32 (i32.const 5))) (drop (get_local $z)) + (if (i32.const 6) + (set_local $a (i32.const 7)) + (set_local $a (i32.const 8)) + ) + (drop (get_local $a)) + (block $val + (if (i32.const 10) + (block + (set_local $b (i32.const 11)) + (br $val) + ) + ) + (set_local $b (i32.const 12)) + ) + (drop (get_local $b)) ) ) |