_mm_shrdv_epi32
Classification
AVX-512, Shift, CPUID Test: AVX512_VBMI2
Header File
immintrin.h
Instruction
VPSHRDVD xmm, xmm, xmm
Synopsis
 _mm_shrdv_epi32(__m128i a, __m128i b, __m128i c);
Description
Concatenate packed 32-bit integers in "b" and "a" producing an intermediate 64-bit result. Shift the result right by the amount specified in the corresponding element of "c", and store the lower 32-bits in "dst".
Operation
FOR j := 0 to 3
	i := j*32
	dst[i+31:i] := ((b[i+31:i] << 32)[63:0] | a[i+31:i]) >> (c[i+31:i] & 31)
ENDFOR
dst[MAX:128] := 0