search for: arraydeptester

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

...on pass does not need to see these details. - DataDependenceAnalysis will select various dependence tests based on user selection. We want a interface similar to AnalysisGroup used by Alias Analysis, but we also want to allow the possibility of running multiple tests at the same time. - Make ArrayDepTester a private implementation detail of DataDependenceAnalysis. What do you think ? - Devang

> 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. Sure. For now, I am posting it as an attachment, because it does not build against the current SVN version. It is really basic (for example, it cannot produce distance vectors,

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

...see these details. > - DataDependenceAnalysis will select various dependence tests based on > user selection. We want a interface similar to AnalysisGroup used by > Alias Analysis, but we also want to allow the possibility of running > multiple tests at the same time. > - Make ArrayDepTester a private implementation detail of > DataDependenceAnalysis. > > What do you think ? It makes sense to me. However, I don't have idea how to organize dependence analysis internally to allow for flexibility and precision at the same time. The second hard part is, I guess, designing...