Searched defs:x36 (Results 1 – 1 of 1) sorted by relevance
164 uint32_t x35; uint8_t/*bool*/ x36 = subborrow_u25(x33, x12, 0x1ffffff, &x35); in fe_freeze() local521 uint64_t x36 = ((uint64_t)(0x2 * x18) * x17); in fe_sqr_impl() local