    FI;
ENDFOR
DEST[MAXVL-1:VL] ← 0
</pre>
<h3 id="vpsrld--ymm--ymm--xmm-m128----vex-256-encoding">VPSRLD (ymm, ymm, xmm/m128) - VEX.256 encoding<a class="anchor" href="#vpsrld--ymm--ymm--xmm-m128----vex-256-encoding">
			¶
		</a></h3>
<pre>DEST[255:0]←LOGICAL_RIGHT_SHIFT_DWORDS_256b(SRC1, SRC2)
DEST[MAXVL-1:256] ←0;
</pre>
<h3 id="vpsrld--ymm--imm8----vex-256-encoding">VPSRLD (ymm, imm8) - VEX.256 encoding<a class="anchor" href="#vpsrld--ymm--imm8----vex-256-encoding">
			¶
		</a></h3>
<pre>DEST[25