条件码与标志位：NZCV 详解与条件码表

各位好，欢迎来到第二章。上一章我们聊了寻址模式，这一章咱们把目光转向另一个核心——条件码与标志位。说白了，就是处理器内部那四个小旗子：N、Z、C、V。它们决定了你的分支跳转、循环控制、甚至一些算法运算的正确性。

我个人习惯把 NZCV 比作 CPU 的「交通信号灯」。你写的每条算术或逻辑指令，都会悄悄更新这四个灯的状态。后续的条件判断指令，就靠看这些灯来决定走哪条路。搞不懂它们，调试起来会非常痛苦。

NZCV 标志位详解

ARM64 的 PSTATE 寄存器里，有四个最常用的条件标志位。每次执行数据处理指令（比如 ADD、SUB、CMP 等），处理器都会根据结果自动更新它们。

标志位	全称	含义	设置条件
N	Negative	结果为负	结果的最高位（bit 63）为 1
Z	Zero	结果为零	结果的所有位均为 0
C	Carry	进位/借位	加法产生进位，或减法产生借位
V	Overflow	有符号溢出	运算结果超出了有符号数的表示范围

嗯，这里要注意：C 和 V 的区别是很多新手栽跟头的地方。C 标志位关注的是无符号运算的进位/借位，而 V 标志位关注的是有符号运算的溢出。举个例子，两个正数相加得到负数，V 就会置 1，但 C 可能为 0。

我曾经在调试一个网络协议栈时，遇到一个诡异的 bug：数据包长度校验总在边界值出错。查了两天，最后发现是同事用 BLS（低于或相同）指令判断无符号数大小时，误以为 C 标志位的行为和有符号溢出一样。实际上，对于无符号比较，你只需要关心 C 和 Z，V 标志位是无关的。

条件码表：从 EQ 到 AL

ARM64 提供了 15 种条件码（加上 AL 是 16 种）。它们本质上是 NZCV 四个标志位的布尔组合。你写的 B.EQ、CCMP、CSEL 等指令，后缀就是这些条件码。

下面这张表，我建议你收藏。调试时对照着看，能省不少时间。

条件码	含义（有符号）	含义（无符号）	标志位条件
EQ	等于	等于	Z == 1
NE	不等于	不等于	Z == 0
CS/HS	大于等于（无溢出）	高于或相同	C == 1
CC/LO	小于（有溢出）	低于	C == 0
MI	负数	—	N == 1
PL	正数或零	—	N == 0
VS	溢出	—	V == 1
VC	无溢出	—	V == 0
HI	—	高于	C == 1 && Z == 0
LS	—	低于或相同	C == 0 || Z == 1
GE	大于等于	—	N == V
LT	小于	—	N != V
GT	大于	—	Z == 0 && N == V
LE	小于等于	—	Z == 1 || N != V
AL	总是执行	总是执行	无条件

条件码的典型应用场景

条件码不只是用在 B.xx 分支指令上。ARM64 的很多指令都可以带条件后缀，比如 CSEL（条件选择）、CCMP（条件比较）、CINC（条件加一）。这能帮你写出更紧凑、无分支的代码，对性能提升很有帮助。

来看一个简单的例子：实现一个带符号的饱和加法。

// C 语言原型：int32_t sat_add(int32_t a, int32_t b);
// 假设 a 在 w0，b 在 w1，结果返回 w0

sat_add:
    adds    w2, w0, w1          // 有符号加法，更新 NZCV
    b.vs    overflow            // 如果 V=1，说明溢出
    mov     w0, w2              // 无溢出，直接返回结果
    ret
overflow:
    // 判断是正溢出还是负溢出
    // 如果 a 是正数（w0 >= 0），则返回 INT32_MAX
    // 否则返回 INT32_MIN
    cmp     w0, #0
    csel    w0, w0, w2, ge      // 这里只是示意，实际需要更复杂的逻辑
    // ... 实际饱和处理
    ret

你看，B.VS 直接检查 V 标志位，比先算结果再比较符号位要高效得多。这就是条件码的魅力。

NZCV 标志位更新规则

不是所有指令都会更新标志位。ARM64 的设计很灵活：默认的数据处理指令（如 ADD）不更新标志位，只有带 s 后缀的版本（如 ADDS、SUBS）才会更新。这一点和 x86 很不一样，刚转过来的朋友容易搞混。

下面这张 SVG 图，帮你梳理 NZCV 标志位与条件码之间的逻辑关系。

调试中的 NZCV 观察技巧

在 GDB 或 LLDB 中，你可以直接查看 PSTATE 寄存器来观察标志位。我个人习惯用 info registers pstate 命令。输出会显示 NZCV 四个字母，大写表示置 1，小写表示清 0。

(gdb) info registers pstate
pstate         0x60000000   [ nzCv ]
// 解释：N=0, Z=0, C=1, V=0

嗯，这里有个小技巧：如果你在单步调试时发现分支跳转不符合预期，第一件事就是检查 NZCV 的值。很多时候，问题出在你以为标志位被更新了，但实际上并没有。