Searched defs:x56 (Results 1 – 2 of 2) sorted by relevance
130 { u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56); in fe_freeze() local346 { u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19)))); in fe_mul_impl() local489 { u64 x56 = (x21 + (x31 << 0x4)); in fe_sqr_impl() local669 { u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19)))); in fe_mul_121666_impl() local
541 uint8_t x56; in fiat_25519_to_bytes() local757 uint64_t x56; in fiat_25519_from_bytes() local1088 uint64_t x56; in fiat_25519_carry_mul() local1402 uint64_t x56; in fiat_25519_carry_square() local1848 uint32_t x56; in fiat_25519_to_bytes() local2106 uint32_t x56; in fiat_25519_from_bytes() local