_mm_mask_shldi_epi32
Classification
AVX-512, Shift, CPUID Test: AVX512_VBMI2
Header File
immintrin.h
Instruction
VPSHLDD xmm {k}, xmm, xmm, imm8
Synopsis
 _mm_mask_shldi_epi32(__m128i src, __mmask8 k, __m128i a, __m128i b, int imm8);
Description
Concatenate packed 32-bit integers in "a" and "b" producing an intermediate 64-bit result. Shift the result left by "imm8" bits, and store the upper 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]
		tmp[63:0] := ((a[i+31:i] << 32)[63:0] | b[i+31:i]) << imm8[4:0]
		dst[i+31:i] := tmp[63:32]
	ELSE
		dst[i+31:i] := src[i+31:i]
	FI
ENDFOR
dst[MAX:128] := 0