Function creusot_contracts::std::arch::x86_64::_mm512_mask_testn_epi32_mask

pub unsafe fn _mm512_mask_testn_epi32_mask(
    k: u16,
    a: __m512i,
    b: __m512i,
) -> u16

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

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

Intel’s documentation