Vesta
中文
源代码

ADCX

未签名的整数添加 2 操作数 与 进位标志

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
66 0F 38 F6 /rADCX r32, r/m32RM有效有效未签名的 r32 加上 CF, r/m32 到 r32, 写作 CF.
66 REX.w 0F 38 F6 /rADCX r64, r/m64RM有效不可编码未签名的 r64 加上 CF, r/m64 到 r64, 写作 CF.

操作数编码

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

RM

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

实测开销

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

涉及的标志位

说明

执行目标操作数(第一操作数),源操作数(第二操作数)和承载旗(CF)的无符号添加,并将结果存储在目标操作数中. 目标操作数是一个通用寄存器,而源操作数可以是通用寄存器或内存位置. CF状态可以代表以前加法的载荷. 指令将CF旗与未签名的操作数加载产生的载荷设置在一起.

ADCX指令是在多精度添加的背景下执行的,我们在这里添加了一系列带有载链的操作数. 在一连串添加的开始,我们需要确保CF处于理想的初始状态. 通常,这种初始状态需要0,通过指令到零CF(如XOR)即可实现.

此指令以真实模式和 虚拟 8086 模式 支持 。 操作数大小如果不是64位模式,总是32位.

在64位模式下,默认操作大小为32位. 使用REX的前缀形式为REX.R,允许访问额外的登记册(R8-15). 使用REX 前缀的形式为REX.W,促进运行到64位.

ADCX通常在一个交易区域内外执行. 说明: ADCX对OF旗的定义不同于Intel(R)64和IA-32架构软件开发者手册Volume 2A中定义的ADD/ADC指令.

行动

IF OperandSize is 64-bit

    THEN CF:DEST[63:0] := DEST[63:0] + SRC[63:0] + CF;
    ELSE CF:DEST[31:0] := DEST[31:0] + SRC[31:0] + CF;
FI;

受影响的旗帜

CF根据结果更新. OF, SF, ZF, AF,和PF 旗帜没有修改.

Intel C/C++ 内在编译器

unsigned char _addcarryx_u32 (unsigned char c_in, unsigned int src1, unsigned int src2, unsigned int *sum_out);
unsigned char _addcarryx_u64 (unsigned char c_in, unsigned __int64 src1, unsigned __int64 src2, unsigned __int64 *sum_out);

SIMD 浮点 例外

None.

异常

保护模式
#UD如果使用 LOCK 前缀。如果 CPUID.07H.00H: EBX.ADX[19] = 0.
#SS(0)在党卫军部分非法地址
#GP(0)对于CS,DS,ES,FS或GS片段中非法的内存操作数有效地址,如果DS,ES,FS,或GS寄存器用于访问内存,并包含一个无效的段选择子. #PF(fault-code) for a 页面错误.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
实地址模式
#UD如果使用 LOCK 前缀。如果 CPUID.07H.00H: EBX.AVX[19] = 0.
#SS(0)在党卫军部分非法地址
#GP(0)如果操作数的任何部分位于有效地址空间之外,从0到FFFFH.
虚拟 8086 模式
#UD如果使用 LOCK 前缀。如果 CPUID.07H.00H: EBX.AVX[19] = 0.
#SS(0)在党卫军部分非法地址
#GP(0)如果操作数的任何部分位于有效地址空间之外,从0到FFFFH. #PF(fault-code) for a 页面错误.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
兼容模式
与保护模式中的例外相同.
64 位模式
#UD如果使用 LOCK 前缀。如果 CPUID.07H.00H: EBX.AVX[19] = 0.
#SS(0)如果引用SS部分的内存地址是非冠状的.
#GP(0)如果内存地址为非冠状形式. #PF(fault-code) for a 页面错误.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.

来源