_kshiftri_mask64
Classification
AVX-512, Mask, CPUID Test: AVX512BW
Header File
immintrin.h
Instruction
KSHIFTRQ k, k, imm8
Synopsis
 _kshiftri_mask64(__mmask64 a, unsigned int count);
Description
Shift the bits of 64-bit mask "a" right by "count" while shifting in zeros, and store the least significant 64 bits of the result in "k".
Operation
k[MAX:0] := 0
IF count[7:0] <= 63
	k[63:0] := a[63:0] >> count[7:0]
FI