Arnold Schwaighofer 23463c9261 PR15967 Fix in basicaa for faulty returning no alias. ... This commit consist of two parts. The first part fix the PR15967. The wrong conclusion was made when the MaxLookup limit was reached. The fix introduce a out parameter (MaxLookupReached) to DecomposeGEPExpression that the function aliasGEP can act upon. The second part is introducing the constant MaxLookupSearchDepth to make sure that DecomposeGEPExpression and GetUnderlyingObject use the same search depth. This is a small cleanup to clarify the original algorithm. Patch by Karl-Johan Karlsson! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@204859 91177308-0d34-0410-b5e6-96231b3b80d8		2014-03-26 21:30:19 +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	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2003-12-11-ConstExprGEP.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2004-07-28-MustAliasbug.ll
2006-03-03-BadArraySubscript.ll	BasicAA: Use reachabilty instead of dominance for checking value equality in phi	2014-01-03 05:47:03 +00:00
2006-11-03-BasicAAVectorCrash.ll
2007-01-13-BasePointerBadNoAlias.ll
2007-08-01-NoAliasAndCalls.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2007-08-01-NoAliasAndGEP.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2007-08-05-GetOverloadedModRef.ll
2007-10-24-ArgumentsGlobals.ll
2007-11-05-SizeCrash.ll	Reject alias to undefined symbols in the verifier.	2014-03-12 20:15:49 +00:00
2007-12-08-OutOfBoundsCrash.ll	Reject alias to undefined symbols in the verifier.	2014-03-12 20:15:49 +00:00
2008-04-15-Byval.ll
2008-06-02-GEPTailCrash.ll
2008-11-23-NoaliasRet.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2009-03-04-GEPNoalias.ll
2009-10-13-AtomicModRef.ll
2009-10-13-GEP-BaseNoAlias.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2010-09-15-GEP-SignedArithmetic.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
2014-03-18-Maxlookup-reached.ll	PR15967 Fix in basicaa for faulty returning no alias.	2014-03-26 21:30:19 +00:00
aligned-overread.ll
args-rets-allocas-loads.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
byval.ll
cas.ll
constant-over-index.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
dag.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
empty.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
featuretest.ll
full-store-partial-alias.ll	TBAA: handle scalar TBAA format and struct-path aware TBAA format.	2013-09-27 18:34:27 +00:00
gcsetest.ll
gep-alias.ll	Use correct size for address space in BasicAA.	2013-11-16 00:36:43 +00:00
getmodrefinfo-cs-cs.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
global-size.ll	Use correct size for address space in BasicAA.	2013-11-16 00:36:43 +00:00
intrinsics.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
invariant_load.ll	TBAA: remove !tbaa from testing cases if not used.	2013-04-29 22:42:01 +00:00
memset_pattern.ll
modref.ll
must-and-partial.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
no-escape-call.ll
noalias-bugs.ll	BasicAA: We need to check both access sizes when comparing a gep and an	2014-01-16 04:53:18 +00:00
noalias-geps.ll	Use CHECK-LABEL	2013-09-30 23:31:55 +00:00
noalias-param.ll	Make BasicAliasAnalysis recognize the fact a noalias argument cannot alias another argument, even if the other argument is not itself marked noalias.	2013-05-28 08:17:48 +00:00
nocapture.ll	Don't infer whether a value is captured in the current function from the	2012-11-05 10:48:24 +00:00
phi-aa.ll	BasicAA: Use reachabilty instead of dominance for checking value equality in phi	2014-01-03 05:47:03 +00:00
phi-and-select.ll	Convert the uses of '|&' to use '2>&1 |' instead, which works on old	2012-07-02 18:37:59 +00:00
phi-spec-order.ll	BasicAA: Use reachabilty instead of dominance for checking value equality in phi	2014-01-03 05:47:03 +00:00
phi-speculation.ll	Optimistically analyse Phi cycles	2012-12-10 23:02:41 +00:00
pr18573.ll	Test case I forgot to 'add' for r201126.	2014-02-12 03:58:47 +00:00
pure-const-dce.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
store-promote.ll
tailcall-modref.ll
underlying-value.ll
unreachable-block.ll