[llvm] [InstCombine] Fold fcmp ogt (x - y), 0 into fcmp ogt x, y #85245 (PR #85506)
Jay Foad via llvm-commits
llvm-commits at lists.llvm.org
Fri Mar 22 02:28:12 PDT 2024
================
@@ -7972,6 +7972,11 @@ Instruction *InstCombinerImpl::visitFCmpInst(FCmpInst &I) {
Constant *RHSC;
if (match(Op0, m_Instruction(LHSI)) && match(Op1, m_Constant(RHSC))) {
switch (LHSI->getOpcode()) {
+ case Instruction::FSub:
+ if (Pred == FCmpInst::FCMP_OGT && match(RHSC, m_PosZeroFP()) &&
----------------
jayfoad wrote:
`m_NonInf` only matches non-inf _constants_. isKnownNeverInfinity is much more powerful because it can tell you when an arbitrary expression is known not to be infinity.
https://github.com/llvm/llvm-project/pull/85506
More information about the llvm-commits
mailing list