Lines Matching refs:x56
134 { u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56); in fe_freeze() local
152 out[1] = x56; in fe_freeze()
350 { u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19)))); in fe_mul_impl() local
359 { u64 x65 = (x46 + (x56 << 0x4)); in fe_mul_impl()
360 { u64 x66 = (x65 + (x56 << 0x1)); in fe_mul_impl()
361 { u64 x67 = (x66 + x56); in fe_mul_impl()
493 { u64 x56 = (x21 + (x31 << 0x4)); in fe_sqr_impl() local
494 { u64 x57 = (x56 + (x31 << 0x1)); in fe_sqr_impl()
673 { u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19)))); in fe_mul_121666_impl() local
682 { u64 x65 = (x46 + (x56 << 0x4)); in fe_mul_121666_impl()
683 { u64 x66 = (x65 + (x56 << 0x1)); in fe_mul_121666_impl()
684 { u64 x67 = (x66 + x56); in fe_mul_121666_impl()