diff options
author | Alon Zakai <alonzakai@gmail.com> | 2017-07-17 10:23:06 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2017-07-17 10:23:06 -0700 |
commit | a2e170294c03d5fe0d91e2797d96acdb95b1d37c (patch) | |
tree | c225944366315da75b4864ec7ab1ac218cb8a760 /test/passes/remove-unused-names_remove-unused-brs_vacuum.wast | |
parent | 7bc2ed70de137aa6615fcd5d0e1f3e88f008a738 (diff) | |
download | binaryen-a2e170294c03d5fe0d91e2797d96acdb95b1d37c.tar.gz binaryen-a2e170294c03d5fe0d91e2797d96acdb95b1d37c.tar.bz2 binaryen-a2e170294c03d5fe0d91e2797d96acdb95b1d37c.zip |
fix blockifyMerge logic - it needs to not skip code in the block we merge to. since that's a fairly specific functionality needed in removeUnusedBrs, move it to there
Diffstat (limited to 'test/passes/remove-unused-names_remove-unused-brs_vacuum.wast')
-rw-r--r-- | test/passes/remove-unused-names_remove-unused-brs_vacuum.wast | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/passes/remove-unused-names_remove-unused-brs_vacuum.wast b/test/passes/remove-unused-names_remove-unused-brs_vacuum.wast index 5a0ec5114..12f664a36 100644 --- a/test/passes/remove-unused-names_remove-unused-brs_vacuum.wast +++ b/test/passes/remove-unused-names_remove-unused-brs_vacuum.wast @@ -127,5 +127,23 @@ (func $23 (param i32) (param i32) (param i32) (result i32) (unreachable) ) + (func $unexitable-loops-result (param $0 i32) (result i64) + (loop $label$0 + (loop $label$1 + (if + (i32.load8_s + (i32.const 201460482) + ) + (br $label$0) + (block $label$3 + (br_if $label$3 + (get_local $0) + ) + ) + ) + (br $label$1) + ) + ) + ) ) |