_mm256_mask_srav_epi32
Classification
AVX-512, Shift, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VPSRAVD ymm {k}, ymm, ymm
Synopsis
 _mm256_mask_srav_epi32(__m256i src, __mmask8 k, __m256i a, __m256i count);
Description
Shift packed 32-bit integers in "a" right by the amount specified by the corresponding element in "count" while shifting in sign bits, 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 7
	i := j*32
	IF k[j]
		IF count[i+31:i] < 32
			dst[i+31:i] := SignExtend32(a[i+31:i] >> count[i+31:i])
		ELSE
			dst[i+31:i] := (a[i+31] ? 0xFFFFFFFF : 0)
		FI
	ELSE
		dst[i+31:i] := src[i+31:i]
	FI	
ENDFOR
dst[MAX:256] := 0