Searched defs:x45 (Results 1 – 2 of 2) sorted by relevance
180 uint64_t x45; in fiat_25519_carry_mul() local299 uint64_t x45; in fiat_25519_carry_square() local530 uint8_t x45; in fiat_25519_to_bytes() local746 uint64_t x45; in fiat_25519_from_bytes() local1077 uint64_t x45; in fiat_25519_carry_mul() local1391 uint64_t x45; in fiat_25519_carry_square() local1837 uint32_t x45; in fiat_25519_to_bytes() local2095 uint32_t x45; in fiat_25519_from_bytes() local
124 { u32 x44; u8/*bool*/ x45 = subborrow_u26(x42, x18, 0x3ffffff, &x44); in fe_freeze() local335 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6… in fe_mul_impl() local478 { u64 x45 = (x44 + (x35 << 0x1)); in fe_sqr_impl() local658 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6… in fe_mul_121666_impl() local