如何在Clang编译中从-O2级别选择性禁用特定优化？

当然可以通过-mllvm选项直接控制LLVM的优化pass，精准禁用你不需要的优化项，以下是针对你的需求的具体方案：

一、禁用指令重排 #

O2级别下的指令重排主要由LLVM的指令调度类pass负责，你可以直接用以下参数全局禁用指令调度：

-mllvm -disable-scheduling

如果需要更精细控制（比如只禁用后端的指令调度），可以针对特定pass禁用：

# 禁用机器指令调度pass
-mllvm -disable-pass=MachineScheduler
# 禁用寄存器分配后的指令调度pass
-mllvm -disable-pass=PostRAScheduler

二、禁用分支合并（相似分支合并） #

你提到的「将if语句相似分支合并为单一分支」的优化，主要由SimplifyCFG和MergeICmps这两个pass负责，对应的禁用参数如下：

1. 禁用SimplifyCFG中的条件分支重复代码合并：

-mllvm -simplifycfg-merge-conditional-deduplication=0

2. 禁用将多个比较指令合并为单一比较的优化（这也是分支合并的常见场景）：

-mllvm -disable-pass=MergeICmps

三、组合使用示例 #

把以上参数和-O2组合，最终编译命令类似：

clang -O2 -mllvm -disable-scheduling -mllvm -simplifycfg-merge-conditional-deduplication=0 -mllvm -disable-pass=MergeICmps your_source.c -o output_binary

四、验证优化是否生效 #

如果不确定参数是否生效，可以用以下方法确认：

• 用-mllvm -print-after-all查看每个pass执行后的IR代码，对比是否还有指令重排或分支合并的痕迹；
• 用-mllvm -debug-pass=Arguments列出当前O2级别下启用的所有pass，确认目标pass已被禁用。

注意：不同LLVM版本的pass名称可能略有差异，如果上述参数不生效，建议通过-debug-pass=Arguments输出当前pass列表，找到对应的目标pass名称后再用-mllvm -disable-pass=xxx禁用。

内容的提问来源于stack exchange，提问作者r.out