5 Commits

Author	SHA1	Message	Date
Dan Gohman	7d09ca3e5b	Make ScalarEvolutionAliasAnalysis slightly more aggressive, by making an ... underlying alias call even for non-identified-object values. llvm-svn: 85656	2009-10-31 14:32:25 +00:00
Nick Lewycky	2b8400628d	Remove includes of Support/Compiler.h that are no longer needed after the ... VISIBILITY_HIDDEN removal. llvm-svn: 85043	2009-10-25 06:57:41 +00:00
Nick Lewycky	711c726c97	Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces. ... Chris claims we should never have visibility_hidden inside any .cpp file but that's still not true even after this commit. llvm-svn: 85042	2009-10-25 06:33:48 +00:00
Dan Gohman	c9dbe1610e	Add some comments. ... llvm-svn: 80452	2009-08-29 23:36:57 +00:00
Dan Gohman	cfb6234d13	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. llvm-svn: 80098	2009-08-26 14:53:06 +00:00