projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa89f08) | patch
[BasicAA] Support loop phis in pointsToConstantMemory()
authorNikita Popov <npopov@redhat.com>
Mon, 17 Oct 2022 10:34:55 +0000 (12:34 +0200)
committerNikita Popov <npopov@redhat.com>
Mon, 17 Oct 2022 10:34:55 +0000 (12:34 +0200)
commit436fb271862d721f9292169a979791508fad96c7
treeadb263faf96b4e1a80c2cb6e25316a67097958c9tree | snapshot
parentaa89f08afad7ee0581c39638abd8ee0df9ba1c65commit | diff
[BasicAA] Support loop phis in pointsToConstantMemory()

When looking for underlying objects, if we encounter one that we
have already seen, then we should skip it (as it has already been
checked) rather than bail out. In particular, this adds support
for the case where we have a loop use of a phi recurrence.
llvm/lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
llvm/test/Analysis/BasicAA/constant-memory.ll diff | blob | history
llvm/test/Transforms/FunctionAttrs/readattrs.ll diff | blob | history
Domain: System / Toolchain;