Lines Matching defs:x3
92 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 26); in fiat_25519_addcarryx_u26() local
109 uint32_t x3 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_subborrowx_u26() local
126 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 25); in fiat_25519_addcarryx_u25() local
143 uint32_t x3 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_subborrowx_u25() local
179 uint32_t x3 = ((value_barrier_u32(x2) & arg3) | (value_barrier_u32(~x2) & arg2)); in fiat_25519_cmovznz_u32() local
193 uint64_t x3 = ((uint64_t)(arg1[9]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local
359 uint32_t x3 = ((arg1[9]) * (uint32_t)0x2); in fiat_25519_carry_square() local
498 uint32_t x3 = ((x2 >> 25) + (arg1[2])); in fiat_25519_carry() local
540 uint32_t x3 = ((arg1[2]) + (arg2[2])); in fiat_25519_add() local
570 uint32_t x3 = ((UINT32_C(0x7fffffe) + (arg1[2])) - (arg2[2])); in fiat_25519_sub() local
599 uint32_t x3 = (UINT32_C(0x7fffffe) - (arg1[2])); in fiat_25519_opp() local
629 uint32_t x3; in fiat_25519_to_bytes() local
808 uint32_t x3 = ((uint32_t)(arg1[29]) << 2); in fiat_25519_from_bytes() local