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">
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
|
|
|
|
|
<title>Polly - Getting Started</title>
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="menu.css" />
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="content.css" />
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<!--#include virtual="menu.html.incl"-->
|
|
|
|
|
|
|
|
|
|
<div id="content">
|
|
|
|
|
|
|
|
|
|
<h1>Getting Started: Building and Installing Polly</h1>
|
|
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h2 id="source"> Get the code </h2>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-10-06 14:53:17 +08:00
|
|
|
The Polly source code is available in the LLVM SVN repository as well as through
|
|
|
|
|
an official git mirror. It is added to the <em>tools</em>
|
2011-10-06 05:10:10 +08:00
|
|
|
directory of the llvm sources.
|
2011-10-06 14:53:17 +08:00
|
|
|
<b>Polly and LLVM need to be checked out at the same time. Checkouts
|
2011-10-06 05:10:10 +08:00
|
|
|
from different dates may not work!</b>
|
|
|
|
|
<h4>Set the directory layout:</h4>
|
|
|
|
|
<pre>
|
|
|
|
|
export BASE=`pwd`
|
|
|
|
|
export LLVM_SRC=${BASE}/llvm
|
|
|
|
|
export POLLY_SRC=${LLVM_SRC}/tools/polly
|
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
|
|
<h4>SVN</h4>
|
|
|
|
|
<pre>
|
|
|
|
|
svn checkout http://llvm.org/svn/llvm-project/llvm/trunk ${LLVM_SRC}
|
|
|
|
|
svn checkout http://llvm.org/svn/llvm-project/polly/trunk ${POLLY_SRC}
|
|
|
|
|
</pre>
|
|
|
|
|
<h4>GIT</h4>
|
|
|
|
|
<pre>
|
|
|
|
|
git clone http://llvm.org/git/llvm.git ${LLVM_SRC}
|
|
|
|
|
git clone http://llvm.org/git/polly.git ${POLLY_SRC}
|
|
|
|
|
</pre>
|
2011-05-02 15:48:29 +08:00
|
|
|
<h2 id="prerequisites"> Prerequisites </h2>
|
2011-10-06 05:10:10 +08:00
|
|
|
<ul>
|
|
|
|
|
<li>libgmp</li>
|
|
|
|
|
<li>CLooG/isl</li>
|
|
|
|
|
<li>PoCC (optional)</li>
|
|
|
|
|
</ul>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h3> libgmp </h3>
|
|
|
|
|
Install libgmp (library + developer package) through the package management
|
2011-05-02 15:48:29 +08:00
|
|
|
system of your operating system.
|
|
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h3> CLooG/isl</h3>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-10-06 14:53:17 +08:00
|
|
|
Polly is tested with a fixed version of <a href="http://www.cloog.org">CLooG</a>
|
|
|
|
|
and isl. To obtain the source code of CLooG (including isl) use
|
|
|
|
|
checkout_cloog.sh as available in ${POLLY_SRC}/utils/checkout_cloog.sh.
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h4>Set the directory layout:</h4>
|
|
|
|
|
<pre>
|
|
|
|
|
export CLOOG_SRC=${BASE}/cloog_src
|
|
|
|
|
export CLOOG_INSTALL=${LLVM_SRC}/cloog_install
|
|
|
|
|
</pre>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-09-09 17:08:09 +08:00
|
|
|
<h4> First installation</h4>
|
2011-05-02 15:48:29 +08:00
|
|
|
<pre>
|
2011-10-06 05:10:10 +08:00
|
|
|
${POLLY_SRC}/utils/checkout_cloog.sh ${CLOOG_SRC}
|
2011-10-26 20:25:49 +08:00
|
|
|
cd ${CLOOG_SRC}
|
|
|
|
|
./configure --prefix=${CLOOG_INSTALL}
|
2011-05-02 15:48:29 +08:00
|
|
|
make
|
|
|
|
|
make install
|
2011-10-26 20:25:49 +08:00
|
|
|
cd ${BASE}
|
2011-05-02 15:48:29 +08:00
|
|
|
</pre>
|
|
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h4> Update the installation</h4>
|
|
|
|
|
|
|
|
|
|
Updating CLooG may become necessary, if Polly uses a feature
|
|
|
|
|
only available in a recent version of CLooG.
|
2011-06-30 22:07:23 +08:00
|
|
|
<pre>
|
2011-10-06 05:10:10 +08:00
|
|
|
${POLLY_SRC}/utils/checkout_cloog.sh ${CLOOG_SRC}
|
2011-10-26 20:25:49 +08:00
|
|
|
cd ${CLOOG_SRC}
|
2011-06-30 22:07:23 +08:00
|
|
|
make
|
|
|
|
|
make install
|
2011-10-26 20:25:49 +08:00
|
|
|
cd ${BASE}
|
2011-06-30 22:07:23 +08:00
|
|
|
</pre>
|
|
|
|
|
|
2011-05-02 15:48:29 +08:00
|
|
|
<h3> Install Pocc (Optional) </h3>
|
|
|
|
|
|
2011-06-30 22:07:35 +08:00
|
|
|
<p>Polly can use <a href="http://www.cse.ohio-state.edu/~pouchet/software/pocc">
|
|
|
|
|
PoCC</a> as an external optimizer. PoCC is a research project that provides
|
|
|
|
|
an integrated version of <a href="http://pluto.sf.net">Pluto</a>, an
|
|
|
|
|
advanced data-locality and tileability optimizer. Similar functionality was
|
|
|
|
|
recently integrated in Polly (through isl), however the optimizations are not as
|
|
|
|
|
mature as the ones in Pluto/PoCC. Hence, if you want to use Pluto to optimize
|
|
|
|
|
your code or you want to compare the optimizer integrated in Polly to Pluto you
|
|
|
|
|
may want to use PoCC.</p>
|
|
|
|
|
|
|
|
|
|
Install PoCC 1.0-rc3.1 (the one with Polly support) and add it to your PATH.
|
2011-05-02 15:48:29 +08:00
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
|
wget <a
|
|
|
|
|
href="http://www.cse.ohio-state.edu/~pouchet/software/pocc/download/pocc-1.0-rc3.1-full.tar.gz">http://www.cse.ohio-state.edu/~pouchet/software/pocc/download/pocc-1.0-rc3.1-full.tar.gz</a>
|
|
|
|
|
tar xzf pocc-1.0-rc3.1-full.tar.gz
|
|
|
|
|
cd pocc-1.0-rc3.1
|
|
|
|
|
./install.sh
|
|
|
|
|
export PATH=`pwd`/bin
|
|
|
|
|
</pre>
|
|
|
|
|
|
2011-06-30 22:07:35 +08:00
|
|
|
Install scoplib-0.2.0
|
2011-05-02 15:48:29 +08:00
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
|
wget <a
|
|
|
|
|
href="http://www.cse.ohio-state.edu/~pouchet/software/pocc/download/modules/scoplib-0.2.0.tar.gz"
|
|
|
|
|
>http://www.cse.ohio-state.edu/~pouchet/software/pocc/download/modules/scoplib-0.2.0.tar.gz</a>
|
|
|
|
|
tar xzf scoplib-0.2.0.tar.gz
|
|
|
|
|
cd scoplib-0.2.0
|
|
|
|
|
./configure --enable-mp-version --prefix=/path/to/scoplib/installation
|
|
|
|
|
make && make install
|
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
|
|
<h2 id="build">Build Polly</h2>
|
|
|
|
|
|
|
|
|
|
To build Polly you can either use the autoconf or the cmake build system. At the
|
|
|
|
|
moment only the autoconf build system allows to run the llvm test-suite and only
|
|
|
|
|
the cmake build system allows to run 'make polly-test'.
|
|
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h4>Set the directory layout:</h4>
|
2011-05-02 15:48:29 +08:00
|
|
|
<pre>
|
2011-10-06 05:10:10 +08:00
|
|
|
export LLVM_BUILD=${BASE}/llvm_build
|
|
|
|
|
mkdir ${LLVM_BUILD}
|
|
|
|
|
cd ${LLVM_BUILD}
|
|
|
|
|
</pre>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h4>CMake</h4>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<pre>
|
|
|
|
|
cmake -DCMAKE_PREFIX_PATH=${CLOOG_INSTALL} ${LLVM_SRC}
|
2011-05-02 15:48:29 +08:00
|
|
|
make
|
|
|
|
|
</pre>
|
|
|
|
|
|
2011-10-06 05:10:10 +08:00
|
|
|
<h4> Autoconf </h4>
|
2011-05-02 15:48:29 +08:00
|
|
|
|
|
|
|
|
<pre>
|
2011-10-06 05:10:10 +08:00
|
|
|
${LLVM_SRC}/configure --with-cloog=${CLOOG_INSTALL} --with-isl=${CLOOG_INSTALL}
|
2011-05-02 15:48:29 +08:00
|
|
|
make
|
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
|
|
<h2> Test Polly</h2>
|
|
|
|
|
|
|
|
|
|
To check if Polly works correctly you can run <em>make polly-test</em>. This
|
|
|
|
|
currently works only with a cmake build.
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
