VFNMSUB132SD, VFNMSUB213SD, VFNMSUB231SD

Fused Negative Multiply-Subtract of

estableVMJITAOTinstruccion

Codificaciones

OpcodeInstruccionOp/En64 bitsCompat/LegacyDescripcion
VEX.LIG.66.0F38.W1 9F /rVFNMSUB132SD xmm1, xmm2, xmm3/m64AValidoValidoMultiply valores en coma flotante de precisión doble escalares de xmm1 y xmm3/mem, negar el resultado de la multiplicación y restar xmm2 y poner resultado en xmm1.
VEX.LIG.66.0F38.W1 AF /rVFNMSUB213SD xmm1, xmm2, xmm3/m64AValidoValidoMultiply valores en coma flotante de precisión doble escalares de xmm1 y xmm2, niegan el resultado de la multiplicación y restan xmm3/mem y ponen resultado en xmm1.
VEX.LIG.66.0F38.W1 BF /rVFNMSUB231SD xmm1, xmm2, xmm3/m64AValidoValidoMultiply valores en coma flotante de precisión doble escalares de xmm2 y xmm3/mem, negar el resultado de la multiplicación y restar xmm1 y poner resultado en xmm1.
EVEX.LLIG.66.0F38.W1 9F /rVFNMSUB132SD xmm1 {k1}{z}, xmm2, xmm3/m64{er}BValidoValidoMultiply valores en coma flotante de precisión doble escalares de OR AVX10.1 xmm1 y xmm3/m64, niegan el resultado de la multiplicación y restan xmm2 y ponen resultado en xmm1.
EVEX.LLIG.66.0F38.W1 AF /rVFNMSUB213SD xmm1 {k1}{z}, xmm2, xmm3/m64{er}BValidoValidoMultiply valores en coma flotante de precisión doble escalares de OR AVX10.1 xmm1 y xmm2, niegan el resultado de la multiplicación y restan xmm3/m64 y ponen resultado en xmm1.
EVEX.LLIG.66.0F38.W1 BF /rVFNMSUB231SD xmm1 {k1}{z}, xmm2, xmm3/m64{er}BValidoValidoMultiply valores en coma flotante de precisión doble escalares de OR AVX10.1 xmm2 y xmm3/m64, niegan el resultado de la multiplicación y restan xmm1 y ponen resultado en xmm1.

Codificacion de operandos

Cada modo es un valor de la columna Op/En de arriba. Dice en que campo de la instruccion codificada va cada operando, en el orden en que se escriben, y si la instruccion lo lee, lo escribe o ambas cosas.

A

  1. modrm.reg lectura y escriturabyte ModRM, campo reg (bits 5-3)
  2. vex.vvvv lecturaprefijo VEX, campo vvvv (invertido)
  3. modrm.rm lecturabyte ModRM, campo r/m (bits 2-0); con el byte SIB y el desplazamiento cuando el campo mod los pide

B

  1. modrm.reg lectura y escriturabyte ModRM, campo reg (bits 5-3)
  2. evex.vvvv lecturaprefijo EVEX, campo vvvv (invertido)
  3. modrm.rm lecturabyte ModRM, campo r/m (bits 2-0); con el byte SIB y el desplazamiento cuando el campo mod los pide

Tupla: Tuple1 Scalar

Coste medido

Cargando las mediciones de arch-data...

Descripción

VFNMSUB132SD: Multiplica el valor en coma flotante de precisión doble bajo empaquetado desde el primer operando de origen hasta el valor en coma flotante de precisión doble bajo empaquetado en el tercer operando de origen. Desde el resultado intermedio de precisión infinita negada, resta el valor en coma flotante de precisión doble bajo en el segundo operando de origen, realiza redondeo y almacena el valor en coma flotante de precisión doble empacado resultante al operando de destino (primer operando de origen).

VFNMSUB213SD: Multiplica el valor en coma flotante de precisión doble bajo empaquetado del segundo operando de origen al valor en coma flotante de precisión doble bajo empaquetado en el primer operando de origen. Desde el resultado intermedio de precisión infinita negada, resta el valor en coma flotante de precisión doble bajo en el tercer operando de origen, realiza redondeo y almacena el valor en coma flotante de precisión doble empacado resultante al operando de destino (primer operando de origen).

VFNMSUB231SD: Multiplica el valor en coma flotante de precisión doble bajo empaquetado de la segunda fuente al valor en coma flotante de precisión doble bajo empaquetado en el tercer operando de origen. Desde el resultado intermedio de precisión infinita negada, resta el valor en coma flotante de precisión doble bajo en el primer operando de origen, realiza redondeo y almacena el valor en coma flotante de precisión doble empacado resultante al operando de destino (primer operando de origen).

VEX.128 y EVEX versión codificada: El operando de destino (también primer operando de origen) está codificado en reg field. El segundo operando de origen está codificado en VEX.vvvv/EVEX.vvvv. El tercer operando de origen está codificado en rm field. Los bits 127:64 del destino son invariables. Bits MAXVL-1:128 del registro de destino se ponen a cero.

EVEX versión codificada: El elemento de cuádpago bajo del destino se actualiza según la máscara de escritura.

Las herramientas de compilador pueden apoyar opcionalmente una mnemónica complementaria para cada instrucción mnemónica listada en la columna el código de operación/instrucción de la tabla sumaria. El comportamiento de la mnemónica complementaria en situaciones

