This is supported on x86-64 and target feature
avx512f,avx512vl
only.Expand description
Convert packed signed 32-bit integers in a to packed 16-bit integers with signed saturation, and store the results in dst using writemask k (elements are copied from src when the corresponding mask bit is not set).