Searched defs:x55 (Results 1 – 2 of 2) sorted by relevance
540 uint64_t x55; in fiat_25519_to_bytes() local756 uint64_t x55; in fiat_25519_from_bytes() local1087 uint64_t x55; in fiat_25519_carry_mul() local1401 uint64_t x55; in fiat_25519_carry_square() local1847 uint8_t x55; in fiat_25519_to_bytes() local2105 uint32_t x55; in fiat_25519_from_bytes() local
345 { u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17)); in fe_mul_impl() local488 { u64 x55 = (x54 + x32); in fe_sqr_impl() local668 { u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17)); in fe_mul_121666_impl() local