Searched defs:x33 (Results 1 – 2 of 2) sorted by relevance
120 { u32 x32; u8/*bool*/ x33 = subborrow_u26(x30, x10, 0x3ffffff, &x32); in fe_freeze() local238 { const u32 x33 = in2[5]; in fe_add_impl() local281 { const u32 x33 = in2[5]; in fe_sub_impl() local324 { const u32 x33 = in2[5]; in fe_mul_impl() local466 { u64 x33 = (0x2 * ((((u64)x16 * x16) + ((u64)x14 * x18)) + ((u64)(0x2 * x12) * x17))); in fe_sqr_impl() local647 { const u32 x33 = 0; in fe_mul_121666_impl() local
168 fiat_25519_uint128 x33; in fiat_25519_carry_mul() local287 uint64_t x33; in fiat_25519_carry_square() local518 uint64_t x33; in fiat_25519_to_bytes() local734 uint64_t x33; in fiat_25519_from_bytes() local1065 uint64_t x33; in fiat_25519_carry_mul() local1379 uint64_t x33; in fiat_25519_carry_square() local1825 fiat_25519_uint1 x33; in fiat_25519_to_bytes() local2083 uint32_t x33; in fiat_25519_from_bytes() local