Searched defs:x41 (Results 1 – 2 of 2) sorted by relevance
115 uint64_t x41 = (uint64_t)(x39 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_mul() local181 uint64_t x41 = (uint64_t)(x40 >> 51); in fiat_25519_carry_square() local341 uint64_t x41 = (x39 >> 8); in fiat_25519_to_bytes() local473 uint8_t x41 = (uint8_t)(x40 >> 51); in fiat_25519_from_bytes() local635 uint64_t x41 = ((uint64_t)(arg1[3]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local801 uint64_t x41 = ((arg1[3]) * x5); in fiat_25519_carry_square() local1090 fiat_25519_uint1 x41; in fiat_25519_to_bytes() local1250 uint32_t x41 = (x19 + (x18 + x17)); in fiat_25519_from_bytes() local
123 { u32 x41; u8/*bool*/ x42 = subborrow_u25(x39, x16, 0x1ffffff, &x41); in fe_freeze() local331 { u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5)); in fe_mul_impl() local474 { u64 x41 = (x26 + (x36 << 0x4)); in fe_sqr_impl() local654 { u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5)); in fe_mul_121666_impl() local