search for: steensgaard

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

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 please tell me which version of > poolalloc is for LLVM 2.9? Than...

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 performance difference b...

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 performance difference b...

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

聪明陈 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&quot...

...then I go to download the llvm-2.5 version, there is still no these 2 >> options. Where are they? >> > http://llvm.org/svn/llvm-project/poolalloc/trunk/ . They're not part > of a normal checkout due to patent issues. > > I don't quite understand. You mean steensgaard / DSA are patented? Haohui > -Eli > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >

...he llvm-2.5 version, there is still no these 2 >>> options. Where are they? >>> >> http://llvm.org/svn/llvm-project/poolalloc/trunk/ .  They're not part >> of a normal checkout due to patent issues. >> >> > > I don't quite understand. You mean steensgaard / DSA are patented? Steensgaard certainly is. It's covered by multiple patents, in fact Steensgaard (and MS Research) hold patents on all unification based pointer analysis.

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, Ben Chambers [1] http://llvm.org/docs/AliasAnalysis.html

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 point to the universal set (like global &g...

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, and anders-aa. The latter two are in the lib/Analysis/IPA directory. Reid. > -Wei Jiang > _______________________________________________ > LLVM Developers mailing lis...

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 >>web site, and am unable to find >>a pointer to this module. Can you point me in the right direction? >> >>I've dabbled in C poin...

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>

...-to set based on the object types that are pointed to by each pointer, we also need to consider pointer assignment and other pointer operations (e.g. address taken) to accurately calculate points-to set for each pointer. Then, the job would become implementing an alias analysis algorithm similar to Steensgaard's or Anderson's. Please correct me if you think I'm wrong. Since both algorithms were already implemented in LLVM, and then remove from LLVM for this or that reason, it is really not necessary to repeat the same work. Again, please correct me if I'm wrong. Thanks again for your re...

...e ... the problem is that doxygen is not producing documentation for classes inside anonymous namespaces ... I tried the options mentioned above, but didn't work. For example, consider this: http://illuvium.com/docs/doxygen/classSteens.html This was generated from lib/Analysis/DataStructure/Steensgaard.cpp, but when I tried that on my setup, no such file is created: sameerds at trantor5:~/data/llvm-1.6$ find docs/doxygen -name "*Steen*" docs/doxygen/html/Steensgaard_8cpp-source.html docs/doxygen/html/Steensgaard_8d-source.html docs/doxygen/html/Steensgaard_8cpp.html docs/doxygen/html/...

...ias response 100%) 3) $ opt -cfl-aa -aa-eval < xxx.bc> /dev/null (Unknown command line argument '-cfl-aa') It seems that they are not working properly. Could you please give some advice? And I was wondering if these alias analyses can produce alias results as precise as andersen or steensgaard. Thank you! Zhiyuan On Thu, Apr 9, 2015 at 10:19 PM, Xin Tong <trent.tong at gmail.com> wrote: > Hi Zhiyuan > > LLVM has globalsmodref-aa for global variables, TBAA - type based > alias analysis and CFL-AA. > > Xin > > On Tue, Apr 7, 2015 at 9:32 PM, Wan Zhiyuan &lt...