27     const rep_t quotientSign = (toRep(a) ^ toRep(b)) & signBit;  in __divtf3()
29     rep_t aSignificand = toRep(a) & significandMask;  in __divtf3()
30     rep_t bSignificand = toRep(b) & significandMask;  in __divtf3()
36         const rep_t aAbs = toRep(a) & absMask;  in __divtf3()
37         const rep_t bAbs = toRep(b) & absMask;  in __divtf3()
92     correction64 = -((rep_t)recip64 * q63b >> 64);  in __divtf3()
93     recip64 = (rep_t)recip64 * correction64 >> 63;  in __divtf3()
94     correction64 = -((rep_t)recip64 * q63b >> 64);  in __divtf3()
95     recip64 = (rep_t)recip64 * correction64 >> 63;  in __divtf3()
96     correction64 = -((rep_t)recip64 * q63b >> 64);  in __divtf3()
97     recip64 = (rep_t)recip64 * correction64 >> 63;  in __divtf3()
98     correction64 = -((rep_t)recip64 * q63b >> 64);  in __divtf3()
99     recip64 = (rep_t)recip64 * correction64 >> 63;  in __divtf3()
100     correction64 = -((rep_t)recip64 * q63b >> 64);  in __divtf3()
101     recip64 = (rep_t)recip64 * correction64 >> 63;  in __divtf3()
112     rep_t correction, reciprocal;  in __divtf3()
116     rep_t r64q63, r64q127, r64cH, r64cL, dummy;  in __divtf3()
117     wideMultiply((rep_t)recip64, (rep_t)q63b, &dummy, &r64q63);  in __divtf3()
118     wideMultiply((rep_t)recip64, (rep_t)q127blo, &dummy, &r64q127);  in __divtf3()
125     wideMultiply((rep_t)recip64, (rep_t)cHi, &dummy, &r64cH);  in __divtf3()
126     wideMultiply((rep_t)recip64, (rep_t)cLo, &dummy, &r64cL);  in __divtf3()
149     rep_t quotient, quotientLo;  in __divtf3()
165     rep_t residual;  in __divtf3()
166     rep_t qb;  in __divtf3()
192         rep_t absResult = quotient & significandMask;  in __divtf3()
194         absResult |= (rep_t)writtenExponent << significandBits;  in __divtf3()