L-1:512] ← 0;
</pre>
<h4 id="vpsrldq--vex-256-and-evex-256-encoded-version-">VPSRLDQ (VEX.256 and EVEX.256 encoded version)<a class="anchor" href="#vpsrldq--vex-256-and-evex-256-encoded-version-">
			¶
		</a></h4>
<pre>TEMP ← COUNT
IF (TEMP &gt; 15) THEN TEMP←16; FI
DEST[127:0]←SRC[127:0] &gt;&gt; (TEMP * 8)
DEST[255:128]←SRC[255:128] &gt;&gt; (TEMP * 8)
DEST[MAXVL-1:256] ← 0;
</pre>
<h4 id="vpsrldq--vex-128-and-evex-128-encoded-version-">VPSRLDQ (VEX.128 and EVEX.128 encoded version)<a class="