vfp_single_fadd
return vfp_single_fadd(sd, sn, vfp_single_packed_negate(m), fpscr);
[FOP_TO_IDX(FOP_FADD)] = { vfp_single_fadd, 0 },