_ktestc_mask32_u8
Classification
AVX-512, Mask, CPUID Test: AVX512BW
Header File
immintrin.h
Instruction
KTESTD k, k
Synopsis
 _ktestc_mask32_u8(__mmask32 a, __mmask32 b);
Description
Compute the bitwise NOT of 32-bit mask "a" and then AND with "b", if the result is all zeroes, store 1 in "dst", otherwise store 0 in "dst".
Operation
tmp[31:0] := (NOT a[31:0]) AND b[31:0]
IF tmp[31:0] == 0x0
	dst := 1
ELSE
	dst := 0
FI