2011-05-02 15:48:29 +08:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
|
|
|
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
|
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
|
|
|
<title>Polly - Polyhedral optimizations for LLVM</title>
|
|
|
|
<link type="text/css" rel="stylesheet" href="menu.css">
|
|
|
|
<link type="text/css" rel="stylesheet" href="content.css">
|
2011-12-13 23:07:00 +08:00
|
|
|
<script src="video-js/video.js" type="text/javascript" charset="utf-8"></script>
|
|
|
|
<script type="text/javascript">
|
|
|
|
VideoJS.setupAllWhenReady();
|
|
|
|
</script>
|
|
|
|
|
|
|
|
<!-- Include the VideoJS Stylesheet -->
|
|
|
|
<link rel="stylesheet" href="video-js/video-js.css" type="text/css" media="screen" title="Video JS">
|
2011-05-02 15:48:29 +08:00
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<!--#include virtual="menu.html.incl"-->
|
|
|
|
<div id="content">
|
|
|
|
<!--*********************************************************************-->
|
|
|
|
<h1>Polly: Polyhedral optimizations for LLVM</h1>
|
|
|
|
<!--*********************************************************************-->
|
|
|
|
|
2011-12-13 22:53:20 +08:00
|
|
|
<p> Polly is a polyhedral optimizer for LLVM. Using an abstract mathematical
|
|
|
|
representation it analyzes and optimizes the memory access pattern of a
|
|
|
|
program. This includes data-locality optimizations for cache locality as
|
|
|
|
well as automatic parallelization for thread-level and SIMD parallelism.
|
|
|
|
Our overall goal is an integrated optimizer for data-locality and
|
|
|
|
parallelism that takes advantage of multi-cores, cache hierarchies, short
|
|
|
|
vector instructions as well as dedicated accelerators.</p>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-12-13 22:53:20 +08:00
|
|
|
<p>
|
2011-12-13 23:07:00 +08:00
|
|
|
<div class="video-js-box" style="margin:auto; margin-top: 1em; margin-bottom: 1em">
|
|
|
|
<video id="example_video_2" class="video-js" width="640" height="360"
|
|
|
|
controls="controls" preload="auto"
|
|
|
|
poster="images/video-summit-2011.png">
|
2011-12-14 20:21:27 +08:00
|
|
|
<source
|
2011-12-13 23:07:00 +08:00
|
|
|
src="http://www.grosser.es/publications/grosser-2011--Polly-First-successful-optimizations--LLVM-Developer-Meeting.mp4"
|
2011-12-14 20:21:27 +08:00
|
|
|
type='video/mp4; codecs="avc1.42E01E, mp4a.40.2"'>
|
2011-12-13 23:07:00 +08:00
|
|
|
<source
|
|
|
|
src="http://www.grosser.es/publications/grosser-2011--Polly-First-successful-optimizations--LLVM-Developer-Meeting.webm"
|
|
|
|
type='video/webm; codecs="vp8, vorbis"'>
|
|
|
|
<object id="flash_fallback_2" class="vjs-flash-fallback" width="640"
|
|
|
|
height="360" type="application/x-shockwave-flash"
|
|
|
|
data="http://releases.flowplayer.org/swf/flowplayer-3.2.1.swf">
|
|
|
|
<param name="movie" value="http://releases.flowplayer.org/swf/flowplayer-3.2.1.swf" />
|
|
|
|
<param name="allowfullscreen" value="true" />
|
|
|
|
<param name="flashvars"
|
|
|
|
value='config={"playlist":["publications/images/video-summit-2011.png",
|
|
|
|
{"url":
|
|
|
|
"http://www.grosser.es/publications/grosser-2011--Polly-First-successful-optimizations--LLVM-Developer-Meeting.mp4","autoPlay":false,"autoBuffering":true}]}'
|
2011-12-14 20:21:27 +08:00
|
|
|
/>
|
2011-12-13 23:07:00 +08:00
|
|
|
<img src="images/video-summit-2011.png" width="640" height="360" alt="Poster Image"
|
|
|
|
title="No video playback capabilities." />
|
|
|
|
</object>
|
|
|
|
</video>
|
|
|
|
</div>
|
2011-12-13 22:53:20 +08:00
|
|
|
<b>WARNING:</b> Polly started as a research project and larger parts of it are
|
|
|
|
still open research projects. Even though we aim for a robust, production
|
|
|
|
quality implementation, not all parts of Polly are there yet. We invite
|
|
|
|
you to contribute - both as industry collaborator, who may want to use parts
|
|
|
|
of Polly in production, as well as researcher, who is more interested in using
|
|
|
|
his expertise to work on some of the open research projects.
|
|
|
|
</p>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
|
|
|
<!--=====================================================================-->
|
2011-12-13 22:53:25 +08:00
|
|
|
<h2>News</h2>
|
2011-05-02 15:48:29 +08:00
|
|
|
<!--=====================================================================-->
|
|
|
|
|
2011-12-13 22:53:25 +08:00
|
|
|
<table id="news">
|
2012-01-31 17:13:12 +08:00
|
|
|
<tr><td><b>2012</b></td></tr>
|
2012-12-30 01:40:09 +08:00
|
|
|
<tr><td width="120"><p>December</p></td>
|
|
|
|
<td>
|
|
|
|
<p> New <a
|
|
|
|
href="http://www.worldscientific.com/doi/abs/10.1142/S0129626412500107?af=R">
|
|
|
|
publication</a> in the PPL Journal.
|
|
|
|
</p>
|
|
|
|
</td></tr>
|
2012-10-08 01:43:18 +08:00
|
|
|
<tr><td width="120"><p>September</p></td>
|
|
|
|
<td>
|
|
|
|
<p>Experimental support for the <b>new isl code generator</b>
|
|
|
|
was committed. The code generator can be parameterized on a fine-grained
|
|
|
|
level. It gives direct control for example over unrolling, the amount of
|
|
|
|
control overhead and the code size. It can also be used to
|
|
|
|
create loops to handle border conditions or to perform full-partial tile
|
|
|
|
separation.<br />
|
|
|
|
We also relicensed isl under the <b>MIT license</b>. This means, with the
|
2012-10-12 15:44:38 +08:00
|
|
|
exception of GMP (LGPL), there is no other (L)GPL licensed software used in
|
|
|
|
Polly. The
|
2012-10-08 01:43:18 +08:00
|
|
|
use of GMP is limited to a well defined interface. Replacing it with
|
|
|
|
a BSD licensed replacement is a tractable engineering project we would
|
|
|
|
be very interested in. For more information about isl see the <a
|
|
|
|
href="http://www.kotnet.org/~skimo/isl/manual.pdf">isl manual</a>.
|
|
|
|
</p>
|
|
|
|
</td></tr>
|
|
|
|
<tr><td width="120"><p>July</p></td>
|
|
|
|
<td>
|
|
|
|
<p> Polly can now be directly linked to the <a
|
|
|
|
href="http://pluto-compiler.sourceforge.net/">Pluto optimizer</a>. We were
|
|
|
|
already able to perform Pluto-like optimizations with Polly, as a similer
|
|
|
|
algorithm was added to isl half a year ago. However, being able to directly
|
|
|
|
compare with the original implementation will not only bring in competition in
|
|
|
|
the optimizer field. It will also allow new experiments with a cutting edge
|
|
|
|
research tool.<br \>
|
|
|
|
This support was on of the outcomes of the 1-day Polly workshop and the
|
|
|
|
following week of joint work at IISC Bangalore and in cooperation with
|
|
|
|
AMD India.
|
|
|
|
</td></tr>
|
|
|
|
<td>
|
|
|
|
</td></tr>
|
2012-02-20 16:41:55 +08:00
|
|
|
<tr><td width="120"><p>February</p></td>
|
|
|
|
<td>
|
|
|
|
<p>Polly is an official LLVM project, reachable at <a
|
|
|
|
href="http://polly.llvm.org">http://polly.llvm.org</a></p>
|
|
|
|
</td></tr>
|
2012-01-31 17:13:12 +08:00
|
|
|
<tr><td width="120"><p>January</p></td>
|
|
|
|
<td>
|
|
|
|
<p>Improved support for the isl scheduling optimizer</p>
|
2012-02-01 03:54:50 +08:00
|
|
|
Polly can now automatically optimize all <a
|
|
|
|
href="http://www.cse.ohio-state.edu/~pouchet/software/polybench/">polybench
|
|
|
|
2.0</a> kernels without the help of
|
|
|
|
an external optimizer. The compile time is reasonable and we can show
|
2012-01-31 17:13:12 +08:00
|
|
|
notable speedups for various kernels.
|
|
|
|
</td></tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<tr><td><b><br/>2011</b></td></tr>
|
2011-12-13 22:53:25 +08:00
|
|
|
<tr><td width="120"><p>November</p></td>
|
|
|
|
<td>
|
|
|
|
<p>
|
|
|
|
Talk at the <a href="http://llvm.org/devmtg/2011-11/">
|
|
|
|
LLVM Developer Meeting 2011</a></p>
|
|
|
|
New SCEV parser<br>
|
|
|
|
(Allows parameters in array subscript and max/signextend)
|
|
|
|
</td></tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>October</p></td>
|
|
|
|
<td>
|
|
|
|
<p>Polly can use the isl schedule optimizer<br>
|
|
|
|
(The optimizer is similar to the one in Pluto, but it is part of isl)
|
|
|
|
</p>
|
|
|
|
</td></tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>August</p></td>
|
|
|
|
<td>
|
|
|
|
<p>
|
|
|
|
<a href="example_load_Polly_into_clang.html">Use Polly as
|
|
|
|
clang plugin</a></p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>July</p></td>
|
|
|
|
<td>
|
|
|
|
<p> Polly builder as part of the <a
|
2011-10-23 19:01:07 +08:00
|
|
|
href="http://lab.llvm.org:8011/console">LLVM Buildbots</a>
|
2011-12-13 22:53:25 +08:00
|
|
|
</p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>June</p></td>
|
|
|
|
<td>
|
|
|
|
<p><a href="http://www.grosser.es">Tobias</a> is founded for
|
|
|
|
three years by a <a
|
2011-06-30 22:32:33 +08:00
|
|
|
href="http://research.google.com/university/relations/fellowship_recipients.html">
|
|
|
|
Google Europe Fellowship in Efficient Computing</a>.
|
2011-12-13 22:53:25 +08:00
|
|
|
</p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>May </p></td>
|
|
|
|
<td><p><a href="http://www.grosser.es">Tobias</a>' diploma thesis and
|
|
|
|
Raghesh's master thesis. See our <a
|
|
|
|
href="publications.html">list of publications</a>.</p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>April</p></td>
|
|
|
|
<td><p>Polly moves to the LLVM infrastructure (svn, bugtracker)</p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>March</p></td>
|
|
|
|
<td><p>Presentation at <a
|
|
|
|
href="http://impact2011.inrialpes.fr/">CGO/IMPACT</a></p>
|
|
|
|
<p>Polly can compile
|
|
|
|
polybench 2.0 with vectorization and OpenMP code generation</p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
<tr>
|
|
|
|
<td><p>Februar</p></td>
|
|
|
|
<td><p>pollycc - a script to automatically compile with
|
|
|
|
polyhedral optimizations </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p> Januar</p></td>
|
|
|
|
<td><p> Basic OpenMP support, Alias analysis integration,
|
|
|
|
Pluto/POCC support </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr><td><b><br>2010</b></td></tr>
|
|
|
|
<tr>
|
|
|
|
<td><p> Dezember </p></td>
|
|
|
|
<td><p>Basic vectorization support </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p> November </p></td>
|
|
|
|
<td><p>Talk at the <a
|
|
|
|
href="http://llvm.org/devmtg/2010-11/">LLVM Developer Meeting</a> </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>October</p></td>
|
|
|
|
<td><p>Dependency analysis </p>
|
|
|
|
<p>Finished Phase 1 - Get something working </p>
|
|
|
|
<p>Support scalar dependences and sequential SCoPs </p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>August</p></td>
|
|
|
|
<td><p>RegionInfo pass committed to LLVM</p>
|
|
|
|
<p>llvm-test suite compiles </p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>July</p></td>
|
|
|
|
<td><p>Code generation works for normal SCoPs. </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>June </p></td>
|
|
|
|
<td><p>OpenSCoP import/export works (as far as openscop is finished).</p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>May</p></td>
|
|
|
|
<td><p>The CLooG AST can be parsed.</p>
|
|
|
|
</td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>April</p></td>
|
|
|
|
<td><p>SCoPs can automatically be detected. </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>March</p></td>
|
|
|
|
<td><p>The RegionInfo framework is almost completed. </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>February</p></td>
|
|
|
|
<td><p>Translate a simple loop to Polly-IR and regenerate a loop structure
|
|
|
|
with CLooG works. </p>
|
|
|
|
<p>ISL and CLooG are integrated. </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr>
|
|
|
|
<td><p>January</p></td>
|
|
|
|
<td><p>The RegionInfo pass is finished. </p></td>
|
|
|
|
</tr>
|
|
|
|
|
|
|
|
<tr><td><b><br>2009</b></td></tr>
|
|
|
|
<tr>
|
|
|
|
<td><p>End of the year</p></td>
|
|
|
|
<td><p>Work on the infrastructure started. </p></td>
|
|
|
|
</tr>
|
|
|
|
</table>
|
2011-05-02 15:48:29 +08:00
|
|
|
</ul>
|
|
|
|
</div>
|
|
|
|
</body>
|
|
|
|
</html>
|