[PATCH] D64868: [SCEV] add NW flag for AddExpr (start + stride)

[Philip Reames via Phabricator via llvm-commits]

reames accepted this revision.
reames added a comment.
This revision is now accepted and ready to land.

LGTM, but please update your submit comment to emphasize that the only reason this is correct is that we've proven that the inc can't be poison without triggering UB in the original program.  (i.e. it's not the fact the add is nsw which lets us do this, it's the fact that the add is nsw and can be proven to trigger UB if actually poison)


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

https://reviews.llvm.org/D64868