Searched defs:x33 (Results 1 – 4 of 4) sorted by relevance
105 fiat_25519_uint128 x33 = (x27 + x32); in fiat_25519_carry_mul() local171 uint64_t x33 = (uint64_t)(x31 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_square() local398 uint8_t x33 = (uint8_t)(x30 & UINT8_C(0xff)); in fiat_25519_to_bytes() local530 uint64_t x33 = (x32 + (x31 + (x30 + (x29 + (x28 + (x27 + x26)))))); in fiat_25519_from_bytes() local
137 uint64_t x33 = ((uint64_t)(arg1[5]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local303 uint64_t x33 = ((uint64_t)(arg1[5]) * (x13 * (uint32_t)0x2)); in fiat_25519_carry_square() local442 uint32_t x33 = (uint32_t)(x31 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local695 fiat_25519_uint1 x33; in fiat_25519_to_bytes() local859 uint32_t x33 = (x32 + (x31 + (x30 + x29))); in fiat_25519_from_bytes() local
140 uint64_t x33; in fiat_p256_mul() local453 uint64_t x33; in fiat_p256_square() local895 fiat_p256_uint1 x33; in fiat_p256_from_montgomery() local1095 uint8_t x33 = (uint8_t)(x30 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1199 uint64_t x33 = (x32 + (x31 + (x30 + (x29 + (x28 + (x27 + (x26 + x25))))))); in fiat_p256_from_bytes() local
136 uint32_t x33; in fiat_p256_mul() local1185 uint32_t x33; in fiat_p256_square() local2239 uint32_t x33; in fiat_p256_add() local2324 fiat_p256_uint1 x33; in fiat_p256_sub() local2391 fiat_p256_uint1 x33; in fiat_p256_opp() local2457 uint32_t x33; in fiat_p256_from_montgomery() local3092 uint8_t x33 = (uint8_t)(x30 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3196 uint32_t x33 = (x32 + (x31 + (x30 + x29))); in fiat_p256_from_bytes() local