[PATCH] D118090: [ScalarEvolution] Handle <= and >= in non infinite loops

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

I second @nikic comments.  Also, we already have quite similar in SimplifyICmpOperands, so if there's a way to common the code to use the mustprogress/guarded exit fact there, that would be preferred.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118090