Searched defs:x23 (Results 1 – 12 of 12) sorted by relevance
51 float x23 = (x2 + x3) / 2; in recursive_bezier() local
101 fiat_25519_uint128 x23 = ((fiat_25519_uint128)(arg1[0]) * (arg2[2])); in fiat_25519_carry_mul() local167 fiat_25519_uint128 x23 = ((fiat_25519_uint128)(arg1[0]) * (arg1[0])); in fiat_25519_carry_square() local231 uint64_t x23 = (x21 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_scmul_121666() local394 uint64_t x23 = (x18 * (uint64_t)0x2); in fiat_25519_to_bytes() local526 uint64_t x23 = ((uint64_t)(arg1[9]) << 21); in fiat_25519_from_bytes() local
133 uint64_t x23 = ((uint64_t)(arg1[7]) * ((arg2[4]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local299 uint64_t x23 = ((arg1[7]) * x5); in fiat_25519_carry_square() local438 uint32_t x23 = (uint32_t)(x22 >> 26); in fiat_25519_carry_scmul_121666() local686 fiat_25519_uint1 x23; in fiat_25519_to_bytes() local855 uint32_t x23 = ((uint32_t)(arg1[9]) << 21); in fiat_25519_from_bytes() local
131 uint64_t x23; in fiat_p256_mul() local444 uint64_t x23; in fiat_p256_square() local886 fiat_p256_uint1 x23; in fiat_p256_from_montgomery() local1091 uint8_t x23 = (uint8_t)(x20 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1195 uint64_t x23 = ((uint64_t)(arg1[9]) << 8); in fiat_p256_from_bytes() local
127 uint32_t x23; in fiat_p256_mul() local1176 uint32_t x23; in fiat_p256_square() local2230 uint32_t x23; in fiat_p256_add() local2315 fiat_p256_uint1 x23; in fiat_p256_sub() local2382 fiat_p256_uint1 x23; in fiat_p256_opp() local2448 fiat_p256_uint1 x23; in fiat_p256_from_montgomery() local3088 uint32_t x23 = (x6 >> 8); in fiat_p256_to_bytes() local3192 uint32_t x23 = ((uint32_t)(arg1[9]) << 8); in fiat_p256_from_bytes() local
176 int[] x23 = x8; in sqrt() local
172 int[] x23 = x8; in sqrt() local
100 x23 = *xy++; in S32_alpha_D32_nofilter_DX() local
99 x23 = *xy++; in S32_alpha_D32_nofilter_DX() local
45 x16, x17, x18, x19, x20, x21, x22, x23, enumerator
986 float x23 = (x2+x3)*0.5f, y23 = (y2+y3)*0.5f; in PathBezierToCasteljau() local
3438 float x23 = (x2+x3)/2; in stbtt__tesselate_cubic() local