[PATCH] D148230: ValueTracking: fadd +0 cannot return -0

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

kpn added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4369
+    if (KnownRHS.KnownFPClasses == fcPosZero && Op->getOpcode() == Instruction::FAdd)
+      Known.knownNot(fcNegZero);
+
----------------
We're in the default FP environment here since we're looking at FAdd and FSub instructions. The check for FAdd isn't needed?


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

https://reviews.llvm.org/D148230