lib/builtins/divtf3.c

82     uint64_t recip64 = UINT64_C(0x7504f333F9DE6484) - q63b;
92     correction64 = -((rep_t)recip64 * q63b >> 64);
93     recip64 = (rep_t)recip64 * correction64 >> 63;
94     correction64 = -((rep_t)recip64 * q63b >> 64);
95     recip64 = (rep_t)recip64 * correction64 >> 63;
96     correction64 = -((rep_t)recip64 * q63b >> 64);
97     recip64 = (rep_t)recip64 * correction64 >> 63;
98     correction64 = -((rep_t)recip64 * q63b >> 64);
99     recip64 = (rep_t)recip64 * correction64 >> 63;
100     correction64 = -((rep_t)recip64 * q63b >> 64);
101     recip64 = (rep_t)recip64 * correction64 >> 63;
103     // recip64 might have overflowed to exactly zero in the preceeding
106     // recip64 downward by one bit.
107     recip64--;
117     wideMultiply((rep_t)recip64, (rep_t)q63b, &dummy, &r64q63);
118     wideMultiply((rep_t)recip64, (rep_t)q127blo, &dummy, &r64q127);
125     wideMultiply((rep_t)recip64, (rep_t)cHi, &dummy, &r64cH);
126     wideMultiply((rep_t)recip64, (rep_t)cLo, &dummy, &r64cL);