[PATCH] D103991: [SCEV] Move mustprogress based no-self-wrap logic so it applies to all exit conditions

[Philip Reames via Phabricator via llvm-commits]

reames updated this revision to Diff 388214.
reames retitled this revision from "[SCEV] Extend mustprogress reasoning to ne exit tests" to "[SCEV] Move mustprogress based no-self-wrap logic so it applies to all exit conditions".
reames edited the summary of this revision.
reames added reviewers: fhahn, lebedev.ri.
reames added a comment.

This update reworks the patch, and hopefully makes it a lot more obviously correct.  The patch is restructured to purely pull code up from howManyLessThans into the caller so that it handles all condition codes.  This does reduce the scope slightly, but I've included planned extensions in the review description which should cover all cases.


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

https://reviews.llvm.org/D103991

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/ne-overflow.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D103991.388214.patch
Type: text/x-patch
Size: 7070 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211118/b493e8ae/attachment.bin>