[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:

https://godbolt.org/z/7zaTq99qe
exp(0x1p-149) should give 1.

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