首先，你看到的“低效”IR其实是clang在默认优化级别（-O0）下生成的未优化中间代码，这完全是正常现象——因为-O0的核心目标是尽可能保留和源码一致的结构，方便你调试时能对应上每一行代码，而不是追求执行效率。

为什么会生成这样的IR？ #

你代码里的test % 2判断奇偶，clang前端已经把它转换成了and i32 %1, 1（取整数最低位，这本身是个小优化，因为位运算比取模快），但后续的if-else分支还是原封不动地转换成了条件判断和分支跳转指令。在-O0模式下，LLVM不会做任何会改变代码结构的优化，比如把分支转换成无分支的条件选择，所以看起来会显得“冗余”。

但别担心，这种IR只是调试友好版，实际如果开启优化，LLVM会把它变得高效很多。

优化方法 #

要让LLVM生成高效的IR，只需要在编译时指定优化级别即可：

• -O1：基础优化，会消除冗余代码、简化分支逻辑
• -O2：常用的中等优化级别，会做指令合并、无分支化转换等更多优化
• -O3：最高级优化，会启用所有安全的优化策略

比如你可以用这条命令生成优化后的IR：

clang -O2 -S -emit-llvm your_code.cpp -o optimized.ll

优化后的IR会把你的if-else分支转换成select指令（无分支的条件选择操作），类似这样：

define i32 @main() local_unnamed_addr #0 {
  %1 = tail call i32 @rand() #3
  %2 = and i32 %1, 1
  %3 = select i1 %2, i32 add nsw i32 %1, 522, i32 mul nsw i32 %1, 333
  %4 = tail call i32 (i8*, ...) @printf(i8* nonnull dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i32 %3) #3
  ret i32 0
}

这种无分支的结构在现代CPU上执行效率更高，因为避免了分支预测失败带来的性能开销。

另外，如果你想单独对已有IR做优化，还可以用LLVM的opt工具：

opt -O2 input.ll -o optimized.ll

总结一下：你看到的低效IR只是调试模式下的产物，开启优化级别后，LLVM会自动生成高效的中间代码和机器码。

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