Searched defs:x44 (Results 1 – 1 of 1) sorted by relevance
167 uint32_t x44; uint8_t/*bool*/ x45 = subborrow_u26(x42, x18, 0x3ffffff, &x44); in fe_freeze() local384 …uint64_t x44 = (((((uint64_t)x27 * x9) + (0x2 * (((uint64_t)x25 * x11) + ((uint64_t)x29 * x7)))) +… in fe_mul_impl() local529 uint64_t x44 = (x25 + (x35 << 0x4)); in fe_sqr_impl() local714 …uint64_t x44 = (((((uint64_t)x27 * x9) + (0x2 * (((uint64_t)x25 * x11) + ((uint64_t)x29 * x7)))) +… in fe_mul_121666_impl() local