Searched defs:x5 (Results 1 – 2 of 2) sorted by relevance
195 uint64_t x5 = ((uint64_t)(arg1[9]) * ((arg2[5]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local361 uint64_t x5 = (x4 * (uint64_t)0x2); in fiat_25519_carry_square() local500 uint32_t x5 = ((x4 >> 25) + (arg1[4])); in fiat_25519_carry() local542 uint32_t x5 = ((arg1[4]) + (arg2[4])); in fiat_25519_add() local572 uint32_t x5 = ((UINT32_C(0x7fffffe) + (arg1[4])) - (arg2[4])); in fiat_25519_sub() local601 uint32_t x5 = (UINT32_C(0x7fffffe) - (arg1[4])); in fiat_25519_opp() local632 uint32_t x5; in fiat_25519_to_bytes() local810 uint32_t x5 = ((uint32_t)(arg1[27]) << 12); in fiat_25519_from_bytes() local
1166 uint64_t x5 = ((uint64_t)UINT32_C(0x1db42) * (arg1[5])); in fiat_25519_carry_scmul_121666() local
