views/asm-docs-source/DPPD.html - compiler-explorer - Rivoreo Source Code Repositories

 <!DOCTYPE html>

 <html>
 <head>
 <meta charset="UTF-8">
 <link href="style.css" type="text/css" rel="stylesheet">
 <title>DPPD — Dot Product of Packed Double Precision Floating-Point Values </title></head>
 <body>
 <h1>DPPD — Dot Product of Packed Double Precision Floating-Point Values</h1>
 <table>
 <tr>
 <th>Opcode/Instruction</th>
 <th>Op/En</th>
 <th>64/32-bit Mode</th>
 <th>CPUID Feature Flag</th>
 <th>Description</th></tr>
 <tr>
 <td>
 <p>66 0F 3A 41 /r ib</p>
 <p>DPPD <em>xmm1, xmm2/m128, imm8</em></p></td>
 <td>RMI</td>
 <td>V/V</td>
 <td>SSE4_1</td>
 <td>Selectively multiply packed DP floating-point values from <em>xmm1</em> with packed DP floating-point values from<em> xmm2</em>, add and selectively store the packed DP floating-point values to <em>xmm1</em>.</td></tr>
 <tr>
 <td>
 <p>VEX.NDS.128.66.0F3A.WIG 41 /r ib</p>
 <p>VDPPD xmm1,xmm2, xmm3/m128, imm8</p></td>
 <td>RVMI</td>
 <td>V/V</td>
 <td>AVX</td>
 <td>Selectively multiply packed DP floating-point values from xmm2 with packed DP floating-point values from xmm3, add and selectively store the packed DP floating-point values to xmm1.</td></tr></table>
 <h3>Instruction Operand Encoding</h3>
 <table>
 <tr>
 <td>Op/En</td>
 <td>Operand 1</td>
 <td>Operand 2</td>
 <td>Operand 3</td>
 <td>Operand 4</td></tr>
 <tr>
 <td>RMI</td>
 <td>ModRM:reg (r, w)</td>
 <td>ModRM:r/m (r)</td>
 <td>imm8</td>
 <td>NA</td></tr>
 <tr>
 <td>RVMI</td>
 <td>ModRM:reg (w)</td>
 <td>VEX.vvvv (r)</td>
 <td>ModRM:r/m (r)</td>
 <td>imm8</td></tr></table>
 <h2>Description</h2>
 <p>Conditionally multiplies the packed double-precision floating-point values in the destination operand (first operand) with the packed double-precision floating-point values in the source (second operand) depending on a mask extracted from bits [5:4] of the immediate operand (third operand). If a condition mask bit is zero, the corre-sponding multiplication is replaced by a value of 0.0 in the manner described by Section 12.8.4 of <em>Intel® 64 and IA-32 Architectures Software Developer’s Manual, Volume 1</em>.</p>
 <p>The two resulting double-precision values are summed into an intermediate result. The intermediate result is conditionally broadcasted to the destination using a broadcast mask specified by bits [1:0] of the immediate byte.</p>
 <p>If a broadcast mask bit is "1", the intermediate result is copied to the corresponding qword element in the destina-tion operand. If a broadcast mask bit is zero, the corresponding element in the destination is set to zero.</p>
 <p>DPPD follows the NaN forwarding rules stated in the Software Developer’s Manual, vol. 1, table 4.7. These rules do not cover horizontal prioritization of NaNs. Horizontal propagation of NaNs to the destination and the positioning of those NaNs in the destination is implementation dependent. NaNs on the input sources or computationally gener-ated NaNs will have at least one NaN propagated to the destination.</p>
 <p>128-bit Legacy SSE version: The second source can be an XMM register or an 128-bit memory location. The desti-nation is not distinct from the first source XMM register and the upper bits (VLMAX-1:128) of the corresponding YMM register destination are unmodified.</p>
 <p>VEX.128 encoded version: the first source operand is an XMM register or 128-bit memory location. The destination operand is an XMM register. The upper bits (VLMAX-1:128) of the corresponding YMM register destination are zeroed.</p>
 <p>If VDPPD is encoded with VEX.L= 1, an attempt to execute the instruction encoded with VEX.L= 1 will cause an #UD exception.</p>
 <h2>Operation</h2>
 <p><strong>DP_primitive (SRC1, SRC2)</strong></p>
 <pre>IF (imm8[4] = 1)
     THEN Temp1[63:0] ← DEST[63:0] * SRC[63:0]; // update SIMD exception flags
     ELSE Temp1[63:0] ← +0.0; FI;
 IF (imm8[5] = 1)
     THEN Temp1[127:64] ← DEST[127:64] * SRC[127:64]; // update SIMD exception flags
     ELSE Temp1[127:64] ← +0.0; FI;
 /* if unmasked exception reported, execute exception handler*/
 Temp2[63:0] ← Temp1[63:0] + Temp1[127:64]; // update SIMD exception flags
 /* if unmasked exception reported, execute exception handler*/
 IF (imm8[0] = 1)
     THEN DEST[63:0] ← Temp2[63:0];
     ELSE DEST[63:0] ← +0.0; FI;
 IF (imm8[1] = 1)
     THEN DEST[127:64] ← Temp2[63:0];
     ELSE DEST[127:64] ← +0.0; FI;</pre>
 <p><strong>DPPD (128-bit Legacy SSE version)</strong></p>
 <pre>DEST[127:0]←DP_Primitive(SRC1[127:0], SRC2[127:0]);
 DEST[VLMAX-1:128] (Unmodified)</pre>
 <p><strong>VDPPD (VEX.128 encoded version)</strong></p>
 <pre>DEST[127:0]←DP_Primitive(SRC1[127:0], SRC2[127:0]);
 DEST[VLMAX-1:128] ← 0</pre>
 <h2>Flags Affected</h2>
 <p>None</p>
 <h2>Intel C/C++ Compiler Intrinsic Equivalent</h2>
 <p>DPPD:</p>
 <p>__m128d _mm_dp_pd ( __m128d a, __m128d b, const int mask);</p>
 <h2>SIMD Floating-Point Exceptions</h2>
 <p>Overflow, Underflow, Invalid, Precision, Denormal</p>
 <p>Exceptions are determined separately for each add and multiply operation. Unmasked exceptions will leave the destination untouched.</p>
 <h2>Other Exceptions</h2>
 <p>See Exceptions Type 2; additionally</p>
 <table class="exception-table">
 <tr>
 <td>#UD</td>
 <td>If VEX.L= 1.</td></tr></table></body></html>
	<!DOCTYPE html>

	<html>
	<head>
	<meta charset="UTF-8">
	<link href="style.css" type="text/css" rel="stylesheet">
	<title>DPPD — Dot Product of Packed Double Precision Floating-Point Values </title></head>
	<body>
	<h1>DPPD — Dot Product of Packed Double Precision Floating-Point Values</h1>
	<table>
	<tr>
	<th>Opcode/Instruction</th>
	<th>Op/En</th>
	<th>64/32-bit Mode</th>
	<th>CPUID Feature Flag</th>
	<th>Description</th></tr>
	<tr>
	<td>
	<p>66 0F 3A 41 /r ib</p>
	<p>DPPD <em>xmm1, xmm2/m128, imm8</em></p></td>
	<td>RMI</td>
	<td>V/V</td>
	<td>SSE4_1</td>
	<td>Selectively multiply packed DP floating-point values from <em>xmm1</em> with packed DP floating-point values from<em> xmm2</em>, add and selectively store the packed DP floating-point values to <em>xmm1</em>.</td></tr>
	<tr>
	<td>
	<p>VEX.NDS.128.66.0F3A.WIG 41 /r ib</p>
	<p>VDPPD xmm1,xmm2, xmm3/m128, imm8</p></td>
	<td>RVMI</td>
	<td>V/V</td>
	<td>AVX</td>
	<td>Selectively multiply packed DP floating-point values from xmm2 with packed DP floating-point values from xmm3, add and selectively store the packed DP floating-point values to xmm1.</td></tr></table>
	<h3>Instruction Operand Encoding</h3>
	<table>
	<tr>
	<td>Op/En</td>
	<td>Operand 1</td>
	<td>Operand 2</td>
	<td>Operand 3</td>
	<td>Operand 4</td></tr>
	<tr>
	<td>RMI</td>
	<td>ModRM:reg (r, w)</td>
	<td>ModRM:r/m (r)</td>
	<td>imm8</td>
	<td>NA</td></tr>
	<tr>
	<td>RVMI</td>
	<td>ModRM:reg (w)</td>
	<td>VEX.vvvv (r)</td>
	<td>ModRM:r/m (r)</td>
	<td>imm8</td></tr></table>
	<h2>Description</h2>
	<p>Conditionally multiplies the packed double-precision floating-point values in the destination operand (first operand) with the packed double-precision floating-point values in the source (second operand) depending on a mask extracted from bits [5:4] of the immediate operand (third operand). If a condition mask bit is zero, the corre-sponding multiplication is replaced by a value of 0.0 in the manner described by Section 12.8.4 of <em>Intel® 64 and IA-32 Architectures Software Developer’s Manual, Volume 1</em>.</p>
	<p>The two resulting double-precision values are summed into an intermediate result. The intermediate result is conditionally broadcasted to the destination using a broadcast mask specified by bits [1:0] of the immediate byte.</p>
	<p>If a broadcast mask bit is "1", the intermediate result is copied to the corresponding qword element in the destina-tion operand. If a broadcast mask bit is zero, the corresponding element in the destination is set to zero.</p>
	<p>DPPD follows the NaN forwarding rules stated in the Software Developer’s Manual, vol. 1, table 4.7. These rules do not cover horizontal prioritization of NaNs. Horizontal propagation of NaNs to the destination and the positioning of those NaNs in the destination is implementation dependent. NaNs on the input sources or computationally gener-ated NaNs will have at least one NaN propagated to the destination.</p>
	<p>128-bit Legacy SSE version: The second source can be an XMM register or an 128-bit memory location. The desti-nation is not distinct from the first source XMM register and the upper bits (VLMAX-1:128) of the corresponding YMM register destination are unmodified.</p>
	<p>VEX.128 encoded version: the first source operand is an XMM register or 128-bit memory location. The destination operand is an XMM register. The upper bits (VLMAX-1:128) of the corresponding YMM register destination are zeroed.</p>
	<p>If VDPPD is encoded with VEX.L= 1, an attempt to execute the instruction encoded with VEX.L= 1 will cause an #UD exception.</p>
	<h2>Operation</h2>
	<p><strong>DP_primitive (SRC1, SRC2)</strong></p>
	<pre>IF (imm8[4] = 1)
	THEN Temp1[63:0] ← DEST[63:0] * SRC[63:0]; // update SIMD exception flags
	ELSE Temp1[63:0] ← +0.0; FI;
	IF (imm8[5] = 1)
	THEN Temp1[127:64] ← DEST[127:64] * SRC[127:64]; // update SIMD exception flags
	ELSE Temp1[127:64] ← +0.0; FI;
	/* if unmasked exception reported, execute exception handler*/
	Temp2[63:0] ← Temp1[63:0] + Temp1[127:64]; // update SIMD exception flags
	/* if unmasked exception reported, execute exception handler*/
	IF (imm8[0] = 1)
	THEN DEST[63:0] ← Temp2[63:0];
	ELSE DEST[63:0] ← +0.0; FI;
	IF (imm8[1] = 1)
	THEN DEST[127:64] ← Temp2[63:0];
	ELSE DEST[127:64] ← +0.0; FI;</pre>
	<p><strong>DPPD (128-bit Legacy SSE version)</strong></p>
	<pre>DEST[127:0]←DP_Primitive(SRC1[127:0], SRC2[127:0]);
	DEST[VLMAX-1:128] (Unmodified)</pre>
	<p><strong>VDPPD (VEX.128 encoded version)</strong></p>
	<pre>DEST[127:0]←DP_Primitive(SRC1[127:0], SRC2[127:0]);
	DEST[VLMAX-1:128] ← 0</pre>
	<h2>Flags Affected</h2>
	<p>None</p>
	<h2>Intel C/C++ Compiler Intrinsic Equivalent</h2>
	<p>DPPD:</p>
	<p>__m128d _mm_dp_pd ( __m128d a, __m128d b, const int mask);</p>
	<h2>SIMD Floating-Point Exceptions</h2>
	<p>Overflow, Underflow, Invalid, Precision, Denormal</p>
	<p>Exceptions are determined separately for each add and multiply operation. Unmasked exceptions will leave the destination untouched.</p>
	<h2>Other Exceptions</h2>
	<p>See Exceptions Type 2; additionally</p>
	<table class="exception-table">
	<tr>
	<td>#UD</td>
	<td>If VEX.L= 1.</td></tr></table></body></html>