vfp_single_packed_negate
return vfp_single_fadd(sd, sn, vfp_single_packed_negate(m), fpscr);
vfp_put_float(vfp_single_packed_negate(m), sd);