Function creusot_contracts::std::arch::x86_64::_mm_madd52lo_epu64
source · pub unsafe fn _mm_madd52lo_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 low 52-bit
unsigned integer from the intermediate result with the
corresponding unsigned 64-bit integer in a
, and store the
results in dst
.