[PATCH] D64869: [SCEV] get more accurate range for AddExpr with NW flag

[ChenZheng via Phabricator via llvm-commits]

shchenz added a comment.

Seems we can not simply add `nsw|nuw` for `start + stride` as I did in https://reviews.llvm.org/D64868. Since SCEV are shared with expressions in different blocks, we must ensure all expressions mapped to same SCEV can be added with `nsw|nuw`.


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

https://reviews.llvm.org/D64869