Function creusot_contracts::std::arch::x86_64::_mm_madd52hi_epu64
source · pub unsafe fn _mm_madd52hi_epu64(a: __m128i, b: __m128i, c: __m128i) -> __m128i🔬This is a nightly-only experimental API. (
stdarch_x86_avx512)Available on x86-64 only.
Expand description
Multiply packed unsigned 52-bit integers in each 64-bit element of
b and c to form a 104-bit intermediate result. Add the high 52-bit
unsigned integer from the intermediate result with the
corresponding unsigned 64-bit integer in a, and store the
results in dst.