pub fn _mm512_movepi8_mask(a: __m512i) -> u64
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