search for: loopmemdep

...--with-llvmobj switches. Build process will produce libmemdep.so shared library that can be load into opt. In the archive, there is also 'test' directory with simple programs to test the pass. I suggest using such a toolchain: $ llvm-gcc -c -emit-llvm -O3 <program.c> -o - | opt -load=loopmemdep.so -loopsimplify -anders-aa -loop-memdep -debug-only=loop-memdep (Debug output is quite verbose.) I am investigating what changes are necessary to add support for first-class structs and arrays and will prepare a version to check in as a LLVM project if there still is interest. Wojtek ----------...

Wojtek, Please see David's message below. Have you or can you check in your code, perhaps as a project for now? That will allow us to start looking at it and perhaps collaborating on it. --Vikram Associate Professor, Computer Science University of Illinois at Urbana-Champaign http://llvm.org/~vadve On Aug 20, 2008, at 3:05 PM, David Greene wrote: > On Wednesday 20 August 2008

...ocess will produce libmemdep.so shared library that can be load into > opt. In the archive, there is also 'test' directory with simple > programs > to test the pass. I suggest using such a toolchain: > > $ llvm-gcc -c -emit-llvm -O3 <program.c> -o - | opt - > load=loopmemdep.so > -loopsimplify -anders-aa -loop-memdep -debug-only=loop-memdep > > (Debug output is quite verbose.) > > I am investigating what changes are necessary to add support for > first-class structs and arrays and will prepare a version to check > in as > a LLVM project if the...

Hi Wojtek, This is a great start. I'll focus and try to understand your interface design and choices. Here are my initial thoughts based on a quick read. The only interface provided by LoopMemDepAnalysis is "bool carriesDependence()" which may not be sufficient. But we can extend this. The ArrayDepTest provides testDependenc() as well as testPositions(). I'm not very clear about the testPositions(). Would it be possible for you to explain this ? One nit-pick, I see t...