Re: Loop dependency analysis for C programs

renjith.varma@gmail.com a écrit :


>
> But how can CFG help in loop dependency analysis. I want to find out
> whether the iterations of a particular loop are paralleizable. For this
> i need to get the loop index variable and anyother variables depending
> on that.
>
> I got one parser named 'ELSA'. It has the option to write the AST into
> an XML file. I think i can use some xml parser to get an AST data
> structure from that. But is there any other tool that provides an AST
> that can be directly used in my program?


This problem has been solved one or two decades ago for high performance
computing in Fortran (HPF).
In C, unless you use pointers or function calls, it's the same problem.


There is a great litterature in data dependance analysis of loop nests.
The best way to model loop nest (for static control programs) is to use
the polyhedra model.


You can study the work of Paul Feautrier (published in the international
journal of parallel programming). Or you can read some academic books
about automatic parallelization.


S

Return to the comp.compilers page.
Search the comp.compilers archives again.