Function _mm256_maskz_packs_epi32

#[target_feature(enable = "avx512bw", enable = "avx512vl")]
pub fn _mm256_maskz_packs_epi32(k: __mmask16, a: __m256i, b: __m256i) -> __m256i

Convert packed signed 32-bit integers from a and b to packed 16-bit integers using signed saturation, and store the results in dst using zeromask k (elements are zeroed out when the corresponding mask bit is not set).

Intel's documentation