   0  getfield_gc_f %r0, FieldDescr<rpython.rlib.libffi.FloatArg.inst_floatval> -> %f0
   5  residual_call_irf_v $<* fn Func._push_float>, I[%i0, %i1], R[%r1], F[%f0], <CallDescr(rfii) EF=5>
  16  -live-
  19  void_return
