[PATCH] D147939: ValueTracking: Handle fptrunc in computeKnownFPClass

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

kpn added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4627
+    if (KnownSrc.isKnownNeverNaN())
+      Known.knownNot(fcNan);
+    break;
----------------
Isn't infinity an issue as well? If the input to be truncated is zero then we know the result can't be infinity. Then again, if the goal is to keep parity with the old implementation then do we need to worry about infinity yet?


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

https://reviews.llvm.org/D147939