FPU_ADDS
FPU_ADDS(r->fp_mant[3], x->fp_mant[3], y->fp_mant[3]);
FPU_ADDS(r3, r3, r3); FPU_ADDCS(r2, r2, r2); \
FPU_ADDS(m3, m3, 1);
FPU_ADDS(a3, a3, x3); \
FPU_ADDS(x3, x3, x3); FPU_ADDCS(x2, x2, x2); \