> -----Original Message----- > From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On > Behalf Of Hal Finkel > Sent: Monday, October 08, 2012 1:35 AM > > I'd like to add that, mostly through Tobi's efforts, we were able to have isl (the > integer set library) on which Polly depends relicensed such that it is now > distributed under the MIT license, and thus Polly should be eligible for inclusion > as some of LLVM's core analysis and transformation passes.Yes, that will be very useful. One way to think of Polly is as a "gateway into the polyhedral model". The core functionality is to take a region and provide a polyhedral model for its memory accesses. This is separate from the fact that Polly also provides an optimization driver over a handful of different polyhedral implementations. Besides that, ISL, through Polly, provides a pretty good dependence analysis. There should be an abstract dependence API similar to AliasAnalysis, so that Polly can be used as an analysis option. Sameer.
It would be great to get "accurate" dependence analysis from polyhedral framework. Anyone working on making polly into analysis+Transforms framework? -Prashantha -----Original Message----- From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On Behalf Of Sahasrabuddhe, Sameer Sent: Monday, October 08, 2012 9:03 AM To: Hal Finkel; Javed Absar Cc: llvmdev at cs.uiuc.edu Subject: Re: [LLVMdev] LLVM Loop Vectorizer (Nadav Rotem)> -----Original Message----- > From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On > Behalf Of Hal Finkel > Sent: Monday, October 08, 2012 1:35 AM > > I'd like to add that, mostly through Tobi's efforts, we were able to have isl (the > integer set library) on which Polly depends relicensed such that it is now > distributed under the MIT license, and thus Polly should be eligible for inclusion > as some of LLVM's core analysis and transformation passes.Yes, that will be very useful. One way to think of Polly is as a "gateway into the polyhedral model". The core functionality is to take a region and provide a polyhedral model for its memory accesses. This is separate from the fact that Polly also provides an optimization driver over a handful of different polyhedral implementations. Besides that, ISL, through Polly, provides a pretty good dependence analysis. There should be an abstract dependence API similar to AliasAnalysis, so that Polly can be used as an analysis option. Sameer. _______________________________________________ LLVM Developers mailing list LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
Polly/isl/Pluto already provide SCoP detection, polyhedral analysis, loop transform framework (e.g. to do fusion, tiling etc). On 8 October 2012 10:28, Rao, Prashantha <Prashantha.Rao at amd.com> wrote:> It would be great to get "accurate" dependence analysis from polyhedral > framework. Anyone working on making polly into analysis+Transforms > framework? > > -Prashantha > > -----Original Message----- > From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On > Behalf Of Sahasrabuddhe, Sameer > Sent: Monday, October 08, 2012 9:03 AM > To: Hal Finkel; Javed Absar > Cc: llvmdev at cs.uiuc.edu > Subject: Re: [LLVMdev] LLVM Loop Vectorizer (Nadav Rotem) > > > -----Original Message----- > > From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] > On > > Behalf Of Hal Finkel > > Sent: Monday, October 08, 2012 1:35 AM > > > > I'd like to add that, mostly through Tobi's efforts, we were able to > have isl (the > > integer set library) on which Polly depends relicensed such that it is > now > > distributed under the MIT license, and thus Polly should be eligible for > inclusion > > as some of LLVM's core analysis and transformation passes. > > Yes, that will be very useful. One way to think of Polly is as a "gateway > into the polyhedral model". The core functionality is to take a region and > provide a polyhedral model for its memory accesses. This is separate from > the fact that Polly also provides an optimization driver over a handful of > different polyhedral implementations. > > Besides that, ISL, through Polly, provides a pretty good dependence > analysis. There should be an abstract dependence API similar to > AliasAnalysis, so that Polly can be used as an analysis option. > > Sameer. > > > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > > >-- my homepage: http://www.javedabsar.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121008/afca6dea/attachment.html>
On 10/08/2012 06:58 AM, Rao, Prashantha wrote:> It would be great to get "accurate" dependence analysis from polyhedral framework. Anyone working on making polly into analysis+Transforms framework?Polly is already divided into analysis and transformation passes. However, the interface is currently specific to the needs of polyhedral optimizers. If there is interest to use e.g. the analyzer part of Polly within core LLVM, we could adapt the interface to our needs. We could e.g. think of an interface similar to Preston's dependency analysis. Cheers Tobi