[PATCH] D83601: [ValueTracking] fix bug in maxnum case of cannotBeOrderedLessThanZeroImpl (PR46627)

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:3383
+      return (isPositiveNum(V0) && CannotBeNegativeZero(V1, TLI, Depth + 1)) ||
+             (isPositiveNum(V1) && CannotBeNegativeZero(V0, TLI, Depth + 1));
+    }
----------------
efriedma wrote:
> Can you just pass false for "SignBitOnly", instead of doing a bunch of extra calls?
Err, nevermind, that doesn't work; I need more coffee this morning.


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

https://reviews.llvm.org/D83601