pub fn _mm512_movepi32_mask(a: __m512i) -> u16
Set each bit of mask register k based on the most significant bit of the corresponding packed 32-bit integer in a.
Intel’s Documentation