Searched defs:x25 (Results 1 – 2 of 2) sorted by relevance
208 { uint64_t x25 = (x24 & 0x7ffffffffffed); in fe_freeze() local364 { uint64_t x25 = (x23 & 0x7ffffffffffff); in fe_carry_impl() local400 { uint64_t x25 = (x10 * 0x13); in fe_mul_impl() local484 { uint64_t x25 = (uint64_t) (x24 >> 0x33); in fe_sqr_impl() local547 { uint64_t x25 = (x10 * 0x13); in fe_mul_121666_impl() local811 { const uint32_t x25 = in2[1]; in fe_add_impl() local854 { const uint32_t x25 = in2[1]; in fe_sub_impl() local895 { uint32_t x25 = (x24 >> 0x1a); in fe_carry_impl() local964 { const uint32_t x25 = in2[1]; in fe_mul_impl() local1103 …{ uint64_t x25 = (0x2 * (((((uint64_t)x8 * x8) + ((uint64_t)x6 * x10)) + ((uint64_t)x2 * x14)) + (… in fe_sqr_impl() local[all …]
326 const uint32_t x25 = in2[3]; in fe_add() local378 const uint32_t x25 = in2[3]; in fe_mul() local762 const uint32_t x25 = in2[4]; in fe_sub() local807 uint32_t x24; uint8_t x25 = subborrow_u32(x22, 0x0, x7, &x24); in fe_opp() local