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