[polly] r203476 - Update CLooG and some test cases
Tobias Grosser
tobias at grosser.es
Mon Mar 10 10:31:22 PDT 2014
Author: grosser
Date: Mon Mar 10 12:31:22 2014
New Revision: 203476
URL: http://llvm.org/viewvc/llvm-project?rev=203476&view=rev
Log:
Update CLooG and some test cases
This is necessary to avoid test failures in the CLooG test suite due to the
recent isl update.
We also need to update two polly test cases which rely on a certain order in the
textual description that isl chooses for its sets and maps. Changes here are not
often, but we should probably switch to a check that verifies such maps are
semantically equivalent instead of represented identically.
Modified:
polly/trunk/test/Dependences/do_pluto_matmult.ll
polly/trunk/test/Dependences/sequential_loops.ll
polly/trunk/utils/checkout_cloog.sh
Modified: polly/trunk/test/Dependences/do_pluto_matmult.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Dependences/do_pluto_matmult.ll?rev=203476&r1=203475&r2=203476&view=diff
==============================================================================
--- polly/trunk/test/Dependences/do_pluto_matmult.ll (original)
+++ polly/trunk/test/Dependences/do_pluto_matmult.ll Mon Mar 10 12:31:22 2014
@@ -73,8 +73,8 @@ do.end45:
; VALUE: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, 1 + i2] : i0 >= 0 and i0 <= 35 and i1 >= 0 and i1 <= 35 and i2 >= 0 and i2 <= 34 }
; MEMORY: RAW dependences:
-; MEMORY: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, o2] : i0 >= 0 and i0 <= 35 and i1 >= 0 and i1 <= 35 and i2 >= 0 and i2 <= 35 and o2 >= 1 + i2 and o2 <= 35 and o2 >= 0 }
+; MEMORY: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, o2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 >= 0 and o2 >= 1 + i2 and o2 <= 35 and o2 >= 0 }
; MEMORY: WAR dependences:
-; MEMORY: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, o2] : i0 >= 0 and i0 <= 35 and i1 >= 0 and i1 <= 35 and i2 >= 0 and i2 <= 35 and o2 >= 1 + i2 and o2 <= 35 and o2 >= 0 }
+; MEMORY: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, o2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 >= 0 and o2 >= 1 + i2 and o2 <= 35 and o2 >= 0 }
; MEMORY: WAW dependences:
-; MEMORY: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, o2] : i0 >= 0 and i0 <= 35 and i1 >= 0 and i1 <= 35 and i2 >= 0 and i2 <= 35 and o2 >= 1 + i2 and o2 <= 35 and o2 >= 0 }
+; MEMORY: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, o2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 >= 0 and o2 >= 1 + i2 and o2 <= 35 and o2 >= 0 }
Modified: polly/trunk/test/Dependences/sequential_loops.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Dependences/sequential_loops.ll?rev=203476&r1=203475&r2=203476&view=diff
==============================================================================
--- polly/trunk/test/Dependences/sequential_loops.ll (original)
+++ polly/trunk/test/Dependences/sequential_loops.ll Mon Mar 10 12:31:22 2014
@@ -70,9 +70,9 @@ exit.3:
; MEMORY: { }
; MEMORY: WAW dependences:
; MEMORY: {
-; MEMORY: Stmt_S1[i0] -> Stmt_S2[i0] : i0 >= 0 and i0 <= 9;
-; MEMORY: Stmt_S2[i0] -> Stmt_S3[i0] : i0 >= 0 and i0 <= 9;
-; MEMORY: Stmt_S1[i0] -> Stmt_S3[i0] : i0 >= 0 and i0 <= 99
+; MEMORY: Stmt_S1[i0] -> Stmt_S2[i0] : i0 <= 9 and i0 >= 0;
+; MEMORY: Stmt_S2[i0] -> Stmt_S3[i0] : i0 <= 9 and i0 >= 0;
+; MEMORY: Stmt_S1[i0] -> Stmt_S3[i0] : i0 <= 99 and i0 >= 0
; MEMORY: }
; for(i = 0; i < 100; i++ )
@@ -142,14 +142,14 @@ exit.3:
; MEMORY: region: 'S1 => exit.3' in function 'read_after_writes':
; MEMORY: RAW dependences:
; MEMORY: {
-; MEMORY: Stmt_S2[i0] -> Stmt_S3[i0] : i0 >= 0 and i0 <= 9;
-; MEMORY: Stmt_S1[i0] -> Stmt_S3[i0] : i0 >= 0 and i0 <= 99
+; MEMORY: Stmt_S2[i0] -> Stmt_S3[i0] : i0 <= 9 and i0 >= 0;
+; MEMORY: Stmt_S1[i0] -> Stmt_S3[i0] : i0 <= 99 and i0 >= 0
; MEMORY: }
; MEMORY: WAR dependences:
; MEMORY: { }
; MEMORY: WAW dependences:
; MEMORY: {
-; MEMORY: Stmt_S1[i0] -> Stmt_S2[i0] : i0 >= 0 and i0 <= 9
+; MEMORY: Stmt_S1[i0] -> Stmt_S2[i0] : i0 <= 9 and i0 >= 0
; MEMORY: }
; for(i = 0; i < 100; i++ )
@@ -209,8 +209,8 @@ exit.3:
; VALUE: }
; VALUE: WAR dependences:
; VALUE: {
-; VALUE: Stmt_S1[i0] -> Stmt_S2[i0] : i0 >= 0 and i0 <= 9;
-; VALUE: Stmt_S1[i0] -> Stmt_S3[i0] : i0 >= 10 and i0 <= 99
+; VALUE: Stmt_S1[i0] -> Stmt_S2[i0] : i0 <= 9 and i0 >= 0;
+; VALUE: Stmt_S1[i0] -> Stmt_S3[i0] : i0 <= 99 and i0 >= 10
; VALUE: }
; VALUE: WAW dependences:
; VALUE: {
@@ -223,12 +223,12 @@ exit.3:
; MEMORY: }
; MEMORY: WAR dependences:
; MEMORY: {
-; MEMORY: Stmt_S1[i0] -> Stmt_S2[i0] : i0 >= 0 and i0 <= 9;
-; MEMORY: Stmt_S1[i0] -> Stmt_S3[i0] : i0 >= 0 and i0 <= 9
+; MEMORY: Stmt_S1[i0] -> Stmt_S2[i0] : i0 <= 9 and i0 >= 0;
+; MEMORY: Stmt_S1[i0] -> Stmt_S3[i0] : i0 <= 99 and i0 >= 0
; MEMORY: }
; MEMORY: WAW dependences:
; MEMORY: {
-; MEMORY: Stmt_S2[i0] -> Stmt_S3[i0] : i0 >= 0 and i0 <= 9
+; MEMORY: Stmt_S2[i0] -> Stmt_S3[i0] : i0 <= 9 and i0 >= 0
; MEMORY: }
; for(i = 0; i < 100; i++ )
@@ -286,7 +286,7 @@ exit.2:
; MEMORY: RAW dependences:
; MEMORY: [p] -> {
; MEMORY: Stmt_S1[i0] -> Stmt_S2[-p + i0] :
-; MEMORY: i0 >= 0 and i0 <= 99 and i0 >= p and i0 <= 9 + p
+; MEMORY: i0 >= p and i0 <= 99 and i0 >= 0 and i0 <= 9 + p
; MEMORY: }
; MEMORY: WAR dependences:
; MEMORY: [p] -> {
Modified: polly/trunk/utils/checkout_cloog.sh
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/utils/checkout_cloog.sh?rev=203476&r1=203475&r2=203476&view=diff
==============================================================================
--- polly/trunk/utils/checkout_cloog.sh (original)
+++ polly/trunk/utils/checkout_cloog.sh Mon Mar 10 12:31:22 2014
@@ -1,6 +1,6 @@
#!/bin/sh
-CLOOG_HASH="2d8b7c6b43ee46fee978a57fa6877de49675f357"
+CLOOG_HASH="22643c94eba7b010ae4401c347289f4f52b9cd2b"
ISL_HASH="14d7941489582c8ace26f661f78936041641edf7"
PWD=`pwd`
More information about the llvm-commits
mailing list