   0  -live- %f0
   0  goto_if_not_float_lt %f0, $0.0, L1
   5  raise $<* struct object>
   7  ---
   7  L1:
   7  float_mul %f0, $0.0 -> %f1
  11  -live- %f0, %f1
  11  goto_if_not_float_eq %f1, %f1, L2
  16  residual_call_irf_f $<* fn sqrt_nonneg>, I[], R[], F[%f0], <CallDescr(f) EF=0 OS_MATH_SQRT> -> %f0
  25  float_return %f0
  27  ---
  27  L2:
  27  float_return %f0
