Function creusot_contracts::std::arch::x86_64::_mm512_movepi8_mask

pub unsafe fn _mm512_movepi8_mask(a: __m512i) -> u64

🔬This is a nightly-only experimental API. (stdarch_x86_avx512)

Available on x86-64 only.

Set each bit of mask register k based on the most significant bit of the corresponding packed 8-bit integer in a.

Intel’s documentation