Searched defs:x43 (Results 1 – 2 of 2) sorted by relevance
117 uint64_t x43 = (uint64_t)(x42 >> 51); in fiat_25519_carry_mul() local183 uint64_t x43 = (x41 * (uint64_t)UINT8_C(0x13)); in fiat_25519_carry_square() local343 uint64_t x43 = (x41 >> 8); in fiat_25519_to_bytes() local475 uint64_t x43 = (x41 + x38); in fiat_25519_from_bytes() local637 uint64_t x43 = ((uint64_t)(arg1[2]) * ((arg2[9]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local803 uint64_t x43 = ((uint64_t)(arg1[3]) * x12); in fiat_25519_carry_square() local1093 uint32_t x43 = (x38 << 4); in fiat_25519_to_bytes() local1252 uint32_t x43 = (x25 + (x24 + x23)); in fiat_25519_from_bytes() local
333 { u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5)); in fe_mul_impl() local476 { u64 x43 = (x42 + x36); in fe_sqr_impl() local656 { u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5)); in fe_mul_121666_impl() local