[PATCH] D87832: [IndVars] Remove monotonic checks with unknown exit count

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Hi Roman,

I'm not sure I understand your counter-example for signed. In case of `base = 878710768, num= -878702560 (aka 3416264736)`, it should be `last = base + step * num = 8208`, and the transform should not happen because of NoOverflowPred which is `start <=s last`. It is actually the more general version of "number of iterations is positive" that you mentioned.


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

https://reviews.llvm.org/D87832