Searched defs:x46 (Results 1 – 2 of 2) sorted by relevance
181 uint64_t x46; in fiat_25519_carry_mul() local300 uint64_t x46; in fiat_25519_carry_square() local531 uint64_t x46; in fiat_25519_to_bytes() local747 uint64_t x46; in fiat_25519_from_bytes() local1078 uint64_t x46; in fiat_25519_carry_mul() local1392 uint64_t x46; in fiat_25519_carry_square() local1838 uint32_t x46; in fiat_25519_to_bytes() local2096 uint32_t x46; in fiat_25519_from_bytes() local
336 …{ u64 x46 = (((((0x2 * ((((u64)x29 * x11) + ((u64)x25 * x15)) + ((u64)x33 * x7))) + ((u64)x27 * x1… in fe_mul_impl() local479 { u64 x46 = (x45 + x35); in fe_sqr_impl() local659 …{ u64 x46 = (((((0x2 * ((((u64)x29 * x11) + ((u64)x25 * x15)) + ((u64)x33 * x7))) + ((u64)x27 * x1… in fe_mul_121666_impl() local