Hal Finkel 0ad5c26d4b Add a CFL Alias Analysis implementation ... This provides an implementation of CFL alias analysis (including some supporting data structures). Currently, we don't have any extremely fancy features, sans some interprocedural analysis (i.e. no field sensitivity, etc.), and we do best sitting behind BasicAA + TBAA. In such a configuration, we take ~0.6-0.8% of total compile time, and give ~7-8% NoAlias responses to queries TBAA and BasicAA couldn't answer when bootstrapping LLVM. In testing this on other projects, we've seen up to 10.5% of queries dropped by BasicAA+TBAA answered with NoAlias by this algorithm. Patch by George Burgess IV (with minor modifications by me -- mostly adapting some BasicAA tests), thanks! llvm-svn: 216970		2014-09-02 21:43:13 +00:00
..
BasicAA	Add @llvm.assume, lowering, and some basic properties	2014-07-25 21:13:35 +00:00
BlockFrequencyInfo
BranchProbabilityInfo
CallGraph
CFLAliasAnalysis	Add a CFL Alias Analysis implementation	2014-09-02 21:43:13 +00:00
CostModel	[CostModel][x86] Improved cost model for alternate shuffles.	2014-07-03 22:24:18 +00:00
Delinearization	ScalarEvolution: Derive element size from the type of the loaded element	2014-06-08 19:21:20 +00:00
DependenceAnalysis	remove constant terms	2014-05-27 22:41:45 +00:00
Dominators
GlobalsModRef
LazyCallGraph
Lint
LoopInfo
MemoryDependenceAnalysis
PostDominators
RegionInfo
ScalarEvolution	Adding testcase for PR18886.	2014-05-27 06:44:25 +00:00
ScopedNoAliasAA	Convert noalias parameter attributes into noalias metadata during inlining	2014-07-25 15:50:08 +00:00
TypeBasedAliasAnalysis	AA metadata refactoring (introduce AAMDNodes)	2014-07-24 12:16:19 +00:00