Searched defs:x49 (Results 1 – 2 of 2) sorted by relevance
184 uint64_t x49; in fiat_25519_carry_mul() local303 uint64_t x49; in fiat_25519_carry_square() local534 uint8_t x49; in fiat_25519_to_bytes() local750 uint64_t x49; in fiat_25519_from_bytes() local1081 uint64_t x49; in fiat_25519_carry_mul() local1395 uint64_t x49; in fiat_25519_carry_square() local1841 uint32_t x49; in fiat_25519_to_bytes() local2099 uint32_t x49; in fiat_25519_from_bytes() local
126 { u32 x49 = cmovznz32(x48, 0x0, 0xffffffff); in fe_freeze() local339 …{ u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) … in fe_mul_impl() local482 { u64 x49 = (x48 + x34); in fe_sqr_impl() local662 …{ u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) … in fe_mul_121666_impl() local