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

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

JFYI, this idea is on hold until some of the previous patches land.  The interplay between this and some of the others is delicate and I'm worried about introducing bugs because I tried to keep too many things in my head at once.  We should probably also do a bit of cleanup first - e.g. lift the RHS invariant check.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104066