pub fn _mm512_maskz_cvtsepi32_epi16(k: u16, a: __m512i) -> __m256i
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