Lines Matching refs:r
43 php_random_uint128_t r; in php_random_uint128_constant() local
45 r.hi = hi; in php_random_uint128_constant()
46 r.lo = lo; in php_random_uint128_constant()
48 return r; in php_random_uint128_constant()
53 php_random_uint128_t r; in php_random_uint128_add() local
55 r.lo = (num1.lo + num2.lo); in php_random_uint128_add()
56 r.hi = (num1.hi + num2.hi + (r.lo < num1.lo)); in php_random_uint128_add()
58 return r; in php_random_uint128_add()
63 php_random_uint128_t r; in php_random_uint128_multiply() local
71 r.hi = num1.hi * num2.lo + num1.lo * num2.hi; in php_random_uint128_multiply()
72 r.lo = num1.lo * num2.lo; in php_random_uint128_multiply()
73 r.hi += x1 * y1 + ((x1 * y0 + (x0 * y0 >> 32)) >> 32) + (z0 >> 32); in php_random_uint128_multiply()
75 return r; in php_random_uint128_multiply()
101 php_random_uint128_t r; in php_random_uint128_constant() local
103 r = ((php_random_uint128_t) hi << 64) + lo; in php_random_uint128_constant()
105 return r; in php_random_uint128_constant()
