Sebastian Pop ad43499fc4 dependence analysis ... Patch from Preston Briggs <preston.briggs@gmail.com>. This is an updated version of the dependence-analysis patch, including an MIV test based on Banerjee's inequalities. It's a fairly complete implementation of the paper Practical Dependence Testing Gina Goff, Ken Kennedy, and Chau-Wen Tseng PLDI 1991 It cannot yet propagate constraints between coupled RDIV subscripts (discussed in Section 5.3.2 of the paper). It's organized as a FunctionPass with a single entry point that supports testing for dependence between two instructions in a function. If there's no dependence, it returns null. If there's a dependence, it returns a pointer to a Dependence which can be queried about details (what kind of dependence, is it loop independent, direction and distance vector entries, etc). I haven't included every imaginable feature, but there's a good selection that should be adequate for supporting many loop transformations. Of course, it can be extended as necessary. Included in the patch file are many test cases, commented with C code showing the loops and array references. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165708 91177308-0d34-0410-b5e6-96231b3b80d8		2012-10-11 07:32:34 +00:00
..
BasicAA	BasicAA: Recognize cyclic NoAlias phis	2012-09-06 14:41:53 +00:00
BlockFrequencyInfo
BranchProbabilityInfo
CallGraph	Now that invoke of an intrinsic is possible (for the llvm.do.nothing intrinsic)	2012-09-26 17:16:01 +00:00
DependenceAnalysis	dependence analysis	2012-10-11 07:32:34 +00:00
Dominators
GlobalsModRef
LoopDependenceAnalysis
LoopInfo
PostDominators
Profiling	Add default JIT LIT variable.	2012-10-02 10:57:08 +00:00
RegionInfo
ScalarEvolution
TypeBasedAliasAnalysis