Searched defs:x23 (Results 1 – 5 of 5) sorted by relevance
117 { u32 x23; u8/*bool*/ x24 = subborrow_u25(x21, x4, 0x1ffffff, &x23); in fe_freeze() local243 { const u32 x23 = in2[0]; in fe_add_impl() local286 { const u32 x23 = in2[0]; in fe_sub_impl() local329 { const u32 x23 = in2[0]; in fe_mul_impl() local456 { u64 x23 = ((((u64)x6 * x6) + ((u64)(0x4 * x4) * x8)) + ((u64)(0x2 * x2) * x10)); in fe_sqr_impl() local652 { const u32 x23 = 121666; in fe_mul_121666_impl() local
97 fiat_25519_uint128 x23 = ((fiat_25519_uint128)(arg1[0]) * (arg2[2])); in fiat_25519_carry_mul() local163 fiat_25519_uint128 x23 = ((fiat_25519_uint128)(arg1[0]) * (arg1[0])); in fiat_25519_carry_square() local323 uint64_t x23 = (x18 * (uint64_t)0x2); in fiat_25519_to_bytes() local455 uint64_t x23 = ((uint64_t)(arg1[9]) << 21); in fiat_25519_from_bytes() local617 uint64_t x23 = ((uint64_t)(arg1[7]) * ((arg2[4]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local783 uint64_t x23 = ((arg1[7]) * x5); in fiat_25519_carry_square() local1063 fiat_25519_uint1 x23; in fiat_25519_to_bytes() local1232 uint32_t x23 = ((uint32_t)(arg1[9]) << 21); in fiat_25519_from_bytes() local
42 x23, enumerator
40 x23, enumerator
1240 x23 = 23, enumerator