Lines Matching +full:docs +full:- +full:polly +full:- +full:html
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
3 <!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
4 <html>
6 <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
7 <title>Polly - Polyhedral optimizations for LLVM</title>
13 <!--#include virtual="menu.html.incl"-->
15 <!--*********************************************************************-->
16 <h1>About Polly</h1>
17 <!--*********************************************************************-->
19 <p> Polly is a high-level loop and data-locality optimizer and optimization
23 tiling and loop fusion to improve data-locality. Polly can also exploit
26 For many users, however, it's not the existing optimizations in Polly that are
27 of most interest, but the new analyses and optimizations enabled by the Polly
33 <!--=====================================================================-->
35 <!--=====================================================================-->
41 <h4>High-Performance Generalized Matrix Multiplication</h4>
42 Polly automatically detects and optimizes generalized matrix
66 at January 23-25, 2017 together with HiPEAC 2017 in Stockholm, Sweden. It is
68 including work on Polly.
73 A source checkout that contains Polly now provides Polly functionality
83 generation techniques used in Polly. This discussion gives not only an
84 in-depth description of how we (re)generate an imperative AST from our
88 <li><b>Schedule trees:</b> A tree-based mathematical program description
93 unrolling of non-trivial loops in the context of parametric loop bounds,
98 support for handling full/partial tile separation and -- in general --
103 <li><b>User-defined constraint sets for run-time checks</b> We discuss how
104 arbitrary sets of constraints can be used to automatically create run-time
106 very useful to verify at run-time various assumptions that have been taken
110 <a href="https://www.grosser.es#pub-polyhedral-AST-generation">
124 <h4>Polly allows now non-affine subregions</h4>
125 Data-dependent or floating point conditionals inside a SCoP can now be
133 <h4>Polly drops the support of ScopLib and the external optimizer PoCC</h4>
144 <h4>Polly can be built without GPL licensed software</h4> After Sebastian
150 dependency to GPL licensed software has been removed. Now Polly only depends
156 <h4>Polly Phone Call - 23April</h4>
157 We had a polly phone call about delinearizing array accesses (II)<a
158 href="https://docs.google.com/document/d/1IZewI8Up0iEkCNIPr6gVtwJxF7RV6KmXkdwOBM_Q5Cs/edit?usp=sharing ">Meeting notes</a> are available online.
159 <h4>Polly Phone Call - 17th April</h4>
160 We had a polly phone call about delinearizing array accesses <a
161 href="https://docs.google.com/document/d/14d3ehkH2MsvBdqsEOSYjysH0Ztyzb75Lp843hnxh2IA/edit?usp=sharing">Meeting notes</a> are available online.
162 <h4>Polly Phone Call - 10th April</h4>
163 We had a polly phone call. <a
164 href="https://docs.google.com/document/d/12W-qZjiZGEQ_lVrob4OzvKJI3EooonC-ap1b9f9KCUE/edit?usp=sharing">Meeting notes</a> are available online.
165 <h4>Polly Phone Call - 4th April</h4>
166 We had a polly phone call. <a
172 <h4>Static link Polly into tools</h4> Polly can now be configured with 'cmake
173 -D LINK_POLLY_INTO_TOOLS:Bool=ON' to be statically linked in the tools (opt,
174 bugpoint, and clang.) This makes it easier to use polly without having to load
175 a shared library, and it also reduces the complexity of compiling Polly on
181 <h4>Polly presentation at FOSDEM 2014</h4> Polly was <a
182 href="https://fosdem.org/2014/schedule/event/polly/">presented</a> at the
184 <h4>New LLVM test-suite buildbots</h4>
185 The set of <a href="http://lab.llvm.org:8011/console?category=polly">Polly
187 correctness and performance when compiling the LLVM test-suite. For now five
190 reports</a> (almost per-commit)
191 for 'clang -O3' (no polly). We also have six machines that track different
192 configurations of polly.
204 href="https://nbviewer.ipython.org/github/tobig/islplot/blob/master/notebooks/islplot-examples.ipynb">
212 At the upcoming <a href="https://llvm.org/devmtg/2013-11/#bof5">LLVM conference
213 </a> there will be a loop optimization BoF discussing Polly and other high
222 <a href="https://llvm.org/reports/scan-build/">static analysis</a>
223 which run at least once a day and which include results for Polly.
225 With the move to an isl 0.12 version Polly can be compiled without the
228 this dependency. Without the use of GMP, a <b>GPL free</b> version of Polly
238 We published a journal version of the Polly paper named
240 Polly - Performing polyhedral optimizations on a low-level intermediate
246 The code generator can be parameterized on a fine-grained
249 create loops to handle border conditions or to perform full-partial tile
253 Polly. The
262 <p> Polly can now be directly linked to the <a
263 href="http://pluto-compiler.sourceforge.net/">Pluto optimizer</a>. We were
264 already able to perform Pluto-like optimizations with Polly, as a similar
269 This support was on of the outcomes of the 1-day Polly workshop and the
277 <p>Polly is an official LLVM project, reachable at <a
278 href="https://polly.llvm.org">https://polly.llvm.org</a></p>
283 Polly can now automatically optimize all <a
284 href="https://web.cse.ohio-state.edu/~pouchet.2/software/polybench/">polybench
295 Talk at the <a href="https://llvm.org/devmtg/2011-11/">
304 <p>Polly can use the isl schedule optimizer<br>
313 <a href="example_load_Polly_into_clang.html">Use Polly as
321 <p> Polly builder as part of the <a
332 href="https://ai.google/research/outreach/phd-fellowship/recipients/?category=2011">
342 href="publications.html">list of publications</a>.</p></td>
347 <td><p>Polly moves to the LLVM infrastructure (svn, bugtracker)</p></td>
354 <p>Polly can compile
360 <td><p>pollycc - a script to automatically compile with
379 href="https://llvm.org/devmtg/2010-11/">LLVM Developer Meeting</a> </p></td>
385 <p>Finished Phase 1 - Get something working </p>
393 <p>llvm-test suite compiles </p>
420 <td><p>Translate a simple loop to Polly-IR and regenerate a loop structure
442 </html>