Vesta
中文
源代码

CMPPD

比较 打包双精度浮点值

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
66 0F C2 /r ibCMPPD xmm1, xmm2/m128, imm8A有效有效在xmm2/m128和xmm1中比较打包双精度浮点值,使用比特值2:0的imm8作为比较的上游.
VEX.128.66.0F.WIG C2 /r ibVCMPPD xmm1, xmm2, xmm3/m128, imm8B有效有效在xmm3/m128和xmm2中比较打包双精度浮点值,使用4:0的imm8作为比较的上游.
VEX.256.66.0F.WIG C2 /r ibVCMPPD ymm1, ymm2, ymm3/m256, imm8B有效有效在ymm3/m256和ymm2中比较打包双精度浮点值,使用4:0的imm8作为比较的上游.
EVEX.128.66.0F.W1 C2 /r ibVCMPPD k1 {k2}, xmm2, xmm3/m128/m64bcst, imm8C有效有效比较已打包的双精度浮点AVX512F) OR值在xmm3/m128/m64bcst和xmm2中使用AVX10.1比特4:0的imm8作为与写入mask k2的对比上游,并将结果留在面具寄存器k1中.
EVEX.256.66.0F.W1 C2 /r ibVCMPPD k1 {k2}, ymm2, ymm3/m256/m64bcst, imm8C有效有效比较已打包的双精度浮点AVX512F) OR值在ymm3/m256/m64bcst和ymm2中使用AVX10.1比特4:0的imm8作为与写入mask k2的对比上游,并将结果留在面具寄存器k1中.
EVEX.512.66.0F.W1 C2 /r ibVCMPPD k1 {k2}, zmm2, zmm3/m512/m64bcst {sae}, imm8C有效有效在zmm3/m512/m64bcst和zmm2中比较已包装的双精度浮点 OR AVX10.1值,使用4:0的imm8作为与写掩码 k2的比较上游,并将结果留入面具寄存器k1.

操作数编码

每个模式对应上表 Op/En 列的一个取值，说明各操作数按书写顺序分别编码在指令的哪个字段，以及指令对它是读、是写还是两者兼有。

A

  1. modrm.reg lectura y escrituraModRM 字节的 reg 字段（第 5-3 位）
  2. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移
  3. imm8指令后的立即数字节

B

  1. modrm.reg escrituraModRM 字节的 reg 字段（第 5-3 位）
  2. vex.vvvv lecturaVEX 前缀的 vvvv 字段（按位取反）
  3. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移
  4. imm8指令后的立即数字节

C

  1. modrm.reg escrituraModRM 字节的 reg 字段（第 5-3 位）
  2. evex.vvvv lecturaEVEX 前缀的 vvvv 字段（按位取反）
  3. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移
  4. imm8指令后的立即数字节

Tupla: Full

实测开销

正在从 arch-data 加载实测数据...

说明

执行 SIMD 比较 第二源操作数 和 第一源操作数 的 打包双精度浮点值 并返回比较结果 目标操作数 . 比较的上游操作数(即时字节)指定了两个源操作数中每对包装值的比较类型.

EVEX 编码版本 : 第一源操作数(第二个操作数)是一个ZMM/YMM/XMM登记册. 第二源操作数可以是ZMM/YMM/XMM的寄存器,512/256/128位内存位置或512/256/128位向量从64位内存位置广播. 目标操作数(第一个操作数)是一个opmask寄存器. 比较结果在写mask k2下写入目的地操作. 每个比较结果都是单面罩比特1(比较真)或0(比较假).

VEX.256 编码版本 : 第一源操作数(第二个操作数)是一个YMM的登记册. 第二源操作数(第三代操作数)可以是YMM的寄存器,也可以是256位的内存位置. 目标操作数(首个操作数)是一个YMM的登记册. 与写给目标操作数的结果进行了四次比较。 每次比较的结果都是所有1s(比较真)或所有0s(比较假)的四字罩.

128位遗产 SSE 版本 : 第一个来源和目标操作数(第一个操作数)是一个XMM登记册. 第二源操作数(第二个操作数)可以是XMM的寄存器或128位内存位置. 相应的ZMM目的地注册保持不变的位数(MAXVL-1:128). 与结果进行了两次比较

写入 目标操作数 的 127: 0 位元 。 每次比较的结果都是所有1s(比较真)或所有0s(比较假)的四字罩.

VEX.128 编码版本 : 第一源操作数(第二个操作数)是一个XMM登记册. 第二源操作数(第三代操作数)可以是XMM的寄存器,也可以是128位的内存位置. 目的地ZMM的位数(MAXVL-1:128)登记被清零. 进行了两次比较,结果写到目标操作数的127:0。

比较的上游操作数是8位直线:

(见表3-8)。 直接的5至7位保留。

表3至表8的前8行。 3至7位的直线部分保留。

** CMPPD 和 CMPPS 指令的比较

