Searched defs:x18 (Results 1 – 4 of 4) sorted by relevance
90 fiat_25519_uint128 x18 = ((fiat_25519_uint128)(arg1[1]) * (arg2[2])); in fiat_25519_carry_mul() local156 fiat_25519_uint128 x18 = ((fiat_25519_uint128)(arg1[1]) * (arg1[1])); in fiat_25519_carry_square() local220 uint64_t x18 = (uint64_t)(x17 >> 51); in fiat_25519_carry_scmul_121666() local381 uint64_t x18; in fiat_25519_to_bytes() local515 uint64_t x18 = ((uint64_t)(arg1[14]) << 10); in fiat_25519_from_bytes() local
122 uint64_t x18 = ((uint64_t)(arg1[7]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local288 uint32_t x18 = ((arg1[1]) * (uint32_t)0x2); in fiat_25519_carry_square() local427 uint32_t x18 = (uint32_t)(x16 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local493 uint32_t x18 = (x6 & UINT32_C(0x1ffffff)); in fiat_25519_carry() local672 fiat_25519_uint1 x18; in fiat_25519_to_bytes() local844 uint32_t x18 = ((uint32_t)(arg1[14]) << 10); in fiat_25519_from_bytes() local
117 fiat_p256_uint1 x18; in fiat_p256_mul() local430 fiat_p256_uint1 x18; in fiat_p256_square() local746 fiat_p256_uint1 x18; in fiat_p256_add() local873 uint64_t x18; in fiat_p256_from_montgomery() local1080 uint8_t x18 = (uint8_t)(x15 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1184 uint64_t x18 = ((uint64_t)(arg1[14]) << 48); in fiat_p256_from_bytes() local
113 uint32_t x18; in fiat_p256_mul() local1162 uint32_t x18; in fiat_p256_square() local2216 fiat_p256_uint1 x18; in fiat_p256_add() local2302 uint32_t x18; in fiat_p256_sub() local2369 uint32_t x18; in fiat_p256_opp() local2435 uint32_t x18; in fiat_p256_from_montgomery() local3077 uint32_t x18 = (x16 >> 8); in fiat_p256_to_bytes() local3181 uint32_t x18 = ((uint32_t)(arg1[14]) << 16); in fiat_p256_from_bytes() local