Lines Matching refs:x85
148 { u32 x84; u8/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84); in fe_freeze() local
150 { u32 x88; addcarryx_u25(x85, x47, x86, &x88); in fe_freeze()
379 { u64 x85 = (x84 + x50); in fe_mul_impl() local
380 { u64 x86 = (x85 >> 0x1a); in fe_mul_impl()
381 { u32 x87 = ((u32)x85 & 0x3ffffff); in fe_mul_impl()
522 { u64 x85 = (x83 + x43); in fe_sqr_impl() local
523 { u64 x86 = (x85 >> 0x19); in fe_sqr_impl()
524 { u32 x87 = ((u32)x85 & 0x1ffffff); in fe_sqr_impl()
702 { u64 x85 = (x84 + x50); in fe_mul_121666_impl() local
703 { u64 x86 = (x85 >> 0x1a); in fe_mul_121666_impl()
704 { u32 x87 = ((u32)x85 & 0x3ffffff); in fe_mul_121666_impl()