EQ_OQ (EQ)0H等值( 顺序, 无符号)虚假虚假没错虚假No
LT_OS (LT)1H低于(顺序,信号)虚假没错虚假虚假对
LE_OS (LE)2H低于或等于(顺序、信号)虚假没错没错虚假对
UNORD_Q (UNORD)3H无序( 无信号)虚假虚假虚假没错No
NEQ_UQ (NEQ)4H不平等( 无命令、 无信号)没错没错虚假没错No
NLT_US (NLT)5H不低于(无序,信号)没错虚假没错没错对
NLE_US (NLE)6H不低于或等于(无序,信号)没错虚假虚假没错对
ORD_Q (ORD)7H订购(无标志)没错没错没错虚假No
EQ_UQ8H相等( 无命令、 无信号)虚假虚假没错没错No
NGE_US (NGE)9H不大于或等于(无序,信号)虚假没错虚假没错对
NGT_US (NGT)AH不大于(无序,信号)虚假没错没错没错对
FALSE_OQ(FALSE)BH虚假( 有序、 无信号)虚假虚假虚假虚假No
NEQ_OQCH非对等( 顺序, 无符号)没错没错虚假虚假No
GE_OS (GE)DH大于或等于(顺序、信号)没错虚假没错虚假对
GT_OS (GT)EH大于(顺序,信号)没错虚假虚假虚假对
TRUE_UQ(TRUE)FH真( 无命令, 无信号)没错没错没错没错No
EQ_OS10H相等( 顺序, 信号)虚假虚假没错虚假对
LT_OQ11H低于(订购、无信号)虚假没错虚假虚假No
LE_OQ12H低于或等于(顺序、不信号)虚假没错没错虚假No
UNORD_S13H无序( 信号)虚假虚假虚假没错对
NEQ_US14H不平等( 无命令, 信号)没错没错虚假没错对
NLT_UQ15H不下(无序,无信号)没错虚假没错没错No
NLE_UQ16H不低于或等于(无序、不小)没错虚假虚假没错No
ORD_S17H订购(信号)没错没错没错虚假对
EQ_US18H相等( 无命令, 信号)虚假虚假没错没错对

CMPPD 和 CMPPS 指令的比对(Contd.)

EQ_OQ (EQ)0H等值( 顺序, 无符号)虚假虚假没错虚假No
LT_OS (LT)1H低于(顺序,信号)虚假没错虚假虚假对
LE_OS (LE)2H低于或等于(顺序、信号)虚假没错没错虚假对
UNORD_Q (UNORD)3H无序( 无信号)虚假虚假虚假没错No
NEQ_UQ (NEQ)4H不平等( 无命令、 无信号)没错没错虚假没错No
NLT_US (NLT)5H不低于(无序,信号)没错虚假没错没错对
NLE_US (NLE)6H不低于或等于(无序,信号)没错虚假虚假没错对
ORD_Q (ORD)7H订购(无标志)没错没错没错虚假No
EQ_UQ8H相等( 无命令、 无信号)虚假虚假没错没错No
NGE_US (NGE)9H不大于或等于(无序,信号)虚假没错虚假没错对
NGT_US (NGT)AH不大于(无序,信号)虚假没错没错没错对
FALSE_OQ(FALSE)BH虚假( 有序、 无信号)虚假虚假虚假虚假No
NEQ_OQCH非对等( 顺序, 无符号)没错没错虚假虚假No
GE_OS (GE)DH大于或等于(顺序、信号)没错虚假没错虚假对
GT_OS (GT)EH大于(顺序,信号)没错虚假虚假虚假对
TRUE_UQ(TRUE)FH真( 无命令, 无信号)没错没错没错没错No
EQ_OS10H相等( 顺序, 信号)虚假虚假没错虚假对
LT_OQ11H低于(订购、无信号)虚假没错虚假虚假No
LE_OQ12H低于或等于(顺序、不信号)虚假没错没错虚假No
UNORD_S13H无序( 信号)虚假虚假虚假没错对
NEQ_US14H不平等( 无命令, 信号)没错没错虚假没错对
NLT_UQ15H不下(无序,无信号)没错虚假没错没错No
NLE_UQ16H不低于或等于(无序、不小)没错虚假虚假没错No
ORD_S17H订购(信号)没错没错没错虚假对
EQ_US18H相等( 无命令, 信号)虚假虚假没错没错对

行动

