diff options
Diffstat (limited to 'test/passes/remove-unused-names_merge-blocks_all-features.wast')
| -rw-r--r-- | test/passes/remove-unused-names_merge-blocks_all-features.wast | 1615 |
1 files changed, 1615 insertions, 0 deletions
diff --git a/test/passes/remove-unused-names_merge-blocks_all-features.wast b/test/passes/remove-unused-names_merge-blocks_all-features.wast new file mode 100644 index 000000000..9a6840650 --- /dev/null +++ b/test/passes/remove-unused-names_merge-blocks_all-features.wast @@ -0,0 +1,1615 @@ +(module + (memory (shared 256 256)) + (type $i (func (param i32))) + (type $ii (func (param i32 i32))) + (type $iii (func (param i32 i32 i32))) + (type $3 (func)) + (table 1 1 funcref) + (elem (i32.const 0) $call-i) + (func $call-i (type $i) (param $0 i32) + (nop) + ) + (func $call-ii (type $ii) (param $0 i32) (param $1 i32) + (nop) + ) + (func $call-iii (type $iii) (param $0 i32) (param $1 i32) (param $2 i32) + (nop) + ) + (func $b0-yes (type $i) (param $i1 i32) + (block $topmost + (block $block0 + (drop + (i32.const 10) + ) + ) + ) + ) + (func $b0-no (type $i) (param $i1 i32) + (block $topmost + (block $block0 + (br $block0) + ) + (br $topmost) + ) + ) + (func $b0-br-but-ok (type $i) (param $i1 i32) + (block $topmost + (block $block0 + (br $topmost) + ) + ) + ) + (func $b1-yes (type $i) (param $i1 i32) + (block $topmost + (block $block0 + (block $block1 + (drop + (i32.const 10) + ) + ) + ) + ) + ) + (func $b2-yes (type $i) (param $i1 i32) + (block $topmost + (drop + (i32.const 5) + ) + (block $block0 + (drop + (i32.const 10) + ) + ) + (drop + (i32.const 15) + ) + ) + ) + (func $b3-yes (type $i) (param $i1 i32) + (block $topmost + (drop + (i32.const 3) + ) + (block $block0 + (drop + (i32.const 6) + ) + (block $block1 + (drop + (i32.const 10) + ) + ) + (drop + (i32.const 15) + ) + ) + (drop + (i32.const 20) + ) + ) + ) + (func $b4 (type $i) (param $i1 i32) + (block $topmost + (block $inner + (drop + (i32.const 10) + ) + (br $inner) + ) + ) + ) + (func $b5 (type $i) (param $i1 i32) + (block $topmost + (block $middle + (block $inner + (drop + (i32.const 10) + ) + (br $inner) + ) + (br $middle) + ) + ) + ) + (func $b6 (type $i) (param $i1 i32) + (block $topmost + (drop + (i32.const 5) + ) + (block $inner + (drop + (i32.const 10) + ) + (br $inner) + ) + (drop + (i32.const 15) + ) + ) + ) + (func $b7 (type $i) (param $i1 i32) + (block $topmost + (drop + (i32.const 3) + ) + (block $middle + (drop + (i32.const 6) + ) + (block $inner + (drop + (i32.const 10) + ) + (br $inner) + ) + (drop + (i32.const 15) + ) + (br $middle) + ) + (drop + (i32.const 20) + ) + ) + ) + (func $unary (type $3) + (local $x i32) + (drop + (i32.eqz + (block $block0 (result i32) + (i32.const 10) + ) + ) + ) + (drop + (i32.eqz + (block $block1 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + ) + (drop + (i32.eqz + (block $block2 (result i32) + (drop + (i32.const 10) + ) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + ) + (local.set $x + (block $block3 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + (drop + (i32.load + (block $block4 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + ) + (return + (block $block5 + (drop + (i32.const 10) + ) + (unreachable) + ) + ) + ) + (func $binary (type $3) + (drop + (i32.add + (block $block0 (result i32) + (i32.const 10) + ) + (i32.const 20) + ) + ) + (drop + (i32.add + (block $block1 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (i32.const 30) + ) + ) + (drop + (i32.add + (block $block2 (result i32) + (drop + (i32.const 10) + ) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + (i32.const 40) + ) + ) + (drop + (i32.add + (i32.const 10) + (block $block3 (result i32) + (i32.const 20) + ) + ) + ) + (drop + (i32.add + (i32.const 10) + (block $block4 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + ) + (drop + (i32.add + (i32.const 10) + (block $block5 (result i32) + (drop + (i32.const 20) + ) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + ) + ) + (drop + (i32.add + (block $block6 (result i32) + (i32.const 10) + ) + (block $block7 (result i32) + (i32.const 20) + ) + ) + ) + (drop + (i32.add + (block $block8 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block9 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + ) + ) + (drop + (i32.add + (block $block10 (result i32) + (drop + (i32.const 10) + ) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + (block $block11 (result i32) + (drop + (i32.const 40) + ) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (i32.store + (i32.const 10) + (block $block12 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + (i32.store + (block $block13 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (i32.const 30) + ) + (drop + (i32.add + (unreachable) + (block $block14 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + ) + (drop + (i32.add + (block $block15 (result i32) + (unreachable) + (i32.const 10) + ) + (block $block16 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + ) + ) + (func $trinary (type $3) + (drop + (select + (block $block0 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block1 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block2 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (drop + (select + (block $block3 (result i32) + (i32.const 10) + ) + (block $block4 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + (block $block5 (result i32) + (drop + (i32.const 40) + ) + (i32.const 50) + ) + ) + ) + (drop + (select + (block $block6 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block7 (result i32) + (i32.const 30) + ) + (block $block8 (result i32) + (drop + (i32.const 40) + ) + (i32.const 50) + ) + ) + ) + (drop + (select + (block $block9 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block10 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block11 (result i32) + (i32.const 50) + ) + ) + ) + (drop + (select + (block $block12 (result i32) + (i32.const 10) + ) + (block $block13 (result i32) + (i32.const 20) + ) + (block $block14 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + ) + ) + (drop + (select + (block $block15 (result i32) + (i32.const 10) + ) + (block $block16 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + (block $block17 (result i32) + (i32.const 40) + ) + ) + ) + (drop + (select + (block $block18 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block19 (result i32) + (i32.const 30) + ) + (block $block20 (result i32) + (i32.const 40) + ) + ) + ) + (drop + (select + (block $block21 (result i32) + (unreachable) + (i32.const 20) + ) + (block $block22 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block23 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (drop + (select + (block $block24 (result i32) + (drop + (i32.const 10) + ) + (unreachable) + ) + (block $block25 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block26 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (drop + (select + (block $block27 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block28 (result i32) + (unreachable) + (i32.const 40) + ) + (block $block29 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (drop + (select + (block $block30 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block31 (result i32) + (drop + (i32.const 30) + ) + (unreachable) + ) + (block $block32 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (drop + (select + (block $block33 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block34 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block35 (result i32) + (unreachable) + (i32.const 60) + ) + ) + ) + (drop + (select + (block $block36 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block37 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block38 (result i32) + (drop + (i32.const 50) + ) + (unreachable) + ) + ) + ) + ) + (func $breaks (type $3) + (block $out + (block + (drop + (block $block0 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + (br $out) + ) + (br_if $out + (block $block1 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + (block + (drop + (block $block2 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + (br_if $out + (block $block3 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + ) + ) + (br_table $out $out + (block $block4 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + (drop + (block $out2 (result i32) + (br_table $out2 $out2 + (block $block5 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block6 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + ) + ) + ) + (unreachable) + ) + ) + (func $calls (type $3) + (call $call-i + (block $block0 (result i32) + (i32.const 10) + ) + ) + (call $call-i + (block $block1 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + ) + (call $call-i + (block $block2 (result i32) + (drop + (i32.const 10) + ) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + (call $call-ii + (block $block3 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block4 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + ) + (call $call-ii + (block $block5 (result i32) + (unreachable) + (i32.const 10) + ) + (block $block6 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + (call $call-ii + (block $block7 (result i32) + (drop + (i32.const 10) + ) + (unreachable) + ) + (block $block8 (result i32) + (drop + (i32.const 20) + ) + (i32.const 30) + ) + ) + (call $call-ii + (block $block9 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block10 (result i32) + (unreachable) + (i32.const 30) + ) + ) + (call $call-ii + (block $block11 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block12 (result i32) + (drop + (i32.const 30) + ) + (unreachable) + ) + ) + (call $call-iii + (block $block13 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block14 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block15 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + (call $call-iii + (block $block16 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (i32.const 30) + (block $block17 (result i32) + (drop + (i32.const 40) + ) + (i32.const 50) + ) + ) + (call_indirect (type $ii) + (block $block18 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block19 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block20 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + (call_indirect (type $ii) + (unreachable) + (block $block21 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block22 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + (call_indirect (type $ii) + (block $block21 (result i32) + (drop + (i32.const 31) + ) + (i32.const 41) + ) + (unreachable) + (block $block22 (result i32) + (drop + (i32.const 51) + ) + (i32.const 61) + ) + ) + (call_indirect (type $ii) + (block $block21 (result i32) + (drop + (i32.const 32) + ) + (i32.const 42) + ) + (block $block22 (result i32) + (drop + (i32.const 52) + ) + (i32.const 62) + ) + (unreachable) + ) + ) + (func $atomics (type $3) + (drop + (i32.atomic.rmw.cmpxchg ;; mergeblock logic should be same as select + (block $block0 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (block $block1 (result i32) + (drop + (i32.const 30) + ) + (i32.const 40) + ) + (block $block2 (result i32) + (drop + (i32.const 50) + ) + (i32.const 60) + ) + ) + ) + (drop + (i32.atomic.rmw.add ;; atomicrmw is like a binary + (block $block1 (result i32) + (drop + (i32.const 10) + ) + (i32.const 20) + ) + (i32.const 30) + ) + ) + ) + (func $mix-select (param $x i32) + (drop + (select + (local.get $x) + (local.get $x) + (block (result i32) + (local.set $x ;; cannot be moved before the gets + (i32.const 1) + ) + (i32.const 2) + ) + ) + ) + ) + (func $block-type-change (type $3) + (local $0 f64) + (local $1 f64) + (if + (f64.gt + (local.get $0) + (block $block0 (result f64) + (nop) + (local.get $1) + ) + ) + (nop) + ) + ) + (func $do-reorder (param $x i32) + (local $y i32) + (if (i32.const 1) + (block + (local.set $x + (i32.le_u + (local.get $x) + (block (result i32) + (local.set $y (i32.const 5)) + (i32.const 10) + ) + ) + ) + ) + ) + ) + (func $do-not-reorder (param $x i32) + (local $y i32) + (if (i32.const 1) + (block + (local.set $x + (i32.le_u + (local.get $y) + (block (result i32) + (local.set $y (i32.const 5)) + (i32.const 10) + ) + ) + ) + ) + ) + ) + (func $return-different-type (result i32) + (drop + (f64.abs + (return + (block (result i32) ;; when we flip the block out, it should have an ok type for the (dead) f64 op + (drop (i32.const 2)) + (i32.const 1) + ) + ) + ) + ) + (unreachable) + ) + + (func $drop-unreachable (result i32) + (local $0 i32) + (block $label$1 (result i32) + (drop + (block (result i32) + (unreachable) + ) + ) + (unreachable) + ) + ) + (func $concrete_finale_in_unreachable (result f64) + (block $label$0 (result f64) + (drop + (block (result f64) + (unreachable) + (f64.const 6.322092475576799e-96) + ) + ) + (f64.const -1) + ) + ) + (func $dont-move-unreachable + (loop $label$0 + (drop + (block $label$3 (result i32) + (br $label$0) + (i32.const 1) + ) + ) + ) + ) + (func $dont-move-unreachable-last + (loop $label$0 + (drop + (block $label$3 (result i32) + (call $dont-move-unreachable-last) + (br $label$0) + ) + ) + ) + ) + (func $move-around-unreachable-in-middle + (loop $label$0 + (drop + (block $label$2 (result i32) + (block $block2 + (nop) + ) + (block $label$3 (result i32) + (drop + (br_if $label$3 + (br $label$0) + (i32.const 0) + ) + ) + (i32.const 1) + ) + ) + ) + ) + ) + (func $drop-unreachable-block-with-concrete-final + (drop + (block (result i32) + (drop + (block + (drop + (return) + ) + ) + ) + (i32.const -452) + ) + ) + ) + (func $merging-with-unreachable-in-middle (result i32) + (block $label$1 (result i32) + (block (result i32) + (return + (i32.const 21536) + ) + (block $label$15 + (br $label$15) + ) + (i32.const 19299) + ) + ) + ) + (func $remove-br-after-unreachable + (block $label$9 + (drop + (block + (block + (return) + (br $label$9) ;; removing this leads to the block becoming unreachable + ) + ) + ) + ) + ) + (func $block-tails + (block $l1 + (drop (i32.const -2)) + (drop (i32.const -1)) + (br $l1) + (drop (i32.const 0)) + (drop (i32.const 1)) + ) + (block $l2 + (br_if $l2 (i32.const 2)) + (drop (i32.const 3)) + ) + (block $b1 + (block $l3 + (br_if $b1 (i32.const 4)) + (br_if $l3 (i32.const 5)) + (drop (i32.const 6)) + ) + ) + (block $b2 + (block $l4 + (br_if $l4 (i32.const 7)) + (br_if $b2 (i32.const 8)) + (drop (i32.const 9)) + ) + ) + (block $l5 + (if (i32.const 10) + (br_if $l5 (i32.const 11)) + ) + (drop (i32.const 12)) + ) + (block $l6 + (block $l7 + (block $l8 + (br_if $l6 (i32.const 13)) + (br_if $l7 (i32.const 14)) + (br_if $l8 (i32.const 15)) + (drop (i32.const 16)) + ) + ) + ) + (block $l9 + (block $l10 + (block $l11 + (br_if $l11 (i32.const 17)) + (br_if $l10 (i32.const 18)) + (br_if $l9 (i32.const 19)) + (drop (i32.const 20)) + ) + ) + ) + (block $l12 + (block $l13 + (block $l14 + (br_if $l12 (i32.const 21)) + (br_if $l13 (i32.const 22)) + (br_if $l14 (i32.const 23)) + (drop (i32.const 24)) + ) + (drop (i32.const 25)) + ) + (drop (i32.const 26)) + ) + (block $l15 + (block $l16 + (block $l17 + (drop (i32.const 27)) + (br_if $l17 (i32.const 28)) + (drop (i32.const 29)) + ) + (br_if $l16 (i32.const 30)) + (drop (i32.const 31)) + ) + (br_if $l15 (i32.const 32)) + (drop (i32.const 33)) + ) + ) + (func $loop-tails + (loop $l1 + (drop (i32.const -2)) + (drop (i32.const -1)) + (br $l1) + (drop (i32.const 0)) + (drop (i32.const 1)) + ) + (loop $l2 + (br_if $l2 (i32.const 2)) + (drop (i32.const 3)) + ) + (block $b1 + (loop $l3 + (br_if $b1 (i32.const 4)) + (br_if $l3 (i32.const 5)) + (drop (i32.const 6)) + ) + ) + (block $b2 + (loop $l4 + (br_if $l4 (i32.const 7)) + (br_if $b2 (i32.const 8)) + (drop (i32.const 9)) + ) + ) + (loop $l5 + (if (i32.const 10) + (br_if $l5 (i32.const 11)) + ) + (drop (i32.const 12)) + ) + (loop $l6 + (loop $l7 + (loop $l8 + (br_if $l6 (i32.const 13)) + (br_if $l7 (i32.const 14)) + (br_if $l8 (i32.const 15)) + (drop (i32.const 16)) + ) + ) + ) + (loop $l9 + (loop $l10 + (loop $l11 + (br_if $l11 (i32.const 17)) + (br_if $l10 (i32.const 18)) + (br_if $l9 (i32.const 19)) + (drop (i32.const 20)) + ) + ) + ) + (loop $l12 + (loop $l13 + (loop $l14 + (br_if $l12 (i32.const 21)) + (br_if $l13 (i32.const 22)) + (br_if $l14 (i32.const 23)) + (drop (i32.const 24)) + ) + (drop (i32.const 25)) + ) + (drop (i32.const 26)) + ) + (loop $l15 + (loop $l16 + (loop $l17 + (drop (i32.const 27)) + (br_if $l17 (i32.const 28)) + (drop (i32.const 29)) + ) + (br_if $l16 (i32.const 30)) + (drop (i32.const 31)) + ) + (br_if $l15 (i32.const 32)) + (drop (i32.const 33)) + ) + ) + (func $block-tail-one + (block $outer + (block $l1 + (drop (i32.const -2)) + (drop (i32.const -1)) + (br $l1) + (drop (i32.const 0)) + (drop (i32.const 1)) + ) + (drop (i32.const 2)) + ) + ) + (func $loop-tail-one + (block $outer + (loop $l1 + (drop (i32.const -2)) + (drop (i32.const -1)) + (br $l1) + (drop (i32.const 0)) + (drop (i32.const 1)) + ) + (drop (i32.const 2)) + ) + ) + (func $block-tail-value (result i32) + (block $outer (result i32) + (block $l1 (result i32) + (drop (i32.const -1)) + (br $l1 (i32.const 0)) + (drop (i32.const 1)) + (i32.const 2) + ) + ) + ) + (func $block-tail-empty + (block $outer + (block $l1 + (drop (i32.const -1)) + (br $l1) + ) + ) + ) + (func $loop-tail-empty + (block $outer + (loop $l1 + (drop (i32.const -1)) + (br $l1) + ) + ) + ) + (func $block-tail-unreachable (result i32) + (block $outer (result i32) + (block $l1 (result i32) + (drop (i32.const -1)) + (drop (br_if $l1 (i32.const 0) (i32.const 1))) + (drop (i32.const 1)) + (unreachable) + ) + ) + ) + (func $loop-tail-unreachable (result i32) + (block $outer (result i32) + (loop $l1 (result i32) + (drop (i32.const -1)) + (br_if $l1 (i32.const 1)) + (drop (i32.const 1)) + (unreachable) + ) + ) + ) +) +(module + (func $unreachable-in-sub-block (param $0 f64) (param $1 i32) (result i32) + (local $2 i32) + (local $9 i32) + (loop $label$1 + (local.set $9 + (local.tee $2 + (block $label$2 (result i32) + (block + (drop + (br_if $label$2 + (local.tee $2 + (i32.const 0) + ) + (i32.const 0) + ) + ) + ) + (br_if $label$1 + (i32.const 0) + ) + (block + (unreachable) + (nop) ;; bad if moved out to the outer block which is i32. current state works since this block is unreachable! + ) + ) + ) + ) + ) + (nop) + (local.get $9) + ) + (func $trivial (result i32) + (block (result i32) + (block + (unreachable) + (nop) + ) + ) + ) + (func $trivial-more (result i32) + (block (result i32) + (block + (nop) + (unreachable) + (nop) + (nop) + (nop) + ) + (block + (nop) + (unreachable) + (nop) + ) + ) + ) +) +(module + (func $merge-some-block + (block $b1 + (drop (i32.const 1)) + (br_if $b1 (i32.const 0)) + ) + (block $b2 + (br_if $b2 (i32.const 0)) + (drop (i32.const 2)) + ) + (block $b3 + (drop (i32.const 3)) + (br_if $b3 (i32.const 0)) + (drop (i32.const 4)) + ) + (block $b3-dead-code-so-ignore + (drop (i32.const 3)) + (br $b3-dead-code-so-ignore) + (drop (i32.const 4)) + ) + (block $b4 + (drop (i32.const 5)) + (br_if $b4 (i32.const 0)) + (drop (i32.const 6)) + (br_if $b4 (i32.const 0)) + ) + (block $b5 + (br_if $b5 (i32.const 0)) + (drop (i32.const 7)) + (br_if $b5 (i32.const 0)) + (drop (i32.const 8)) + ) + (block $b6 + (drop (i32.const 9)) + (drop (i32.const 10)) + (br_if $b6 (i32.const 0)) + ) + ) + (func $merge-some-loop + (loop $l1 + (block $b1 + (drop (i32.const 1)) + (br_if $b1 (i32.const 0)) + ) + ) + (loop $l2 + (block $b2 + (br_if $b2 (i32.const 0)) + (drop (i32.const 2)) + ) + ) + (loop $l3 + (block $b3 + (drop (i32.const 3)) + (br_if $b3 (i32.const 0)) + (drop (i32.const 4)) + ) + ) + (loop $l4 + (block $b4 + (drop (i32.const 5)) + (br_if $b4 (i32.const 0)) + (drop (i32.const 6)) + (br_if $b4 (i32.const 0)) + ) + ) + (loop $l5 + (block $b5 + (br_if $b5 (i32.const 0)) + (drop (i32.const 7)) + (br_if $b5 (i32.const 0)) + (drop (i32.const 8)) + ) + ) + (loop $l6 + (block $b6 + (drop (i32.const 9)) + (drop (i32.const 10)) + (br_if $b6 (i32.const 0)) + ) + ) + ) + (func $merge-some-loop-taken + (loop $l1 + (block $b1 + (drop (i32.const 1)) + (br_if $l1 (i32.const 0)) + (drop (i32.const 2)) + (br_if $b1 (i32.const 0)) + (drop (i32.const 3)) + ) + ) + (loop $l2 + (block $b2 + (drop (i32.const 4)) + (br_if $b2 (i32.const 0)) + (drop (i32.const 5)) + (br_if $l2 (i32.const 0)) + (drop (i32.const 6)) + ) + ) + (loop $l3 + (block $b3 + (drop (i32.const 7)) + (br_if $b3 (i32.const 0)) + (drop (i32.const 8)) + (br_if $l3 (i32.const 0)) + ) + ) + (loop $l4 + (block $b4 + (br_if $l4 (i32.const 0)) + (drop (i32.const 9)) + (br_if $b4 (i32.const 0)) + (drop (i32.const 10)) + ) + ) + (loop $l5 + (block $b5 + (drop (i32.const 7)) + (br_if $b5 (i32.const 0)) + (br_if $l5 (i32.const 0)) + ) + ) + (loop $l6 + (block $b6 + (br_if $l6 (i32.const 0)) + (br_if $b6 (i32.const 0)) + (drop (i32.const 10)) + ) + ) + (loop $l7 + (block $b7 + (drop (i32.const 11)) + (br_if $l7 (i32.const 0)) + (br_if $b7 (i32.const 0)) + (drop (i32.const 13)) + ) + ) + (loop $l8 + (block $b8 + (drop (i32.const 14)) + (br_if $b8 (i32.const 0)) + (br_if $l8 (i32.const 0)) + (drop (i32.const 16)) + ) + ) + (loop $l9 + (block $b9 + (drop (i32.const 17)) + (br_if $l9 (i32.const 0)) + (drop (i32.const 18)) + (br_if $l9 (i32.const 0)) + (drop (i32.const 19)) + ) + ) + (loop $l10 + (block $b10 + (drop (i32.const 20)) + (br_if $l10 (i32.const 0)) + (drop (i32.const 21)) + ) + ) + (loop $l11 + (block $b11 + (br_if $l11 (i32.const 0)) + (drop (i32.const 23)) + ) + ) + (loop $l12 + (block $b12 + (drop (i32.const 24)) + (br_if $l12 (i32.const 0)) + ) + ) + ) +) + +(module + (event $e (attr 0) (param i32)) + (func $foo) + + ;; 'nop' within 'block' of `throw' can be hoisted + (func $throw + (throw $e + (block (result i32) + (nop) + (i32.const 3) + ) + ) + ) + + ;; 'call $foo' within 'block' of `rethrow' can be hoisted + (func $rethrow (local $0 exnref) + (rethrow + (block (result exnref) + (call $foo) + (local.get $0) + ) + ) + ) + + ;; 'call $foo' within 'block' of `br_on_exn' can be hoisted + (func $br_on_exn (result i32) (local $0 exnref) + (block $label$0 (result i32) + (drop + (br_on_exn $label$0 $e + (block (result exnref) + (call $foo) + (local.get $0) + ) + ) + ) + (i32.const 3) + ) + ) + + ;; Unlike br_if, br_on_exn's exnref argument itself cannot be extracted. + ;; Without proper handling for br_on_exn in ProblemFinder, this crashes. + (func $cannot_extract_br_on_exn_exnref (local $0 exnref) + (block + (drop + (block $label$0 (result i32) + (drop + (br_on_exn $label$0 $e + (local.get $0) + ) + ) + (i32.const 5) + ) + ) + ) + ) +) |