[PATCH] D141850: [SCEV] Preserve divisibility and min/max information in applyLoopGuards

[Joshua Cao via Phabricator via llvm-commits]

caojoshua added a comment.

> I think the example is correct.
> Even before this patch:
> TC > 0 is translated to max (TC, 1)
> TC < 99 is translated to min (TC, 98)

My mistake. You're correct.


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

https://reviews.llvm.org/D141850