search for: steensgaards

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

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

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

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: 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

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

On Wed, Sep 9, 2009 at 11:49 PM, Mai, Haohui <haohui.mai at gmail.com> wrote: > 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

When I run with -steens-aa, I get lots of error messages like the following: MergeTypeInfo Folding OrigTy: uint due to:sbyte @ 0! SubType: uint and then it dies with: Assertion failed: Index < Links.size() && "Link index is out of range!", file ../../../include/llvm/Analysis/DSNode.h, line 120 Am I doing something wrong, or is this analysis under development still?

HI guys. I'm trying to build the poolalloc on llvm-2.0 but there exist some errors. Can you tell me which version of llvm is known to make the poolalloc build and install successful? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070710/4ab5e155/attachment.html>

Which alias analysis algorithms in opt are worth comparing against (for terms of precision)? I know --anders-aa seems to give me pretty good results. Online [1] it seemed to mention steensgaard's algorithm and some kind of data structure analysis, but neither of these are currently accepted by opt. Is there some way to get them, or are they subsumed by the results of --anders-aa? Thanks,

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

I've been trying to obtain a DSGraph for a complete module, but haven't succeeded. I tried - getting the DSGraph for each function, and copying the nodes to a Module graph. But since there are no nodehandles, apparently there is no merging of nodes. - modifying BUDataStructure Pass so that it will not execute removeDeadNodes() or removeTriviallyDeadNodes(). - couldn't get

On Wed, 2007-03-21 at 13:29 -0700, Wei Jiang wrote: > hi, > The llvm alias analysis doc mentioned that llvm have various alias > analysis passes, e.g. steens-aa; but I can't find it in llvm 2.0. Are > these passes obsoleted? Thanks. I think that Steensgaard was part of the data structure analysis which has been moved out of llvm. We currently have -basicaa, -globalsmodref-aa,

I sent this Email to Chris Lattner and he suggested that I send it to this group. >>After reading your PLDI paper, I found the LLVM Alias Analysis >>Infrastructure page. >> >>It says that there is an implementation of Steensgaard's algorithm >>and your DSA algorithm in the >>"optional poolalloc module". I have searched all over the LLVM

hi, The llvm alias analysis doc mentioned that llvm have various alias analysis passes, e.g. steens-aa; but I can't find it in llvm 2.0. Are these passes obsoleted? Thanks. -Wei Jiang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070321/5cb1f1ca/attachment.html>

> Yes. It's almost all up to the front-end. Find the place in clang > where it emits the "any pointer" metadata, and implement something > better. Dan, Thanks for replying! I have read the TBAA code in the front-end of clang. I did consider to extend it to handle more complicated pointer cases. For example, assigning different TBAA names to pointers pointing to different

Chris Lattner wrote: >> I tried generating the docs myself ... doxygen simply refuses to >> create pages for classes defined in anonymous namespaces in cpp files. >> I enabled options such as EXTRACT_ALL, EXTRACT_PRIVATE and >> EXTRACT_LOCAL, but no luck. How is the publicly available >> documentation generated? > > They are generated from the Makefile in

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