Searched defs:x48 (Results 1 – 2 of 2) sorted by relevance
183 uint64_t x48; in fiat_25519_carry_mul() local302 fiat_25519_uint1 x48; in fiat_25519_carry_square() local533 uint64_t x48; in fiat_25519_to_bytes() local749 uint8_t x48; in fiat_25519_from_bytes() local1080 uint64_t x48; in fiat_25519_carry_mul() local1394 uint64_t x48; in fiat_25519_carry_square() local1840 uint32_t x48; in fiat_25519_to_bytes() local2098 uint32_t x48; in fiat_25519_from_bytes() local
125 { u32 x47; u8/*bool*/ x48 = subborrow_u25(x45, x17, 0x1ffffff, &x47); in fe_freeze() local338 …{ u64 x48 = (((((((u64)x31 * x13) + (0x2 * (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x… in fe_mul_impl() local481 { u64 x48 = (x47 + (x34 << 0x1)); in fe_sqr_impl() local661 …{ u64 x48 = (((((((u64)x31 * x13) + (0x2 * (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x… in fe_mul_121666_impl() local