Searched defs:x3 (Results 1 – 2 of 2) sorted by relevance
92 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 26); in fiat_25519_addcarryx_u26() local109 uint32_t x3 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_subborrowx_u26() local126 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 25); in fiat_25519_addcarryx_u25() local143 uint32_t x3 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_subborrowx_u25() local179 uint32_t x3 = ((value_barrier_u32(x2) & arg3) | (value_barrier_u32(~x2) & arg2)); in fiat_25519_cmovznz_u32() local193 uint64_t x3 = ((uint64_t)(arg1[9]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local359 uint32_t x3 = ((arg1[9]) * (uint32_t)0x2); in fiat_25519_carry_square() local498 uint32_t x3 = ((x2 >> 25) + (arg1[2])); in fiat_25519_carry() local540 uint32_t x3 = ((arg1[2]) + (arg2[2])); in fiat_25519_add() local570 uint32_t x3 = ((UINT32_C(0x7fffffe) + (arg1[2])) - (arg2[2])); in fiat_25519_sub() local[all …]
1163 uint64_t x3 = ((uint64_t)UINT32_C(0x1db42) * (arg1[7])); in fiat_25519_carry_scmul_121666() local1229 fe x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mult_generic() local
