Lines Matching defs:a1
172 uint64_t a1 = a >> 31 & mask;
176 uint64_t p2 = a1 * b1;
177 uint64_t p1 = (a0 + a1) * (b0 + b1) - p0 - p2;
195 add128(uint64_t *x0, uint64_t *x1, uint64_t a0, uint64_t a1, uint64_t b0,
199 *x1 = a1 + b1 + (*x0 < a0);
203 sub128(uint64_t *x0, uint64_t *x1, uint64_t a0, uint64_t a1, uint64_t b0,
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);