_ktestc_mask64_u8
Classification
AVX-512, Mask, CPUID Test: AVX512BW
Header File
immintrin.h
Instruction
KTESTQ k, k
Synopsis
 _ktestc_mask64_u8(__mmask64 a, __mmask64 b);
Description
Compute the bitwise NOT of 64-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[63:0] := (NOT a[63:0]) AND b[63:0]
IF tmp[63:0] == 0x0
	dst := 1
ELSE
	dst := 0
FI