Lines Matching refs:b_hi
338 uint64_t a_hi, b_hi;
381 b_hi = ((uint64_t)b0 << 31) + b1;
402 * a <- (a-b)/2 if: a is odd, b is odd, a_hi > b_hi
403 * b <- (b-a)/2 if: a is odd, b is odd, a_hi <= b_hi
415 * r = GT(a_hi, b_hi)
419 rz = b_hi - a_hi;
420 r = (uint32_t)((rz ^ ((a_hi ^ b_hi)
443 a_hi -= b_hi & -(uint64_t)cAB;
447 b_hi -= a_hi & -(uint64_t)cBA;
461 b_hi ^= (b_hi ^ (b_hi >> 1)) & ((uint64_t)cA - 1);