commit d4dc30c20d0f82ba3b4691f5edb71626b3ff799b
author Sanjay Patel <spatel@rotateright.com> Wed Oct 31 15:35:46 2018 +0000
committer Sanjay Patel <spatel@rotateright.com> Wed Oct 31 15:35:46 2018 +0000
tree ed1ba745b695ef6ed2ae4c80cef79cc81bd00958
parent b9fe3fbb57c253ab341a95d2c87cb89090a55854

[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

diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp
index efe8850..8571dc2 100644
--- a/llvm/lib/Analysis/InstructionSimplify.cpp
+++ b/llvm/lib/Analysis/InstructionSimplify.cpp
@@ -3620,8 +3620,11 @@
         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;