🔬This is a nightly-only experimental API. (
Available on (x86 or x86-64) and target feature
avx512f,avx512vland x86-64 only.
Multiply the packed 32-bit integers in a and b, producing intermediate 64-bit integers, and store the low 32 bits of the intermediate integers in dst using zeromask k (elements are zeroed out when the corresponding mask bit is not set).