Searched refs:hx_hy (Results 1 – 2 of 2) sorted by relevance
90 uint64_t hx_hy = hi(x) * hi(y); in mul64() local94 fOK &= (hx_hy + (hx_ly >> 32) + (lx_hy >> 32)) == 0; in mul64()