projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af1480a) | patch
[BasicAA] Non-equal indices in a GEP of a SequentialType don't overlap
authorJames Molloy <james.molloy@arm.com>
Thu, 22 Oct 2015 13:28:18 +0000 (13:28 +0000)
committerJames Molloy <james.molloy@arm.com>
Thu, 22 Oct 2015 13:28:18 +0000 (13:28 +0000)
commitdc5a8f2aac54cdf1199a8cc08b4ad0521f050462
tree22ccbbc0affbd6727fb8bc39f489319f9c7ad656tree | snapshot
parentaf1480aea6dc3e393e8acc02feba65b4ad7e2b10commit | diff
[BasicAA] Non-equal indices in a GEP of a SequentialType don't overlap

If the final indices of two GEPs can be proven to not be equal, and
the GEP is of a SequentialType (not a StructType), then the two GEPs
do not alias.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251016 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/sequential-gep.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors