LLVM JIT编译器下IR函数组合调用未被优化问题求助

解决方案 #

1. 补充浮点优化许可配置 #

你遇到的优化失效问题核心是LLVM默认对浮点运算的保守策略，哪怕函数标记了readnone，也不会主动删除可能触发浮点异常、或产生NaN/无穷大结果的运算组合：

• 不需要全量开启-ffast-math，只需开启以下必要的浮点优化开关即可：
  • -fno-math-errno：禁用数学函数的errno写入逻辑，消除LLVM对函数调用有副作用的顾虑
  • -fapprox-func：允许LLVM按标准数学函数的行为模型优化你的自定义@Tan、@ln实现
• 给y分支相关的所有浮点运算（%18=fmul、%19=fadd、@Tan调用、@ln调用）添加nnan ninf快速数学标记，明确告知LLVM这些运算的输入不会触发NaN、无穷大结果，可安全移除无使用的运算链。

2. 修正函数属性配置 #

你当前给@Tan、@ln加的nobuiltin属性会阻止LLVM套用标准数学函数的优化规则，如果你的自定义实现和标准库tan/log行为一致，可以直接删除该属性，大幅降低LLVM的优化判断成本。如果确实需要保留nobuiltin，可额外给两个函数添加speculatable属性，明确标记函数可以被安全推测执行、无任何副作用。

3. 调整优化Pass执行顺序 #

确保优化Pipeline按以下顺序执行对应的Pass：

• 首先执行mem2reg Pass，将栈上分配的%ST_Transform_Array2数组转换为标量值，消除内存操作的遮挡，让LLVM可以直接识别到y分支的计算结果完全没有被后续逻辑读取
• 接着执行instcombine Pass合并冗余指令
• 最后执行aggressive-dce Pass，该Pass会比默认DCE更激进地删除无使用的纯函数调用链，哪怕是多层函数嵌套的场景也能正确裁剪。

按照以上配置调整后，LLVM就能正确识别y分支的所有运算都没有被使用，会完全删除该分支的所有代码，得到你预期的优化结果。

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