  DEST[i+63:i] = 0
            FI;
    FI;
ENDFOR
DEST[MAXVL-1:VL] ← 0
</pre>
<h3 id="vandnpd--vex-256-encoded-version-">VANDNPD (VEX.256 encoded version)<a class="anchor" href="#vandnpd--vex-256-encoded-version-">
			¶
		</a></h3>
<pre>DEST[63:0]←(NOT(SRC1[63:0])) BITWISE AND SRC2[63:0]
DEST[127:64]←(NOT(SRC1[127:64])) BITWISE AND SRC2[127:64]
DEST[191:128]←(NOT(SRC1[191:128])) BITWISE AND SRC2[191:128]
DEST[255:192]←(NOT(SRC1[255:192])) BITWISE AND SRC2[255:192]
DEST[MAXVL-1:256] ← 0
</pre>
<