Searched defs:x27 (Results 1 – 4 of 4) sorted by relevance
99 uint64_t x27 = (uint64_t)(x26 >> 51); in fiat_25519_carry_mul() local165 fiat_25519_uint128 x27 = (x19 + (x16 + x14)); in fiat_25519_carry_square() local229 uint64_t x27 = (x25 + x13); in fiat_25519_carry_scmul_121666() local392 uint8_t x27 = (uint8_t)(x12 & UINT8_C(0xff)); in fiat_25519_to_bytes() local524 uint64_t x27 = ((uint64_t)(arg1[5]) << 40); in fiat_25519_from_bytes() local
131 uint64_t x27 = ((uint64_t)(arg1[6]) * ((arg2[7]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local297 uint64_t x27 = ((uint64_t)(arg1[6]) * x8); in fiat_25519_carry_square() local436 uint32_t x27 = (uint32_t)(x25 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local686 fiat_25519_uint1 x27; in fiat_25519_to_bytes() local853 uint32_t x27 = ((uint32_t)(arg1[5]) << 14); in fiat_25519_from_bytes() local
131 uint64_t x27; in fiat_p256_mul() local444 uint64_t x27; in fiat_p256_square() local886 fiat_p256_uint1 x27; in fiat_p256_from_montgomery() local1089 uint8_t x27 = (uint8_t)(x24 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1193 uint64_t x27 = ((uint64_t)(arg1[5]) << 40); in fiat_p256_from_bytes() local
127 uint32_t x27; in fiat_p256_mul() local1176 uint32_t x27; in fiat_p256_square() local2230 uint32_t x27; in fiat_p256_add() local2315 fiat_p256_uint1 x27; in fiat_p256_sub() local2382 fiat_p256_uint1 x27; in fiat_p256_opp() local2448 fiat_p256_uint1 x27; in fiat_p256_from_montgomery() local3086 uint8_t x27 = (uint8_t)(x25 >> 8); in fiat_p256_to_bytes() local3190 uint32_t x27 = ((uint32_t)(arg1[5]) << 8); in fiat_p256_from_bytes() local