llvm-6502/test/Analysis
Dan Gohman 2385e0e22c Create a ScalarEvolution-based AliasAnalysis implementation.
This is a simple AliasAnalysis implementation which works by making
ScalarEvolution queries. ScalarEvolution has a more complete understanding
of arithmetic than BasicAA's collection of ad-hoc checks, so it handles
some cases that BasicAA misses, for example p[i] and p[i+1] within the
same iteration of a loop.

This is currently experimental. It may be that the main use for this pass
will be to help find cases where BasicAA can be profitably extended, or
to help in the development of the overall AliasAnalysis infrastructure,
however it's also possible that it could grow up to become a directly
useful pass.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80098 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-26 14:53:06 +00:00
..
Andersens
BasicAA
CallGraph
Dominators
GlobalsModRef
LoopDependenceAnalysis Add another Strong-SIV testcase. 2009-08-08 00:21:49 +00:00
LoopInfo
PointerTracking Introduce a pointertracking pass. 2009-07-14 18:44:28 +00:00
PostDominators
ScalarEvolution Create a ScalarEvolution-based AliasAnalysis implementation. 2009-08-26 14:53:06 +00:00