Lines Matching defs:x2
91 uint32_t x2 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_addcarryx_u26() local
108 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 26); in fiat_25519_subborrowx_u26() local
125 uint32_t x2 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_addcarryx_u25() local
142 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 25); in fiat_25519_subborrowx_u25() local
172 uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_25519_cmovznz_u32() local
192 uint64_t x2 = ((uint64_t)(arg1[9]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local
358 uint32_t x2 = (x1 * (uint32_t)0x2); in fiat_25519_carry_square() local
497 uint32_t x2 = ((x1 >> 26) + (arg1[1])); in fiat_25519_carry() local
539 uint32_t x2 = ((arg1[1]) + (arg2[1])); in fiat_25519_add() local
569 uint32_t x2 = ((UINT32_C(0x3fffffe) + (arg1[1])) - (arg2[1])); in fiat_25519_sub() local
598 uint32_t x2 = (UINT32_C(0x3fffffe) - (arg1[1])); in fiat_25519_opp() local
627 fiat_25519_uint1 x2; in fiat_25519_to_bytes() local
807 uint32_t x2 = ((uint32_t)(arg1[30]) << 10); in fiat_25519_from_bytes() local