6 Commits

Author	SHA1	Message	Date
Vikram S. Adve	075a8d7341	Make query operations non-const to allow demand-driven analyses. ... llvm-svn: 4569	2002-11-06 17:17:55 +00:00
Chris Lattner	30214c23aa	* 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. llvm-svn: 3616	2002-09-08 18:45:18 +00:00
Chris Lattner	abb16604fd	Remove unneeded #include ... llvm-svn: 3524	2002-08-29 20:08:55 +00:00
Chris Lattner	d922a84930	doxygenize comments ... llvm-svn: 3481	2002-08-22 22:46:39 +00:00
Chris Lattner	3a4a335ad8	Add missing #include ... llvm-svn: 3467	2002-08-22 18:57:09 +00:00
Chris Lattner	7d58f8ddc0	Check-in new alias analysis infrastructure ... llvm-svn: 3465	2002-08-22 18:25:32 +00:00