[LLVMdev] LLVM Loop Vectorizer (Nadav Rotem)
javed.absar at gmail.com
Sun Oct 7 22:12:23 PDT 2012
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
> -----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]
> > 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
> > distributed under the MIT license, and thus Polly should be eligible for
> > 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.
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
my homepage: http://www.javedabsar.com
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev