, SRC2)
{
    IF ((SRC1 = 0.0) and (SRC2 = 0.0)) THEN DEST ←SRC2;
        ELSE IF (SRC1 = SNaN) THEN DEST ←SRC2; FI;
        ELSE IF (SRC2 = SNaN) THEN DEST ←SRC2; FI;
        ELSE IF (SRC1 &lt; SRC2) THEN DEST ←SRC1;
        ELSE DEST←SRC2;
    FI;
}
</pre>
<h4 id="vminpd--evex-encoded-version-">VMINPD (EVEX encoded version)<a class="anchor" href="#vminpd--evex-encoded-version-">
			¶
		</a></h4>
<pre>(KL, VL) = (2, 128), (4, 256), (8, 512)
FOR j←0 TO KL-1
    i←j * 64
    IF k1[j] OR *no wr