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
158 fiat_25519_uint128 x23; in fiat_25519_carry_mul() local277 fiat_25519_uint128 x23; in fiat_25519_carry_square() local508 uint64_t x23; in fiat_25519_to_bytes() local724 uint64_t x23; in fiat_25519_from_bytes() local1055 uint64_t x23; in fiat_25519_carry_mul() local1369 uint64_t x23; in fiat_25519_carry_square() local1815 fiat_25519_uint1 x23; in fiat_25519_to_bytes() local2073 uint32_t x23; in fiat_25519_from_bytes() local
42 x23, enumerator
40 x23, enumerator
1240 x23 = 23, enumerator