From d4dc30c20d0f82ba3b4691f5edb71626b3ff799b Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Wed, 31 Oct 2018 15:35:46 +0000 Subject: [InstSimplify] fold 'fcmp nnan ult X, 0.0' when X is not negative This is the inverted case for the transform added with D53874 / rL345725. llvm-svn: 345728 --- llvm/lib/Analysis/InstructionSimplify.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'llvm/lib/Analysis/InstructionSimplify.cpp') diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index efe88507aef..8571dc2cf2f 100644 --- a/llvm/lib/Analysis/InstructionSimplify.cpp +++ b/llvm/lib/Analysis/InstructionSimplify.cpp @@ -3620,8 +3620,11 @@ static Value *SimplifyFCmpInst(unsigned Predicate, Value *LHS, Value *RHS, if (CannotBeOrderedLessThanZero(LHS, Q.TLI)) return getTrue(RetTy); break; + case FCmpInst::FCMP_ULT: + if (FMF.noNaNs() && CannotBeOrderedLessThanZero(LHS, Q.TLI)) + return getFalse(RetTy); + break; case FCmpInst::FCMP_OLT: - // X < 0 if (CannotBeOrderedLessThanZero(LHS, Q.TLI)) return getFalse(RetTy); break; -- cgit v1.2.3