🔬This is a nightly-only experimental API. (
Available on (x86 or x86-64) and target feature
avx512f,avx512vl and x86-64 only.
Convert packed unsigned 64-bit integers in a to packed 32-bit integers with unsigned saturation, and store the active results (those with their respective bit set in writemask k) to unaligned memory at base_addr.