_mm_mask_shrdv_epi64
Classification
AVX-512, Shift, CPUID Test: AVX512_VBMI2
Header File
Instruction
VPSHRDVQ xmm {k}, xmm, xmm
Synopsis
_mm_mask_shrdv_epi64(__m128i a, __mmask8 k, __m128i b, __m128i c);
Description
Concatenate packed 64-bit integers in "b" and "a" producing an intermediate 128-bit result. Shift the result right by the amount specified in the corresponding element of "c", and store the lower 64-bits in "dst" using writemask "k" (elements are copied from "a" when the corresponding mask bit is not set).
Operation
FOR j := 0 to 1
i := j*64
IF k[j]
dst[i+63:i] := ((b[i+63:i] << 64)[127:0] | a[i+63:i]) >> (c[i+63:i] & 63)
ELSE
dst[i+63:i] := a[i+63:i]
FI
ENDFOR
dst[MAX:128] := 0