[LLVMdev] LLVM Loop Vectorizer (Nadav Rotem)
Prashantha.Rao at amd.com
Sun Oct 7 21:58:25 PDT 2012
It would be great to get "accurate" dependence analysis from polyhedral framework. Anyone working on making polly into analysis+Transforms framework?
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.
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
More information about the llvm-dev