Hal Finkel 4cb3366de0 BasicAA should look through functions with returned arguments ... Motivated by the work on the llvm.noalias intrinsic, teach BasicAA to look through returned-argument functions when answering queries. This is essential so that we don't loose all other AA information when supplementing with llvm.noalias. Differential Revision: http://reviews.llvm.org/D9383 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@275035 91177308-0d34-0410-b5e6-96231b3b80d8		2016-07-11 01:32:20 +00:00
..
2003-02-26-AccessSizeTest.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2003-03-04-GEPCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2003-04-22-GEPProblem.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2003-04-25-GEPCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2003-05-21-GEP-Problem.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2003-06-01-AliasCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2003-07-03-BasicAACrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2003-09-19-LocalArgument.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2003-11-04-SimpleCases.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2003-12-11-ConstExprGEP.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
2004-07-28-MustAliasbug.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2006-03-03-BadArraySubscript.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
2006-11-03-BasicAAVectorCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2007-01-13-BasePointerBadNoAlias.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
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	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
2007-08-05-GetOverloadedModRef.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2007-10-24-ArgumentsGlobals.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
2007-11-05-SizeCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter for global aliases	2015-09-11 03:22:04 +00:00
2007-12-08-OutOfBoundsCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter for global aliases	2015-09-11 03:22:04 +00:00
2008-04-15-Byval.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
2008-06-02-GEPTailCrash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
2008-11-23-NoaliasRet.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2009-03-04-GEPNoalias.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2009-10-13-AtomicModRef.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2009-10-13-GEP-BaseNoAlias.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2010-09-15-GEP-SignedArithmetic.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
2014-03-18-Maxlookup-reached.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
aligned-overread.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
args-rets-allocas-loads.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
assume.ll	Revert "Change memcpy/memset/memmove to have dest and source alignments."	2015-11-19 05:56:52 +00:00
bug.23540.ll	[BasicAA] Fix the handling of sext and zext in the analysis of GEPs.	2015-08-31 22:32:47 +00:00
bug.23626.ll	[BasicAA] Fix the handling of sext and zext in the analysis of GEPs.	2015-08-31 22:32:47 +00:00
byval.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
cas.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
constant-over-index.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
cs-cs.ll	Add writeonly IR attribute	2016-07-04 08:01:29 +00:00
dag.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +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	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
full-store-partial-alias.ll	[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible	2015-09-09 17:55:00 +00:00
gcsetest.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
gep-alias.ll	[BasicAA] Add a test for PR24468 to be sure we won't regress	2015-08-19 00:08:26 +00:00
getmodrefinfo-cs-cs.ll	Revert "Change memcpy/memset/memmove to have dest and source alignments."	2015-11-19 05:56:52 +00:00
global-size.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
guards.ll	[BasicAA] Guard intrinsics don't write to memory	2016-05-10 02:35:41 +00:00
intrinsics.ll	Sort the enums in Attributes.h in case insensitive alphabetical order.	2015-11-11 02:11:46 +00:00
invariant_load.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
memset_pattern.ll	[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference	2016-01-06 04:53:16 +00:00
modref.ll	Revert "Change memcpy/memset/memmove to have dest and source alignments."	2015-11-19 05:56:52 +00:00
must-and-partial.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
negoffset.ll	[BasicAA] Extend inbound GEP negative offset logic to GlobalVariables	2016-05-26 19:30:49 +00:00
no-escape-call.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
noalias-bugs.ll	Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI	2015-08-10 19:01:27 +00:00
noalias-geps.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
noalias-param.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
noalias-wraparound-bug.ll	[BasicAA] Fix for missing must alias (D16343)	2016-01-30 05:52:53 +00:00
nocapture.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
phi-aa.ll	[PM/AA] Port alias analysis evaluator to the new pass manager, and use	2016-02-20 03:46: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-loop.ll	Analyze recursive PHI nodes in BasicAA	2015-07-15 19:32:22 +00:00
phi-spec-order.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
phi-speculation.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
pr18573.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
pure-const-dce.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
q.bad.ll	[BasicAA] Fix the handling of sext and zext in the analysis of GEPs.	2015-08-31 22:32:47 +00:00
returned.ll	BasicAA should look through functions with returned arguments	2016-07-11 01:32:20 +00:00
sequential-gep.ll	[BasicAA] Bugfix for r251016	2015-10-23 14:17:03 +00:00
store-promote.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
struct-geps.ll	[BasicAA] Compare GEP indices based on value (Fix PR27418)	2016-05-11 15:45:43 +00:00
tailcall-modref.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
underlying-value.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
unreachable-block.ll	[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction	2015-02-27 19:29:02 +00:00
zext.ll	[BasicAA] Fix the handling of sext and zext in the analysis of GEPs.	2015-08-31 22:32:47 +00:00