[all-commits] [llvm/llvm-project] 42ed77: [InstSimplify] Generalize `simplifyAndOrOfFCmps` t...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 42ed7757835122a63477b5783215e1100cd0b709
      https://github.com/llvm/llvm-project/commit/42ed7757835122a63477b5783215e1100cd0b709
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2024-11-19 (Tue, 19 Nov 2024)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/CodeGen/AMDGPU/fp-classify.ll
    M llvm/test/Transforms/InstCombine/create-class-from-logic-fcmp.ll
    M llvm/test/Transforms/InstSimplify/logic-of-fcmps.ll

  Log Message:
  -----------
  [InstSimplify] Generalize `simplifyAndOrOfFCmps` to handle fabs (#116590)

This patch generalizes https://github.com/llvm/llvm-project/issues/81027
to handle pattern `and/or (fcmp ord/uno X, 0), (fcmp pred fabs(X), Y)`.
Alive2: https://alive2.llvm.org/ce/z/tsgUrz
The correctness is straightforward because `fcmp ord/uno X, 0.0` is
equivalent to `fcmp ord/uno fabs(X), 0.0`. We may generalize it to
handle fneg as well.

Address comment
https://github.com/llvm/llvm-project/pull/116065#pullrequestreview-2434796846



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