[PATCH] D147938: ValueTracking: Handle exp/exp2 in computeKnownFPClass

[Joshua Cranmer via Phabricator via llvm-commits]

jcranmer-intel added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4555
+        if (KnownSrc.isKnownNeverNaN())
+          Known.knownNot(fcNan);
         break;
----------------
kpn wrote:
> Infinity. In chapter 9.2.1 of 754-2019 it defines exp(0) and exp2(0) as 1. Since we know this isn't infinity, it seems like now is a good time to add a check? 
exp/exp2 is never a negative number, not even -0 (exp(-inf) = +0).


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147938/new/

https://reviews.llvm.org/D147938