similar to: [LLVMdev] Invoking LLVM Andersens Programmatically

Hello, How do apply the LLVM Andersens alias analysis direclty to a Module object. I'm trying to avoid using the PassManager. Max -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090518/1a9d9a89/attachment.html>

I have a problem where I add an Andersens AA pass to the pass manager, but it appears to get invalidated by another pass, and never rerun. My understanding from reading the documentation is that when a pass gets invalidated, it should be rerun before any other passes that requires it. Here is a simple example of the problem I am seeing: PassManager passManager; passManager.add(new

I may have found a bug in the andersends pass, but before I try to strip the code down to something reasonable I'd like to make sure I'm not misunderstanding anything. This is against the current SVN head, on my Mac OS 10.5 box. 1) I'm compiling a bunch of C++ code with llvm-g++ (4.0.1). The compiled code includes the gcc 4.0.1 implementation for dynamic_cast (so it can be

Might I suggest the following patch, because this issue has bite me too? You're lured in by the initial good results from the Andersens alias analysis, only to discover the bugs later on. Robert Zeh On Aug 26, 2009, at 9:11 PM, Chris Lattner wrote: > On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: >> Hello, >> >> Does the LLVM Andersens alias analysis handle

On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: > Hello, > > Does the LLVM Andersens alias analysis handle function pointers > precisely? I ran it and it looks like it says every function points > points to the universal set. Is this what I should expect? Hi Max, I don't know the answer offhand but please keep in mind that the current andersen's pass has many

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

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 function pointers). On Wed, Aug 26, 2009 at 10:11 PM, Chris Lattner<clattner at apple.com> wrote: > On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: >> Hello, >> >> Does the LLVM Andersens alias analysis

This is the beginning of a new implementation of Andersen's. So far, it has been converted to use a new solver algorithm, support field sensitivity (not yet implemented in the constraint building, but the solver supports it) and to use SparseBitVectors. It is roughly 100x faster than the old implementation on larger testcases. This is just the beginning, work is being done to change the

Hi everyone! First time poster here. Apologies if I am breaking some rules and please let me know so I will not break it again! I am a summer research student at the Computer Science Department at the University of Toronto and I am working on benchmarking LLVM optimizations. I tried looking for it online but was not able to find a programmatic way to toggle specific LLVM optimizations. For

Hi all, I was trying to find the equivalent analysis of Andersens on LLVM. I found it only on LLVM 2.6 on 'Analysis/IPA' folder. Is it removed/renamed on later versions? I'm mostly interested in 3.4 version or later. Thank you in advance, -- Irini -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hi Michael! Thanks for your reply. I managed to add a small amount of code to PassManager to have this feature implemented. One can now turn off a pass by doing opt -disablepass=licm or clang -mllvm -disablepass=licm to turn off, for example, loop invariant code motion. I programmed the command line option to be really hidden. This maybe a useful thing to have in the trunk for people who

Hello, Does the LLVM Andersens alias analysis handle function pointers precisely? I ran it and it looks like it says every function points points to the universal set. Is this what I should expect? Max -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090826/ff8d6c78/attachment.html>

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

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

Hi Damien, I think the problem is that when the passmanager sees an Alias Analysis available, it will use that, but when none is available, it will always run the default implementation (BasicAA), regardless of any alias analysis's run before. This means you should insert Andersen's before any pass that needs it. I suspect (not sure though) that the passmanager will not rerun

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

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);

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