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	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
2003-03-04-GEPCrash.ll
2003-04-22-GEPProblem.ll	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
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	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
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	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
2006-03-03-BadArraySubscript.ll
2006-11-03-BasicAAVectorCrash.ll
2007-01-13-BasePointerBadNoAlias.ll	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
2007-08-01-NoAliasAndCalls.ll
2007-08-01-NoAliasAndGEP.ll
2007-08-05-GetOverloadedModRef.ll	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
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	Extend the 'noalias' attribute to function return values. This is intended to	2008-11-24 03:41:24 +00:00
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	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
gcsetest.ll	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
global-size.ll	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00
licmtest.ll
modref.ll
no-escape-call.ll	If we are checking to see if the result of a call aliases a	2008-06-16 06:19:11 +00:00
nocapture.ll	Resubmit support for the 'nocapture' attribute.	2008-12-19 06:39:12 +00:00
pure-const-dce.ll
tailcall-modref.ll	Remove GCSE and LoadVN from the testsuite.	2008-08-16 00:00:54 +00:00