Polly/isl/Pluto already provide SCoP detection, polyhedral analysis, loop transform framework (e.g. to do fusion, tiling etc). <div><br></div><div><br><div class="gmail_quote">On 8 October 2012 10:28, Rao, Prashantha <span dir="ltr"><<a href="mailto:Prashantha.Rao@amd.com" target="_blank">Prashantha.Rao@amd.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It would be great to get "accurate" dependence analysis from polyhedral framework.  Anyone working on making polly into analysis+Transforms framework?<br>

<span class="HOEnZb"><font color="#888888"><br>
-Prashantha<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
-----Original Message-----<br>
From: <a href="mailto:llvmdev-bounces@cs.uiuc.edu">llvmdev-bounces@cs.uiuc.edu</a> [mailto:<a href="mailto:llvmdev-bounces@cs.uiuc.edu">llvmdev-bounces@cs.uiuc.edu</a>] On Behalf Of Sahasrabuddhe, Sameer<br>
Sent: Monday, October 08, 2012 9:03 AM<br>
To: Hal Finkel; Javed Absar<br>
Cc: <a href="mailto:llvmdev@cs.uiuc.edu">llvmdev@cs.uiuc.edu</a><br>
Subject: Re: [LLVMdev] LLVM Loop Vectorizer (Nadav Rotem)<br>
<br>
> -----Original Message-----<br>
> From: <a href="mailto:llvmdev-bounces@cs.uiuc.edu">llvmdev-bounces@cs.uiuc.edu</a> [mailto:<a href="mailto:llvmdev-bounces@cs.uiuc.edu">llvmdev-bounces@cs.uiuc.edu</a>] On<br>
> Behalf Of Hal Finkel<br>
> Sent: Monday, October 08, 2012 1:35 AM<br>
><br>
> I'd like to add that, mostly through Tobi's efforts, we were able to have isl (the<br>
> integer set library) on which Polly depends relicensed such that it is now<br>
> distributed under the MIT license, and thus Polly should be eligible for inclusion<br>
> as some of LLVM's core analysis and transformation passes.<br>
<br>
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.<br>

<br>
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.<br>
<br>
Sameer.<br>
<br>
<br>
<br>
</div></div><div class="HOEnZb"><div class="h5">_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br>
<br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>my homepage: <a href="http://www.javedabsar.com">http://www.javedabsar.com</a><br>
</div>