[all-commits] [llvm/llvm-project] 8abc91: [InstCombine] Do not fold logical is_finite test (...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8abc917fe04140b6c6088a67e0398f637efde808
      https://github.com/llvm/llvm-project/commit/8abc917fe04140b6c6088a67e0398f637efde808
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-04-24 (Thu, 24 Apr 2025)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/test/Transforms/InstCombine/and-fcmp.ll

  Log Message:
  -----------
  [InstCombine] Do not fold logical is_finite test (#136851)

This patch disables the fold for logical is_finite test (i.e., `and
(fcmp ord x, 0), (fcmp u* x, inf) -> fcmp o* x, inf`).
It is still possible to allow this fold for several logical cases (e.g.,
`stripSignOnlyFPOps(RHS0)` does not strip any operations). Since this
patch has no real-world impact, I decided to disable this fold for all
logical cases.

Alive2: https://alive2.llvm.org/ce/z/aH4LC7
Closes https://github.com/llvm/llvm-project/issues/136650.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications