Searched defs:x35 (Results 1 – 2 of 2) sorted by relevance
121 { u32 x35; u8/*bool*/ x36 = subborrow_u25(x33, x12, 0x1ffffff, &x35); in fe_freeze() local237 { const u32 x35 = in2[6]; in fe_add_impl() local280 { const u32 x35 = in2[6]; in fe_sub_impl() local323 { const u32 x35 = in2[6]; in fe_mul_impl() local468 { u64 x35 = (((u64)x18 * x18) + ((u64)(0x4 * x16) * x17)); in fe_sqr_impl() local646 { const u32 x35 = 0; in fe_mul_121666_impl() local
170 uint64_t x35; in fiat_25519_carry_mul() local289 uint64_t x35; in fiat_25519_carry_square() local520 uint64_t x35; in fiat_25519_to_bytes() local736 uint64_t x35; in fiat_25519_from_bytes() local1067 uint64_t x35; in fiat_25519_carry_mul() local1381 uint64_t x35; in fiat_25519_carry_square() local1827 fiat_25519_uint1 x35; in fiat_25519_to_bytes() local2085 uint32_t x35; in fiat_25519_from_bytes() local