Searched defs:x45 (Results 1 – 2 of 2) sorted by relevance
119 uint64_t x45 = (x43 * (uint64_t)UINT8_C(0x13)); in fiat_25519_carry_mul() local185 uint64_t x45 = (x44 >> 51); in fiat_25519_carry_square() local345 uint64_t x45 = (x43 >> 8); in fiat_25519_to_bytes() local477 uint64_t x45 = (x43 & UINT64_C(0x7ffffffffffff)); in fiat_25519_from_bytes() local639 uint64_t x45 = ((uint64_t)(arg1[1]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local805 uint64_t x45 = ((uint64_t)(arg1[3]) * x15); in fiat_25519_carry_square() local1095 uint32_t x45 = (x34 * (uint32_t)0x2); in fiat_25519_to_bytes() local1254 uint32_t x45 = (x34 + x44); in fiat_25519_from_bytes() local
124 { u32 x44; u8/*bool*/ x45 = subborrow_u26(x42, x18, 0x3ffffff, &x44); in fe_freeze() local335 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6… in fe_mul_impl() local478 { u64 x45 = (x44 + (x35 << 0x1)); in fe_sqr_impl() local658 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6… in fe_mul_121666_impl() local