los NAN se rigen por la definición de la instrucción mnemónica definida en la columna el código de operación/instrucción.

Operación

In the operations below, "*" and "-" symbols represent multiplication and subtraction with infinite precision inputs and outputs (no
rounding).

VFNMSUB132SD DEST, SRC2, SRC3 (EVEX encoded version)

IF (EVEX.b = 1) and SRC3 *is a register*

     THEN

     SET_ROUNDING_MODE_FOR_THIS_INSTRUCTION(EVEX.RC);

     ELSE

     SET_ROUNDING_MODE_FOR_THIS_INSTRUCTION(MXCSR.RC);

FI;

IF k1[0] or *no writemask*

     THEN DEST[63:0] := RoundFPControl(-(DEST[63:0]*SRC3[63:0]) - SRC2[63:0])

     ELSE

     IF *merging-masking*                 ; merging-masking

           THEN *DEST[63:0] remains unchanged*

           ELSE                           ; zeroing-masking

           THEN DEST[63:0] := 0

     FI;

FI;

DEST[127:64] := DEST[127:64]

DEST[MAXVL-1:128] := 0

VFNMSUB213SD DEST, SRC2, SRC3 (EVEX encoded version)

IF (EVEX.b = 1) and SRC3 *is a register*

     THEN

     SET_ROUNDING_MODE_FOR_THIS_INSTRUCTION(EVEX.RC);

     ELSE

     SET_ROUNDING_MODE_FOR_THIS_INSTRUCTION(MXCSR.RC);

FI;

IF k1[0] or *no writemask*

     THEN DEST[63:0] := RoundFPControl(-(SRC2[63:0]*DEST[63:0]) - SRC3[63:0])

     ELSE

     IF *merging-masking*                 ; merging-masking

           THEN *DEST[63:0] remains unchanged*

           ELSE                           ; zeroing-masking

           THEN DEST[63:0] := 0

     FI;

FI;

DEST[127:64] := DEST[127:64]

DEST[MAXVL-1:128] := 0


VFNMSUB231SD DEST, SRC2, SRC3 (EVEX encoded version)

IF (EVEX.b = 1) and SRC3 *is a register*

     THEN

     SET_ROUNDING_MODE_FOR_THIS_INSTRUCTION(EVEX.RC);

     ELSE

     SET_ROUNDING_MODE_FOR_THIS_INSTRUCTION(MXCSR.RC);

FI;

IF k1[0] or *no writemask*

     THEN DEST[63:0] := RoundFPControl(-(SRC2[63:0]*SRC3[63:0]) - DEST[63:0])

     ELSE

     IF *merging-masking*                 ; merging-masking

           THEN *DEST[63:0] remains unchanged*

           ELSE                           ; zeroing-masking

           THEN DEST[63:0] := 0

     FI;

FI;

DEST[127:64] := DEST[127:64]

DEST[MAXVL-1:128] := 0

VFNMSUB132SD DEST, SRC2, SRC3 (VEX encoded version)
DEST[63:0] := RoundFPControl_MXCSR(- (DEST[63:0]*SRC3[63:0]) - SRC2[63:0])
DEST[127:64] := DEST[127:64]
DEST[MAXVL-1:128] := 0

VFNMSUB213SD DEST, SRC2, SRC3 (VEX encoded version)
DEST[63:0] := RoundFPControl_MXCSR(- (SRC2[63:0]*DEST[63:0]) - SRC3[63:0])
DEST[127:64] := DEST[127:64]
DEST[MAXVL-1:128] := 0

VFNMSUB231SD DEST, SRC2, SRC3 (VEX encoded version)
DEST[63:0] := RoundFPControl_MXCSR(- (SRC2[63:0]*SRC3[63:0]) - DEST[63:0])
DEST[127:64] := DEST[127:64]
DEST[MAXVL-1:128] := 0

Intel C/C++ compilador intrínseco

VFNMSUBxxxSD __m128d _mm_fnmsub_round_sd(__m128d a, __m128d b, __m128d c, int r);
VFNMSUBxxxSD __m128d _mm_mask_fnmsub_sd(__m128d a, __mmask8 k, __m128d b, __m128d c);
VFNMSUBxxxSD __m128d _mm_maskz_fnmsub_sd(__mmask8 k, __m128d a, __m128d b, __m128d c);
VFNMSUBxxxSD __m128d _mm_mask3_fnmsub_sd(__m128d a, __m128d b, __m128d c, __mmask8 k);
VFNMSUBxxxSD __m128d _mm_mask_fnmsub_round_sd(__m128d a, __mmask8 k, __m128d b, __m128d c, int r);
VFNMSUBxxxSD __m128d _mm_maskz_fnmsub_round_sd(__mmask8 k, __m128d a, __m128d b, __m128d c, int r);
VFNMSUBxxxSD __m128d _mm_mask3_fnmsub_round_sd(__m128d a, __m128d b, __m128d c, __mmask8 k, int r);
VFNMSUBxxxSD __m128d _mm_fnmsub_sd (__m128d a, __m128d b, __m128d c);

SIMD coma flotante Excepciones

Overflow, Underflow, Invalid, Precision, Denormal.

Otras excepciones

Instrucciones codificadas por VEX, ver Tabla 2-20, "Tipo 3 Condiciones de Excepción." Instrucciones codificadas por EVEX, ver Tabla 2-49, "Tipo E3 Condiciones de Excepción".

Fuentes