search for: andersen

On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: > Hello, > > Does the LLVM Andersens alias analysis handle function pointers > precisely? I ran it and it looks like it says every function points > points to the universal set. Is this what I should expect? Hi Max, I don't know the answer offhand but please keep in mind that the current andersen's pass has many...

Hello, I am researching a more efficient approach to subset-based alias analysis in the style of Andersen's algorithm, and I noticed that there used to be an implementation of that for LLVM back in 2.6 (-anders-aa) which was removed because it was "not being actively maintained and had substantial problems". I'd be interested in knowing what was wrong with it (other than Andersen'...

I have a problem where I add an Andersens AA pass to the pass manager, but it appears to get invalidated by another pass, and never rerun. My understanding from reading the documentation is that when a pass gets invalidated, it should be rerun before any other passes that requires it. Here is a simple example of the problem I am seeing:...

Might I suggest the following patch, because this issue has bite me too? You're lured in by the initial good results from the Andersens alias analysis, only to discover the bugs later on. Robert Zeh On Aug 26, 2009, at 9:11 PM, Chris Lattner wrote: > On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: >> Hello, >> >> Does the LLVM Andersens alias analysis handle function pointers >> precisely? I ran...

Hi all, Did someone forget to check-in a patch? I'm getting this error during compilation on PPC: /Volumes/SandBox/Clean/llvm-9999-01.roots/llvm-9999-01~obj/src/llvm/lib/Analysis/IPA/Andersens.cpp: In function 'void dumpToDOUT(llvm::SparseBitVector<128u>*)': /Volumes/SandBox/Clean/llvm-9999-01.roots/llvm-9999-01~obj/src/llvm/lib/Analysis/IPA/Andersens.cpp:1189: error: no matching function for call to 'dump(llvm::SparseBitVector<128u>&, llvm::OStream)' /Vo...

...probably broken. Some function pointers also do point to the universal set (like global function pointers). On Wed, Aug 26, 2009 at 10:11 PM, Chris Lattner<clattner at apple.com> wrote: > On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: >> Hello, >> >> Does the LLVM Andersens alias analysis handle function pointers >> precisely? I ran it and it looks like it says every function points >> points to the universal set. Is this what I should expect? > > Hi Max, > > I don't know the answer offhand but please keep in mind that the > current and...

Hi, I was working on alias analysis using LLVM-2.6 previously. But I just downloaded LLVM-2.7 and found AndersenAA is not there. What happened for andersen's IPA alias analysis? Has it been deleted for some reason? Thanks. Lei -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100713/f345cd46/attachment.html>

Hi, LLVM dev team: Thanks for your suggestion, I have done the experiment to compare the two pointer analysis(Andersen and Steensgaard) methods in LLVM, but the result was unexpected. In each test, I compare these two methods using same optimization; There are several tests, each with a different optimization. The benchmark is all the 11 C programs in CINT2000 of SPEC. In all the tests, I found very little performa...

Dear All, I am curious to know the reason for removal of andersen pointer analysis. Is it because of some issues? We need it on llvm-2.9, if possible. Do we have some better version of pointer analysis on llvm-2.9? Thanks, Manish -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachme...

...rs also do point to the universal set (like global > function pointers). > > > On Wed, Aug 26, 2009 at 10:11 PM, Chris Lattner<clattner at apple.com> wrote: > > On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: > >> Hello, > >> > >> Does the LLVM Andersens alias analysis handle function pointers > >> precisely? I ran it and it looks like it says every function points > >> points to the universal set. Is this what I should expect? > > > > Hi Max, > > > > I don't know the answer offhand but please keep in...

Since you''ve started signing your email, Tom, my machine can''t verify your sig. Where are you publishing your key? -- John Andersen - NORCOM http://www.norcomsoftware.com/

Thanks for the replies, Daniel and Matthijs. I added some code to generate the copy constraint, which I think (in the present form) is wrong (or at best not field sensitive): +void Andersens::visitGetResultInst(GetResultInst &GR) { + if (isa<PointerType>(GR.getType())) + { + // P1 = getresult P2 --> <Copy/P1/P2> + Constraints.push_back(Constraint(Constraint::Copy, getNodeValue(GR), + getNode(GR.getOperand(0)))); + } +}...

This is the beginning of a new implementation of Andersen's. So far, it has been converted to use a new solver algorithm, support field sensitivity (not yet implemented in the constraint building, but the solver supports it) and to use SparseBitVectors. It is roughly 100x faster than the old implementation on larger testcases. This is just the begin...

...:29 PM, Bill Wendling wrote: > Hi all, > > Did someone forget to check-in a patch? I'm getting this error during > compilation on PPC: A recent checkout compiled fine for me (on x86). > /Volumes/SandBox/Clean/llvm-9999-01.roots/llvm-9999-01~obj/src/llvm/ > lib/Analysis/IPA/Andersens.cpp: > In function 'void dumpToDOUT(llvm::SparseBitVector<128u>*)': > /Volumes/SandBox/Clean/llvm-9999-01.roots/llvm-9999-01~obj/src/llvm/ > lib/Analysis/IPA/Andersens.cpp:1189: > error: no matching function for call to > 'dump(llvm::SparseBitVector<128u>&am...

Hello, Does the LLVM Andersens alias analysis handle function pointers precisely? I ran it and it looks like it says every function points points to the universal set. Is this what I should expect? Max -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/a...

Hi, LLVM dev team: Thanks for your suggestion, I have done the experiment to compare the two pointer analysis(Andersen and Steensgaard) methods in LLVM, but the result was unexpected. In each test, I compare these two methods using same optimization; There are several tests, each with a different optimization. The benchmark is all the 11 C programs in CINT2000 of SPEC. In all the tests, I found very little performa...

I''ve set up shorewall with the two-interface mode. pc #1 eth1 ---> ppp0 ---> Internet eth1: 10.10.10.254 eth0: 10.10.10.1 > via a crossover cable pc #2 eth0: 10.10.10.2 (gateway=10.10.10.254) I am able to surf the net with pc #1, but pc #2 is completely cut off from pc #1 and the net. I am also unable to ping from and to pc #2.

...t; Hi all, >> >> Did someone forget to check-in a patch? I'm getting this error during >> compilation on PPC: > > A recent checkout compiled fine for me (on x86). > >> /Volumes/SandBox/Clean/llvm-9999-01.roots/llvm-9999-01~obj/src/llvm/ >> lib/Analysis/IPA/Andersens.cpp: >> In function 'void dumpToDOUT(llvm::SparseBitVector<128u>*)': >> /Volumes/SandBox/Clean/llvm-9999-01.roots/llvm-9999-01~obj/src/llvm/ >> lib/Analysis/IPA/Andersens.cpp:1189: >> error: no matching function for call to >> 'dump(llvm::SparseBitVe...

Hi Prakash, I think this is highly related to PR2527 [1] and PR2451 [2]. I assume you are using LLVM 2.3, since current svn automatically replaces getresult with extractvalue instructions (but doesn't help for Andersen's). In either case, it seems that Andersen's currently has no ready made way to indicate a part of a first-class aggregate (or vector), which is the essence of the problem here. For aggregates in memory, the pointer to the part of the aggregate can simply be used, but no such thing for fi...

On 9/19/11 9:12 PM, Manish Gupta wrote: > Dear All, > > I am curious to know the reason for removal of andersen pointer > analysis. Is it because of some issues? We need it on llvm-2.9, if > possible. > > Do we have some better version of pointer analysis on llvm-2.9? The Data Structure Analysis pass (DSA) is a unification-style points-to analysis. It should work with LLVM mainline and the u...