From 1e34a1792610c91decd0019ee58be3a24e58af0f Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Mon, 22 May 2023 10:42:58 +0100 Subject: [PATCH] Reapply "InstSimplify: Use isKnownNeverInfOrNaN" This reverts commit f55224735ed39af16bccd7ff67b734fd758db6fc. --- llvm/lib/Analysis/InstructionSimplify.cpp | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index 3a721eb..e73b13f 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()) { -- 2.7.4