[llvm] 1e34a17 - Reapply "InstSimplify: Use isKnownNeverInfOrNaN"
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue May 23 00:48:34 PDT 2023
Author: Matt Arsenault
Date: 2023-05-23T08:48:25+01:00
New Revision: 1e34a1792610c91decd0019ee58be3a24e58af0f
URL: https://github.com/llvm/llvm-project/commit/1e34a1792610c91decd0019ee58be3a24e58af0f
DIFF: https://github.com/llvm/llvm-project/commit/1e34a1792610c91decd0019ee58be3a24e58af0f.diff
LOG: Reapply "InstSimplify: Use isKnownNeverInfOrNaN"
This reverts commit f55224735ed39af16bccd7ff67b734fd758db6fc.
Added:
Modified:
llvm/lib/Analysis/InstructionSimplify.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp
index 3a721eba832a..e73b13f558ef 100644
--- a/llvm/lib/Analysis/InstructionSimplify.cpp
+++ b/llvm/lib/Analysis/InstructionSimplify.cpp
@@ -4091,14 +4091,10 @@ static Value *simplifyFCmpInst(unsigned Predicate, Value *LHS, Value *RHS,
if (Pred == FCmpInst::FCMP_UNE && isKnownNeverInfinity(LHS, Q.DL, Q.TLI))
return getTrue(RetTy);
// LHS == Inf || LHS == NaN
- if (Pred == FCmpInst::FCMP_UEQ &&
- isKnownNeverInfinity(LHS, Q.DL, Q.TLI) &&
- isKnownNeverNaN(LHS, Q.DL, Q.TLI))
+ if (Pred == FCmpInst::FCMP_UEQ && isKnownNeverInfOrNaN(LHS, Q.DL, Q.TLI))
return getFalse(RetTy);
// LHS != Inf && LHS != NaN
- if (Pred == FCmpInst::FCMP_ONE &&
- isKnownNeverInfinity(LHS, Q.DL, Q.TLI) && // xxxx fixme
- isKnownNeverNaN(LHS, Q.DL, Q.TLI))
+ if (Pred == FCmpInst::FCMP_ONE && isKnownNeverInfOrNaN(LHS, Q.DL, Q.TLI))
return getTrue(RetTy);
}
if (C->isNegative() && !C->isNegZero()) {
More information about the llvm-commits
mailing list