[LLVMdev] Alias Analysis (Andersen pointer analysis) (original) (raw)
John Criswell criswell at illinois.edu
Thu Sep 22 07:38:35 PDT 2011
- Previous message: [LLVMdev] Alias Analysis (Andersen pointer analysis)
- Next message: [LLVMdev] Is there any literature on which SelectionDAG based
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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>
- Previous message: [LLVMdev] Alias Analysis (Andersen pointer analysis)
- Next message: [LLVMdev] Is there any literature on which SelectionDAG based
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]