[PATCH] D87778: [MemorySSA] Be more conservative when traversing MemoryPhis.
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sat Nov 14 09:39:59 PST 2020
nikic added inline comments.
================
Comment at: llvm/include/llvm/Analysis/MemorySSA.h:1251
+ // after the pointer are considered as clobbers, which is important to
+ // catch loop carried dependences.
+ if (Location.Ptr &&
----------------
As the comment correctly states, an unknown size guarantees that locations **after** the pointer are considered as clobbers. However, locations **before** it are not. Could there still be an issue for decrementing pointer loops here?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D87778/new/
https://reviews.llvm.org/D87778
More information about the llvm-commits
mailing list