Searched defs:x85 (Results 1 – 2 of 2) sorted by relevance
144 { u32 x84; u8/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84); in fe_freeze() local375 { u64 x85 = (x84 + x50); in fe_mul_impl() local518 { u64 x85 = (x83 + x43); in fe_sqr_impl() local698 { u64 x85 = (x84 + x50); in fe_mul_121666_impl() local
570 uint64_t x85; in fiat_25519_to_bytes() local1117 uint64_t x85; in fiat_25519_carry_mul() local1431 uint64_t x85; in fiat_25519_carry_square() local1877 uint32_t x85; in fiat_25519_to_bytes() local