src/binaryen/test/unreachable-code.wast.fromBinary

   1 (module
   2  (type $0 (func))
   3  (memory $0 0)
   4  (func $a (; 0 ;) (type $0)
   5   (if
   6    (i32.const 1)
   7    (unreachable)
   8   )
   9  )
  10  (func $b (; 1 ;) (type $0)
  11   (if
  12    (i32.const 1)
  13    (unreachable)
  14    (unreachable)
  15   )
  16  )
  17  (func $a-block (; 2 ;) (type $0)
  18   (if
  19    (i32.const 1)
  20    (unreachable)
  21   )
  22  )
  23  (func $b-block (; 3 ;) (type $0)
  24   (if
  25    (i32.const 1)
  26    (unreachable)
  27    (unreachable)
  28   )
  29  )
  30  (func $a-prepost (; 4 ;) (type $0)
  31   (nop)
  32   (if
  33    (i32.const 1)
  34    (unreachable)
  35   )
  36   (nop)
  37  )
  38  (func $b-prepost (; 5 ;) (type $0)
  39   (nop)
  40   (if
  41    (i32.const 1)
  42    (unreachable)
  43    (unreachable)
  44   )
  45  )
  46  (func $a-block-prepost (; 6 ;) (type $0)
  47   (nop)
  48   (block $label$1
  49    (if
  50     (i32.const 1)
  51     (unreachable)
  52    )
  53   )
  54   (nop)
  55  )
  56  (func $b-block-prepost (; 7 ;) (type $0)
  57   (nop)
  58   (block $label$1
  59    (if
  60     (i32.const 1)
  61     (unreachable)
  62     (unreachable)
  63    )
  64   )
  65  )
  66  (func $recurse (; 8 ;) (type $0)
  67   (nop)
  68   (block $label$1
  69    (nop)
  70    (br $label$1)
  71   )
  72   (nop)
  73  )
  74  (func $recurse-b (; 9 ;) (type $0)
  75   (block $label$1
  76    (nop)
  77    (block $label$2
  78     (nop)
  79     (br $label$1)
  80    )
  81   )
  82  )
  83 )
  84