[llvm-commits] [polly] r154952 - in /polly/trunk/www: example_manual_matmul.html experiments/matmul/main___%1---%17.jscop experiments/matmul/main___%1---%17.jscop.interchanged experiments/matmul/main___%1---%17.jscop.interchanged+tiled experiments/matmul/main___%1---%17.jscop.interchanged+tiled+vector experiments/matmul/runall.sh
Tobias Grosser
grosser at fim.uni-passau.de
Tue Apr 17 14:38:20 PDT 2012
Author: grosser
Date: Tue Apr 17 16:38:20 2012
New Revision: 154952
URL: http://llvm.org/viewvc/llvm-project?rev=154952&view=rev
Log:
www: Update matmul example slightly.
Modified:
polly/trunk/www/example_manual_matmul.html
polly/trunk/www/experiments/matmul/main___%1---%17.jscop
polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged
polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled
polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled+vector
polly/trunk/www/experiments/matmul/runall.sh
Modified: polly/trunk/www/example_manual_matmul.html
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/example_manual_matmul.html?rev=154952&r1=154951&r2=154952&view=diff
==============================================================================
--- polly/trunk/www/example_manual_matmul.html (original)
+++ polly/trunk/www/example_manual_matmul.html Tue Apr 17 16:38:20 2012
@@ -22,9 +22,9 @@
the polyhedral transformation is user-provided to show how much performance
improvement can be expected by an optimal automatic optimizer.</p>
-The files used and created in this example are available <a
-href="experiments/matmul">here</a>. They can be created automatically by running
-the <a href="experiments/matmul/runall.sh">runall.sh</a> script.
+The files used and created in this example are available in the Polly checkout
+in the folder <em>www/experiments/matmul</em>. They can be created automatically
+by running the <em>www/experiments/matmul/runall.sh</em> script.
<ol>
<li><h4>Create LLVM-IR from the C code</h4>
@@ -57,7 +57,7 @@
example only three passes are necessary. To get good coverage on more
complicated input files often more canonicalization passes are needed. pollycc
contains a list of passes that have shown to be beneficial.
-<pre class="code">opt -S -mem2reg -loop-simplify -indvars matmul.s > matmul.preopt.ll</pre></li>
+<pre class="code">opt -S -mem2reg -loop-simplify -polly-indvars matmul.s > matmul.preopt.ll</pre></li>
<li><h4>Show the SCoPs detected by Polly (optional)</h4>
@@ -232,9 +232,8 @@
It is possible to import different jscop files by providing the postfix
of the jscop file that is imported.</p>
<p> We apply three different transformations on the SCoP in the main function.
-The jscop files describing these transformations are hand written. If PoCC is
-installed Polly can sometimes calculate such schedules fully automatically.
-Hwever, this is still an area we are actively working on.</p>
+The jscop files describing these transformations are hand written (and available
+in <em>www/experiments/matmul</em>).
<h5>No Polly</h5>
Modified: polly/trunk/www/experiments/matmul/main___%1---%17.jscop
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/experiments/matmul/main___%251---%2517.jscop?rev=154952&r1=154951&r2=154952&view=diff
==============================================================================
--- polly/trunk/www/experiments/matmul/main___%1---%17.jscop (original)
+++ polly/trunk/www/experiments/matmul/main___%1---%17.jscop Tue Apr 17 16:38:20 2012
@@ -1,5 +1,5 @@
{
- "context" : "{ [] }",
+ "context" : "{ : }",
"name" : "%1 => %17",
"statements" : [
{
Modified: polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/experiments/matmul/main___%251---%2517.jscop.interchanged?rev=154952&r1=154951&r2=154952&view=diff
==============================================================================
--- polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged (original)
+++ polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged Tue Apr 17 16:38:20 2012
@@ -6,7 +6,7 @@
"accesses" : [
{
"kind" : "write",
- "relation" : "{ Stmt_4[i0, i1] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_4[i0, i1] -> MemRef_C[1536i0 + i1] }"
}
],
"domain" : "{ Stmt_4[i0, i1] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= 1023 }",
@@ -17,19 +17,19 @@
"accesses" : [
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1536i0 + i1] }"
},
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_A[1037i0 + i2] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_A[1536i0 + i2] }"
},
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_B[i1 + 1047i2] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_B[i1 + 1536i2] }"
},
{
"kind" : "write",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1536i0 + i1] }"
}
],
"domain" : "{ Stmt_6[i0, i1, i2] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 1023 }",
Modified: polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/experiments/matmul/main___%251---%2517.jscop.interchanged%2Btiled?rev=154952&r1=154951&r2=154952&view=diff
==============================================================================
--- polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled (original)
+++ polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled Tue Apr 17 16:38:20 2012
@@ -6,7 +6,7 @@
"accesses" : [
{
"kind" : "write",
- "relation" : "{ Stmt_4[i0, i1] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_4[i0, i1] -> MemRef_C[1536i0 + i1] }"
}
],
"domain" : "{ Stmt_4[i0, i1] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= 1023 }",
@@ -17,19 +17,19 @@
"accesses" : [
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1536i0 + i1] }"
},
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_A[1037i0 + i2] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_A[1536i0 + i2] }"
},
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_B[i1 + 1047i2] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_B[i1 + 1536i2] }"
},
{
"kind" : "write",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1536i0 + i1] }"
}
],
"domain" : "{ Stmt_6[i0, i1, i2] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 1023 }",
Modified: polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled+vector
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/experiments/matmul/main___%251---%2517.jscop.interchanged%2Btiled%2Bvector?rev=154952&r1=154951&r2=154952&view=diff
==============================================================================
--- polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled+vector (original)
+++ polly/trunk/www/experiments/matmul/main___%1---%17.jscop.interchanged+tiled+vector Tue Apr 17 16:38:20 2012
@@ -6,7 +6,7 @@
"accesses" : [
{
"kind" : "write",
- "relation" : "{ Stmt_4[i0, i1] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_4[i0, i1] -> MemRef_C[1536i0 + i1] }"
}
],
"domain" : "{ Stmt_4[i0, i1] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= 1023 }",
@@ -17,19 +17,19 @@
"accesses" : [
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1536i0 + i1] }"
},
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_A[1037i0 + i2] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_A[1536i0 + i2] }"
},
{
"kind" : "read",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_B[i1 + 1047i2] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_B[i1 + 1536i2] }"
},
{
"kind" : "write",
- "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1067i0 + i1] }"
+ "relation" : "{ Stmt_6[i0, i1, i2] -> MemRef_C[1536i0 + i1] }"
}
],
"domain" : "{ Stmt_6[i0, i1, i2] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 1023 }",
Modified: polly/trunk/www/experiments/matmul/runall.sh
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/experiments/matmul/runall.sh?rev=154952&r1=154951&r2=154952&view=diff
==============================================================================
--- polly/trunk/www/experiments/matmul/runall.sh (original)
+++ polly/trunk/www/experiments/matmul/runall.sh Tue Apr 17 16:38:20 2012
@@ -8,7 +8,7 @@
alias opt="opt -load ${PATH_TO_POLLY_LIB}/LLVMPolly.so"
echo "--> 3. Prepare the LLVM-IR for Polly"
-opt -S -mem2reg -loop-simplify -indvars matmul.s > matmul.preopt.ll
+opt -S -mem2reg -loop-simplify -polly-indvars matmul.s > matmul.preopt.ll
echo "--> 4. Show the SCoPs detected by Polly"
opt -basicaa -polly-cloog -analyze -q matmul.preopt.ll
More information about the llvm-commits
mailing list