Searched defs:x2 (Results 1 – 2 of 2) sorted by relevance
91 uint32_t x2 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_addcarryx_u26() local108 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 26); in fiat_25519_subborrowx_u26() local125 uint32_t x2 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_addcarryx_u25() local142 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 25); in fiat_25519_subborrowx_u25() local172 uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_25519_cmovznz_u32() local192 uint64_t x2 = ((uint64_t)(arg1[9]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local358 uint32_t x2 = (x1 * (uint32_t)0x2); in fiat_25519_carry_square() local497 uint32_t x2 = ((x1 >> 26) + (arg1[1])); in fiat_25519_carry() local539 uint32_t x2 = ((arg1[1]) + (arg2[1])); in fiat_25519_add() local569 uint32_t x2 = ((UINT32_C(0x3fffffe) + (arg1[1])) - (arg2[1])); in fiat_25519_sub() local[all …]
1162 uint64_t x2 = ((uint64_t)UINT32_C(0x1db42) * (arg1[8])); in fiat_25519_carry_scmul_121666() local1229 fe x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mult_generic() local
