FPU_ADDC
FPU_ADDC(r0, x->fp_mant[0], y->fp_mant[0]);
FPU_ADDCS(r1, r1, r1); FPU_ADDC(r0, r0, r0)
FPU_ADDC(m0, m0, 0);
FPU_ADDC(a0, a0, x0)
FPU_ADDCS(x1, x1, x1); FPU_ADDC(x0, x0, x0); \
FPU_ADDC(r0, x->fp_mant[0], y->fp_mant[0]);
FPU_ADDCS(r1, r1, r1); FPU_ADDC(r0, r0, r0)
FPU_ADDC(m0, m0, 0);
FPU_ADDC(a0, a0, x0)
FPU_ADDCS(x1, x1, x1); FPU_ADDC(x0, x0, x0); \