[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.

I agree with the request to hold until latent miscompile in underlying code is addressed.  I will hold this patch until that happens, and then land without further review.  Max, good suggestion on condition ordering, will address in landed patch.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104066