_mm_mask_cvtepi32_pd
Classification
AVX-512, Convert, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VCVTDQ2PD xmm {k}, xmm
Synopsis
 _mm_mask_cvtepi32_pd(__m128d src, __mmask8 k, __m128i a);
Description
Convert packed signed 32-bit integers in "a" to packed double-precision (64-bit) floating-point elements, and store the results in "dst" using writemask "k" (elements are copied from "src" when the corresponding mask bit is not set).
Operation
FOR j := 0 to 1
	i := j*32
	m := j*64
	IF k[j]
		dst[m+63:m] := Convert_Int32_To_FP64(a[i+31:i])
	ELSE
		dst[m+63:m] := src[m+63:m]
	FI
ENDFOR
dst[MAX:128] := 0