[LLVMdev] Alias Analysis (Andersen pointer analysis)

[John Criswell]

On 9/20/11 7:33 PM, Manish Gupta wrote:
> The README at the location shared by John says
>
> "DSA is undergoing significant changes and may not be entirely stable 
> or correct. See lib/DSA/README"
>
> So, I was wondering from where should one pick the code. Although I 
> will start my analysis and see how results turn out to be. But any 
> comments on this line will be helpful.

I believe that mainline (Top of Tree) DSA should be working relatively 
well with LLVM mainline.  We've updated the code to the LLVM mainline 
API (which mainly involved some changes to which methods we use on 
CallInst's), and I think it's passing the tests that it has.

That said, DSA is not as widely tested and used as LLVM.  If you find a 
bug, please report it.  We want to fix it.

As an FYI, the release_27 branch of poolalloc (the project in which DSA 
lives) compiles and works with LLVM 2.7.  That was the last stable 
version before we begin migrating to LLVM mainline for the LLVM 3.0 release.

-- John T.

>
> Thanks
> Manish
>
> On Tue, Sep 20, 2011 at 5:13 PM, Manish Gupta <manishg at cs.ucsd.edu 
> <mailto:manishg at cs.ucsd.edu>> wrote:
>
>     Thanks Everyone for the info.
>
>     I am planning to work with DSA on llvm-2.9. Hope it is working as
>     John mentioned.
>
>     Manish
>
>
>     On Tue, Sep 20, 2011 at 7:06 AM, John Criswell
>     <criswell at illinois.edu <mailto:criswell at illinois.edu>> wrote:
>
>         On 9/19/11 9:12 PM, Manish Gupta wrote:
>>         Dear All,
>>
>>         I am curious to know the reason for removal of andersen
>>         pointer analysis. Is it because of some issues? We need it on
>>         llvm-2.9, if possible.
>>
>>         Do we have some better version of pointer analysis on llvm-2.9?
>
>         The Data Structure Analysis pass (DSA) is a unification-style
>         points-to analysis.  It should work with LLVM mainline and the
>         upcoming 3.0 release.  An older version works with LLVM 2.7.
>
>         DSA is located in the poolalloc project
>         (https://llvm.org/svn/llvm-project/poolalloc/trunk).
>
>         -- John T.
>
>
>>
>>         Thanks,
>>         Manish
>>
>>
>>
>>
>>
>>         _______________________________________________
>>         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
>
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110922/84a26ac7/attachment.html>