_mm_mask_set1_epi32
Classification
AVX-512, Set, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VPBROADCASTD xmm {k}, r32
Synopsis
 _mm_mask_set1_epi32(__m128i src, __mmask8 k, int a);
Description
Broadcast 32-bit integer "a" to all elements of "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] := a[31:0]
	ELSE
		dst[i+31:i] := src[i+31:i]
	FI
ENDFOR
dst[MAX:128] := 0