关于Cypress PSoC1汇编OR指令标志位影响的确认问询

我正在开发一款PSoC1微控制器的教学模拟器，目前处于初步编码测试阶段，通过对照微控制器手册验证模拟器的opcode执行是否正确。在测试OR指令时，我对手册中的描述感到困惑：

仅当使用OR F, expr指令时，进位标志（Carry Flag）才会改变。进位标志将被设置为指令执行开始时的进位标志与第二个参数第2位值的逻辑或结果（即F[2]和expr[2]的或运算结果）。对于OR F, expr指令，零标志（Zero Flag）的处理方式与进位标志相同，会被设置为指令执行开始时的零标志与第二个参数第1位值的逻辑或结果（即F[1]和expr[1]的或运算结果）。然而，对于所有其他OR指令，零标志会根据逻辑或操作的结果被设置或清除：若或运算结果所有位均为0，则零标志被设置，否则被清除。

（以上内容摘录自Cypress/Infineon PSoC1的《Assembly Language User Guide》第61页）

F寄存器即微控制器的标志寄存器（flags register），其中包含进位标志（CF）和零标志（Z）等标志位。

我总结理解如下：当OR指令的目标操作数为F寄存器时，OR运算会作用于所有位，包括CF和Z标志位；当目标操作数不是F寄存器时，无论逻辑运算结果如何，CF标志位都不会被修改（这与ADD、SUB等指令不同）。

请问我的理解是否正确？

你的理解完全正确，可以拆解验证：

• 针对OR F, expr指令：
  • 进位标志（CF，对应F[2]）：更新为「原CF值」与「expr的第2位值」的逻辑或，本质就是对F寄存器该位执行OR运算
  • 零标志（Z，对应F[1]）：更新为「原Z值」与「expr的第1位值」的逻辑或，同样是对F寄存器该位的OR运算
  • 结合手册描述，这确实等同于OR运算作用于F寄存器的所有对应位
• 针对其他OR指令（目标不是F寄存器）：
  • 手册明确说明仅OR F, expr会改变进位标志，因此其他OR指令执行时CF保持不变，这和ADD/SUB这类会主动更新CF的指令逻辑不同
  • 零标志则按常规逻辑更新，取决于运算结果是否全0

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