register.</p>
<h2 id="operation">Operation<a class="anchor" href="#operation">
			¶
		</a></h2>
<h3 id="haddpd--128-bit-legacy-sse-version-">HADDPD (128-bit Legacy SSE version)<a class="anchor" href="#haddpd--128-bit-legacy-sse-version-">
			¶
		</a></h3>
<pre>DEST[63:0]←SRC1[127:64] + SRC1[63:0]
DEST[127:64]←SRC2[127:64] + SRC2[63:0]
DEST[MAXVL-1:128] (Unmodified)
</pre>
<h3 id="vhaddpd--vex-128-encoded-version-">VHADDPD (VEX.128 encoded version)<a class="anchor" href="#vhaddpd--vex-128-encoded-versi