_mm_mask_srli_epi64
Classification
AVX-512, Shift, CPUID Test: AVX512F
Header File
Instruction
VPSRLQ xmm {k}, xmm, imm8
Synopsis
_mm_mask_srli_epi64(__m128i src, __mmask8 k, __m128i a, unsigned int imm8);
Description
Shift packed 64-bit integers in "a" right by "imm8" while shifting in zeros, and store the results in "dst" using writemask "k" (elements are copied from "src" when the corresponding mask bit is not set).
Operation
FOR j := 0 to 1
i := j*64
IF k[j]
IF imm8[7:0] > 63
dst[i+63:i] := 0
ELSE
dst[i+63:i] := ZeroExtend64(a[i+63:i] >> imm8[7:0])
FI
ELSE
dst[i+63:i] := src[i+63:i]
FI
ENDFOR
dst[MAX:128] := 0