Lines Matching defs:b0
173 uint64_t b0 = b & mask;
175 uint64_t p0 = a0 * b0;
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,
198 *x0 = a0 + b0;
203 sub128(uint64_t *x0, uint64_t *x1, uint64_t a0, uint64_t a1, uint64_t b0,
206 *x0 = a0 - b0;
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);