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

[Kevin P. Neal via Phabricator via llvm-commits]

kpn added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4555
+        if (KnownSrc.isKnownNeverNaN())
+          Known.knownNot(fcNan);
         break;
----------------
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? 


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

https://reviews.llvm.org/D147938