[LLVMdev] Dependence Analysis

[Chris Lattner]

On Mon, 18 Jul 2005, Naftali Schwartz wrote:

> Hi, everyone.  I've been examining llvm for a while and been duly impressed. 
> I'd like to contribute in the area of dependence analysis, and a good place 
> to start seems to be in the transformation of pointers to explicit array 
> accesses.  Is anyone else working on this?  If not, does this seem a 
> plausible place to start and how would be the best way to go about it?

LLVM already includes this: the -indvars pass.  It turns things like this:

int *P = 
for (...; ... ; ++P)
    *P

to:

int *P = ...
for (int i = 0; ... ; ++i)
   P[i]

If you're interested in dependence analysis, the next important step is to 
start analyzing distance and direction vectors.

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/