Function _mm512_maskz_cvtsepi32_epi16 

pub fn _mm512_maskz_cvtsepi32_epi16(k: __mmask16, a: __m512i) -> __m256i

Available on x86 and target feature avx512f only.

Convert packed signed 32-bit integers in a to packed 16-bit integers with signed saturation, and store the results in dst.

Intel’s documentation