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>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 listLLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > > >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110920/4c828b75/attachment.html>
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. Thanks Manish On Tue, Sep 20, 2011 at 5:13 PM, Manish Gupta <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>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 listLLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> >> >> >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110920/6579441b/attachment.html>
On Sep 20, 2011, at 5: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. >The default answer is almost always "top-of-tree". The release branches become out-of-date rather quickly. Also, we're coming up on our 3.0 release. -bw
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>