diff options
author | Dan Gohman <gohman@apple.com> | 2011-05-21 01:05:08 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2011-05-21 01:05:08 +0000 |
commit | 424b7771711d8be54f8ac65a24d1870d931c18ee (patch) | |
tree | 4762419fa98755d9a78caedbebfbbdbd57abcd7d /test/Analysis/BasicAA | |
parent | dc5948d47205fd05184a25251e128db6a47b25c2 (diff) | |
download | llvm-424b7771711d8be54f8ac65a24d1870d931c18ee.tar.gz llvm-424b7771711d8be54f8ac65a24d1870d931c18ee.tar.bz2 llvm-424b7771711d8be54f8ac65a24d1870d931c18ee.tar.xz |
When BasicAA can determine that two pointers have the same base but
differ by a dynamic offset, return PartialAlias instead of MayAlias.
See the comment in the code for details. This fixes PR9971.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131781 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA')
-rw-r--r-- | test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll b/test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll index 2b0cd78fec..7b5584e0bd 100644 --- a/test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll +++ b/test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& grep {1 may alias} +; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& grep {1 partial alias} ; PR7959 target datalayout = "e-p:32:32:32" |