[PATCH] D148563: ValueTracking: Implement computeKnownFPClass for fma/fmuladd

[Jay Foad via Phabricator via llvm-commits]

foad accepted this revision.
foad added inline comments.
This revision is now accepted and ready to land.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4250
+        // x * x + y is non-negative if y is non-negative.
+        KnownFPClass KnownAddend;
+        computeKnownFPClass(II->getArgOperand(2), DemandedElts,
----------------
Could immediately do `Known.knownNot(fcNegZero)` here, since the `x * x` part can't be -0.


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

https://reviews.llvm.org/D148563