CASE (COMPARISON PREDICATE) OF
0: OP3 := EQ_OQ; OP5 := EQ_OQ;

    1: OP3 := LT_OS; OP5 := LT_OS;
    2: OP3 := LE_OS; OP5 := LE_OS;
    3: OP3 := UNORD_Q; OP5 := UNORD_Q;
    4: OP3 := NEQ_UQ; OP5 := NEQ_UQ;
    5: OP3 := NLT_US; OP5 := NLT_US;
    6: OP3 := NLE_US; OP5 := NLE_US;
    7: OP3 := ORD_Q; OP5 := ORD_Q;
    8: OP5 := EQ_UQ;
    9: OP5 := NGE_US;
    10: OP5 := NGT_US;
    11: OP5 := FALSE_OQ;
    12: OP5 := NEQ_OQ;
    13: OP5 := GE_OS;
    14: OP5 := GT_OS;
    15: OP5 := TRUE_UQ;
    16: OP5 := EQ_OS;
    17: OP5 := LT_OQ;
    18: OP5 := LE_OQ;
    19: OP5 := UNORD_S;
    20: OP5 := NEQ_US;
    21: OP5 := NLT_UQ;
    22: OP5 := NLE_UQ;
    23: OP5 := ORD_S;
    24: OP5 := EQ_US;
    25: OP5 := NGE_UQ;
    26: OP5 := NGT_UQ;
    27: OP5 := FALSE_OS;
    28: OP5 := NEQ_OS;
    29: OP5 := GE_OQ;
    30: OP5 := GT_OQ;
    31: OP5 := TRUE_US;
    DEFAULT: Reserved;
ESAC;

VCMPPD (EVEX Encoded Versions)

(KL, VL) = (2, 128), (4, 256), (8, 512)

FOR j := 0 TO KL-1

i := j * 64

IF k2[j] OR *no writemask*

     THEN

             IF (EVEX.b = 1) AND (SRC2 *is memory*)

                  THEN

                    CMP := SRC1[i+63:i] OP5 SRC2[63:0]

                  ELSE

                    CMP := SRC1[i+63:i] OP5 SRC2[i+63:i]

             FI;

             IF CMP = TRUE

                  THEN DEST[j] := 1;

                  ELSE DEST[j] := 0; FI;

     ELSE DEST[j] := 0                    ; zeroing-masking only

FI;


ENDFOR
DEST[MAX_KL-1:KL] := 0

VCMPPD (VEX.256 Encoded Version)
CMP0 := SRC1[63:0] OP5 SRC2[63:0];
CMP1 := SRC1[127:64] OP5 SRC2[127:64];
CMP2 := SRC1[191:128] OP5 SRC2[191:128];
CMP3 := SRC1[255:192] OP5 SRC2[255:192];
IF CMP0 = TRUE

    THEN DEST[63:0] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[63:0] := 0000000000000000H; FI;
IF CMP1 = TRUE
    THEN DEST[127:64] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[127:64] := 0000000000000000H; FI;
IF CMP2 = TRUE
    THEN DEST[191:128] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[191:128] := 0000000000000000H; FI;
IF CMP3 = TRUE
    THEN DEST[255:192] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[255:192] := 0000000000000000H; FI;
DEST[MAXVL-1:256] := 0

VCMPPD (VEX.128 Encoded Version)
CMP0 := SRC1[63:0] OP5 SRC2[63:0];
CMP1 := SRC1[127:64] OP5 SRC2[127:64];
IF CMP0 = TRUE

    THEN DEST[63:0] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[63:0] := 0000000000000000H; FI;
IF CMP1 = TRUE
    THEN DEST[127:64] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[127:64] := 0000000000000000H; FI;
DEST[MAXVL-1:128] := 0

CMPPD (128-bit Legacy SSE Version)
CMP0 := SRC1[63:0] OP3 SRC2[63:0];
CMP1 := SRC1[127:64] OP3 SRC2[127:64];
IF CMP0 = TRUE

    THEN DEST[63:0] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[63:0] := 0000000000000000H; FI;
IF CMP1 = TRUE
    THEN DEST[127:64] := FFFFFFFFFFFFFFFFH;
    ELSE DEST[127:64] := 0000000000000000H; FI;
DEST[MAXVL-1:128] (Unmodified)

Intel C/C++ 内在编译器

VCMPPD __mmask8 _mm512_cmp_pd_mask( __m512d a, __m512d b, int imm);
VCMPPD __mmask8 _mm512_cmp_round_pd_mask( __m512d a, __m512d b, int imm, int sae);
VCMPPD __mmask8 _mm512_mask_cmp_pd_mask( __mmask8 k1, __m512d a, __m512d b, int imm);
VCMPPD __mmask8 _mm512_mask_cmp_round_pd_mask( __mmask8 k1, __m512d a, __m512d b, int imm, int sae);
VCMPPD __mmask8 _mm256_cmp_pd_mask( __m256d a, __m256d b, int imm);
VCMPPD __mmask8 _mm256_mask_cmp_pd_mask( __mmask8 k1, __m256d a, __m256d b, int imm);
VCMPPD __mmask8 _mm_cmp_pd_mask( __m128d a, __m128d b, int imm);
VCMPPD __mmask8 _mm_mask_cmp_pd_mask( __mmask8 k1, __m128d a, __m128d b, int imm);
VCMPPD __m256 _mm256_cmp_pd(__m256d a, __m256d b, int imm) (V)CMPPD __m128 _mm_cmp_pd(__m128d a, __m128d b, int imm);

SIMD 浮点 例外

如果 SNaN 操作数 无效,如果 QNaN 和表 3-8 所列上游,则无效。

其他例外

VEX-encoded指令,参见表2-19,"第2类例外条件". EVEX-encoded指令,参见表2-48,"第E2类例外条件".

来源