diff options
| author | Serguei Katkov <serguei.katkov@azul.com> | 2023-03-29 12:37:03 +0700 |
|---|---|---|
| committer | Serguei Katkov <serguei.katkov@azul.com> | 2023-04-27 10:45:27 +0700 |
| commit | faf8407aecd15125261787bc9b9b4d448174b5d4 (patch) | |
| tree | c6d78b95bafe118865894745e6b677f0b955c8cc /llvm/lib/CodeGen/MachineDebugify.cpp | |
| parent | 71cb689661ab107986a3773571ab9985d6c47114 (diff) | |
| download | llvm-faf8407aecd15125261787bc9b9b4d448174b5d4.zip llvm-faf8407aecd15125261787bc9b9b4d448174b5d4.tar.gz llvm-faf8407aecd15125261787bc9b9b4d448174b5d4.tar.bz2 | |
[InstSimplify] Extend handlng of fp min/max.
Add support the cases like
m(m(X,Y),m'(X,Y)) => m(X,Y)
where m is one of maxnum, minnum, maximum, minimum and
m' is m or inverse of m.
alive2 correctness check:
maxnum(maxnum,maxnum) https://alive2.llvm.org/ce/z/kSyAzo
maxnum(maxnum,minnum) https://alive2.llvm.org/ce/z/Vra8j2
minnum(minnum,minnum) https://alive2.llvm.org/ce/z/B6h-hW
minnum(minnum,maxnum) https://alive2.llvm.org/ce/z/rG2u_b
maximum(maximum,maximum) https://alive2.llvm.org/ce/z/N2nevY
maximum(maximum,minimum) https://alive2.llvm.org/ce/z/23RFcP
minimum(minimum,minimum) https://alive2.llvm.org/ce/z/spHZ-U
minimum(minimum,maximum) https://alive2.llvm.org/ce/z/Aa-VE8
Reviewed By: dantrushin, RKSimon
Differential Revision: https://reviews.llvm.org/D147137
Diffstat (limited to 'llvm/lib/CodeGen/MachineDebugify.cpp')
0 files changed, 0 insertions, 0 deletions