Searched defs:x44 (Results 1 – 2 of 2) sorted by relevance
179 uint64_t x44; in fiat_25519_carry_mul() local298 uint64_t x44; in fiat_25519_carry_square() local529 uint64_t x44; in fiat_25519_to_bytes() local745 uint64_t x44; in fiat_25519_from_bytes() local1076 uint64_t x44; in fiat_25519_carry_mul() local1390 uint64_t x44; in fiat_25519_carry_square() local1836 uint32_t x44; in fiat_25519_to_bytes() local2094 uint32_t x44; in fiat_25519_from_bytes() local
124 { u32 x44; u8/*bool*/ x45 = subborrow_u26(x42, x18, 0x3ffffff, &x44); in fe_freeze() local334 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))… in fe_mul_impl() local477 { u64 x44 = (x25 + (x35 << 0x4)); in fe_sqr_impl() local657 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))… in fe_mul_121666_impl() local