Searched defs:x27 (Results 1 – 5 of 5) sorted by relevance
105 uint64_t x27 = (uint64_t)(x26 >> 51); in fiat_25519_carry_mul() local171 fiat_25519_uint128 x27 = (x19 + (x16 + x14)); in fiat_25519_carry_square() local235 uint64_t x27 = (x25 + x13); in fiat_25519_carry_scmul_121666() local398 uint8_t x27 = (uint8_t)(x12 & UINT8_C(0xff)); in fiat_25519_to_bytes() local530 uint64_t x27 = ((uint64_t)(arg1[5]) << 40); in fiat_25519_from_bytes() local
137 uint64_t x27 = ((uint64_t)(arg1[6]) * ((arg2[7]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local303 uint64_t x27 = ((uint64_t)(arg1[6]) * x8); in fiat_25519_carry_square() local442 uint32_t x27 = (uint32_t)(x25 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local692 fiat_25519_uint1 x27; in fiat_25519_to_bytes() local859 uint32_t x27 = ((uint32_t)(arg1[5]) << 14); in fiat_25519_from_bytes() local
137 uint64_t x27; in fiat_p256_mul() local450 uint64_t x27; in fiat_p256_square() local892 fiat_p256_uint1 x27; in fiat_p256_from_montgomery() local1095 uint8_t x27 = (uint8_t)(x24 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1199 uint64_t x27 = ((uint64_t)(arg1[5]) << 40); in fiat_p256_from_bytes() local
133 uint32_t x27; in fiat_p256_mul() local1182 uint32_t x27; in fiat_p256_square() local2236 uint32_t x27; in fiat_p256_add() local2321 fiat_p256_uint1 x27; in fiat_p256_sub() local2388 fiat_p256_uint1 x27; in fiat_p256_opp() local2454 fiat_p256_uint1 x27; in fiat_p256_from_montgomery() local3092 uint8_t x27 = (uint8_t)(x25 >> 8); in fiat_p256_to_bytes() local3196 uint32_t x27 = ((uint32_t)(arg1[5]) << 8); in fiat_p256_from_bytes() local
46 x24, x25, x26, x27, x28, x29, x30, xzr, enumerator