src/binaryen/test/passes/remove-unused-brs_shrink-level=1.txt

   1 (module
   2  (type $0 (func (param i32)))
   3  (type $1 (func))
   4  (type $2 (func (result i32)))
   5  (memory $0 256 256)
   6  (func $b14 (; 0 ;) (type $2) (result i32)
   7   (drop
   8    (select
   9     (block $block1 (result i32)
  10      (i32.const 12)
  11     )
  12     (block $block3 (result i32)
  13      (i32.const 27)
  14     )
  15     (i32.const 1)
  16    )
  17   )
  18   (drop
  19    (if (result i32)
  20     (i32.const 1)
  21     (i32.load
  22      (i32.const 10)
  23     )
  24     (i32.const 27)
  25    )
  26   )
  27   (drop
  28    (if (result i32)
  29     (i32.const 1)
  30     (i32.rem_s
  31      (i32.const 11)
  32      (i32.const 12)
  33     )
  34     (i32.const 27)
  35    )
  36   )
  37   (drop
  38    (if (result i32)
  39     (i32.const 1)
  40     (i32.trunc_u/f64
  41      (f64.const 12.34)
  42     )
  43     (i32.const 27)
  44    )
  45   )
  46   (i32.const 0)
  47  )
  48  (func $join-br_ifs (; 1 ;) (type $1)
  49   (block $out
  50    (br_if $out
  51     (i32.or
  52      (i32.const 1)
  53      (i32.const 2)
  54     )
  55    )
  56    (nop)
  57    (br_if $out
  58     (i32.const 3)
  59    )
  60   )
  61   (block $out2
  62    (block $out3
  63     (br_if $out2
  64      (i32.const 1)
  65     )
  66     (br_if $out3
  67      (i32.const 2)
  68     )
  69     (br_if $out2
  70      (i32.const 3)
  71     )
  72    )
  73    (unreachable)
  74   )
  75   (block $out4
  76    (block $out5
  77     (br_if $out4
  78      (i32.const 1)
  79     )
  80     (br_if $out5
  81      (i32.or
  82       (i32.const 2)
  83       (i32.const 3)
  84      )
  85     )
  86     (nop)
  87    )
  88    (unreachable)
  89   )
  90   (block $out6
  91    (block $out7
  92     (br_if $out6
  93      (i32.or
  94       (i32.const 1)
  95       (i32.const 2)
  96      )
  97     )
  98     (nop)
  99     (br_if $out7
 100      (i32.const 3)
 101     )
 102    )
 103    (unreachable)
 104   )
 105   (if
 106    (i32.eqz
 107     (i32.or
 108      (call $b14)
 109      (i32.const 0)
 110     )
 111    )
 112    (block
 113     (nop)
 114     (nop)
 115    )
 116   )
 117   (block $out83
 118    (br_if $out83
 119     (i32.const 1)
 120    )
 121    (br_if $out83
 122     (call $b14)
 123    )
 124   )
 125  )
 126  (func $join-and-it-becomes-unreachable (; 2 ;) (type $1)
 127   (block $label$1
 128    (block $block
 129     (br_if $label$1
 130      (i32.load8_u
 131       (i32.const -93487262)
 132      )
 133     )
 134     (br_if $label$1
 135      (loop $label$5
 136       (br $label$5)
 137      )
 138     )
 139    )
 140   )
 141  )
 142  (func $br-if-unreachable-pair (; 3 ;) (type $1)
 143   (block $label$14
 144    (br_if $label$14
 145     (unreachable)
 146    )
 147    (br_if $label$14
 148     (i32.const 0)
 149    )
 150   )
 151  )
 152  (func $br-if-unreachable-pair2 (; 4 ;) (type $1)
 153   (block $label$14
 154    (br_if $label$14
 155     (i32.const 0)
 156    )
 157    (br_if $label$14
 158     (unreachable)
 159    )
 160   )
 161  )
 162 )