Vesta
中文
源代码

COMISD

比较 标量 命令的 双精度浮点 值和设置 EFLAGS

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
66 0F 2F /rCOMISD xmm1, xmm2/m64A有效有效比较xmm1和xmm2/mem64中低的双精度浮点值,并相应设置EFLAGS旗帜.
VEX.LIG.66.0F.WIG 2F /rVCOMISD xmm1, xmm2/m64A有效有效比较xmm1和xmm2/mem64中低的双精度浮点值,并相应设置EFLAGS旗帜.
EVEX.LLIG.66.0F.W1 2F /rVCOMISD xmm1, xmm2/m64{sae}B有效有效比较OR AVX10.1 xmm1和xmm2/mem64中的低双精度浮点值,并相应设置EFLAGS旗.

操作数编码

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

A

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

B

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

Tupla: Tuple1 Scalar

实测开销

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

说明

比较操作数 1(第一操作数)和操作数 2(第二操作数)的低四字中的双精度浮点值,并根据结果(无顺序,大于,小于,或等于)在EFLAGS登记册中设置ZF,PF和CF旗. EFLAGS登记册中的OF、SF和AF旗帜被设定为0。 如果 源操作数 是 NaN( QNaN 或 SNaN) , 则返回未排序的结果 。

操作数 1是一个XMM的寄存器;操作数 2可以是XMM寄存器或64位内存位置. COMISD指令与UCOMISD指令不同,因为它在源操作数为QNaN或SNaN时,表示SIMD 浮点无效操作例外(#I). UCOMISD指令只表示一个源操作数是SNaN的无效操作例外.

EFLAGS 寄存器如果生成未卸载的 SIMD 浮点 例外,则不更新.

VEX.vvvv和EVEX.vvvv是保留的,必须是1111b,否则指令会#UD.

软件应确保VCOMISD的编码与VEX.L=0. 用 VEX.L = 1 编码 VCOMISD 可能会在不同处理器代代遇到不可预测的行为.

行动

COMISD (All Versions)
RESULT :=OrderedCompare(DEST[63:0] <> SRC[63:0]) {
(* Set EFLAGS *) CASE (RESULT) OF

    UNORDERED: ZF,PF,CF := 111;
    GREATER_THAN: ZF,PF,CF := 000;
    LESS_THAN: ZF,PF,CF := 001;
    EQUAL: ZF,PF,CF := 100;
ESAC;
OF, AF, SF := 0; }

Intel C/C++ 内在编译器

VCOMISD int _mm_comi_round_sd(__m128d a, __m128d b, int imm, int sae);
VCOMISD int _mm_comieq_sd (__m128d a, __m128d b) VCOMISD int _mm_comilt_sd (__m128d a, __m128d b) VCOMISD int _mm_comile_sd (__m128d a, __m128d b) VCOMISD int _mm_comigt_sd (__m128d a, __m128d b) VCOMISD int _mm_comige_sd (__m128d a, __m128d b) VCOMISD int _mm_comineq_sd (__m128d a, __m128d b);

SIMD 浮点 例外

无效(如果是SNaN或QNaN 操作数),异常.

其他例外

VEX-encoded指令,参见表2-20"第3类例外条件".

EVEX-encoded 指令,参见表2-50,"Type E3NF Class Exception Centers".

Additionally:

#UD               If VEX.vvvv != 1111B or EVEX.vvvv != 1111B.

来源