Searched defs:x31 (Results 1 – 13 of 13) sorted by relevance
133 fiat_25519_uint128 x31 = (x23 + (x19 + (x16 + (x5 + x2)))); in fiat_25519_carry_mul() local203 fiat_25519_uint128 x31 = (x25 + x30); in fiat_25519_carry_square() local413 uint8_t x31 = (uint8_t)(x28 & UINT8_C(0xff)); in fiat_25519_to_bytes() local549 uint64_t x31 = ((uint64_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local
175 uint64_t x31 = ((uint64_t)(arg1[5]) * ((arg2[9]) * UINT8_C(0x26))); in fiat_25519_carry_mul() local345 uint64_t x31 = ((arg1[5]) * ((uint64_t)x8 * 0x2)); in fiat_25519_carry_square() local694 fiat_25519_uint1 x31; in fiat_25519_to_bytes() local863 uint32_t x31 = ((uint32_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local953 uint64_t x31 = (x29 + x3); in fiat_25519_carry_scmul_121666() local
173 uint64_t x31; in fiat_p256_mul() local468 uint64_t x31; in fiat_p256_square() local916 fiat_p256_uint1 x31; in fiat_p256_from_montgomery() local1101 uint8_t x31 = (uint8_t)(x28 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1212 uint64_t x31 = ((uint64_t)(arg1[1]) << 8); in fiat_p256_from_bytes() local
170 uint32_t x31; in fiat_p256_mul() local1177 uint32_t x31; in fiat_p256_square() local2190 uint32_t x31; in fiat_p256_add() local2283 fiat_p256_uint1 x31; in fiat_p256_sub() local2357 fiat_p256_uint1 x31; in fiat_p256_opp() local2430 uint32_t x31; in fiat_p256_from_montgomery() local3010 uint8_t x31 = (uint8_t)(x5 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3121 uint32_t x31 = ((uint32_t)(arg1[1]) << 8); in fiat_p256_from_bytes() local
50 x31 = 31, enumerator
44 int x31 = x30 * x29 + x28; in calc() local
3171 enum E3 { x31 }; enumerator