_mm_maskz_sra_epi64
Classification
AVX-512, Shift, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VPSRAQ xmm {z}, xmm, xmm
Synopsis
 _mm_maskz_sra_epi64(__mmask8 k, __m128i a, __m128i count);
Description
Shift packed 64-bit integers in "a" right by "count" while shifting in sign bits, 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*64
	IF k[j]
		IF count[63:0] > 63
			dst[i+63:i] := (a[i+63] ? 0xFFFFFFFFFFFFFFFF : 0x0)
		ELSE
			dst[i+63:i] := SignExtend64(a[i+63:i] >> count[63:0])
		FI
	ELSE
		dst[i+63:i] := 0
	FI
ENDFOR
dst[MAX:128] := 0