Lines Matching defs:x27
209 { uint64_t x27; uint8_t/*bool*/ x28 = addcarryx_u51(0x0, x10, x25, &x27); in fe_freeze() local
366 { uint64_t x27 = (x26 >> 0x33); in fe_carry_impl() local
402 { uint64_t x27 = (x9 * 0x13); in fe_mul_impl() local
486 { uint128_t x27 = (x25 + x17); in fe_sqr_impl() local
549 { uint64_t x27 = (x9 * 0x13); in fe_mul_121666_impl() local
690 { uint32_t x26; uint8_t/*bool*/ x27 = subborrow_u26(x24, x6, 0x3ffffff, &x26); in fe_freeze() local
810 { const uint32_t x27 = in2[2]; in fe_add_impl() local
853 { const uint32_t x27 = in2[2]; in fe_sub_impl() local
897 { uint32_t x27 = (x25 + x8); in fe_carry_impl() local
963 { const uint32_t x27 = in2[2]; in fe_mul_impl() local
1105 …{ uint64_t x27 = (((uint64_t)x10 * x10) + (0x2 * ((((uint64_t)x6 * x14) + ((uint64_t)x2 * x18)) + … in fe_sqr_impl() local
1235 { const uint32_t x27 = 0; in fe_mul_121666_impl() local
1358 { const uint32_t x27 = in2[2]; in fe_neg_impl() local