Lines Matching defs:r2
51 uint32_t ad, anc, delta, q1, r1, q2, r2, t;
62 r2 = two31 - q2*ad; // Init. r2 = rem(2**p, |d|).
72 r2 = 2*r2; // Update r2 = rem(2**p, |d|).
73 if (r2 >= ad) { // (Must be an unsigned
75 r2 = r2 - ad;
77 delta = ad - r2;
219 uint64_t ad, anc, delta, q1, r1, q2, r2, t;
230 r2 = two63 - q2*ad; // Init. r2 = rem(2**p, |d|).
240 r2 = 2*r2; // Update r2 = rem(2**p, |d|).
241 if (r2 >= ad) { // (Must be an unsigned
243 r2 = r2 - ad;
245 delta = ad - r2;