FPU_SUBC
FPU_SUBC(r0, x->fp_mant[0], y->fp_mant[0]);
FPU_SUBC(r0, 0, r0);
FPU_SUBCS(d1, r1, y1); FPU_SUBC(d0, r0, y0)
FPU_SUBC(d0, x0, t0); /* d = x - t */
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(r0, x->fp_mant[0], y->fp_mant[0]);
FPU_SUBC(r0, 0, r0);
FPU_SUBCS(d1, r1, y1); FPU_SUBC(d0, r0, y0)
FPU_SUBC(d0, x0, t0); /* d = x - t */
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);
FPU_SUBC(d0, x0, t0);