Searched refs:high_carry (Results 1 – 1 of 1) sorted by relevance
78 uint64_t high_carry = high & (((uint64_t)1) << 63); in siv128_dbl() local80 int64_t low_mask = -((int64_t)(high_carry >> 63)) & 0x87; in siv128_dbl()