Chris Lattner a6299345ee * Add capability to recognize alias properties of the following common cases: ... - A[c1] cannot alias A[c2] where constants c1 != c2 - A[i] cannot alias B[j] if A & B are provably different arrays This should help out array based codes. For example, from bzip2 from spec, 3 additional loads can be GCSE'd, and _21_ additional loads can be LICMd due to this change. In a test example from the Spec GAP benchmark (vecffe.c), this change allows _52_ additional loads to be GCSE'd and _224_ additional LICM'd loads. Not bad for such a simple change. Other testcases show no change at all because they just don't use arrays. Not too suprising there. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3616 91177308-0d34-0410-b5e6-96231b3b80d8		2002-09-08 18:45:18 +00:00
..
DataStructure
IPA
LiveVar
AliasAnalysis.cpp
ConstantRange.cpp
Expressions.cpp
InductionVariable.cpp
Interval.cpp
IntervalPartition.cpp
LoadValueNumbering.cpp
LoopInfo.cpp
Makefile
PostDominators.cpp
ValueNumbering.cpp