Searched defs:x80 (Results 1 – 3 of 3) sorted by relevance
142 { u32 x80; u8/*bool*/ x81 = addcarryx_u25(x77, x41, x78, &x80); in fe_freeze() local370 { u64 x80 = (x41 + (x51 << 0x4)); in fe_mul_impl() local513 { u64 x80 = (x79 >> 0x19); in fe_sqr_impl() local693 { u64 x80 = (x41 + (x51 << 0x4)); in fe_mul_121666_impl() local
380 uint64_t x80 = (x79 >> 8); in fiat_25519_to_bytes() local674 uint64_t x80 = ((uint64_t)(arg1[2]) * (arg2[1])); in fiat_25519_carry_mul() local840 uint64_t x80 = (x67 + (x59 + (x52 + (x46 + (x22 + x21))))); in fiat_25519_carry_square() local1130 uint32_t x80 = (x78 >> 8); in fiat_25519_to_bytes() local
1074 const size_t x80 = x01 << 7; in ZSTD_row_getMatchMask() local