Searched defs:x42 (Results 1 – 2 of 2) sorted by relevance
116 fiat_25519_uint128 x42 = (x40 + x29); in fiat_25519_carry_mul() local182 uint64_t x42 = (uint64_t)(x40 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_square() local342 uint8_t x42 = (uint8_t)(x39 & UINT8_C(0xff)); in fiat_25519_to_bytes() local474 uint64_t x42 = (x40 & UINT64_C(0x7ffffffffffff)); in fiat_25519_from_bytes() local636 uint64_t x42 = ((uint64_t)(arg1[3]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local802 uint64_t x42 = ((arg1[3]) * (x8 * (uint64_t)0x2)); in fiat_25519_carry_square() local1092 uint32_t x42 = (x40 << 6); in fiat_25519_to_bytes() local1251 uint32_t x42 = (x22 + (x21 + x20)); in fiat_25519_from_bytes() local
123 { u32 x41; u8/*bool*/ x42 = subborrow_u25(x39, x16, 0x1ffffff, &x41); in fe_freeze() local332 { u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5)); in fe_mul_impl() local475 { u64 x42 = (x41 + (x36 << 0x1)); in fe_sqr_impl() local655 { u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5)); in fe_mul_121666_impl() local