maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
11,108 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

16 Commits

Author SHA1 Message Date
Chris Lattner 9605576a21 Improve mod/ref information based on the pointsToConstantMemory method. 
llvm-svn: 11021
 2004-01-30 22:16:42 +00:00
Brian Gaeke 960707c335 Put all LLVM code into the llvm namespace, as per bug 109. 
llvm-svn: 9903
 2003-11-11 22:41:34 +00:00
John Criswell 482202a601 Added LLVM project notice to the top of every C++ source file. 
Header files will be on the way.

llvm-svn: 9298
 2003-10-20 19:43:21 +00:00
Chris Lattner dca12c77df Add new -no-aa implementation 
llvm-svn: 5641
 2003-02-26 19:57:10 +00:00
Chris Lattner d6a2a99a1b Move BasicAA pass out to it's own header file 
llvm-svn: 5640
 2003-02-26 19:41:54 +00:00
Chris Lattner 3a3118394c - Checkin of the alias analysis work: 
* Takes into account the size of the memory reference to determine aliasing.
    * Expose mod/ref information in a more consistent way
    * BasicAA can now disambiguate A[i][1] and A[j][2] for conservative request
      sizes

llvm-svn: 5633
 2003-02-26 19:26:51 +00:00
Chris Lattner 2393160bde Implement knowledge in BasicAA that &A->field != &A and (P+1) != P 
llvm-svn: 5519
 2003-02-09 19:38:11 +00:00
Chris Lattner 1fbac976b9 - Fix BasicAA to correctly detect the non-aliasness of A[1] & A[2] 
llvm-svn: 5518
 2003-02-09 19:27:21 +00:00
Chris Lattner fdc902e6f2 Don't bother counting alias results, allow the AliasAnalysisCounter to do that. 
llvm-svn: 5505
 2003-02-07 20:39:48 +00:00
Chris Lattner 4b9eb3d2a1 Add statistics to basicAA pass 
llvm-svn: 5480
 2003-02-03 21:16:17 +00:00
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