CMPSD

比较 标量 双精度浮点 值

stableVMJITAOTinstruction

编码

操作数编码

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

实测开销

说明#

比较 第二源操作数 和 第一源操作数 中低的 双精度浮点 值,并返回比较 目标操作数 的结果. 比较的上游操作数(立即数操作数)指定了进行比较的类型.

128位遗产 SSE 版本 : 第一个来源和目标操作数(第一个操作数)是一个XMM登记册. 第二源操作数(第二个操作数)可以是XMM的寄存器或64位内存位置. 对应的YMM目的地注册保持不变的位数(MAXVL-1:64). 比较结果是一个所有1s(比较真)或所有0s(比较假)的四字掩码.

VEX.128 编码版本 : 第一源操作数(第二个操作数)是一个XMM登记册. 第二源操作数(第三代操作数)可以是XMM寄存器或64位内存位置. 结果存储在目标操作数的低四字中;高四字填充了第一源操作数的高四字的内容. 目的地ZMM的位数(MAXVL-1:128)登记被清零. 比较结果是一个所有1s(比较真)或所有0s(比较假)的四字掩码.

EVEX 编码版本 : 第一源操作数(第二个操作数)是一个XMM登记册. 第二源操作数可以是XMM寄存器,也可以是64位的内存位置. 目标操作数(第一个操作数)是一个opmask寄存器. 比较结果为单面罩位1(比较真)或0(比较假),按照写掩码 k2从LSB开始写到目的地. 目的地注册簿的位数(MAQQKL-1:128)被清除.

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

• 对于使用 VEX 前缀编码的指令,比特 4:0 定义要执行的比较类型(参见

表3-8. 妇女状况 直接的5至7位保留。

• 对于不使用 VEX 前缀的指令编码,比特 2:0 定义要进行比较的类型(参见

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

当比较的两个源操作数中至少有一个是NaN时,无序关系是真实的;当两个源操作数都不是NaN时,有序关系是真实的.

后续使用掩码的计算指令得出目标操作数作为输入的操作数不会产生例外,因为所有0s的掩码对应于+0.0的浮点值,所有1s的掩码对应于QNaN.

注意,"CPUID.01H:ECX.AVX[28] = 0"的处理器不执行"大于","大于或等于","大于或等于","大于或等于"的上游关系. 这些比较可以进行

要么通过使用反向关系(即使用"不小于或相等"来进行"大于"的比较),要么通过使用软件仿真. 在使用软件仿真时,程序必须互换操作数(在必要时进行复制登记以保护现在将出现在目的地的数据),然后使用不同的上游来进行比较.

编译器和装配器除了3-操作数 CMPSD指令外,还可以执行以下2-操作数伪op,用于"CPUID.01H:ECX.AVX[28] = 0"的处理器. 见表3至13。 编译器应将保留的imm8值视为非法语法.

数字 : 表 3-13 数据来源: Pseudo-Op 和 CMPSD 执行

Pseudo-Op CMPSD 执行

CMPEQSD xmm1,xmm2 CMPSD xmm1,xmm2,0

CMPLTSD xmm1,xmm2 CMPSD xmm1,xmm2,1号机车

CMPLESD xmm1, xmm2 CMPSD xmm1, xmm2, 2 (中文(简体) ).

CMPUNORDSD xmm1, xmm2 CMPSD xmm1, xmm2, 3 (中文(简体) ).

CMPNEQSD xmm1, xmm2 CMPSD xmm1, xmm2, 4 (中文(简体) ).

CMPNLTSD xmm1, xmm2 CMPSD xmm1, xmm2, 5

CMPNLESD xmm1, xmm2 CMPSD xmm1, xmm2, 6 (中文(简体) ).

CMPORDSD xmm1, xmm2 CMPSD xmm1, xmm2, 7 (中文(简体) ).

相对于处理器不执行的关系,需要在软件中进行不止一个指令的仿真,因此不应作为伪操作执行. (对于这些,程序员应当将对应关系小于关系的操作数反转,并使用移动指令,以确保面具移动到正确的目的地寄存器,源操作数完好无损. )

具有"CPUID.01H:ECX.AVX[28] = 1"的处理器执行表3-14中显示的32个上游的完整补充,不再需要软件仿真. 编译器和装配器除了执行4-操作数 VCMPSD指令外,还可以执行以下三operand伪op. 参见表3-14,其中reg1 reg2和reg3的注释代表XMM登记册或YMM登记册. 编译器应将保留的imm8值视为非法语法. 反之,内在可以将伪ops映射到预定义的常数上,支持更简单的内在界面. 编译器和组装器可以通过扩展表3-14列出的语法,以类似的方式执行EVEX编码的VCMPSD指令的3-操作数伪op.

数字 : 表3-14 (单位:千美元) Pseudo-Op 和 VCMPSD 执行

Pseudo-Op CMPSD 执行

VCMPEQSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 0

VCMPLTSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 1

VCMPLESD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 2

VCMPUNORDSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 3

VCMPNEQSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 4

VCMPNLTSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 5

VCMPNLESD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 6

VCMPORDSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 7

VCMPEQQUQSD Reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 8

VCMPNGESD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 9

VCMPNGTSD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 0AH

VCMPFALSESD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 0BH

VCMPNEQQOQSD Reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 0CH

VCMPGESD reg1, reg2, reg3 VCMPSD reg1, reg2, reg3, 0DH

Pseudo-Op和VCMPSD执行(Cont.)

行动#

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;

VCMPSD (EVEX Encoded Version)
CMP0 := SRC1[63:0] OP5 SRC2[63:0];

IF k2[0] or *no writemask*                    ; zeroing-masking only
    THEN IF CMP0 = TRUE
                      THEN DEST[0] := 1;
                      ELSE DEST[0] := 0; FI;
    ELSE DEST[0] := 0

FI;
DEST[MAX_KL-1:1] := 0

CMPSD (128-bit Legacy SSE Version)
CMP0 := DEST[63:0] OP3 SRC[63:0];
IF CMP0 = TRUE
THEN DEST[63:0] := FFFFFFFFFFFFFFFFH;
ELSE DEST[63:0] := 0000000000000000H; FI;
DEST[MAXVL-1:64] (Unmodified)

VCMPSD (VEX.128 Encoded Version)
CMP0 := SRC1[63:0] OP5 SRC2[63:0];
IF CMP0 = TRUE
THEN DEST[63:0] := FFFFFFFFFFFFFFFFH;
ELSE DEST[63:0] := 0000000000000000H; FI;
DEST[127:64] := SRC1[127:64]
DEST[MAXVL-1:128] := 0

Intel C/C++ 内在编译器#

VCMPSD __mmask8 _mm_cmp_sd_mask( __m128d a, __m128d b, int imm);
VCMPSD __mmask8 _mm_cmp_round_sd_mask( __m128d a, __m128d b, int imm, int sae);
VCMPSD __mmask8 _mm_mask_cmp_sd_mask( __mmask8 k1, __m128d a, __m128d b, int imm);
VCMPSD __mmask8 _mm_mask_cmp_round_sd_mask( __mmask8 k1, __m128d a, __m128d b, int imm, int sae);
(V)CMPSD __m128d _mm_cmp_sd(__m128d a, __m128d b, const int imm);

SIMD 浮点 例外#

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

其他例外#

VEX-encoded 指令,参见表2-20,"Type 3 Class Exception条件". EVEX-encoded 指令,参见表2-49,"Type E3 Class Exceptity条件".

来源

• 本指令在 Intel 手册中的位置
• 各微架构的延迟与吞吐