forked from OSchip/llvm-project
d926b985df
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. llvm-svn: 80098 |
||
|---|---|---|
| .. | ||
| Andersens | ||
| BasicAA | ||
| CallGraph | ||
| Dominators | ||
| GlobalsModRef | ||
| LoopDependenceAnalysis | ||
| LoopInfo | ||
| PointerTracking | ||
| PostDominators | ||
| ScalarEvolution | ||