Function creusot_contracts::std::arch::x86_64::_mm_mask_testn_epi64_mask

pub unsafe fn _mm_mask_testn_epi64_mask(k: u8, a: __m128i, b: __m128i) -> u8

🔬This is a nightly-only experimental API. (stdarch_x86_avx512)

Available on 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.

Intel’s documentation