Searched defs:x26 (Results 1 – 5 of 5) sorted by relevance
161 fiat_25519_uint128 x26; in fiat_25519_carry_mul() local280 uint64_t x26; in fiat_25519_carry_square() local511 uint8_t x26; in fiat_25519_to_bytes() local727 uint64_t x26; in fiat_25519_from_bytes() local1058 uint64_t x26; in fiat_25519_carry_mul() local1372 uint64_t x26; in fiat_25519_carry_square() local1818 uint32_t x26; in fiat_25519_to_bytes() local2076 uint32_t x26; in fiat_25519_from_bytes() local
45 x26, enumerator
43 x26, enumerator
118 { u32 x26; u8/*bool*/ x27 = subborrow_u26(x24, x6, 0x3ffffff, &x26); in fe_freeze() local459 { u64 x26 = (0x2 * (((((u64)x8 * x10) + ((u64)x6 * x12)) + ((u64)x4 * x14)) + ((u64)x2 * x16))); in fe_sqr_impl() local
1243 x26 = 26, enumerator