Searched defs:z0 (Results 1 – 1 of 1) sorted by relevance
137 z0 = (((x1 * y0) + (x0 * y0 >> 32)) & 0xffffffffULL) + x0 * y1; in php_random_uint128_multiply() local
Completed in 5 milliseconds