Function _mm512_movepi32_mask 

pub fn _mm512_movepi32_mask(a: __m512i) -> __mmask16

Available on x86-64 and target feature avx512dq only.

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