-
Notifications
You must be signed in to change notification settings - Fork 97
VRCP28PD
INSTRUCTION SET REFERENCE UNIQUE TO INTEL® XEON PHI™ PROCESSORS VRCP28PD — Approximation to the Reciprocal of Packed Double-Precision Floating-Point Values
with Less Than 2^-28 Relative Error
Opcode/ Instruction | Op / En | 64/32 bit Mode Support | CPUID Feature Flag | Description |
EVEX.512.66.0F38.W1 CA /r VRCP28PD zmm1 {k1}{z}, zmm2/m512/m64bcst {sae} | A | V/V | AVX512ER | Computes the approximate reciprocals ( < 2^-28 relative error) of the packed double-precision floating-point values in zmm2/m512/m64bcst and stores the results in zmm1. Under writemask. |
Op/En | Tuple Type | Operand 1 | Operand 2 | Operand 3 | Operand 4 |
A | Full | ModRM:reg (w) | ModRM:r/m (r) | NA | NA |
Computes the reciprocal approximation of the float64 values in the source operand (the second operand) and store the results to the destination operand (the first operand). The approximate reciprocal is evaluated with less than 2^-28 of maximum relative error.
Denormal input values are treated as zeros and do not signal #DE, irrespective of MXCSR.DAZ. Denormal results are flushed to zeros and do not signal #UE, irrespective of MXCSR.FTZ.
If any source element is NaN, the quietized NaN source value is returned for that element. If any source element is ±∞, ±0.0 is returned for that element. Also, if any source element is ±0.0, ±∞ is returned for that element.
The source operand is a ZMM register, a 512-bit memory location or a 512-bit vector broadcasted from a 64-bit memory location. The destination operand is a ZMM register, conditionally updated using writemask k1.
EVEX.vvvv is reserved and must be 1111b otherwise instructions will #UD.
A numerically exact implementation of VRCP28xx can be found at https://software.intel.com/en-us/articles/refer- ence-implementations-for-IA-approximation-instructions-vrcp14-vrsqrt14-vrcp28-vrsqrt28-vexp2.
(KL, VL) = (8, 512)
FOR j ← 0 TO KL-1
i ← j * 64
IF k1[j] OR *no writemask* THEN
IF (EVEX.b = 1) AND (SRC *is memory*)
THEN DEST[i+63:i] ← RCP_28_DP(1.0/SRC[63:0]);
ELSE DEST[i+63:i] ← RCP_28_DP(1.0/SRC[i+63:i]);
FI;
ELSE
IF *merging-masking*
; merging-masking
THEN *DEST[i+63:i] remains unchanged*
ELSE
; zeroing-masking
DEST[i+63:i] ← 0
FI;
FI;
ENDFOR;
INSTRUCTION SET REFERENCE UNIQUE TO INTEL® XEON PHI™ PROCESSORS
<table>
<tr>
<td><b>Input value</b></td>
<td><b>Result value</b></td>
<td><b>Comments</b></td>
</tr>
<tr>
<td>NAN</td>
<td>QNAN(input)</td>
<td>If (SRC = SNaN) then #I</td>
</tr>
<tr>
<td>0 ≤ X < 2-1022</td>
<td>INF</td>
<td>Positive input denormal or zero; #Z</td>
</tr>
<tr>
<td>-2-1022 < X ≤ -0</td>
<td>-INF</td>
<td>Negative input denormal or zero; #Z</td>
</tr>
<tr>
<td>X > 21022</td>
<td>+0.0f</td>
<td></td>
</tr>
<tr>
<td>X < -21022</td>
<td>-0.0f</td>
<td></td>
</tr>
<tr>
<td>X = +∞</td>
<td>+0.0f</td>
<td></td>
</tr>
<tr>
<td>X = -∞</td>
<td>-0.0f</td>
<td></td>
</tr>
<tr>
<td>X = 2-n</td>
<td>2n</td>
<td>Exact result (unless input/output is a denormal)</td>
</tr>
<tr>
<td>X = -2-n</td>
<td>-2n</td>
<td>Exact result (unless input/output is a denormal)</td>
</tr>
</table>
VRCP28PD __m512d _mm512_rcp28_round_pd ( __m512d a, int sae);
VRCP28PD __m512d _mm512_mask_rcp28_round_pd(__m512d a, __mmask8 m, __m512d b, int sae);
VRCP28PD __m512d _mm512_maskz_rcp28_round_pd( __mmask8 m, __m512d b, int sae);
Invalid (if SNaN input), Divide-by-zero
See Exceptions Type E2.
Source: Intel® Architecture Software Developer's Manual (May 2018)
Generated: 5-6-2018