🔬This is a nightly-only experimental API. (
Available on (x86 or x86-64) and target feature
avx512f,avx512vland x86 only.
Compute the bitwise NAND of packed 32-bit integers in a and b, producing intermediate 32-bit values, and set the corresponding bit in result mask k if the intermediate value is zero.