[LLVMdev] Memory Dependence Analysis

[Tobias Grosser]

On 03/28/2011 12:15 PM, Nipun Arora wrote:
> Hi,
>
> I have been trying to run the memdep analysis using opt with the
> following command: opt -analyze -memdep <*.bc>.
> However, I keep getting the following error: Pass::print not implemented
> for pass: 'Memory Dependence Analysis' ! .
> I get similar errors for a lot of the analyses passes, which seem as if
> they should have a print out?
>
> Is there any other memory dependence analysis which gives me a memory
> dependence graph or something similar via a static analysis, with must
> or maybe memory dependencies?

Hi Nipon,

you may try Polly[1]. It inclused a pretty sophisticated memory 
dependency analysis for parts of the program, where the control flow is 
statically known. We currently support must_dependences and can 
eliminate transitive dependences. There is also support for 
may_dependences, but it is not yet hooked up to the rest.

If you are interested, an example how to use Polly (and its dependency 
analysis) is shown at the bottom of this wiki page[1]. If you need 
further help let me know.

Cheers
Tobi


[1] http://wiki.llvm.org/Polly