Lines Matching refs:carry
835 static void subtract_u64(u64 *result, u64 *carry, u64 v) in subtract_u64() argument
839 *carry = (r >> 64) & 1; in subtract_u64()
850 u64 all_equal_so_far = 0, result = 0, carry; in felem_contract() local
895 subtract_u64(&out[0], &carry, result & kPrime[0]); in felem_contract()
896 subtract_u64(&out[1], &carry, carry); in felem_contract()
897 subtract_u64(&out[2], &carry, carry); in felem_contract()
898 subtract_u64(&out[3], &carry, carry); in felem_contract()
900 subtract_u64(&out[1], &carry, result & kPrime[1]); in felem_contract()
901 subtract_u64(&out[2], &carry, carry); in felem_contract()
902 subtract_u64(&out[3], &carry, carry); in felem_contract()
904 subtract_u64(&out[2], &carry, result & kPrime[2]); in felem_contract()
905 subtract_u64(&out[3], &carry, carry); in felem_contract()
907 subtract_u64(&out[3], &carry, result & kPrime[3]); in felem_contract()
