Searched defs:x24 (Results 1 – 4 of 4) sorted by relevance
96 fiat_25519_uint128 x24 = ((fiat_25519_uint128)(arg1[0]) * (arg2[1])); in fiat_25519_carry_mul() local162 fiat_25519_uint128 x24 = (x23 + (x15 + x13)); in fiat_25519_carry_square() local226 uint64_t x24 = (x22 + x10); in fiat_25519_carry_scmul_121666() local389 uint64_t x24 = (x16 << 6); in fiat_25519_to_bytes() local521 uint64_t x24 = ((uint64_t)(arg1[8]) << 13); in fiat_25519_from_bytes() local
128 uint64_t x24 = ((uint64_t)(arg1[7]) * ((arg2[3]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local294 uint64_t x24 = ((uint64_t)(arg1[7]) * (x7 * (uint32_t)0x2)); in fiat_25519_carry_square() local433 uint32_t x24 = (uint32_t)(x22 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local682 uint32_t x24; in fiat_25519_to_bytes() local850 uint32_t x24 = ((uint32_t)(arg1[8]) << 13); in fiat_25519_from_bytes() local
126 uint64_t x24; in fiat_p256_mul() local439 uint64_t x24; in fiat_p256_square() local882 uint64_t x24; in fiat_p256_from_montgomery() local1086 uint64_t x24 = (x22 >> 8); in fiat_p256_to_bytes() local1190 uint8_t x24 = (arg1[8]); in fiat_p256_from_bytes() local
122 uint32_t x24; in fiat_p256_mul() local1171 uint32_t x24; in fiat_p256_square() local2225 fiat_p256_uint1 x24; in fiat_p256_add() local2311 uint32_t x24; in fiat_p256_sub() local2378 uint32_t x24; in fiat_p256_opp() local2444 uint32_t x24; in fiat_p256_from_montgomery() local3083 uint8_t x24 = (uint8_t)(x6 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3187 uint8_t x24 = (arg1[8]); in fiat_p256_from_bytes() local