🔬This is a nightly-only experimental API. (
Available on (x86 or x86-64) and target feature
avx512f,avx512vl and x86-64 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 (subject to writemask k) if the intermediate value is zero.