test/untaken-br_if.wast.from-wast

(module
 (type $none_=>_f32 (func (result f32)))
 (func $binaryify-untaken-br_if (result f32)
  (if (result f32)
   (i32.const 1)
   (unreachable)
   (block $label$1 (result f32)
    (br_if $label$1
     (f32.const 1)
     (unreachable)
    )
   )
  )
 )
)