Searched defs:x21 (Results 1 – 5 of 5) sorted by relevance
116 { u32 x20; u8/*bool*/ x21 = subborrow_u26(0x0, x2, 0x3ffffed, &x20); in fe_freeze() local225 { const u32 x21 = in1[8]; in fe_add_impl() local268 { const u32 x21 = in1[8]; in fe_sub_impl() local311 { const u32 x21 = in1[8]; in fe_mul_impl() local454 { u64 x21 = (0x2 * (((u64)x4 * x4) + ((u64)x2 * x6))); in fe_sqr_impl() local634 { const u32 x21 = in1[8]; in fe_mul_121666_impl() local
156 fiat_25519_uint128 x21; in fiat_25519_carry_mul() local275 fiat_25519_uint128 x21; in fiat_25519_carry_square() local506 fiat_25519_uint1 x21; in fiat_25519_to_bytes() local722 uint64_t x21; in fiat_25519_from_bytes() local1053 uint64_t x21; in fiat_25519_carry_mul() local1367 uint64_t x21; in fiat_25519_carry_square() local1627 uint32_t x21; in fiat_25519_carry() local1813 uint32_t x21; in fiat_25519_to_bytes() local2071 uint32_t x21; in fiat_25519_from_bytes() local
40 x21, enumerator
38 x21, enumerator
1238 x21 = 21, enumerator