_mm_mask_shrdv_epi64
Classification
AVX-512, Shift, CPUID Test: AVX512_VBMI2
Header File
immintrin.h
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