Searched defs:x28 (Results 1 – 4 of 4) sorted by relevance
100 uint64_t x28 = (uint64_t)(x26 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_mul() local166 fiat_25519_uint128 x28 = (x20 + (x17 + x9)); in fiat_25519_carry_square() local393 uint64_t x28 = (x26 >> 8); in fiat_25519_to_bytes() local525 uint64_t x28 = ((uint64_t)(arg1[4]) << 32); in fiat_25519_from_bytes() local
132 uint64_t x28 = ((uint64_t)(arg1[6]) * ((arg2[6]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local298 uint64_t x28 = ((uint64_t)(arg1[6]) * x10); in fiat_25519_carry_square() local437 uint64_t x28 = (x26 + x4); in fiat_25519_carry_scmul_121666() local688 uint32_t x28; in fiat_25519_to_bytes() local854 uint32_t x28 = ((uint32_t)(arg1[4]) << 6); in fiat_25519_from_bytes() local
132 fiat_p256_uint1 x28; in fiat_p256_mul() local445 fiat_p256_uint1 x28; in fiat_p256_square() local888 uint64_t x28; in fiat_p256_from_montgomery() local1090 uint64_t x28 = (x26 >> 8); in fiat_p256_to_bytes() local1194 uint64_t x28 = ((uint64_t)(arg1[4]) << 32); in fiat_p256_from_bytes() local
128 fiat_p256_uint1 x28; in fiat_p256_mul() local1177 fiat_p256_uint1 x28; in fiat_p256_square() local2231 fiat_p256_uint1 x28; in fiat_p256_add() local2317 uint32_t x28; in fiat_p256_sub() local2384 uint32_t x28; in fiat_p256_opp() local2450 uint32_t x28; in fiat_p256_from_montgomery() local3087 uint8_t x28 = (uint8_t)(x25 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3191 uint8_t x28 = (arg1[4]); in fiat_p256_from_bytes() local