Google GitGoogle Git
Sign in
chromium/external/github.com/WebAssembly/binaryen/refs/heads/debuginfo/./test/passes/remove-unused-brs.wast
blob: 40ca5f52043fa1b58f19240002f1ff5afede5bab [file] [edit]
(module
(memory 256 256)
(type $0 (func (param i32)))
(type $1 (func))
(type $2 (func (result i32)))
(func $b0-yes (type $0) (param $i1 i32)
(block $topmost
(br $topmost)
)
)
(func $b1 (type $0) (param $i1 i32)
(block $topmost
(block
(drop
(i32.const 0)
)
(br $topmost)
)
)
)
(func $b2 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(br $topmost)
)
)
)
(func $b3-yes (type $0) (param $i1 i32)
(block $topmost
(block $inner
(br $inner)
)
)
)
(func $b4 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(block
(drop
(i32.const 0)
)
(br $topmost)
)
)
)
)
(func $b5 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(block
(drop
(i32.const 0)
)
(br $inner)
)
)
)
)
(func $b6 (type $0) (param $i1 i32)
(block $topmost
(br_if $topmost
(i32.const 1)
)
)
)
(func $b7 (type $0) (param $i1 i32)
(block $topmost
(block
(drop
(i32.const 0)
)
(br_if $topmost
(i32.const 1)
)
)
)
)
(func $b8 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(br_if $topmost
(i32.const 1)
)
)
)
)
(func $b9 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(br_if $topmost
(i32.const 1)
)
)
)
)
(func $b10 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(block
(drop
(i32.const 0)
)
(br_if $topmost
(i32.const 1)
)
)
)
)
)
(func $b11 (type $0) (param $i1 i32)
(block $topmost
(block $inner
(block
(drop
(i32.const 0)
)
(br_if $inner
(i32.const 1)
)
)
)
)
)
(func $b12-yes (type $1)
(block $topmost
(if
(i32.const 1)
(block $block1
(drop
(i32.const 12)
)
(block
(drop
(i32.const 1)
)
(br $topmost)
)
)
(block $block3
(drop
(i32.const 27)
)
(block
(drop
(i32.const 2)
)
(br $topmost)
)
)
)
)
)
(func $b13 (type $2) (result i32)
(block $topmost i32
(if
(i32.const 1)
(block $block1
(drop
(i32.const 12)
)
(drop
(br_if $topmost
(i32.const 1)
(i32.const 1)
)
)
)
(block $block3
(drop
(i32.const 27)
)
(br $topmost
(i32.const 2)
)
)
)
(i32.const 3)
)
)
(func $b14 (type $2) (result i32)
(block $topmost i32
(if i32
(i32.const 1)
(block $block1 i32
(i32.const 12)
)
(block $block3 i32
(i32.const 27)
)
)
)
)
(func $b15 (type $1)
(block $topmost
(if
(i32.const 17)
(br $topmost)
)
)
)
(func $b15b (type $1)
(block $topmost
(if
(i32.const 18)
(block
(drop
(i32.const 0)
)
(br $topmost)
)
)
)
)
(func $b16 (type $1)
(block $a
(block $b
(block $c
(br $a)
)
(br $a)
)
(br $a)
)
(block $a
(block $b
(block $c
(br $c)
)
(br $b)
)
(br $a)
)
(block $a
(block $b
(block $c
(br $b)
)
(br $a)
)
(br $a)
)
)
(func $b17 (type $1)
(block $a
(if
(i32.const 0)
(block $block1
(br $a)
)
(block $block3
(br $a)
)
)
)
(block $a
(if
(i32.const 0)
(drop
(i32.const 1)
)
(block $block6
(br $a)
)
)
)
(block $a
(if
(i32.const 0)
(block $block8
(br $a)
)
(drop
(i32.const 1)
)
)
)
(block $c
(block $b
(if
(i32.const 0)
(block $block11
(br $b)
)
(block $block13
(br $c)
)
)
)
)
)
(func $ret-1 (type $1)
(return)
)
(func $ret-2 (type $1)
(block $block0
(block $block1
(return)
)
)
)
(func $ret-3 (type $1)
(block $block0
(if
(i32.const 0)
(return)
(block $block3
(return)
)
)
)
)
(func $ret-value (type $2) (result i32)
(block $block0
(block $block1
(return
(i32.const 1)
)
)
)
)
(func $no-select-but-the-last (type $1)
(block $a
(if
(i32.const 0)
(drop
(i32.const 1)
)
(block $block2
(block
(drop
(i32.const 2)
)
(br $a)
)
(drop
(i32.const 3)
)
)
)
(if
(i32.const 0)
(block $block4
(block
(drop
(i32.const 2)
)
(br $a)
)
(drop
(i32.const 3)
)
)
(drop
(i32.const 1)
)
)
(if
(block $block6 i32
(block
(drop
(i32.const 2)
)
(br $a)
)
(i32.const 3)
)
(drop
(i32.const 0)
)
(drop
(i32.const 1)
)
)
(if
(block $a i32
(br $a
(i32.const 0)
)
)
(block $a
(block
(drop
(i32.const 1)
)
(br $a)
)
)
(block $a
(block
(drop
(i32.const 2)
)
(br $a)
)
)
)
)
)
(func $side-effects-and-order (type $2) (result i32)
(local $x i32)
(block $do-once$0
(if
(call $b13)
(block
(drop
(i32.const 0)
)
(br $do-once$0)
)
)
(drop
(i32.const 1)
)
)
(block $do-once$0
(if
(call $b13)
(block
(drop
(call $b14)
)
(br $do-once$0)
)
)
(drop
(i32.const 1)
)
)
(block $do-once$0
(if
(i32.const 0)
(block
(drop
(call $b14)
)
(br $do-once$0)
)
)
(drop
(i32.const 1)
)
)
(block $do-once$0 i32
(if
(tee_local $x
(i32.const 1)
)
(br $do-once$0
(tee_local $x
(i32.const 2)
)
)
)
(i32.const 1)
)
)
(func $loops
(loop $in
(block $out
(if (i32.const 0) (br $out))
(br $in) ;; we can conditionalize this, and then the br out can vanish
)
)
(loop $in
(br $in)
)
(loop
(block $out
(if (i32.const 0) (br $out))
(br $out)
)
)
(loop $in
(block $out
(if (i32.const 0) (br $out))
(br $out)
)
)
(loop $in)
(loop $in
(block $out)
)
(loop $in
(block $out
(if (i32.const 0) (br $out))
(br_if $in (i32.const 1))
)
)
(loop $in
(block $out
(if (i32.const 0) (br $in))
(br $out)
)
)
(loop $in
(block $out
(if (i32.const 0) (unreachable))
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(block
(call $loops)
(br $out)
)
)
(br $in)
)
)
(loop $in-todo ;; br_if into if
(block $out-todo
(if (i32.const 0) (br $out-todo))
(call $loops)
(br $in-todo)
)
)
(loop $in
(block $out
(if (i32.const 0)
(br $out)
(call $loops)
)
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(call $loops)
(br $out)
)
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(block
(drop (i32.const 1))
(call $loops)
)
(br $out)
)
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(br $out)
(call $loops)
)
(drop (i32.const 100))
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(call $loops)
(br $out)
)
(drop (i32.const 101))
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(block
(drop (i32.const 1))
(call $loops)
)
(br $out)
)
(drop (i32.const 102))
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(br $out)
(call $loops)
)
(return)
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(br $out)
(call $loops)
)
(br $out)
(br $in)
)
)
(loop $in
(block $out
(if (i32.const 0)
(br $out)
(call $loops)
)
(drop
(block $out2 i32
(br $out2 (i32.const 1))
)
)
(br $in)
)
)
(loop $in
(block $out
(br_if $out (i32.const 0))
(br $in)
)
)
(loop $in-todo2 ;; if-ify
(block $out-todo2
(br_if $out-todo2 (i32.const 0))
(call $loops)
(br $in-todo2)
)
)
(loop $in
(block $out
(br $out)
(br $in)
)
)
(loop $in
(block $out
(br_if $in (i32.const 0))
(br $in)
)
)
(loop $in-not ;; do NOT if-ify, the block can't be removed
(block $out-not
(br_if $out-not (i32.const -1))
(br_if $out-not (i32.const 0))
(call $loops)
(br $in-not)
)
)
(loop $in-todo2 ;; if-ify a slice with 2 things
(block $out-todo2
(br_if $out-todo2 (i32.const 0))
(call $loops)
(drop (i32.const 1))
(br $in-todo2)
)
)
)
(func $br_if_in_block (result i32)
(block $outval i32
(block $in
(if (i32.const 1) (br $in) (br $in))
(drop (i32.const 2))
(if (i32.const 3) (unreachable) (br $in))
(drop (i32.const 4))
(if (i32.const 5) (br $in) (unreachable))
(drop (i32.const 6))
)
(if i32 (i32.const 6) (br $outval (i32.const 7)) (i32.const 8))
)
)
(func $threading
(drop
(block $value-out i32
(block $value-in i32
(block $out
(block $in
(if (i32.const 1)
(br $in)
)
(br_if $in (i32.const 2))
(br $value-in (i32.const 3))
)
(br $out)
)
(i32.const 4)
)
)
)
(block $stack1
(block $stack2
(block $stack3
(block $stack4
(if (i32.const 1)
(br $stack4)
)
(unreachable)
)
(br $stack3)
)
(br $stack2)
)
(br $stack1)
)
)
(func $if-to-br_if-conflict (param $x i32) (param $y i32) (result i32)
(block $leave
(set_local $y
(block $out i32
(if
(get_local $x)
(br $out
(block i32
(set_local $x (i32.const 0))
(i32.const 1)
)
)
(br_if $leave (i32.const 1))
)
(unreachable)
)
)
)
(i32.add (get_local $x) (get_local $y))
)
(func $if-to-br_if-conflict2 (param $x i32) (param $y i32) (result i32)
(block $leave
(set_local $y
(block $out i32
(if
(get_local $x)
(br_if $leave (i32.const 1))
(br $out
(block i32
(set_local $x (i32.const 0))
(i32.const 1)
)
)
)
(unreachable)
)
)
)
(i32.add (get_local $x) (get_local $y))
)
(func $if-to-br_if-value-sideeffect (param $x i32) (param $y i32) (result i32)
(block $leave
(set_local $y
(block $out i32
(if
(get_local $x)
(br $out
(block i32
(drop (call $if-to-br_if-value-sideeffect (i32.const 0) (i32.const 1)))
(nop)
(i32.const 1)
)
)
)
(unreachable)
)
)
)
(i32.add (get_local $x) (get_local $y))
)
(func $fuzz (param $j i32) (param $g i32)
(block $label$break$c
(loop $label$continue$d
(block $label$break$d
(if
(i32.lt_s
(get_local $j)
(i32.const 2147483640)
)
(block $x
(block $y
(block $z
(br_if $y
(get_local $j)
)
(br $x) ;; don't be confused by this
)
(nop) ;; get me to the store!
)
)
(block $switch$26
(nop)
)
)
(i32.store
(i32.const 5724)
(i32.const -254899267)
)
(br $label$continue$d)
)
)
)
)
(func $iffify
(block $yes
(br_if $yes
(i32.const 0)
)
(drop (i32.const 1))
(drop (i32.const 2))
)
(block $no
(br_if $no
(i32.const 0)
)
(drop (i32.const 1))
(br $no)
(drop (i32.const 2))
)
(block $no2
(br_if $no2
(i32.const 0)
)
)
(block $no3
(br $no3)
(drop (i32.const 1))
(drop (i32.const 2))
)
(block $no5
(block $no4
(br_if $no5
(i32.const 0)
)
(drop (i32.const 1))
(drop (i32.const 2))
)
)
)
(func $loop-if (result i32)
(block $outer i32
(loop $typed i32
;; we can move the br after us into our if-else, which means we are the final
;; element in the block,
(if
(i32.const 2)
(block
(drop (call $loop-if))
(br $outer (i32.const 0))
)
)
(br $typed)
)
)
)
)