Searched refs:x8 (Results 1 – 2 of 2) sorted by relevance
198 uint64_t x8 = ((uint64_t)(arg1[9]) * ((arg2[2]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local302 uint64_t x112 = (x99 + (x90 + (x43 + (x41 + (x38 + (x34 + (x29 + (x23 + (x16 + x8))))))))); in fiat_25519_carry_mul()364 uint32_t x8 = (x7 * (uint32_t)0x2); in fiat_25519_carry_square() local383 uint64_t x27 = ((uint64_t)(arg1[6]) * x8); in fiat_25519_carry_square()387 uint64_t x31 = ((arg1[5]) * (x8 * (uint64_t)0x2)); in fiat_25519_carry_square()392 uint64_t x36 = ((uint64_t)(arg1[4]) * x8); in fiat_25519_carry_square()398 uint64_t x42 = ((arg1[3]) * (x8 * (uint64_t)0x2)); in fiat_25519_carry_square()503 uint32_t x8 = ((x7 >> 26) + (arg1[7])); in fiat_25519_carry() local504 uint32_t x9 = ((x8 >> 25) + (arg1[8])); in fiat_25519_carry()515 uint32_t x20 = (x8 & UINT32_C(0x1ffffff)); in fiat_25519_carry()[all …]
1168 uint64_t x8 = ((uint64_t)UINT32_C(0x1db42) * (arg1[2])); in fiat_25519_carry_scmul_121666() local1176 uint64_t x16 = (x14 + x8); in fiat_25519_carry_scmul_121666()
