ARM 应用程序状态寄存器APSR的整数状态（NZCV）位

APSR（Application Program Status Register）中的NZCV位是ARM架构中用于记录运算状态标志的关键位组，位于APSR的第31~28位。它们直接影响条件分支、条件执行等操作。

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（有符号），跳转到label

• BGT的触发条件：Z=0 且 N=V
  （即结果不为零，且负数标志与溢出标志相同）

(2) 条件执行（Conditional Execution）

ADDS R0, R1, R2 ; 加法并设置标志 ADDNE R3, R4, #5 ; 仅当 Z=0（结果非零）时执行

(3) 无符号/有符号比较

• 无符号比较：看C和Z
BHI（无符号大于）：C=1且Z=0
  BLS（无符号小于等于）：C=0或Z=1
• 有符号比较：看N、V、Z
BGT（有符号大于）：Z=0且N=V
  BLT（有符号小于）：N≠V

5. 常见条件码对照表

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的条件执行机制，编写高效且可控的底层代码。