fpu_add3wc
c = fpu_add3wc(&(pz->significand[3]), px->significand[3],
c = fpu_add3wc(&(pz->significand[2]), px->significand[2],
c = fpu_add3wc(&(pz->significand[1]), px->significand[1],
c = fpu_add3wc(&(pz->significand[0]), px->significand[0],
c = fpu_add3wc(&s[1], t[1], r, c);
c = fpu_add3wc(&s[0], t[0], 0, c);
c = fpu_add3wc(&s[2], t[2], r, c);
c = fpu_add3wc(&s[1], t[1], 0, c);
c = fpu_add3wc(&s[0], t[0], 0, c);
c = fpu_add3wc(&s[3], t[3], r, c);
c = fpu_add3wc(&s[2], t[2], 0, c);
c = fpu_add3wc(&s[1], t[1], 0, c);
c = fpu_add3wc(&s[0], t[0], 0, c);
c = fpu_add3wc(&acc[3], acc[3], x[3], c);
c = fpu_add3wc(&acc[2], acc[2], x[2], c);
c = fpu_add3wc(&acc[1], acc[1], x[1], c);
c = fpu_add3wc(&acc[0], acc[0], x[0], c);
c = fpu_add3wc(&acc[3], acc[3], x[3], c);
c = fpu_add3wc(&acc[2], acc[2], x[2], c);
c = fpu_add3wc(&acc[1], acc[1], x[1], c);
c = fpu_add3wc(&acc[0], acc[0], x[0], c);
c = fpu_add3wc(&acc[3], acc[3], x[3], c);
c = fpu_add3wc(&acc[2], acc[2], x[2], c);
c = fpu_add3wc(&acc[1], acc[1], x[1], c);
c = fpu_add3wc(&acc[0], acc[0], x[0], c);
c = fpu_add3wc(&acc[3], acc[3], x[3], c);
c = fpu_add3wc(&acc[2], acc[2], x[2], c);
c = fpu_add3wc(&acc[1], acc[1], x[1], c);
c = fpu_add3wc(&acc[0], acc[0], x[0], c);
extern uint_t fpu_add3wc(uint_t *, uint_t, uint_t, uint_t);