llvm/llvm-project

Missing FP optimization opportunities for fcmp ord operations

已關閉

#49,175 建立於 2021年4月4日

在 GitHub 查看貢獻者指南
 (4 則留言) (1 個反應) (1 位負責人)C++ (10,782 個分叉)batch import
bugzillafloating-pointgood first issuellvm:optimizationsmissed-optimization

倉庫指標

星標
 (26,378 顆星)
PR 合併指標
 (平均合併 1天 2小時) (30 天內合併 1,000 個 PR)

描述
Bugzilla Link 49831
Version trunk
OS All
Blocks llvm/llvm-project#49274
CC @RKSimon,@rotateright

Extended Description

; Excerpted from llvm/test/Transforms/InstCombine/and-fcmp.ll

define i1 @_commute_logical(i1 %z, float %c, float %d) {
  %ord1 = fcmp ninf ord float %c, 0.0
  %and = select i1 %ord1, i1 %z, i1 false
  %ord2 = fcmp ninf reassoc ord float %d, 0.0
  %r = select i1 %ord2, i1 %and, i1 false
  ret i1 %r
}

This can be optimized to

  %c.fr = freeze float %c
  %ord1 = fcmp ord float %c.fr, %d
  %r = select i1 %ord1, i1 %z, i1 false

Alive2 link: https://alive2.llvm.org/ce/z/QfkJak

貢獻者指南

研究方向
探索 LLVM 中的 InstCombine 優化遍，特別是處理 fcmp ord 操作的部分。查看測試檔案 llvm/test/Transforms/InstCombine/and fcmp.ll 以及提供的 Alive2 連結。檢查連結的 bugzilla 中是否有現有的實作或相關修補程式。實作所描述的優化，確保透過使用 freeze 指令來避免未定義行為。使用 Alive2 確保正確性。
技術棧
cpp
領域
performance
議題類型
效能
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
5
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
3-5 天
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
已阻塞
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
清晰
前置要求
LLVM IRInstCombine passFP optimization
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
15