Searched defs:x85 (Results 1 – 1 of 1) sorted by relevance
187 uint32_t x84; uint8_t/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84); in fe_freeze() local425 uint64_t x85 = (x84 + x50); in fe_mul_impl() local570 uint64_t x85 = (x83 + x43); in fe_sqr_impl() local755 uint64_t x85 = (x84 + x50); in fe_mul_121666_impl() local