Searched defs:x28 (Results 1 – 5 of 5) sorted by relevance
102 uint64_t x28 = (uint64_t)(x26 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_mul() local168 fiat_25519_uint128 x28 = (x20 + (x17 + x9)); in fiat_25519_carry_square() local328 uint64_t x28 = (x26 >> 8); in fiat_25519_to_bytes() local460 uint64_t x28 = ((uint64_t)(arg1[4]) << 32); in fiat_25519_from_bytes() local622 uint64_t x28 = ((uint64_t)(arg1[6]) * ((arg2[6]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local788 uint64_t x28 = ((uint64_t)(arg1[6]) * x10); in fiat_25519_carry_square() local1071 uint32_t x28; in fiat_25519_to_bytes() local1237 uint32_t x28 = ((uint32_t)(arg1[4]) << 6); in fiat_25519_from_bytes() local
47 x28, enumerator
45 x28, enumerator
1245 x28 = 28, enumerator
461 …{ u64 x28 = (0x2 * ((((((u64)x10 * x12) + ((u64)x8 * x14)) + ((u64)x6 * x16)) + ((u64)x4 * x18)) +… in fe_sqr_impl() local