Searched defs:x42 (Results 1 – 1 of 1) sorted by relevance
127 { u32 x41; u8/*bool*/ x42 = subborrow_u25(x39, x16, 0x1ffffff, &x41); in fe_freeze() local336 { u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5)); in fe_mul_impl() local479 { u64 x42 = (x41 + (x36 << 0x1)); in fe_sqr_impl() local659 { u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5)); in fe_mul_121666_impl() local