[PATCH] D149936: [LAA] Don't require stride one for inbounds GEP
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon May 8 10:06:53 PDT 2023
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
More information about the llvm-commits
mailing list