[BasicAA] Add datalayouts to make some tests more useful. NFC.
authorAhmed Bougacha <ahmed.bougacha@gmail.com>
Thu, 5 Feb 2015 21:10:14 +0000 (21:10 +0000)
committerAhmed Bougacha <ahmed.bougacha@gmail.com>
Thu, 5 Feb 2015 21:10:14 +0000 (21:10 +0000)
commitd04f83361d43e373fa7c593a69a33b785f9e9fc0
treea47fa39f32127dfb14012b9e21f2773f2faa5765
parentbbf2241c8977e6e27d14d8679486fd6069a8e147
[BasicAA] Add datalayouts to make some tests more useful.  NFC.

Fixes PR22462: two of the tests have regressed for a while,
but were using CHECK-NOT to match "May:".  The actual output
was changed to "MayAlias:" at some point, which made the tests
useless.
Two others return MayAlias only because of a lack of analysis;
BasicAA returns PartialAlias in those cases, when a datalayout
is present.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228346 91177308-0d34-0410-b5e6-96231b3b80d8
test/Analysis/BasicAA/2003-11-04-SimpleCases.ll
test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll
test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll
test/Analysis/BasicAA/constant-over-index.ll