PowerPC指令序列为何同时设置cr0、cr1且r6等于指定二进制值？

现象说明 #

本次测试使用的指令序列如下：

li r3, 420
li r4, 360
cmpd r3, r4
mfocrf r6, 0x80

该序列在大端模式POWER7处理器上执行后，通用寄存器r6的最终值为0b10001000000000000000000000000000，同时出现疑似CR0、CR1两个条件寄存器字段同时被修改的现象。 #

成因分析 #

1. cmpd 指令行为确认 #

cmpd 为双字有符号比较指令，不存在任何隐式条件测试，也不会隐式修改CR1字段，完全符合POWER指令集规范：

• 比较逻辑：本次比较中r3=420大于r4=360，因此默认目标字段CR0的GT位（大于标志）置1，LT（小于标志）、EQ（等于标志）置0，CR0的SO位（溢出/ Summary Overflow标志）直接复制当前XER寄存器的SO值，无额外计算逻辑。
• 写入范围：未显式指定目标CR字段时，cmpd只会修改CR0字段，不会对CR1产生任何写入操作。你观测到的CR1对应位存在有效值，是该指令序列执行前CR1已经被前置代码设置为对应值，和本次cmpd执行无关。

2. r6异常取值的核心原因 #

该现象完全来自mfocrf指令的POWER7架构兼容特性，和cmpd无关：

• mfocrf 是条件寄存器字段读取指令，第二个入参为8位选择掩码，每一位对应一个CR字段（掩码从高位到低位依次对应CR0~CR7），0x80的二进制为0b10000000，按照最新POWER ISA规范本应仅读取CR0字段写入r6。
• 但POWER7为了兼容POWER ISA v2.05及更早版本的旧代码，保留了历史实现逻辑：当掩码仅最高位（对应CR0）置位时，会默认同时读取CR0、CR1两个字段合并后写入目标寄存器。你观测到的r6前8位为0b10001000，就是CR0（前4位）和CR1（后4位）的合并结果，后续24位补0符合mfocrf的写入规则。

结论 #

• cmpd 不存在隐式条件测试，也没有隐式修改CR1的逻辑，CR1的有效值来自指令序列执行前的上下文环境。
• r6的异常取值是POWER7对旧版本POWER架构的兼容特性导致，属于实现层面的保留行为，不属于指令逻辑错误。

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