search for: delahaye

...is, but we also want to allow the possibility of running > multiple tests at the same time. That will probably be the most difficult part. But with all the people that shows interest on using or adding new analysis here, I am hopeful we will obtain an acceptable stable API. Regards, Matthieu Delahaye

On Aug 21, 2008, at 1:37 AM, Wojciech Matyjewicz wrote: > 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. We want to model this as an analysis and make following changes. - Rename LoopMemDepAnalysis as DataDependenceAnalysis. Various

...analysis, including strong tests, direction vectors, perhaps distance vectors, and dependence breaking conditions. We were going to start with Wojtek's interface as a strawman. Collaborations on extending the interface or implementation would be very welcome. I'm copying Matthieu Delahaye who is our lead programmer on this effort (he's also on llvmdev). --Vikram Associate Professor, Computer Science University of Illinois at Urbana-Champaign http://llvm.org/~vadve On Aug 20, 2008, at 11:27 AM, Chris Lattner wrote: > On Aug 20, 2008, at 8:56 AM, David Greene wrote: &gt...

...cluding > strong tests, direction vectors, perhaps distance vectors, and > dependence breaking conditions. We were going to start with Wojtek's > interface as a strawman. Collaborations on extending the interface or > implementation would be very welcome. I'm copying Matthieu Delahaye > who is our lead programmer on this effort (he's also on llvmdev). Is there some code of the interface we can discuss? I'm more than happy to provide input, requirements, etc. I'll contribute code where I can (management decision there, but I'm pretty sure I can sell it). I...

On Friday 29 August 2008 12:15, Matthieu Delahaye wrote: > > - 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...

On Wed, 2008-09-03 at 10:50 -0500, David Greene wrote: > On Friday 29 August 2008 12:15, Matthieu Delahaye wrote: > > > > - 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 &...

...ge, label %bb.nph15.split For instance, %umax22 is provably equal to %o, as the conditional used by select (%15) is the same as the one used by the conditional branch that brought us there. I tried sccp, condprop and constprop and none of them seems to handle this case. Is there one? Matthieu Delahaye -------------- next part -------------- A non-text attachment was scrubbed... Name: testcase.ll Type: application/octet-stream Size: 5272 bytes Desc: not available URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20080822/7f53ea90/attachment.obj>

On Aug 29, 2008, at 10:15 AM, Matthieu Delahaye wrote: > Hi, > > On Fri, 2008-08-29 at 09:24 -0700, Devang Patel wrote: > [...] >> - Put various tests, DeltaTest, in lib/Analysis folder. The >> transformation pass does not need to see these details. > > > I believe some low-level tests should actually not be imp...

> We want to model this as an analysis and make following changes. > > - Rename LoopMemDepAnalysis as DataDependenceAnalysis. Various > transformation passes will use this interface to access data > dependence info. This is an external interface. Put this in include/ > llvm/Analysis. > - Make DirectionVector (and later on DistanceVector) independent > interface and

...f my company. There is not an official job description posted yet, but a large portion of the job will be to extend or integrate LLVM into many of our projects. If you live in the Champaign area, and are interested in the possibility of employment, please don't hesitate to contact me. Matthieu Delahaye

Hello, Lance >Your comment regarding gnuwin32 not being needed is interesting - >I actually installed gnu bison/flex to get past an earlier crash in >configure. Which version of LLVM you're building? > (c:/mingw/bin/../lib/gcc/mingw32/4.3.3/../../../../mingw32/bin/ld.ex mingw32 gcc 4.x should be considered as 'alpha'. 3.4.5 is known to be stable. This might give you the

On Aug 20, 2008, at 8:56 AM, David Greene wrote: > What I really need is a dependence analysis interface. I need to know > about loop-carried dependencies and that sort of things, whether two > memory > operations reference the same data, distance information, etc.. As > far as I > can tell, there's no infrastructure for this in LLVM. Right, this is something we've

...hese must all depend on the value of the restrict-qualified pointer" So here are my two questions: - What does "restrict" actually means in this case? - Should my interpretation of restrict being valid, does it however means "noalias" should be updated as well? Matthieu Delahaye

On Monday 18 August 2008 17:48, David Greene wrote: > > Normally, the conversion to SSA form is sufficient. Can you talk > > about cases where this matters to you? > > Mostly it involves tying into our memory dependence analysis which > annotates things on program points. I need a way to translate back > to our optimizer data structures. > > So it's not

On Wednesday 03 September 2008 12:39, Matthieu Delahaye wrote: = > API: This is the matter of providing the possibilities to ask useful > questions, and providing useful answers. [in the pow of the passes that > are using the analysis]. > > The "textbook" version would be: give me the memory dependency(ies) > between these tw...

...ts, direction vectors, perhaps distance vectors, and >> dependence breaking conditions. We were going to start with Wojtek's >> interface as a strawman. Collaborations on extending the interface >> or >> implementation would be very welcome. I'm copying Matthieu Delahaye >> who is our lead programmer on this effort (he's also on llvmdev). > > Is there some code of the interface we can discuss? I'm more than > happy to > provide input, requirements, etc. I'll contribute code where I can > (management decision there, but I'm p...

Hi Anton, The problem is in getting the system configured. Below is the crash I get in configure. Your comment regarding gnuwin32 not being needed is interesting - I actually installed gnu bison/flex to get past an earlier crash in configure. Thats why I was suggesting that a precompiled OBJ_ROOT for MingW32 would be a good idea - configure appears to be inherently fragile, and requires more

I am just beginning to use LLVM, and find that 'getting started' is the steep part of the learning curve. I am using MingW and msys, which I have not fully grokked yet. Anyway, actually building the libraries from source is turning out to be difficult. I want to work with LLVM as described in the except from the LLVM FAQ below. I am using C++, so the FFI is a non-issue. Can someone