summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--polly/test/ScopInfo/aliasing_many_parameters_not_all_involved.ll5
-rw-r--r--polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll9
-rw-r--r--polly/test/ScopInfo/cond_in_loop.ll3
-rw-r--r--polly/test/ScopInfo/fortran_array_param_nonmalloc_nonvectored.ll2
-rw-r--r--polly/test/ScopInfo/integers.ll18
-rw-r--r--polly/test/ScopInfo/licm_load.ll2
-rw-r--r--polly/test/ScopInfo/undef_in_cond.ll2
7 files changed, 19 insertions, 22 deletions
diff --git a/polly/test/ScopInfo/aliasing_many_parameters_not_all_involved.ll b/polly/test/ScopInfo/aliasing_many_parameters_not_all_involved.ll
index 3e76534faf7..ccf0b854f65 100644
--- a/polly/test/ScopInfo/aliasing_many_parameters_not_all_involved.ll
+++ b/polly/test/ScopInfo/aliasing_many_parameters_not_all_involved.ll
@@ -4,10 +4,9 @@
; Check that we allow this SCoP even though it has 10 parameters involved in posisbly aliasing accesses.
; However, only 7 are involved in accesses through B, 8 through C and none in accesses through A.
;
-; MAX8-LABEL: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'for.cond => for.end' in function 'jd':
-; MAX8: Function: jd
+; MAX8-LABEL: Function: jd
+; MAX8-NEXT: Region: %for.cond---%for.end
-; MAX7-LABEL: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'for.cond => for.end' in function 'jd':
; MAX7: Invalid Scop!
;
; void jd(int *A, int *B, int *C, long p1, long p2, long p3, long p4, long p5,
diff --git a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll
index 1c3d473fdd4..62c7e71c716 100644
--- a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll
+++ b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll
@@ -4,14 +4,7 @@
; RUN: -polly-allow-nonaffine-branches=false < %s | \
; RUN: FileCheck %s -check-prefix=NO-NONEAFFINE
-; NONAFFINE: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'branch => end' in function 'f':
-; NONAFFINE-NEXT: Invalid Scop!
-; NONAFFINE-NEXT: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'loop => branch' in function 'f':
-; NONAFFINE-NEXT: Invalid Scop!
-; NONAFFINE-NEXT: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'loop => end' in function 'f':
-; NONAFFINE-NEXT: Invalid Scop!
-; NONAFFINE-NEXT: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'entry => <Function Return>' in function 'f':
-; NONAFFINE-NEXT: Invalid Scop!
+; NONAFFINE-NOT: Statements
; NO-NONEAFFINE: Statements {
; NO-NONEAFFINE-NEXT: Stmt_then
diff --git a/polly/test/ScopInfo/cond_in_loop.ll b/polly/test/ScopInfo/cond_in_loop.ll
index 67507c2176b..a971ede18e2 100644
--- a/polly/test/ScopInfo/cond_in_loop.ll
+++ b/polly/test/ScopInfo/cond_in_loop.ll
@@ -44,6 +44,5 @@ return: ; preds = %bb3, %entry
ret void
}
-; CHECK-LABEL: Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'bb => return' in function 'f':
-; CHECK-NEXT: Function: f
+; CHECK-LABEL: Function: f
; CHECK-NEXT: Region: %bb---%return
diff --git a/polly/test/ScopInfo/fortran_array_param_nonmalloc_nonvectored.ll b/polly/test/ScopInfo/fortran_array_param_nonmalloc_nonvectored.ll
index b0c34f536f8..04af4224aac 100644
--- a/polly/test/ScopInfo/fortran_array_param_nonmalloc_nonvectored.ll
+++ b/polly/test/ScopInfo/fortran_array_param_nonmalloc_nonvectored.ll
@@ -65,4 +65,4 @@ return: ; preds = %return.loopexit, %e
ret void
}
-; CHECK: MayWriteAccess := [Reduction Type: NONE] [Fortran array descriptor: xs] [Scalar: 0] \ No newline at end of file
+; CHECK: MayWriteAccess := [Reduction Type: NONE] [Fortran array descriptor: xs] [Scalar: 0]
diff --git a/polly/test/ScopInfo/integers.ll b/polly/test/ScopInfo/integers.ll
index 1a9db4609eb..25ef908b36a 100644
--- a/polly/test/ScopInfo/integers.ll
+++ b/polly/test/ScopInfo/integers.ll
@@ -14,7 +14,8 @@ bb:
store i1024 %indvar, i1024* %a, align 8
%indvar.next = add nsw i1024 %indvar, 1
%exitcond = icmp eq i1024 %indvar, 123456000000000000000000000
-; CHECK: 'bb => return' in function 'f'
+; CHECK-LABEL: Function: f
+; CHECK-NEXT: Region: %bb---%return
; CHECK: i0 <= 123456000000000000000000000
br i1 %exitcond, label %return, label %bb
@@ -33,7 +34,8 @@ bb:
store i32 %indvar, i32* %scevgep, align 8
%indvar.next = add nsw i32 %indvar, 1
%exitcond = icmp eq i32 %indvar, 123456
-; CHECK: 'bb => return' in function 'f2'
+; CHECK-LABEL: Function: f2
+; CHECK-NEXT: Region: %bb---%return
; CHECK: i0 <= 123456
br i1 %exitcond, label %return, label %bb
@@ -53,7 +55,8 @@ bb:
%indvar.next = add nsw i32 %indvar, 1
%sub = sub i32 %n, 123456
%exitcond = icmp eq i32 %indvar, %sub
-; CHECK: 'bb => return' in function 'f3'
+; CHECK-LABEL: Function: f3
+; CHECK-NEXT: Region: %bb---%return
; CHECK: -123456
br i1 %exitcond, label %return, label %bb
@@ -72,7 +75,8 @@ bb:
store i1024 %indvar, i1024* %scevgep, align 8
%indvar.next = add nsw i1024 %indvar, 1
%sub = sub i1024 %n, 123456000000000000000000000000000000
-; CHECK: 'bb => return' in function 'f4'
+; CHECK-LABEL: Function: f4
+; CHECK-NEXT: Region: %bb---%return
; CHECK: -123456000000000000000000000000000000
%exitcond = icmp eq i1024 %indvar, %sub
br i1 %exitcond, label %return, label %bb
@@ -91,7 +95,8 @@ bb:
store i1023 %indvar, i1023* %scevgep, align 8
%indvar.next = add nsw i1023 %indvar, 1
%sub = sub i1023 %n, 123456000000000000000000000000000000
-; CHECK: 'bb => return' in function 'f5'
+; CHECK-LABEL: Function: f5
+; CHECK-NEXT: Region: %bb---%return
; CHECK: -123456000000000000000000000000000000
%exitcond = icmp eq i1023 %indvar, %sub
br i1 %exitcond, label %return, label %bb
@@ -111,7 +116,8 @@ bb:
store i3 %indvar, i3* %scevgep, align 8
%indvar.next = add nsw i3 %indvar, 1
%sub = sub i3 %n, 3
-; CHECK-LABEL: 'bb => return' in function 'f6'
+; CHECK-LABEL: Function: f6
+; CHECK-NEXT: Region: %bb---%return
; CHECK: Context:
; CHECK-NEXT: [n] -> { : -4 <= n <= 3 }
; CHECK-NEXT: Assumed Context:
diff --git a/polly/test/ScopInfo/licm_load.ll b/polly/test/ScopInfo/licm_load.ll
index fb4edb0a42b..b8b8a9c84a4 100644
--- a/polly/test/ScopInfo/licm_load.ll
+++ b/polly/test/ScopInfo/licm_load.ll
@@ -49,6 +49,6 @@ for.end: ; preds = %for.cond
;
; CHECK: Statements {
; CHECK: Stmt_for_body
-; CHECK-DAG: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
+; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK-NEXT: [n, j] -> { Stmt_for_body[i0] -> MemRef_A[i0] };
; CHECK: }
diff --git a/polly/test/ScopInfo/undef_in_cond.ll b/polly/test/ScopInfo/undef_in_cond.ll
index c78666a6451..e66685a3830 100644
--- a/polly/test/ScopInfo/undef_in_cond.ll
+++ b/polly/test/ScopInfo/undef_in_cond.ll
@@ -19,4 +19,4 @@ bb14: ; preds = %bb5, %bb4, %bb3, %e
ret void
}
-; CHECK: Invalid Scop!
+; CHECK-NOT: Function:
OpenPOWER on IntegriCloud