Lines Matching defs:x1
90 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u26() local
107 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u26() local
124 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u25() local
141 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u25() local
171 fiat_25519_uint1 x1 = (!(!arg1)); in fiat_25519_cmovznz_u32() local
191 uint64_t x1 = ((uint64_t)(arg1[9]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local
357 uint32_t x1 = ((arg1[9]) * (uint32_t)UINT8_C(0x13)); in fiat_25519_carry_square() local
496 uint32_t x1 = (arg1[0]); in fiat_25519_carry() local
538 uint32_t x1 = ((arg1[0]) + (arg2[0])); in fiat_25519_add() local
568 uint32_t x1 = ((UINT32_C(0x7ffffda) + (arg1[0])) - (arg2[0])); in fiat_25519_sub() local
597 uint32_t x1 = (UINT32_C(0x7ffffda) - (arg1[0])); in fiat_25519_opp() local
626 uint32_t x1; in fiat_25519_to_bytes() local
806 uint32_t x1 = ((uint32_t)(arg1[31]) << 18); in fiat_25519_from_bytes() local