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