[llvm-branch-commits] [llvm] ValueTracking: Improve handling of exp intrinsic for overflow (PR #173430)

[Yingwei Zheng via llvm-branch-commits]

================
@@ -5362,6 +5362,22 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts,
         Known.signBitMustBeZero();
       }
 
+      if (KnownSrc.cannotBeOrderedLessThanZero()) {
+        // If the source is positive, and cannot be ~0, this cannot underflow.
----------------
dtcxzyw wrote:

I still cannot understand what `approximately 0` means here.
`cannotBeOrderedLessThanZero` returns true for NaN|+-0|Positive

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