similar to: [LLVMdev] Alias Analysis (Andersen pointer analysis)

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

Thanks Everyone for the info. I am planning to work with DSA on llvm-2.9. Hope it is working as John mentioned. Manish On Tue, Sep 20, 2011 at 7:06 AM, John Criswell <criswell at illinois.edu>wrote: > 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

The README at the location shared by John says "DSA is undergoing significant changes and may not be entirely stable or correct. See lib/DSA/README" So, I was wondering from where should one pick the code. Although I will start my analysis and see how results turn out to be. But any comments on this line will be helpful. Thanks Manish On Tue, Sep 20, 2011 at 5:13 PM, Manish Gupta

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

Hi LLVM dev team: I am now doing an experiment to comparing Steensgaard-style and Andersen-style pointer analysis on LLVM. Since steensgaard pointer analysis is in module "poolalloc", so I installed poolalloc release 2.6 on my machine(intel X86_64 RedHatEnterpriseLinux 5.1, gcc-4.2.4), two directories "include" and "lib" were created after installation but no

聪明陈 wrote: > Hi LLVM dev team: > I am now doing an experiment to comparing Steensgaard-style and > Andersen-style pointer analysis on LLVM. Since steensgaard pointer > analysis is in module "poolalloc", so I installed poolalloc release > 2.6 on my machine(intel X86_64 RedHatEnterpriseLinux 5.1, gcc-4.2.4), > two directories "include" and "lib" were

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

Hi Xin, Thank you for your reply! I have tried the 3 alias analyses you have mentioned on LLVM 3.5: 1) $ opt -globalsmodref-aa -aa-eval < xxx.bc > /dev/null (May-alias response 100%) 2) $ opt -tbaa -aa-eval < xxx.bc > /dev/null (May-alias response 100%) 3) $ opt -cfl-aa -aa-eval < xxx.bc> /dev/null (Unknown command line argument '-cfl-aa') It seems that they are not

Dear all, I want to implement a pass that provides some kind of data flow integrity similar to Write Integrity Testing (https://www.doc.ic.ac.uk/~cristic/papers/wit-sp-ieee-08.pdf). This approach statically determines for each memory write the (conservative, overapproximated) points-to set of locations that can be written by the instruction. Further, it instruments the memory write instruction

Thanks for the reply. Would you happen to know whether there a global alias analysis written for LLVM that is more robust? Is the Steensgaard pass any more reliable? Max On Thu, Aug 27, 2009 at 10:01 AM, Daniel Berlin <dberlin at dberlin.org> wrote: > At one point it handled function pointers. > As chris says, it's buggy and probably broken. > Some function pointers also do

Hi, This is Jiesheng Wei from UBC. Now I am working on a project with LLVM and I want to use steensgaard alias analysis tool. I saw on the website that steensgaard analysis is available for LLVM 2.9 and it is under poolalloc/ directory. I downloaded several versions but none of them is compatible with LLVM 2.9. Can you please tell me which version of poolalloc is for LLVM 2.9? Thanks, Jiesheng

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:

On 10/7/11 11:56 PM, Jiesheng Wei wrote: > Hi, > > This is Jiesheng Wei from UBC. Now I am working on a project with LLVM > and I want to use steensgaard alias analysis tool. I saw on the website > that steensgaard analysis is available for LLVM 2.9 and it is under > poolalloc/ directory. I downloaded several versions but none of them is > compatible with LLVM 2.9. Can you

Dear All, I am trying to use DataStructure Alias Analysis. From the code at poolalloc it seems that rDSA needs to be compiled to get -ds-aa feature while the Makefile builds just the DSA. Please correct me if I am doing something wrong. Thanks, Manish -------------- next part -------------- An HTML attachment was scrubbed... URL:

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

On 10/1/11 11:01 PM, Manish Gupta wrote: > Dear All, > > I am trying to use DataStructure Alias Analysis. From the code at > poolalloc it seems that rDSA needs to be compiled to get -ds-aa > feature while the Makefile builds just the DSA. I seem to recall replying to this, but my email client says I didn't, so I'm responding again. :) The rDSA code is some experimental

Hi Daniel, To my knowledge, there is no other implementation available for Steensgaard AA except poolalloc. I have tried Steensgaard AA under LLVM 2.7 poolalloc, but there are lots of bugs which need to be fixed. It will be a good idea to use previous implementation, but you will have to modify (a lot) it with respect to the latest version of LLVM poolalloc. Thanks, -Yogesh -------------- next

On 8/4/11 1:53 PM, Manish Gupta wrote: > It would be great help if someone can point me to similar code in > Analysis or Transform, i.e. tracing value dependencies chains. If I understand correctly, given an instruction I, you want to find its operands o1 through oN, and then find the instructions (or LLVM values) that generate the values o1 through oN, and then find the instructions

On 9/9/09 3:28 AM, Eli Friedman wrote: > On Wed, Sep 9, 2009 at 12:50 AM, Lei Shang<shang1982 at gmail.com> wrote: > >> Hi, >> >> I just found -steens-aa and -ds-aa Alias Analysis listed in documents do >> not exist in my llvm-2.3 code. Both from opt -help and the lib/Analysis. >> And then I go to download the llvm-2.5 version, there is still no

What member function to use if I wish to operate on results of an instruction. eg. Instruction %1 = getelementptr inbounds [10 x i32]* %a, i32 0, i32 %0 I->getOperand will give me the operands. How should I get hold of %1? Thanks, Manish -------------- next part -------------- An HTML attachment was scrubbed... URL: