Skip to content

Commit 5a9a65e

Browse files
MeinersburMeinersbur
committedJan 15, 2016
Prepare unit tests for update to ISL 0.16
ISL 0.16 will change how sets are printed which breaks 117 unit tests that text-compare printed sets. This patch re-formats most of these unit tests using a script and small manual editing on top of that. When actually updating ISL, most work is done by just re-running the script to adapt to the changed output. Some tests that compare IR and tests with single CHECK-lines that can be easily updated manually are not included here. The re-format script will also be committed afterwards. The per-test formatter invocation command lines options will not be added in the near future because it is ad hoc and would overwrite the manual edits. Ideally it also shouldn't be required anymore because ISL's set printing has become more stable in 0.16. Differential Revision: http://reviews.llvm.org/D16095 llvm-svn: 257851
1 parent 81e2e9e commit 5a9a65e

File tree

105 files changed

+2654
-2496
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

105 files changed

+2654
-2496
lines changed
 

‎polly/test/DependenceInfo/computeout.ll

+12-18
Original file line numberDiff line numberDiff line change
@@ -50,22 +50,16 @@ exit.3:
5050
ret void
5151
}
5252

53-
; VALUE: region: 'S1 => exit.3' in function 'sequential_writes':
54-
; VALUE: RAW dependences:
55-
; VALUE: { }
56-
; VALUE: WAR dependences:
57-
; VALUE: { }
58-
; VALUE: WAW dependences:
59-
; VALUE: {
60-
; VALUE: Stmt_S1[i0] -> Stmt_S2[i0] : i0 <= 9 and i0 >= 0;
61-
; VALUE: Stmt_S2[i0] -> Stmt_S3[i0] : i0 <= 9 and i0 >= 0;
62-
; VALUE: Stmt_S1[i0] -> Stmt_S3[i0] : i0 <= 99 and i0 >= 10
63-
; VALUE: }
53+
; VALUE: RAW dependences:
54+
; VALUE-NEXT: { }
55+
; VALUE-NEXT: WAR dependences:
56+
; VALUE-NEXT: { }
57+
; VALUE-NEXT: WAW dependences:
58+
; VALUE-NEXT: { Stmt_S1[i0] -> Stmt_S2[i0] : i0 <= 9 and i0 >= 0; Stmt_S2[i0] -> Stmt_S3[i0] : i0 <= 9 and i0 >= 0; Stmt_S1[i0] -> Stmt_S3[i0] : i0 <= 99 and i0 >= 10 }
6459

65-
; TIMEOUT: region: 'S1 => exit.3' in function 'sequential_writes':
66-
; TIMEOUT: RAW dependences:
67-
; TIMEOUT: n/a
68-
; TIMEOUT: WAR dependences:
69-
; TIMEOUT: n/a
70-
; TIMEOUT: WAW dependences:
71-
; TIMEOUT: n/a
60+
; TIMEOUT: RAW dependences:
61+
; TIMEOUT-NEXT: n/a
62+
; TIMEOUT-NEXT: WAR dependences:
63+
; TIMEOUT-NEXT: n/a
64+
; TIMEOUT-NEXT: WAW dependences:
65+
; TIMEOUT-NEXT: n/a

‎polly/test/DependenceInfo/do_pluto_matmult.ll

+13-14
Original file line numberDiff line numberDiff line change
@@ -64,17 +64,16 @@ do.end45: ; preds = %do.cond42
6464
ret void
6565
}
6666

67-
; VALUE: RAW dependences:
68-
; VALUE: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, 1 + i2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 <= 34 and i2 >= 0 }
69-
; VALUE: WAR dependences:
70-
; VALUE: { }
71-
; VALUE: WAW dependences:
72-
; VALUE: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, 1 + i2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 <= 34 and i2 >= 0 }
73-
74-
75-
; MEMORY: RAW dependences:
76-
; 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 }
77-
; MEMORY: WAR dependences:
78-
; 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 }
79-
; MEMORY: WAW dependences:
80-
; 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 }
67+
; VALUE: RAW dependences:
68+
; VALUE-NEXT: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, 1 + i2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 <= 34 and i2 >= 0 }
69+
; VALUE-NEXT: WAR dependences:
70+
; VALUE-NEXT: { }
71+
; VALUE-NEXT: WAW dependences:
72+
; VALUE-NEXT: { Stmt_do_body2[i0, i1, i2] -> Stmt_do_body2[i0, i1, 1 + i2] : i0 <= 35 and i0 >= 0 and i1 <= 35 and i1 >= 0 and i2 <= 34 and i2 >= 0 }
73+
74+
; MEMORY: RAW dependences:
75+
; MEMORY-NEXT: { 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 }
76+
; MEMORY-NEXT: WAR dependences:
77+
; MEMORY-NEXT: { 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 }
78+
; MEMORY-NEXT: WAW dependences:
79+
; MEMORY-NEXT: { 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 }

0 commit comments

Comments
 (0)
Please sign in to comment.