Dan Gohman 424b777171 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

2011-05-21 01:05:08 +00:00

..

2003-02-26-AccessSizeTest.ll

…

2003-03-04-GEPCrash.ll

…

2003-04-22-GEPProblem.ll

…

2003-04-25-GEPCrash.ll

…

2003-05-21-GEP-Problem.ll

…

2003-06-01-AliasCrash.ll

…

2003-07-03-BasicAACrash.ll

…

2003-09-19-LocalArgument.ll

…

2003-11-04-SimpleCases.ll

…

2003-12-11-ConstExprGEP.ll

…

2004-07-28-MustAliasbug.ll

…

2004-12-08-BasicAACrash2.ll

…

2004-12-08-BasicAACrash.ll

…

2005-03-09-BrokenBasicAA.ll

…

2006-03-03-BadArraySubscript.ll

…

2006-11-03-BasicAAVectorCrash.ll

…

2007-01-13-BasePointerBadNoAlias.ll

…

2007-08-01-NoAliasAndCalls.ll

…

2007-08-01-NoAliasAndGEP.ll

…

2007-08-05-GetOverloadedModRef.ll

…

2007-10-24-ArgumentsGlobals.ll

…

2007-11-05-SizeCrash.ll

…

2007-12-08-OutOfBoundsCrash.ll

…

2008-04-15-Byval.ll

…

2008-06-02-GEPTailCrash.ll

…

2008-11-23-NoaliasRet.ll

…

2009-03-04-GEPNoalias.ll

…

2009-10-13-AtomicModRef.ll

…

2009-10-13-GEP-BaseNoAlias.ll

…

2010-09-15-GEP-SignedArithmetic.ll

When BasicAA can determine that two pointers have the same base but

2011-05-21 01:05:08 +00:00

args-rets-allocas-loads.ll

…

byval.ll

…

cas.ll

…

constant-over-index.ll

…

dg.exp

…

empty.ll

…

featuretest.ll

…

full-store-partial-alias.ll

…

gcsetest.ll

…

gep-alias.ll

…

getmodrefinfo-cs-cs.ll

…

global-size.ll

…

intrinsics.ll

Teach BasicAA about arm.neon.vld1 and vst1.

2011-04-27 20:44:28 +00:00

modref.ll

…

no-escape-call.ll

…

nocapture.ll

…

phi-aa.ll

…

phi-and-select.ll

…

pure-const-dce.ll

…

store-promote.ll

PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad

2011-04-07 01:35:06 +00:00

tailcall-modref.ll

…

unreachable-block.ll

…