    ; zeroing-masking
                    DEST[i+63:i] ← 0
            FI
    FI;
ENDFOR
DEST[MAXVL-1:VL] ← 0
</pre>
<h3 id="vpsrlq--evex-versions--imm8-">VPSRLQ (EVEX versions, imm8)<a class="anchor" href="#vpsrlq--evex-versions--imm8-">
			¶
		</a></h3>
<pre>(KL, VL) = (2, 128), (4, 256), (8, 512)
FOR j←0 TO KL-1
    i←j * 64
    IF k1[j] OR *no writemask* THEN
            IF (EVEX.b = 1) AND (SRC1 *is memory*)
                THEN DEST[i+63:i]←LOGICAL_RIGHT_SHIFT_QWORDS1(SRC1[63:0], imm8)
    