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