search for: andersaa

Does anyone object to me removing the andersaa pass from mainline for 2.7? It is buggy and unmaintained, and people keep filing bugs about it because it is tantalizing. If someone wants to complete the work in the future, they can always resurrect the code from SVN. -Chris

...ster allocation were recoded to use AnalysisGroup. Interesting question, I don't have an answer to this. To make things more complicated, you can have multiple instances of an analysis group and may want different things at different times: -basicaa -licm -something_that_invalidates_aa -andersaa -licm -whatever In the short term, adding a cl::opt to llvm-backend.cpp seems the easiest way to go, which makes it available through -mllvm. -Chris -- http://nondot.org/sabre/ http://llvm.org/

On Thursday 09 August 2007 17:27, Chris Lattner wrote: > > So what's the right way to do this? There's the regalloc way, which > > invents a whole new class just to register register allocators and > > provide an option for picking one. But alias analysis already uses > > AnalysisGroup so a new class to register alias analysis passes isn't > >

Hi, I am looking for some flow-sensitive (context-insensitive) alias analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch to 4.0 soon.) As far as I know, none of the built-in analysis (basicAA, globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I searched and came across these two 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf (for LLVM 2.5) Are there other implementations which use the AA-Interface? Giv...

...19:21, Chris Lattner wrote: > Interesting question, I don't have an answer to this. To make things more > complicated, you can have multiple instances of an analysis group and may > want different things at different times: > > -basicaa -licm -something_that_invalidates_aa -andersaa -licm -whatever Some questions about that: How does this interact with analysis groups? When a class is registered as part of an analysis group there's a boolean template argument indicating whether it is the default pass for the group. If I say -andersaa on the command line (say it'...

...e: > >> Hi, >> >> I am looking for some flow-sensitive (context-insensitive) alias >> analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch >> to 4.0 soon.) >> As far as I know, none of the built-in analysis (basicAA, >> globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I >> searched and came across these two >> >> 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) >> 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf >> (for LLVM 2.5) >> >> Are...

Hi, I am trying to use alias analysis (Anderson) and noticed that for pointers to functions I don't get the expected result: a pointer that clearly may point to a function is reported as NoAlias. I use -anders-aa -aa-eval -print-no-aliases -print-may-aliases -print-must-aliases Here is a test case: ///////////////try_calls_aliases.c #include <stdio.h> typedef int (*PF)(); PF