如何让LLVM使用OR指令优化布尔运算以提升程序运行速度

C/C++ 中逻辑或运算符||默认遵守短路求值语义：如果第一个操作数判定为真，第二个操作数不会被执行。你的场景里第二个操作数是指针解引用，编译器为了严格遵守标准语义（避免p_Bool2为非法指针时触发访问错误），会默认生成带分支跳转的汇编代码。而参考代码使用无分支的OR指令实现，避免了现代CPU分支预测失败的高额开销，因此运行速度更快。

• 调整代码逻辑，替换逻辑或为按位或
  如果你可以确认*p_Bool1和*p_Bool2的访问都是合法的，且业务逻辑不依赖短路求值跳过第二个指针访问的副作用，直接将核心逻辑修改为：

  *p_Bool3 = *p_Bool1 | *p_Bool2;
  

  按位或没有短路语义，编译器可以直接生成单条OR指令实现逻辑，完全匹配参考汇编的执行效率。如果担心bool类型隐式转换问题，可以添加显式转换保证语义一致：

  *p_Bool3 = (_Bool)((uint8_t)*p_Bool1 | (uint8_t)*p_Bool2);
  

• 调整编译选项，允许编译器做激进优化
  如果不想修改业务代码，可以在编译时添加以下选项触发clang的无分支优化：
  1. 添加-march=native，让编译器针对当前运行的X86 CPU特性做针对性优化，高版本clang对无副作用的短路逻辑操作，会自动优化为无分支实现
  2. 添加-fhoist-conditional-loads，允许编译器将条件分支内的加载操作提到分支外，即使保留短路逻辑的语义，也可以生成无分支的OR实现
  3. 如果你确认所有指针访问都是合法的，可关闭额外的安全检查选项（如-fno-sanitize=address，如果你开启了地址消毒），减少编译器的合规限制，更容易生成激进的无分支优化代码

C/C++ 标准规定bool类型的真值为1、假值为0，因此按位或的运算结果和逻辑或完全一致，只要不依赖短路跳过第二个操作数的需求，替换是100%安全的。

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