Searched defs:x18 (Results 1 – 5 of 5) sorted by relevance
96 fiat_25519_uint128 x18 = ((fiat_25519_uint128)(arg1[1]) * (arg2[2])); in fiat_25519_carry_mul() local162 fiat_25519_uint128 x18 = ((fiat_25519_uint128)(arg1[1]) * (arg1[1])); in fiat_25519_carry_square() local226 uint64_t x18 = (uint64_t)(x17 >> 51); in fiat_25519_carry_scmul_121666() local387 uint64_t x18; in fiat_25519_to_bytes() local521 uint64_t x18 = ((uint64_t)(arg1[14]) << 10); in fiat_25519_from_bytes() local
128 uint64_t x18 = ((uint64_t)(arg1[7]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local294 uint32_t x18 = ((arg1[1]) * (uint32_t)0x2); in fiat_25519_carry_square() local433 uint32_t x18 = (uint32_t)(x16 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local499 uint32_t x18 = (x6 & UINT32_C(0x1ffffff)); in fiat_25519_carry() local678 fiat_25519_uint1 x18; in fiat_25519_to_bytes() local850 uint32_t x18 = ((uint32_t)(arg1[14]) << 10); in fiat_25519_from_bytes() local
123 fiat_p256_uint1 x18; in fiat_p256_mul() local436 fiat_p256_uint1 x18; in fiat_p256_square() local752 fiat_p256_uint1 x18; in fiat_p256_add() local879 uint64_t x18; in fiat_p256_from_montgomery() local1086 uint8_t x18 = (uint8_t)(x15 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1190 uint64_t x18 = ((uint64_t)(arg1[14]) << 48); in fiat_p256_from_bytes() local
119 uint32_t x18; in fiat_p256_mul() local1168 uint32_t x18; in fiat_p256_square() local2222 fiat_p256_uint1 x18; in fiat_p256_add() local2308 uint32_t x18; in fiat_p256_sub() local2375 uint32_t x18; in fiat_p256_opp() local2441 uint32_t x18; in fiat_p256_from_montgomery() local3083 uint32_t x18 = (x16 >> 8); in fiat_p256_to_bytes() local3187 uint32_t x18 = ((uint32_t)(arg1[14]) << 16); in fiat_p256_from_bytes() local
45 x16, x17, x18, x19, x20, x21, x22, x23, enumerator