[LLVMdev] LLVM Loop Vectorizer (Nadav Rotem)

[Rao, Prashantha]

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