h3 id="vandnpd--vex-128-encoded-version-">VANDNPD (VEX.128 encoded version)<a class="anchor" href="#vandnpd--vex-128-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[MAXVL-1:128] ← 0
</pre>
<h3 id="andnpd--128-bit-legacy-sse-version-">ANDNPD (128-bit Legacy SSE version)<a class="anchor" href="#andnpd--128-bit-legacy-sse-version-">
			¶
		</a></h3>
<pre>DEST[63:0]←(NOT(DEST[63:0])) BITWISE AND