Searched defs:x9 (Results 1 – 2 of 2) sorted by relevance
199 uint64_t x9 = ((uint64_t)(arg1[9]) * ((arg2[1]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local365 uint32_t x9 = ((arg1[7]) * (uint32_t)0x2); in fiat_25519_carry_square() local504 uint32_t x9 = ((x8 >> 25) + (arg1[8])); in fiat_25519_carry() local546 uint32_t x9 = ((arg1[8]) + (arg2[8])); in fiat_25519_add() local576 uint32_t x9 = ((UINT32_C(0x7fffffe) + (arg1[8])) - (arg2[8])); in fiat_25519_sub() local605 uint32_t x9 = (UINT32_C(0x7fffffe) - (arg1[8])); in fiat_25519_opp() local638 uint32_t x9; in fiat_25519_to_bytes() local814 uint32_t x9 = ((uint32_t)(arg1[23]) << 5); in fiat_25519_from_bytes() local
1169 uint64_t x9 = ((uint64_t)UINT32_C(0x1db42) * (arg1[1])); in fiat_25519_carry_scmul_121666() local
