fpu_sub3wc
c = fpu_sub3wc(&z[3], px->significand[3],
c = fpu_sub3wc(&z[2], px->significand[2],
c = fpu_sub3wc(&z[1], px->significand[1],
c = fpu_sub3wc(&z[0], px->significand[0],
c = fpu_sub3wc(&z[3], px->significand[3],
c = fpu_sub3wc(&z[2], px->significand[2],
c = fpu_sub3wc(&z[1], px->significand[1],
c = fpu_sub3wc(&z[0], px->significand[0],
c = fpu_sub3wc(&r[3], r[3], y[3], c);
c = fpu_sub3wc(&r[2], r[2], y[2], c);
c = fpu_sub3wc(&r[1], r[1], y[1], c);
c = fpu_sub3wc(&r[0], r[0], y[0], c);
c = fpu_sub3wc(&r[3], r[3], y[3], c);
c = fpu_sub3wc(&r[2], r[2], y[2], c);
c = fpu_sub3wc(&r[1], r[1], y[1], c);
c = fpu_sub3wc(&r[0], r[0], y[0], c);
c = fpu_sub3wc(&r[3], r[3], y[3], c);
c = fpu_sub3wc(&r[2], r[2], y[2], c);
c = fpu_sub3wc(&r[1], r[1], y[1], c);
c = fpu_sub3wc(&r[0], r[0], y[0], c);
c = fpu_sub3wc(&x[1], x[1], t[1], c);
c = fpu_sub3wc(&x[0], x[0], t[0], c);
c = fpu_sub3wc(&x[2], x[2], t[2], c);
c = fpu_sub3wc(&x[1], x[1], t[1], c);
c = fpu_sub3wc(&x[0], x[0], t[0], c);
c = fpu_sub3wc(&x[3], x[3], t[3], c);
c = fpu_sub3wc(&x[2], x[2], t[2], c);
c = fpu_sub3wc(&x[1], x[1], t[1], c);
c = fpu_sub3wc(&x[0], x[0], t[0], c);
c = fpu_sub3wc(&r[3], r[3], y[3], c);
c = fpu_sub3wc(&r[2], r[2], y[2], c);
c = fpu_sub3wc(&r[1], r[1], y[1], c);
c = fpu_sub3wc(&r[0], r[0], y[0], c);
extern uint_t fpu_sub3wc(uint_t *, uint_t, uint_t, uint_t);