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