Searched defs:x49 (Results 1 – 2 of 2) sorted by relevance
123 uint64_t x49 = (x47 + x35); in fiat_25519_carry_mul() local189 uint64_t x49 = (x47 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_square() local349 uint8_t x49 = (uint8_t)(x47 >> 8); in fiat_25519_to_bytes() local481 uint64_t x49 = (x47 + x36); in fiat_25519_from_bytes() local643 uint64_t x49 = ((uint64_t)(arg1[7]) * (arg2[2])); in fiat_25519_carry_mul() local809 uint64_t x49 = ((uint64_t)(arg1[2]) * x9); in fiat_25519_carry_square() local1099 uint32_t x49 = (x24 << 2); in fiat_25519_to_bytes() local1258 uint8_t x49 = (uint8_t)(x48 >> 26); 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