test/passes/O.txt

(module
 (type $0 (func (result i32)))
 (memory $0 0)
 (export "ret" (func $ret))
 (func $ret (type $0) (result i32)
  (block $out i32
   (drop
    (call $ret)
   )
   (if
    (call $ret)
    (return
     (i32.const 1)
    )
   )
   (i32.const 999)
  )
 )
)