[PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation

[Philip Reames via Phabricator via llvm-commits]

reames planned changes to this revision.
reames added a comment.

Code as posted is incorrect.  A loop being finite only proves stride != 0 if the backedge is taken.  If the backedge is not taken, stride may still be zero.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104066