missed fold: (X * 0.0) * constant => X * 0.0 · llvm/llvm-project

(36 条评论) (1 个反应) (1 位负责人)C++ (10,782 个派生)batch import

floating-pointgood first issuellvm:instcombinemissed-optimization

仓库指标

星标: (26,378 个星标)
PR 合并指标: (PR 指标待抓取)

描述

https://alive2.llvm.org/ce/z/bKDTJd https://godbolt.org/z/v1qYrb5Ka

define float @src(float %0) {
entry:
  %1 = fmul float %0, 0.000000e+00
  %2 = fmul float %1, 3.000000e+00
  ret float %2
}

define float @tgt(float %0) {
entry:
  %1 = fmul float %0, 0.000000e+00
  ret float %1
}

@jayfoad @regehr

贡献者指南

研究方向: 该问题展示了 (X * 0.0) * 常数未能被折叠为 X * 0.0 的情况。alive2 链接证实此转换是正确的。请研究 LLVM 的 InstCombine 传递，特别是处理 fmul 折叠的代码。相关文件可能在 llvm/lib/Transforms/InstCombine/InstructionCombining.cpp 或 InstCombineMulDivRem.cpp 中。已有分配者但未关联 PR。请研究现有的 fmul 与零相乘的折叠模式，并将其扩展以处理在零乘之后紧跟常数乘的情况。使用提供的 IR 示例测试修复。
技术栈: 无
领域: backend
议题类型: 缺陷
难度: 3
预计时间: 3-5 天
活动状态: 活跃
清晰度: 清晰
前置要求: GitC++LLVM basics
新手友好度: 40