Searched defs:x85 (Results 1 – 1 of 1) sorted by relevance
144 { u32 x84; u8/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84); in fe_freeze() local375 { u64 x85 = (x84 + x50); in fe_mul_impl() local518 { u64 x85 = (x83 + x43); in fe_sqr_impl() local698 { u64 x85 = (x84 + x50); in fe_mul_121666_impl() local