Searched defs:x1 (Results 1 – 2 of 2) sorted by relevance
90 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u26() local107 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u26() local124 uint32_t x1 = ((arg1 + arg2) + arg3); in fiat_25519_addcarryx_u25() local141 int32_t x1 = ((int32_t)(arg2 - arg1) - (int32_t)arg3); in fiat_25519_subborrowx_u25() local171 fiat_25519_uint1 x1 = (!(!arg1)); in fiat_25519_cmovznz_u32() local191 uint64_t x1 = ((uint64_t)(arg1[9]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local357 uint32_t x1 = ((arg1[9]) * (uint32_t)UINT8_C(0x13)); in fiat_25519_carry_square() local496 uint32_t x1 = (arg1[0]); in fiat_25519_carry() local538 uint32_t x1 = ((arg1[0]) + (arg2[0])); in fiat_25519_add() local568 uint32_t x1 = ((UINT32_C(0x7ffffda) + (arg1[0])) - (arg2[0])); in fiat_25519_sub() local[all …]
1161 uint64_t x1 = ((uint64_t)UINT32_C(0x1db42) * (arg1[9])); in fiat_25519_carry_scmul_121666() local1229 fe x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mult_generic() local