   0  -live- %f0, %f1
   0  goto_if_not_float_ne %f1, %f1, L1
   5  float_return $nan
   7  ---
   7  L1:
   7  float_mul %f0, $0.0 -> %f2
  11  -live- %f0, %f1, %f2
  11  goto_if_not_float_eq %f2, %f2, L2
  16  float_add %f1, $1.1235582092889474e+307 -> %f2
  20  float_eq %f2, %f1 -> %i0
  24  -live- %f0, %f1, %i0
  24  goto_if_not %i0, L3
  28  L4:
  28  residual_call_irf_f $<* fn copysign>, I[], R[], F[$1.0, %f1], <CallDescr(ff) EF=0> -> %f2
  38  -live- %f0, %f2
  38  goto_if_not_float_eq %f2, $1.0, L5
  43  residual_call_irf_f $<* fn copysign>, I[], R[], F[$0.0, %f0], <CallDescr(ff) EF=0> -> %f2
  53  float_return %f2
  55  ---
  55  L5:
  55  residual_call_irf_f $<* fn copysign>, I[], R[], F[$3.141592653589793, %f0], <CallDescr(ff) EF=0> -> %f2
  65  float_return %f2
  67  ---
  67  L3:
  67  -live- %f0, %f1
  67  goto_if_not_float_eq %f0, $0.0, L6
  72  goto L4
  75  ---
  75  L6:
  75  residual_call_irf_f $<* fn atan2>, I[], R[], F[%f0, %f1], <CallDescr(ff) EF=2> -> %f2
  85  float_return %f2
  87  ---
  87  L2:
  87  -live- %f0, %f1
  87  goto_if_not_float_ne %f0, %f0, L7
  92  float_return $nan
  94  ---
  94  L7:
  94  float_add %f1, $1.1235582092889474e+307 -> %f2
  98  float_eq %f2, %f1 -> %i0
 102  -live- %f0, %f1, %i0
 102  goto_if_not %i0, L8
 106  residual_call_irf_f $<* fn copysign>, I[], R[], F[$1.0, %f1], <CallDescr(ff) EF=0> -> %f2
 116  -live- %f0, %f2
 116  goto_if_not_float_eq %f2, $1.0, L9
 121  residual_call_irf_f $<* fn copysign>, I[], R[], F[$0.7853981633974483, %f0], <CallDescr(ff) EF=0> -> %f2
 131  float_return %f2
 133  ---
 133  L9:
 133  residual_call_irf_f $<* fn copysign>, I[], R[], F[$2.356194490192345, %f0], <CallDescr(ff) EF=0> -> %f2
 143  float_return %f2
 145  ---
 145  L8:
 145  residual_call_irf_f $<* fn copysign>, I[], R[], F[$1.5707963267948966, %f0], <CallDescr(ff) EF=0> -> %f2
 155  float_return %f2
