[PATCH] D147932: ValueTracking: Implement computeKnownFPClass for various rounding intrinsics

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

kpn added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4724
+        if (KnownSrc.isKnownNever(fcNegZero | fcNegNormal))
+          Known.knownNot(fcNegZero | fcNegNormal);
 
----------------
Couldn't a subnormal value be the input for rounding? The result won't be subnormal, but why remove the checks for subnormal inputs?


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

https://reviews.llvm.org/D147932