Intel x86与ARM架构的进位标志（CF/C）定义是否存在差异？

是的，x86和ARM的进位标志在减法操作中的定义完全不同，这正是你测试结果出现差异的根本原因。

x86架构的CF标志逻辑 #

x86的进位标志（CF）在减法操作中，直接表示无符号数减法是否发生了借位：

• 当被减数 < 减数时，无符号减法无法完成，必须向更高位借位，此时CF被置为1；
• 当被减数 >= 减数时，无符号减法无需借位，CF被置为0。

对应你测试的x64代码：

mov     rax, 2
    sub     rax, 4    ; 2 < 4，无符号减法发生借位，CF=1
    jc      lllp      ; CF=1时跳转，触发跳转
    nop               ; 永远不会执行

lllp:

ARM64架构的C标志逻辑 #

ARM（包括ARM64）的进位标志（C）在带s后缀的减法指令（如subs）中，是通过「减法转补码加法」的逻辑来设置的：
ARM会把A - B转换为A + (~B + 1)（即A加上B的补码），此时C标志表示这个加法操作是否产生了进位：

• 当被减数 >= 减数（无符号数）时，补码加法会产生进位，C被置为1；
• 当被减数 < 减数时，补码加法不会产生进位，C被置为0。

对应你测试的ARM64代码：

mov   x0, #2
    subs  x0, x0, #4   ; 等价于2 + 0xFFFFFFFFFFFFFFFC，无进位产生，C=0
    bcs   lllp         ; C=1时才跳转，不触发
    nop                ; 总会执行

lllp

关键对应关系 #

如果要在ARM中实现x86jc（检测借位）的逻辑，应该使用bcc（Branch if Carry Clear）指令，因为：

• x86的CF=1（借位发生） ≈ ARM的C=0
• x86的CF=0（无借位） ≈ ARM的C=1

内容的提问来源于stack exchange，提问作者c00000fd