[llvm-branch-commits] [llvm] InstCombine: Handle exp/exp2/exp10 in SimplifyDemandedFPClass (PR #173432)

[Yingwei Zheng via llvm-branch-commits]

================
@@ -137,6 +137,30 @@ KnownFPClass KnownFPClass::canonicalize(const KnownFPClass &KnownSrc,
   return Known;
 }
 
+KnownFPClass KnownFPClass::exp(const KnownFPClass &KnownSrc) {
+  KnownFPClass Known;
+  Known.knownNot(fcNegative);
+
+  if (KnownSrc.isKnownNeverNaN()) {
+    Known.knownNot(fcNan);
+    Known.signBitMustBeZero();
----------------
dtcxzyw wrote:

knownNot(fcNagative) and knownNot(fcNan) implies this property. It will be updated in `Known.knownNot(fcNan);`.

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