 0
            FI;
    FI;
ENDFOR
DEST[MAXVL-1:VL] ← 0
</pre>
<h3 id="vandnps--vex-256-encoded-version-">VANDNPS (VEX.256 encoded version)<a class="anchor" href="#vandnps--vex-256-encoded-version-">
			¶
		</a></h3>
<pre>DEST[31:0]←(NOT(SRC1[31:0])) BITWISE AND SRC2[31:0]
DEST[63:32]←(NOT(SRC1[63:32])) BITWISE AND SRC2[63:32]
DEST[95:64]←(NOT(SRC1[95:64])) BITWISE AND SRC2[95:64]
DEST[127:96]←(NOT(SRC1[127:96])) BITWISE AND SRC2[127:96]
DEST[159:128]←(NOT(SRC1[159:128])) BITWISE AND SRC2[159:12