New upstream version 1.23.0+dfsg1

[rustc.git] / src / binaryen / test / passes / remove-unused-brs.txt

(module
 (type $0 (func (param i32)))
 (type $1 (func))
 (type $2 (func (result i32)))
 (type $3 (func (param i32 i32) (result i32)))
 (type $4 (func (param i32 i32)))
 (type $5 (func (param f32 i32 f32 i32 i32 f64 f32) (result i32)))
 (type $6 (func (param i32) (result i64)))
 (type $7 (func (result i64)))
 (type $8 (func (result f32)))
 (type $9 (func (param i32) (result f32)))
 (memory $0 256 256)
 (func $b0-yes (; 0 ;) (type $0) (param $i1 i32)
  (block $topmost
  )
 )
 (func $b1 (; 1 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $block
    (drop
     (i32.const 0)
    )
   )
  )
 )
 (func $b2 (; 2 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
   )
  )
 )
 (func $b3-yes (; 3 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
   )
  )
 )
 (func $b4 (; 4 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $b5 (; 5 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $b6 (; 6 ;) (type $0) (param $i1 i32)
  (block $topmost
   (br_if $topmost
    (i32.const 1)
   )
  )
 )
 (func $b7 (; 7 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $block
    (drop
     (i32.const 0)
    )
    (br_if $topmost
     (i32.const 1)
    )
   )
  )
 )
 (func $b8 (; 8 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (br_if $topmost
     (i32.const 1)
    )
   )
  )
 )
 (func $b9 (; 9 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (br_if $topmost
     (i32.const 1)
    )
   )
  )
 )
 (func $b10 (; 10 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
     (br_if $topmost
      (i32.const 1)
     )
    )
   )
  )
 )
 (func $b11 (; 11 ;) (type $0) (param $i1 i32)
  (block $topmost
   (block $inner
    (block $block
     (drop
      (i32.const 0)
     )
     (br_if $topmost
      (i32.const 1)
     )
    )
   )
  )
 )
 (func $b12-yes (; 12 ;) (type $1)
  (block $topmost
   (if
    (i32.const 1)
    (block $block1
     (drop
      (i32.const 12)
     )
     (block $block
      (drop
       (i32.const 1)
      )
     )
    )
    (block $block3
     (drop
      (i32.const 27)
     )
     (block $block0
      (drop
       (i32.const 2)
      )
     )
    )
   )
  )
 )
 (func $b13 (; 13 ;) (type $2) (result i32)
  (block $topmost (result 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 (; 14 ;) (type $2) (result i32)
  (block $topmost (result i32)
   (if (result i32)
    (i32.const 1)
    (block $block1 (result i32)
     (i32.const 12)
    )
    (block $block3 (result i32)
     (i32.const 27)
    )
   )
  )
 )
 (func $b15 (; 15 ;) (type $1)
  (block $topmost
   (br_if $topmost
    (i32.const 17)
   )
  )
 )
 (func $b15b (; 16 ;) (type $1)
  (block $topmost
   (if
    (i32.const 18)
    (block $block
     (drop
      (i32.const 0)
     )
    )
   )
  )
 )
 (func $b16 (; 17 ;) (type $1)
  (block $a
   (block $b
    (block $c
    )
   )
  )
  (block $a1
   (block $b2
    (block $c3
    )
   )
  )
  (block $a4
   (block $b5
    (block $c6
    )
   )
  )
 )
 (func $b17 (; 18 ;) (type $1)
  (block $a
   (if
    (i32.const 0)
    (block $block1
    )
    (block $block3
    )
   )
  )
  (block $a7
   (if
    (i32.const 0)
    (drop
     (i32.const 1)
    )
    (block $block6
    )
   )
  )
  (block $a9
   (if
    (i32.const 0)
    (block $block8
    )
    (drop
     (i32.const 1)
    )
   )
  )
  (block $c
   (block $b
    (if
     (i32.const 0)
     (block $block11
     )
     (block $block13
     )
    )
   )
  )
 )
 (func $ret-1 (; 19 ;) (type $1)
  (nop)
 )
 (func $ret-2 (; 20 ;) (type $1)
  (block $block0
   (block $block1
   )
  )
 )
 (func $ret-3 (; 21 ;) (type $1)
  (block $block0
   (if
    (i32.const 0)
    (nop)
    (block $block3
    )
   )
  )
 )
 (func $ret-value (; 22 ;) (type $2) (result i32)
  (block $block0 (result i32)
   (block $block1 (result i32)
    (i32.const 1)
   )
  )
 )
 (func $no-select-but-the-last (; 23 ;) (type $1)
  (block $a
   (if
    (i32.const 0)
    (drop
     (i32.const 1)
    )
    (block $block2
     (block $block
      (drop
       (i32.const 2)
      )
      (br $a)
     )
     (drop
      (i32.const 3)
     )
    )
   )
   (if
    (i32.const 0)
    (block $block4
     (block $block13
      (drop
       (i32.const 2)
      )
      (br $a)
     )
     (drop
      (i32.const 3)
     )
    )
    (drop
     (i32.const 1)
    )
   )
   (if
    (block $block6 (result i32)
     (block $block15
      (drop
       (i32.const 2)
      )
      (br $a)
     )
     (i32.const 3)
    )
    (drop
     (i32.const 0)
    )
    (drop
     (i32.const 1)
    )
   )
   (if
    (block $a17 (result i32)
     (i32.const 0)
    )
    (block $a18
     (block $block19
      (drop
       (i32.const 1)
      )
     )
    )
    (block $a20
     (block $block21
      (drop
       (i32.const 2)
      )
     )
    )
   )
  )
 )
 (func $side-effects-and-order (; 24 ;) (type $2) (result i32)
  (local $x i32)
  (block $do-once$0
   (if
    (call $b13)
    (block $block
     (drop
      (i32.const 0)
     )
     (br $do-once$0)
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (block $do-once$022
   (if
    (call $b13)
    (block $block24
     (drop
      (call $b14)
     )
     (br $do-once$022)
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (block $do-once$025
   (if
    (i32.const 0)
    (block $block27
     (drop
      (call $b14)
     )
     (br $do-once$025)
    )
   )
   (drop
    (i32.const 1)
   )
  )
  (block $do-once$028 (result i32)
   (if
    (tee_local $x
     (i32.const 1)
    )
    (br $do-once$028
     (tee_local $x
      (i32.const 2)
     )
    )
   )
   (i32.const 1)
  )
 )
 (func $loops (; 25 ;) (type $1)
  (loop $in
   (block $out
    (br_if $in
     (i32.eqz
      (i32.const 0)
     )
    )
   )
  )
  (loop $in30
   (br $in30)
  )
  (loop $loop-in
   (block $out31
    (br_if $out31
     (i32.const 0)
    )
   )
  )
  (loop $in33
   (block $out34
    (br_if $out34
     (i32.const 0)
    )
   )
  )
  (loop $in36
   (nop)
  )
  (loop $in37
   (block $out38
   )
  )
  (loop $in39
   (if
    (i32.eqz
     (i32.const 0)
    )
    (block
     (nop)
     (br_if $in39
      (i32.const 1)
     )
    )
   )
  )
  (loop $in42
   (block $out43
    (br_if $in42
     (i32.const 0)
    )
   )
  )
  (loop $in45
   (block $out46
    (br_if $in45
     (i32.eqz
      (i32.const 0)
     )
    )
    (unreachable)
   )
  )
  (loop $in48
   (block $out49
    (br_if $in48
     (i32.eqz
      (i32.const 0)
     )
    )
    (block $block
     (call $loops)
    )
   )
  )
  (loop $in-todo
   (block $out-todo
    (if
     (i32.const 0)
     (nop)
     (block
      (call $loops)
      (br $in-todo)
     )
    )
   )
  )
  (loop $in52
   (block $out53
    (if
     (i32.const 0)
     (nop)
     (block
      (call $loops)
      (br $in52)
     )
    )
   )
  )
  (loop $in55
   (block $out56
    (if
     (i32.const 0)
     (block
      (call $loops)
      (br $in55)
     )
     (nop)
    )
   )
  )
  (loop $in58
   (block $out59
    (if
     (i32.const 0)
     (block
      (block $block61
       (drop
        (i32.const 1)
       )
       (call $loops)
      )
      (br $in58)
     )
     (nop)
    )
   )
  )
  (loop $in62
   (block $out63
    (if
     (i32.const 0)
     (nop)
     (block
      (call $loops)
      (drop
       (i32.const 100)
      )
      (br $in62)
     )
    )
   )
  )
  (loop $in65
   (block $out66
    (if
     (i32.const 0)
     (block
      (call $loops)
      (drop
       (i32.const 101)
      )
      (br $in65)
     )
     (nop)
    )
   )
  )
  (loop $in68
   (block $out69
    (if
     (i32.const 0)
     (block
      (block $block71
       (drop
        (i32.const 1)
       )
       (call $loops)
      )
      (drop
       (i32.const 102)
      )
      (br $in68)
     )
     (nop)
    )
   )
  )
  (loop $in72
   (if
    (i32.eqz
     (i32.const 0)
    )
    (block
     (nop)
     (call $loops)
     (return)
     (br $in72)
    )
   )
  )
  (loop $in75
   (block $out76
    (br_if $out76
     (i32.const 0)
    )
    (call $loops)
    (br $out76)
    (br $in75)
   )
  )
  (loop $in78
   (block $out79
    (if
     (i32.const 0)
     (nop)
     (block
      (call $loops)
      (drop
       (block $out2 (result i32)
        (i32.const 1)
       )
      )
      (br $in78)
     )
    )
   )
  )
  (loop $in81
   (block $out82
    (br_if $in81
     (i32.eqz
      (i32.const 0)
     )
    )
   )
  )
  (loop $in-todo2
   (block $out-todo2
    (if
     (i32.const 0)
     (nop)
     (block
      (call $loops)
      (br $in-todo2)
     )
    )
   )
  )
  (loop $in83
   (block $out84
    (br $out84)
    (br $in83)
   )
  )
  (loop $in85
   (block $out86
    (br_if $in85
     (i32.const 0)
    )
    (br $in85)
   )
  )
  (loop $in-not
   (block $out-not
    (br_if $out-not
     (i32.const -1)
    )
    (br_if $out-not
     (i32.const 0)
    )
    (call $loops)
    (br $in-not)
   )
  )
  (loop $in-todo287
   (block $out-todo288
    (if
     (i32.const 0)
     (nop)
     (block
      (call $loops)
      (drop
       (i32.const 1)
      )
      (br $in-todo287)
     )
    )
   )
  )
 )
 (func $br_if_in_block (; 26 ;) (type $2) (result i32)
  (block $outval (result i32)
   (block $in
    (br_if $in
     (i32.const 1)
    )
    (br $in)
    (drop
     (i32.const 2)
    )
    (br_if $in
     (i32.eqz
      (i32.const 3)
     )
    )
    (unreachable)
    (drop
     (i32.const 4)
    )
    (br_if $in
     (i32.const 5)
    )
    (unreachable)
    (drop
     (i32.const 6)
    )
   )
   (if (result i32)
    (i32.const 6)
    (br $outval
     (i32.const 7)
    )
    (i32.const 8)
   )
  )
 )
 (func $threading (; 27 ;) (type $1)
  (drop
   (block $value-out (result i32)
    (block $value-in (result i32)
     (block $out
      (block $in
       (br_if $out
        (i32.const 1)
       )
       (br_if $out
        (i32.const 2)
       )
       (br $value-in
        (i32.const 3)
       )
      )
     )
     (i32.const 4)
    )
   )
  )
  (block $stack1
   (block $stack2
    (block $stack3
     (block $stack4
      (br_if $stack1
       (i32.const 1)
      )
      (unreachable)
     )
    )
   )
  )
 )
 (func $if-to-br_if-conflict (; 28 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $leave
   (set_local $y
    (block $out (result i32)
     (if
      (get_local $x)
      (br $out
       (block $block (result 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 (; 29 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $leave
   (set_local $y
    (block $out (result i32)
     (if
      (get_local $x)
      (br_if $leave
       (i32.const 1)
      )
      (br $out
       (block $block (result 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 (; 30 ;) (type $3) (param $x i32) (param $y i32) (result i32)
  (block $leave
   (set_local $y
    (block $out (result i32)
     (if
      (get_local $x)
      (br $out
       (block $block (result 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 (; 31 ;) (type $4) (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 $x
          (get_local $j)
         )
        )
       )
      )
      (block $switch$26
      )
     )
     (i32.store
      (i32.const 5724)
      (i32.const -254899267)
     )
     (br $label$continue$d)
    )
   )
  )
 )
 (func $iffify (; 32 ;) (type $1)
  (if
   (i32.eqz
    (i32.const 0)
   )
   (block
    (nop)
    (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 (; 33 ;) (type $2) (result i32)
  (block $outer (result i32)
   (loop $typed (result i32)
    (if (result i32)
     (i32.const 2)
     (block $block (result i32)
      (drop
       (call $loop-if)
      )
      (i32.const 0)
     )
     (br $typed)
    )
   )
  )
 )
 (func $block-break (; 34 ;) (type $0) (param $0 i32)
  (block $block$7$break
   (block $shape$6$continue
    (call $block-break
     (i32.const 1)
    )
   )
  )
 )
 (func $loop-break (; 35 ;) (type $0) (param $0 i32)
  (block $block$7$break
   (loop $shape$6$continue
    (call $loop-break
     (i32.const 1)
    )
    (br_if $shape$6$continue
     (get_local $0)
    )
    (nop)
   )
  )
 )
 (func $untaken-brs-might-prevent-block-removal (; 36 ;) (type $5) (param $0 f32) (param $1 i32) (param $2 f32) (param $3 i32) (param $4 i32) (param $5 f64) (param $6 f32) (result i32)
  (block $label$0 (result i32)
   (block $label$1
    (br_if $label$1
     (i32.const 607395945)
    )
    (br_if $label$1
     (unreachable.load16_s offset=3 align=1
      (select
       (call $untaken-brs-might-prevent-block-removal
        (f32.const 1.4904844647389837e-07)
        (br_if $label$0
         (i32.store16 offset=4 align=1
          (i32.const 1900641)
          (br $label$0
           (i32.const 1628075109)
          )
         )
         (i32.const 1764950569)
        )
        (f32.const 1.1910939690100655e-32)
        (i32.const 1628057906)
        (i32.const 859068982)
        (f64.const 2.524518840347722e-258)
        (f32.const -nan:0x40a63)
       )
       (i32.const 688529440)
       (i32.const 1751478890)
      )
     )
    )
   )
   (i32.const 1935947830)
  )
 )
 (func $unexitable-loops-result (; 37 ;) (type $6) (param $0 i32) (result i64)
  (loop $label$0
   (loop $label$1
    (br_if $label$0
     (i32.load8_s
      (i32.const 201460482)
     )
    )
    (block
     (block $label$3
      (br_if $label$1
       (get_local $0)
      )
     )
     (br $label$1)
    )
   )
  )
 )
 (func $untaken-br-with-concrete-last-element (; 38 ;) (type $1)
  (block $label$8
   (block $label$11
    (block $label$14
     (br_if $label$8
      (br $label$8)
     )
    )
   )
  )
 )
 (func $untaken-br-with-concrete-last-element2 (; 39 ;) (type $2) (result i32)
  (block $label$8 (result i32)
   (block $label$11 (result i32)
    (block $label$14 (result i32)
     (br_if $label$14
      (i32.const 102)
      (br $label$11
       (i32.const 103)
      )
     )
    )
   )
  )
 )
 (func $untaken-br_if-then-if (; 40 ;) (type $1)
  (block $label$0
   (br_if $label$0
    (unreachable)
   )
   (if
    (i32.const 0)
    (nop)
   )
  )
 )
 (func $unreachable-if-that-could-be-a-br_if (; 41 ;) (type $7) (result i64)
  (loop $label$3 (result i64)
   (drop
    (if (result f64)
     (unreachable)
     (f64.const 1)
     (br $label$3)
    )
   )
   (i64.const 1)
  )
 )
 (func $nop-br-might-update-type (; 42 ;) (type $1)
  (block $label$39
   (drop
    (if (result i32)
     (unreachable)
     (if (result i32)
      (i32.const 1)
      (br $label$39)
      (i32.const 0)
     )
     (i32.const 0)
    )
   )
  )
 )
 (func $no-flow-through-if-without-else (; 43 ;) (type $8) (result f32)
  (local $0 i32)
  (local $2 f32)
  (block $label$0 (result f32)
   (if (result f32)
    (get_local $0)
    (block $label$11
     (return
      (f32.const 239)
     )
     (if
      (i32.const 0)
      (return
       (get_local $2)
      )
     )
    )
    (f32.const -9223372036854775808)
   )
  )
 )
 (func $unreachable-return-loop-value (; 44 ;) (type $7) (result i64)
  (loop $loop
   (if
    (i32.const 1)
    (block $block
     (br_if $block
      (br $loop)
     )
     (br $loop)
    )
   )
   (br $loop)
  )
 )
 (func $obviously-flows-out-maybe (; 45 ;) (type $9) (param $var$0 i32) (result f32)
  (block $label$1 (result f32)
   (br $label$1
    (f32.const 1)
   )
   (loop $label$5
    (if
     (i32.const 11)
     (block $label$8
      (br_if $label$8
       (unreachable)
      )
      (br $label$5)
     )
    )
    (br $label$5)
   )
  )
 )
)