] BITWISE AND SRC2[223:192]
DEST[255:224]←SRC1[255:224] BITWISE AND SRC2[255:224].
DEST[MAXVL-1:256] ← 0;
</pre>
<h3 id="vandps--vex-128-encoded-version-">VANDPS (VEX.128 encoded version)<a class="anchor" href="#vandps--vex-128-encoded-version-">
			¶
		</a></h3>
<pre>DEST[31:0]←SRC1[31:0] BITWISE AND SRC2[31:0]
DEST[63:32]←SRC1[63:32] BITWISE AND SRC2[63:32]
DEST[95:64]←SRC1[95:64] BITWISE AND SRC2[95:64]
DEST[127:96]←SRC1[127:96] BITWISE AND SRC2[127:96]
DEST[MAXVL-1:128] ← 0;
</pre>
<h3 id