_mm_maskz_cvtepi32_pd
Classification
AVX-512, Convert, CPUID Test: AVX512F
Header File
Instruction
VCVTDQ2PD xmm {z}, xmm
Synopsis
_mm_maskz_cvtepi32_pd(__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 zeromask "k" (elements are zeroed out 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] := 0
FI
ENDFOR
dst[MAX:128] := 0