   0  float_abs %f0 -> %f2
   3  float_add %f2, $0.5 -> %f1
   7  residual_call_irf_f $<* fn floor>, I[], R[], F[%f1], <CallDescr(f) EF=0> -> %f1
  16  float_sub %f1, %f2 -> %f2
  20  -live- %f0, %f1, %f2
  23  goto_if_not_float_lt %f2, $1.0, L1
  28  residual_call_irf_f $<* fn copysign>, I[], R[], F[%f1, %f0], <CallDescr(ff) EF=0> -> %f0
  38  float_return %f0
  40  ---
  40  L1:
  40  float_return %f0
