[LLVMdev] LLVM Loop Vectorizer (Nadav Rotem)

[Sahasrabuddhe, Sameer]

> -----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.