[PATCH] D149936: [LAA] Don't require stride one for inbounds GEP

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

@reames What LangRef is describing there is basically "nusw" in SCEV terms, which is I believe is also the property LAA is interested in (or at least, that's what it adds to PSE). What LangRef is trying to emphasize here is that inbounds is **not** nsw, it is nusw, which reduces to nuw for non-negative offsets.


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

https://reviews.llvm.org/D149936