Searched defs:x53 (Results 1 – 2 of 2) sorted by relevance
128 { u32 x52; u8/*bool*/ x53 = addcarryx_u26(0x0, x20, x50, &x52); in fe_freeze() local343 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((… in fe_mul_impl() local486 { u64 x53 = (x22 + (x32 << 0x4)); in fe_sqr_impl() local666 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((… in fe_mul_121666_impl() local
538 uint64_t x53; in fiat_25519_to_bytes() local754 uint64_t x53; in fiat_25519_from_bytes() local1085 uint64_t x53; in fiat_25519_carry_mul() local1399 uint64_t x53; in fiat_25519_carry_square() local1845 uint32_t x53; in fiat_25519_to_bytes() local2103 uint32_t x53; in fiat_25519_from_bytes() local