ARM 应用程序状态寄存器APSR的整数状态（NZCV）位
APSR（Application Program Status Register）中的NZCV位是ARM架构中用于记录运算状态标志的关键位组，位于APSR的第31~28位。它们直接影响条件分支、条件执行等操作。
1. 各标志位含义
| 标志位 | 位置 | 全称 | 含义 |
|---|---|---|---|
| N | 31位 | Negative（负数） | 当运算结果为负数（最高位为1）时置1。 |
| Z | 30位 | Zero（零） | 当运算结果为零时置1。 |
| C | 29位 | Carry（进位/借位） | 无符号运算发生进位（加法）或无借位（减法）时置1。 |
| V | 28位 | oVerflow（溢出） | 有符号运算发生溢出时置1。 |
2. 如何设置NZCV位？
NZCV位通常由以下指令自动设置：
- 算术/逻辑运算指令（若添加
S后缀）：ADDS,SUBS,ANDS,LSLS等。 - 比较指令（不保存结果，只更新标志位）：
CMP（相当于SUBS）,CMN（相当于ADDS）,TST（相当于ANDS）。 - 其他标志操作指令：
MSR,MRS（直接读写APSR）。
3. 具体触发条件
N（Negative）
- 置1条件：运算结果的最高位（bit 31）为1（视为有符号负数）。
- 示例：
MOVS R0, #0x80000000→ R0为负数，N=1。
Z（Zero）
- 置1条件：运算结果所有位均为0。
- 示例：
SUBS R0, R1, R1→ R0=0，Z=1。
C（Carry）
- 加法：结果产生进位（无符号溢出）时置1。
ADDS R0, R1, R2→ 若R1+R2 ≥ 2³²，则 C=1。 - 减法：结果无借位时置1（即被减数≥减数）。
SUBS R0, R1, R2→ 若R1 ≥ R2，则 C=1。 - 移位操作：C保存最后移出的位。
V（oVerflow）
- 置1条件：有符号运算结果超出
-2³¹ ~ 2³¹-1范围。 - 判断方法：操作数符号相同且结果符号与操作数相反时置1。
- 示例（32位有符号数）：
0x70000000 + 0x10000000 = 0x80000000
→ 正数+正数=负数，V=1（溢出）。
4. 典型应用场景
(1) 条件分支（Branch）
CMP R0, R1 ; 计算 R0 - R1，设置NZCV BGT label ; 如果 R0 > R1（有符号），跳转到labelBGT的触发条件：Z=0 且 N=V
（即结果不为零，且负数标志与溢出标志相同）
(2) 条件执行（Conditional Execution）
ADDS R0, R1, R2 ; 加法并设置标志 ADDNE R3, R4, #5 ; 仅当 Z=0（结果非零）时执行(3) 无符号/有符号比较
- 无符号比较：看
C和ZBHI（无符号大于）：C=1且Z=0BLS（无符号小于等于）：C=0或Z=1 - 有符号比较：看
N、V、ZBGT（有符号大于）：Z=0且N=VBLT（有符号小于）：N≠V
5. 常见条件码对照表
| 条件码 | 含义 | 标志位条件 | 典型场景 |
|---|---|---|---|
| EQ | 相等 | Z=1 | CMP后结果为零 |
| NE | 不相等 | Z=0 | 结果非零 |
| MI | 负数 | N=1 | 结果最高位为1 |
| PL | 非负 | N=0 | 结果≥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 | 有符号比较 |
6. 注意事项
- 并非所有指令都更新NZCV（如
MOV不会），需要显式添加S后缀或使用比较指令。 - 在Thumb-2指令集中，大多数16位算术指令总是更新标志位（除非指定
IT块条件）。 - 通过
MRS和MSR指令可以读写APSR，从而手动修改NZCV。
示例代码
MOVS R0, #10 ; R0=10, 设置NZCV（N=0, Z=0, C=?, V=0） SUBS R0, R0, #10 ; R0=0, Z=1, N=0 BNE label ; 不会跳转（因为Z=1，不满足NE条件） ADDS R0, R0, #0x7FFFFFFF ; 触发溢出，V=1通过理解NZCV，可以深入掌握ARM的条件执行机制，编写高效且可控的底层代码。
