_mm_mask_rorv_epi64
Classification
AVX-512, Shift, CPUID Test: AVX512F
Header File
immintrin.h
Instruction
VPRORVQ xmm {k}, xmm, xmm
Synopsis
 _mm_mask_rorv_epi64(__m128i src, __mmask8 k, __m128i a, __m128i b);
Description
Rotate the bits in each packed 64-bit integer in "a" to the right by the number of bits specified in the corresponding element of "b", and store the results in "dst" using writemask "k" (elements are copied from "src" when the corresponding mask bit is not set).
Operation
DEFINE RIGHT_ROTATE_QWORDS(src, count_src) {
	count := count_src % 64
	RETURN (src >> count) OR (src << (64 - count))
}
FOR j := 0 to 1
	i := j*64
	IF k[j]
		dst[i+63:i] := RIGHT_ROTATE_QWORDS(a[i+63:i], b[i+63:i])
	ELSE
		dst[i+63:i] := src[i+63:i]
	FI
ENDFOR
dst[MAX:128] := 0