llvm/test/Analysis/BasicAA
Dan Gohman 72776d2190 Teach BasicAliasAnalysis to understand constant gep indices that fall
beyond their associated static array type.

I believe that this fixes a legitimate bug, because BasicAliasAnalysis
already has code to check for this condition that works for non-constant
indices, however it was missing the case of constant indices. With this
change, it checks for both.

This fixes PR4267, and miscompiles of SPEC 188.ammp and 464.h264.href.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72451 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-27 01:48:27 +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
2008-12-09-GEP-IndicesAlias.ll Allow basicaa to walk through geps with identical indices in 2008-12-10 01:04:47 +00:00
2009-03-04-GEPNoalias.ll change this to test for an alias result more directly. 2009-03-16 18:28:27 +00:00
byval.ll
cas.ll Finish making AliasAnalysis aware of the fact that most atomic intrinsics only dereference their arguments, and enhance 2009-02-04 05:16:46 +00:00
constant-over-index.ll Teach BasicAliasAnalysis to understand constant gep indices that fall 2009-05-27 01:48:27 +00:00
dg.exp
featuretest.ll
gcsetest.ll
global-size.ll
licmtest.ll
modref.ll
no-escape-call.ll
nocapture.ll Resubmit support for the 'nocapture' attribute. 2008-12-19 06:39:12 +00:00
pure-const-dce.ll
tailcall-modref.ll