src/binaryen/test/passes/O.txt

   1 (module
   2  (type $0 (func (result i32)))
   3  (type $1 (func (param i64)))
   4  (memory $0 0)
   5  (export "ret" (func $ret))
   6  (export "waka" (func $if-0-unreachable-to-none))
   7  (func $ret (; 0 ;) (type $0) (result i32)
   8   (block $out (result i32)
   9    (drop
  10     (call $ret)
  11    )
  12    (if
  13     (call $ret)
  14     (return
  15      (i32.const 1)
  16     )
  17    )
  18    (i32.const 999)
  19   )
  20  )
  21  (func $if-0-unreachable-to-none (; 1 ;) (type $1) (param $0 i64)
  22   (unreachable)
  23  )
  24 )