pub fn _mm512_movepi16_mask(a: __m512i) -> u32
Set each bit of mask register k based on the most significant bit of the corresponding packed 16-bit integer in a.
Intel’s documentation