[LLVMdev] andersen's alias analysis

[Luke Dalessandro]

Max Stonebraker wrote:
> 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?

I don't know anything about the LLVM Steensgaard status, but you could 
try the DSA analysis included with the poolalloc project.

   svn co http://llvm.org/svn/llvm-project/poolalloc/trunk

It's fast and might be good enough for what you want to do. The 
poolalloc trunk varies independently from the llvm trunk, and I'm not 
sure what the current version of it is, though John Criswall sent a 
message yesterday about interoperability with the current llvm 2.6 branch.

Hope this helps,

Luke

> 
> Max
> 
> On Thu, Aug 27, 2009 at 10:01 AM, Daniel Berlin <dberlin at dberlin.org 
> <mailto: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
>     function pointers).
> 
> 
>     On Wed, Aug 26, 2009 at 10:11 PM, Chris Lattner<clattner at apple.com
>     <mailto:clattner at apple.com>> wrote:
>      > 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 known problems and bugs.
>      Consider it
>      > "research quality".
>      >
>      > -Chris
>      > _______________________________________________
>      > LLVM Developers mailing list
>      > LLVMdev at cs.uiuc.edu <mailto:LLVMdev at cs.uiuc.edu>        
>     http://llvm.cs.uiuc.edu
>      > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>      >
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev