如何手动复现LLVM O3优化等级生成的IR结果

核心差异原因 #

结果差异主要来自两个常见错误：

• 分批次执行opt命令：每一次opt调用都会创建独立的PassManager实例，全局上下文、之前运行得到的分析Pass结果（别名分析、循环信息、调用图等）会被完全清空，后续Pass依赖这些信息时只能重新计算，和全局流水线一次性运行时的计算结果可能存在差异，最终导致转换Pass的行为不一致。
• 缺少和-O3配套的全局隐式参数：原生-O3会自动设置大量优化阈值、功能开关（比如内联阈值、指令调度开关、循环展开参数等），手动传Pass时如果没有对齐这些参数，也会导致结果不同。

可落地的解决方法 #

方法一：一次性传递所有Pass参数（最易实现） #

不要拆分多轮opt调用，把-debug-pass=Arguments输出的所有Pass参数（包括分析Pass）直接拼接到同一行opt命令中，同时补齐和原生调用一致的全局参数：

1. 首先执行命令获取完整Pass参数列表：

opt -enable-new-pm=0 -S -O3 input.ll -debug-pass=Arguments 2>&1 | grep "Pass Arguments:" | sed 's/Pass Arguments: //'

2. 把上一步输出的所有参数直接拼接，构造opt命令，不要额外加-O3参数：

opt -enable-new-pm=0 -S input.ll [上一步输出的所有Pass参数] -o output.ll

3. 对齐所有全局参数：如果原生-O3调用时附带了目标架构、快速数学、数据布局相关的参数，手动调用时也要完全对齐，IR文件中最好自带正确的目标三元组和数据布局声明，避免opt使用默认架构参数导致差异。

方法二：使用LLVM API构造优化流水线（结果100%一致） #

如果需要稳定复现原生-O3的行为，直接通过LLVM C/C++ API构造旧版PassManager，调用llvm::PassManagerBuilder的populateModulePassManager方法并设置OptLevel为3，再加载IR执行Pass即可，完全不需要手动处理Pass顺序和依赖，和原生opt的-O3逻辑完全一致。 #

验证方法 #

生成结果后可以使用diff命令对比手动执行和原生-O3的输出，排除调试信息、元数据差异后内容应该完全一致。

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