Lines Matching defs:b1
174 uint64_t b1 = b >> 31 & mask;
176 uint64_t p2 = a1 * b1;
177 uint64_t p1 = (a0 + a1) * (b0 + b1) - p0 - p2;
196 uint64_t b1)
199 *x1 = a1 + b1 + (*x0 < a0);
204 uint64_t b1)
207 *x1 = a1 - b1 - (*x0 > a0);
211 cmp128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)
213 return (a1 < b1 ? -1 : a1 > b1 ? 1 : a0 < b0 ? -1 : a0 > b0 ? 1 : 0);