Lines Matching refs:num1
119 static inline php_random_uint128_t php_random_uint128_add(php_random_uint128_t num1, php_random_uin… in php_random_uint128_add() argument
123 r.lo = (num1.lo + num2.lo); in php_random_uint128_add()
124 r.hi = (num1.hi + num2.hi + (r.lo < num1.lo)); in php_random_uint128_add()
129 static inline php_random_uint128_t php_random_uint128_multiply(php_random_uint128_t num1, php_rando… in php_random_uint128_multiply() argument
133 x0 = num1.lo & 0xffffffffULL, in php_random_uint128_multiply()
134 x1 = num1.lo >> 32, in php_random_uint128_multiply()
139 r.hi = num1.hi * num2.lo + num1.lo * num2.hi; in php_random_uint128_multiply()
140 r.lo = num1.lo * num2.lo; in php_random_uint128_multiply()
176 static inline php_random_uint128_t php_random_uint128_add(php_random_uint128_t num1, php_random_uin… in php_random_uint128_add() argument
178 return num1 + num2; in php_random_uint128_add()
181 static inline php_random_uint128_t php_random_uint128_multiply(php_random_uint128_t num1, php_rando… in php_random_uint128_multiply() argument
183 return num1 * num2; in php_random_uint128_multiply()
