diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2024-11-19 20:10:40 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-19 20:10:40 +0800 |
| commit | 42ed7757835122a63477b5783215e1100cd0b709 (patch) | |
| tree | 089fa494d8897e8f2c257b43eb5619e0588cfe28 /clang/lib/CodeGen/CodeGenModule.cpp | |
| parent | a59976bea8ad76f18119a11391dc8ba3e6ba07d5 (diff) | |
| download | llvm-42ed7757835122a63477b5783215e1100cd0b709.zip llvm-42ed7757835122a63477b5783215e1100cd0b709.tar.gz llvm-42ed7757835122a63477b5783215e1100cd0b709.tar.bz2 | |
[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
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions