Searched defs:x22 (Results 1 – 10 of 10) sorted by relevance
94 fiat_25519_uint128 x22 = ((fiat_25519_uint128)(arg1[0]) * (arg2[3])); in fiat_25519_carry_mul() local160 fiat_25519_uint128 x22 = ((fiat_25519_uint128)(arg1[0]) * x8); in fiat_25519_carry_square() local224 uint64_t x22 = (x21 >> 51); in fiat_25519_carry_scmul_121666() local387 uint64_t x22 = (x20 << 4); in fiat_25519_to_bytes() local519 uint64_t x22 = ((uint64_t)(arg1[10]) << 29); in fiat_25519_from_bytes() local
126 uint64_t x22 = ((uint64_t)(arg1[7]) * ((arg2[5]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local292 uint64_t x22 = ((arg1[7]) * (x2 * (uint64_t)0x2)); in fiat_25519_carry_square() local431 uint64_t x22 = (x20 + x6); in fiat_25519_carry_scmul_121666() local497 uint32_t x22 = (x10 & UINT32_C(0x1ffffff)); in fiat_25519_carry() local679 uint32_t x22; in fiat_25519_to_bytes() local848 uint32_t x22 = ((uint32_t)(arg1[10]) << 3); in fiat_25519_from_bytes() local
123 uint64_t x22; in fiat_p256_mul() local436 uint64_t x22; in fiat_p256_square() local754 uint64_t x22; in fiat_p256_add() local879 uint64_t x22; in fiat_p256_from_montgomery() local1084 uint64_t x22 = (x20 >> 8); in fiat_p256_to_bytes() local1188 uint64_t x22 = ((uint64_t)(arg1[10]) << 16); in fiat_p256_from_bytes() local
119 uint32_t x22; in fiat_p256_mul() local1168 uint32_t x22; in fiat_p256_square() local2222 fiat_p256_uint1 x22; in fiat_p256_add() local2308 uint32_t x22; in fiat_p256_sub() local2375 uint32_t x22; in fiat_p256_opp() local2441 uint32_t x22; in fiat_p256_from_montgomery() local3081 uint8_t x22 = (uint8_t)(x20 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3185 uint32_t x22 = ((uint32_t)(arg1[10]) << 16); in fiat_p256_from_bytes() 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
2711 int32x4_t x22 = vmovl_s16(input2_val_high); in AddElementwise() local2818 int32x4_t x22 = vmovl_s16(input2_val_high); in AddScalarBroadcast() local
2927 auto x22 = vmovl_s16(input2_val_high); in AddElementwise() local