Searched defs:x52 (Results 1 – 2 of 2) sorted by relevance
187 uint64_t x52; in fiat_25519_carry_mul() local537 uint8_t x52; in fiat_25519_to_bytes() local753 uint64_t x52; in fiat_25519_from_bytes() local1084 uint64_t x52; in fiat_25519_carry_mul() local1398 uint64_t x52; in fiat_25519_carry_square() local1844 uint8_t x52; in fiat_25519_to_bytes() local2102 uint8_t x52; in fiat_25519_from_bytes() local
128 { u32 x52; u8/*bool*/ x53 = addcarryx_u26(0x0, x20, x50, &x52); in fe_freeze() local342 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20… in fe_mul_impl() local485 { u64 x52 = (x51 + x33); in fe_sqr_impl() local665 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20… in fe_mul_121666_impl() local