Searched defs:x22 (Results 1 – 11 of 11) sorted by relevance
100 fiat_25519_uint128 x22 = ((fiat_25519_uint128)(arg1[0]) * (arg2[3])); in fiat_25519_carry_mul() local166 fiat_25519_uint128 x22 = ((fiat_25519_uint128)(arg1[0]) * x8); in fiat_25519_carry_square() local230 uint64_t x22 = (x21 >> 51); in fiat_25519_carry_scmul_121666() local393 uint64_t x22 = (x20 << 4); in fiat_25519_to_bytes() local525 uint64_t x22 = ((uint64_t)(arg1[10]) << 29); in fiat_25519_from_bytes() local
132 uint64_t x22 = ((uint64_t)(arg1[7]) * ((arg2[5]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local298 uint64_t x22 = ((arg1[7]) * (x2 * (uint64_t)0x2)); in fiat_25519_carry_square() local437 uint64_t x22 = (x20 + x6); in fiat_25519_carry_scmul_121666() local503 uint32_t x22 = (x10 & UINT32_C(0x1ffffff)); in fiat_25519_carry() local685 uint32_t x22; in fiat_25519_to_bytes() local854 uint32_t x22 = ((uint32_t)(arg1[10]) << 3); in fiat_25519_from_bytes() local
129 uint64_t x22; in fiat_p256_mul() local442 uint64_t x22; in fiat_p256_square() local760 uint64_t x22; in fiat_p256_add() local885 uint64_t x22; in fiat_p256_from_montgomery() local1090 uint64_t x22 = (x20 >> 8); in fiat_p256_to_bytes() local1194 uint64_t x22 = ((uint64_t)(arg1[10]) << 16); in fiat_p256_from_bytes() local
125 uint32_t x22; in fiat_p256_mul() local1174 uint32_t x22; in fiat_p256_square() local2228 fiat_p256_uint1 x22; in fiat_p256_add() local2314 uint32_t x22; in fiat_p256_sub() local2381 uint32_t x22; in fiat_p256_opp() local2447 uint32_t x22; in fiat_p256_from_montgomery() local3087 uint8_t x22 = (uint8_t)(x20 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3191 uint32_t x22 = ((uint32_t)(arg1[10]) << 16); in fiat_p256_from_bytes() local
59 int32x4_t x22 = vmovl_s16(input2_val_high); in AddElementwise() local164 int32x4_t x22 = vmovl_s16(input2_val_high); in AddScalarBroadcast() local
167 int[] x22 = Nat256.create(); in sqrt() local
163 int[] x22 = Nat256.create(); in sqrt() local
205 SolutionType x22 = svd2.solve(rhs2); in svd_min_norm() local
969 double x22 = m2[2]; in orthogonalizeMatrix() local
45 x16, x17, x18, x19, x20, x21, x22, x23, enumerator
1759 int32x4_t x22 = vmovl_s16(input2_val_high); in AddElementwise() local1866 int32x4_t x22 = vmovl_s16(input2_val_high); in AddScalarBroadcast() local