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