   0  -live- %f0, %f1
   3  goto_if_not_float_ne %f1, %f1, L1
   8  float_return $nan
  10  ---
  10  L1:
  10  float_sub %f0, %f0 -> %f2
  14  -live- %f0, %f1, %f2
  17  goto_if_not_float_eq %f2, $0.0, L2
  22  float_add %f1, $1.1235582092889474e+307 -> %f2
  26  float_eq %f2, %f1 -> %i0
  30  -live- %f0, %f1, %i0
  33  goto_if_not %i0, L3
  37  L4:
  37  residual_call_irf_f $<* fn copysign>, I[], R[], F[$1.0, %f1], <CallDescr(ff) EF=0> -> %f2
  47  -live- %f0, %f2
  50  goto_if_not_float_eq %f2, $1.0, L5
  55  residual_call_irf_f $<* fn copysign>, I[], R[], F[$0.0, %f0], <CallDescr(ff) EF=0> -> %f2
  65  float_return %f2
  67  ---
  67  L5:
  67  residual_call_irf_f $<* fn copysign>, I[], R[], F[$3.141592653589793, %f0], <CallDescr(ff) EF=0> -> %f2
  77  float_return %f2
  79  ---
  79  L3:
  79  -live- %f0, %f1
  82  goto_if_not_float_eq %f0, $0.0, L6
  87  goto L4
  90  ---
  90  L6:
  90  residual_call_irf_f $<* fn atan2>, I[], R[], F[%f0, %f1], <CallDescr(ff) EF=2> -> %f2
 100  float_return %f2
 102  ---
 102  L2:
 102  -live- %f0, %f1
 105  goto_if_not_float_ne %f0, %f0, L7
 110  float_return $nan
 112  ---
 112  L7:
 112  float_add %f1, $1.1235582092889474e+307 -> %f2
 116  float_eq %f2, %f1 -> %i0
 120  -live- %f0, %f1, %i0
 123  goto_if_not %i0, L8
 127  residual_call_irf_f $<* fn copysign>, I[], R[], F[$1.0, %f1], <CallDescr(ff) EF=0> -> %f2
 137  -live- %f0, %f2
 140  goto_if_not_float_eq %f2, $1.0, L9
 145  residual_call_irf_f $<* fn copysign>, I[], R[], F[$0.7853981633974483, %f0], <CallDescr(ff) EF=0> -> %f2
 155  float_return %f2
 157  ---
 157  L9:
 157  residual_call_irf_f $<* fn copysign>, I[], R[], F[$2.356194490192345, %f0], <CallDescr(ff) EF=0> -> %f2
 167  float_return %f2
 169  ---
 169  L8:
 169  residual_call_irf_f $<* fn copysign>, I[], R[], F[$1.5707963267948966, %f0], <CallDescr(ff) EF=0> -> %f2
 179  float_return %f2
