[PATCH] D61922: [IndVarSimplify] Rotate exit comparisons to make them more invariant

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Hm, it looks like there may be an overlap w/LFTR.  With a slightly less reduced test case, we end up being able to prove nsw/nuw on several of the adds if we allow CVP to do so.  We may be better off fixing https://bugs.llvm.org/show_bug.cgi?id=31181, and then extending LFTR slightly to catch the remaining cases.

I'd appreciate review in case I missed something, but I think I'm going to delay landing this until I've dug into that option a bit.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D61922