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

[Yingwei Zheng via All-commits]

  Branch: refs/heads/release/20.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 57a31e183dc8cf8b291768330f628ede741d98d2
      https://github.com/llvm/llvm-project/commit/57a31e183dc8cf8b291768330f628ede741d98d2
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-04-29 (Tue, 29 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.

(cherry picked from commit 8abc917fe04140b6c6088a67e0398f637efde808)



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