Searched defs:x47 (Results 1 – 2 of 2) sorted by relevance
182 uint64_t x47; in fiat_25519_carry_mul() local301 uint64_t x47; in fiat_25519_carry_square() local532 uint8_t x47; in fiat_25519_to_bytes() local748 uint64_t x47; in fiat_25519_from_bytes() local1079 uint64_t x47; in fiat_25519_carry_mul() local1393 uint64_t x47; in fiat_25519_carry_square() local1839 uint32_t x47; in fiat_25519_to_bytes() local2097 uint8_t x47; in fiat_25519_from_bytes() local
125 { u32 x47; u8/*bool*/ x48 = subborrow_u25(x45, x17, 0x1ffffff, &x47); in fe_freeze() local337 …{ u64 x47 = (((((((((u64)x29 * x13) + ((u64)x31 * x11)) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + (… in fe_mul_impl() local480 { u64 x47 = (x24 + (x34 << 0x4)); in fe_sqr_impl() local660 …{ u64 x47 = (((((((((u64)x29 * x13) + ((u64)x31 * x11)) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + (… in fe_mul_121666_impl() local