cc65编译器优化导致布尔操作数位运算错误问题分析

问题背景

在cc65编译器中，最近发现了一个与位运算和布尔表达式相关的优化错误。该问题在8b6d78a075dafde8583c4992d37995d9b4c9db97提交后引入，导致当位运算操作中包含布尔子表达式时，编译器生成的代码不正确。

问题表现

当代码中包含类似a = c ^ (d != 0)这样的表达式时，编译器优化后的结果与预期不符。具体表现为：

• 预期结果：a和b的值应该相同（其中b = c ^ 1）
• 实际结果：a和b的值不同

技术分析

错误代码生成

编译器生成的汇编代码显示，在处理布尔表达式(d != 0)时存在问题：

lda     _d
cmp     #$00
; 这里缺少必要的转换操作
eor     _c
sta     _a

正确的处理应该将布尔比较结果转换为1或0，然后再进行异或运算。但优化后的代码直接跳过了这个转换步骤。

根本原因

问题出在Opt_a_tosxor、Opt_a_tosor和Opt_a_tosand这几个优化函数中。这些函数都缺少了必要的优化条件检查：OP_RHS_REMOVE_DIRECT | OP_RHS_LOAD_DIRECT。

解决方案

修复方案是为这些优化函数添加缺失的优化条件检查，确保在处理布尔表达式时能够正确生成转换代码。具体修改包括：

1. 在优化前检查操作数类型
2. 确保布尔表达式结果被正确转换为0或1
3. 保持与其他位运算操作一致的行为

影响范围

该问题影响所有使用位运算操作符（^、|、&）与布尔表达式结合的场景。特别是在优化编译时（使用-O选项）会出现错误结果。

验证方法

可以通过以下测试代码验证修复效果：

#include <stdio.h>

unsigned char a, b;
unsigned char c = 255;
unsigned char d = 100;

void main() {
    a = c ^ (d != 0);
    b = c ^ 1;
    
    if (a != b) {
        printf("error! a %d, b %d\n", a, b);
    }
}

正确的结果应该是a和b的值相同（都为254）。

总结

这个bug展示了编译器优化过程中需要特别注意类型转换的完整性。特别是在处理布尔表达式与其他类型混合运算时，必须确保语义的正确性。cc65团队已经快速响应并修复了这个问题，体现了开源社区对代码质量的高度重视。