Lines Matching refs:num1
51 static inline php_random_uint128_t php_random_uint128_add(php_random_uint128_t num1, php_random_uin… in php_random_uint128_add() argument
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()
61 static inline php_random_uint128_t php_random_uint128_multiply(php_random_uint128_t num1, php_rando… in php_random_uint128_multiply() argument
65 x0 = num1.lo & 0xffffffffULL, in php_random_uint128_multiply()
66 x1 = num1.lo >> 32, in php_random_uint128_multiply()
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()
108 static inline php_random_uint128_t php_random_uint128_add(php_random_uint128_t num1, php_random_uin… in php_random_uint128_add() argument
110 return num1 + num2; in php_random_uint128_add()
113 static inline php_random_uint128_t php_random_uint128_multiply(php_random_uint128_t num1, php_rando… in php_random_uint128_multiply() argument
115 return num1 * num2; in php_random_uint128_multiply()
