similar to: [LLVMdev] RegisterAnalysisGroup

On Sep 14, 2007, at 1:43 PM, David Greene wrote: > Can someone explain how RegisterPass and RegisterAnalysisGroup > conspire to pick the right member of an analysis group when command- > line > options dictate non-default implementations? > > For example, when I pass -anders-aa to opt, where in the code is > that option > parsed and setNormalCtor called on the analysis

On Friday 14 September 2007 15:51, Chris Lattner wrote: > When basicaa registers itself as part of the analysis group, it uses: > > RegisterPass<BasicAliasAnalysis> > X("basicaa", "Basic Alias Analysis (default AA impl)"); > > // Declare that we implement the AliasAnalysis interface > RegisterAnalysisGroup<AliasAnalysis, true> Y(X);

On Friday 14 September 2007 16:04, David Greene wrote: > On Friday 14 September 2007 15:51, Chris Lattner wrote: > > When basicaa registers itself as part of the analysis group, it uses: > > > > RegisterPass<BasicAliasAnalysis> > > X("basicaa", "Basic Alias Analysis (default AA impl)"); > > > > // Declare that we implement

On Sep 14, 2007, at 2:46 PM, David Greene wrote: > On Friday 14 September 2007 16:04, David Greene wrote: >> On Friday 14 September 2007 15:51, Chris Lattner wrote: >>> When basicaa registers itself as part of the analysis group, it >>> uses: >>> >>> RegisterPass<BasicAliasAnalysis> >>> X("basicaa", "Basic Alias

On Thursday 09 August 2007 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

Hi, I am trying to add a pass inn LLVM, and I actually want to add it in source code, not just directly into object code. For that I included the lines in my file MyAna.cpp (llvm-2.6/lib/ana/MyAna.cpp) char MyAna::ID = 0; static RegisterPass<MyAna> X("my-aa","My Analysis"); static RegisterAnalysisGroup<AliasAnalysis> Y(X); ModulePass *llvm::createMyAnaPass() {

On Aug 10, 2007, at 10:15 AM, David Greene wrote: > However, what happens when alias analysis information gets > invalidated? > Is Andersen's still "available" in the sense analysis groups use it? > > If not, it seems it would be tough to make sure Andersen's is always > used everywhere that AliasAnalysis is asked for because there are > passes > llvm

Thank you very much John for your answer , you understood well my problem (and the signification of my "own" PassManager). I already tried your solution but it is not enough. The problem is the same with existing AA (andersen for example) : when calling with opt, this works well, but when adding in local PassManager ( with add() ), it is not working (I test this with the

Thanks that helped me out. But now I am facing one more problem. It says : ‘llvm::ModulePass* llvm::createMyAnaPass()’ should have been declared inside ‘llvm’ but I can find no place to declare it. Where should I do it. John Criswell wrote: > ambika at cse.iitb.ac.in wrote: >> Hi, >> >> I am trying to add a pass inn LLVM, and I actually want to add it in >> source

ambika at cse.iitb.ac.in wrote: > Hi, > > I am trying to add a pass inn LLVM, and I actually want to add it in > source code, not just directly into object code. > > For that I included the lines in my file MyAna.cpp > (llvm-2.6/lib/ana/MyAna.cpp) > > > char MyAna::ID = 0; > static RegisterPass<MyAna> X("my-aa","My Analysis"); > static

Hello LLVMdev, I’m using LLVM to do static analysis exclusively (without any code generation). To implement this analysis, I’m using multiple address spaces to disambiguate the purpose of the pointed memory. Since address spaces never alias in my model, I set on to implement an alias analysis pass that would exactly provide this information, as I’m seeing a couple of otherwise dead store that

Well, now i added the creation of my AA just before the creation of DSE, (in the former case it was done at top of all passes list) and it's working (alias and getModRefInfo are called)... Maybe a particular pass destroyed the AliasAnalysGroup ?? However he solution is not very clean, since i don't know which pass need an AA (i guess this should be automatic whith the method

Hi Matthew, Did you add your alias analysis pass initializeEverythingMustAliasPass() into llvm::initializeAnalysis(PassRegistry &Registry) {} ? This will initialize it linked into the Analysis library. thanks, chen On Apr 28, 2014, at 8:43 PM, Jingyue Wu <jingyue at google.com> wrote: > > > > On Thu, Apr 24, 2014 at 4:38 PM, Matthew O'Connor <thegreendragon at

On Tue, Feb 23, 2010 at 7:17 AM, ambika <ambika at cse.iitb.ac.in> wrote: > Thanks that helped me out. > But now I am facing one more problem. It says : > > ‘llvm::ModulePass* llvm::createMyAnaPass()’ should have been declared > inside ‘llvm’ > > but I can find no place to declare it. > Where should I do it. We can do what scalar optimizations do. All scalar passes

I have done that. I have defined createMyAnaPass() in Passes.h and it is defined in MyAna.cpp and used in LinkAllPasses.h But still the error : /home/ambika/llvm/llvm-obj/tools/opt/Release/opt.o: In function `global constructors keyed to opt.cpp': opt.cpp:(.text+0x1e89): undefined reference to `llvm::createMyAnaPass()' I dont understand whats the problem. Jianzhou Zhao wrote: >

Hi ! In my quest of implementing my own AA, i understood that it doesn't work because i don't use the 'opt' tool but i create my own PassManager (this for other reasons). The problem is the same with other existing AA (AndersensPass or globalModRefPass) : these AApasses are not chained with the basicAA when they are created in PassManager ... So my question is now : how to

Julien Schmitt wrote: > Hi ! > In my quest of implementing my own AA, i understood that it doesn't work > because i don't use the 'opt' tool but i create my own PassManager (this > for other reasons). > The problem is the same with other existing AA (AndersensPass or > globalModRefPass) : > these AApasses are not chained with the basicAA when they are

Hi everyone, I am wondering what is the right way to register an alias analysis pass. My alias analysis pass is implemented in a dynamic load module. As I can see, a general way to register a pass looks like: llvm::RegisterPass<Analyzer> X("rci", "RCI Pass"); However, registering a type-based analysis uses: INITIALIZE_AG_PASS(...) I think, registering an

Hi Eli, Thanks for the link! I'm able to compile a standalone pass outside of the source tree, and I'm obviously ably to compile analysis groups inside the source tree. However, the problem comes when I try to do what the tutorial suggests to create an analysis group outside of the source tree. My understanding is that building out of tree requires different methods to register the

On Friday 10 August 2007 13:54, Devang Patel wrote: > > Or is it sufficient than an Andersen's object is constructed and > > that that > > constitutes "availability?" > > What do you mean by "available" ? You are using quotes :) "Available" as referenced by PassSupport.h: /// RegisterAnalysisGroup - Register a Pass as a member of an