   0  float_mul %f0, $0.0 -> %f1
   4  -live- %f0, %f1
   4  goto_if_not_float_eq %f1, %f1, L1
   9  float_copy %f0 -> %f1
  12  residual_call_irf_f $<* fn floor>, I[], R[], F[%f1], <CallDescr(f) EF=0> -> %f0
  21  float_sub %f1, %f0 -> %f1
  25  -live- %f0, %f1
  25  goto_if_not_float_gt %f1, $0.5, L2
  30  float_add %f0, $1.0 -> %f0
  34  L3:
  34  -live- %f0, %f1
  34  goto_if_not_float_eq %f1, $0.5, L4
  39  float_mul %f0, $0.5 -> %f1
  43  residual_call_irf_f $<* fn floor>, I[], R[], F[%f1], <CallDescr(f) EF=0> -> %f1
  52  float_mul %f1, $2.0 -> %f1
  56  float_sub %f0, %f1 -> %f1
  60  -live- %f0, %f1
  60  goto_if_not_float_eq %f1, $1.0, L5
  65  float_add %f0, $1.0 -> %f0
  69  float_return %f0
  71  ---
  71  L5:
  71  float_return %f0
  73  ---
  73  L4:
  73  float_return %f0
  75  ---
  75  L2:
  75  goto L3
  78  ---
  78  L1:
  78  float_return %f0
