[llvm-branch-commits] [llvm] ValueTracking: Improve handling of fadd in computeKnownFPClass. (PR #174123)

[Yingwei Zheng via llvm-branch-commits]

================
@@ -5640,13 +5648,25 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts,
         if (KnownLHS.cannotBeOrderedLessThanZero() &&
             KnownRHS.cannotBeOrderedLessThanZero())
           Known.knownNot(KnownFPClass::OrderedLessThanZeroMask);
+        if (KnownLHS.cannotBeOrderedGreaterThanZero() &&
+            KnownRHS.cannotBeOrderedGreaterThanZero())
+          Known.knownNot(KnownFPClass::OrderedGreaterThanZeroMask);
+
         if (!F)
           break;
 
         const fltSemantics &FltSem =
             Op->getType()->getScalarType()->getFltSemantics();
         DenormalMode Mode = F->getDenormalMode(FltSem);
 
+        if (SameOperands) {
+          // Doubling 0 will give the same 0.
----------------
dtcxzyw wrote:

Can doubling a negative subnormal give +0?

https://github.com/llvm/llvm-project/pull/174123