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