8) - VEX.128 encoding<a class="anchor" href="#vpsrlq--xmm--xmm--xmm-m128----vex-128-encoding">
			¶
		</a></h3>
<pre>DEST[127:0]←LOGICAL_RIGHT_SHIFT_QWORDS(SRC1, SRC2)
DEST[MAXVL-1:128] ←0
</pre>
<h3 id="vpsrlq--xmm--imm8----vex-128-encoding">VPSRLQ (xmm, imm8) - VEX.128 encoding<a class="anchor" href="#vpsrlq--xmm--imm8----vex-128-encoding">
			¶
		</a></h3>
<pre>DEST[127:0]←LOGICAL_RIGHT_SHIFT_QWORDS(SRC1, imm8)
DEST[MAXVL-1:128] ←0
</pre>
<h3 id="psrlq--xmm--xmm--xmm-m128-">PSRLQ (xmm, xmm, xmm