[polly] r231594 - Update test cases to work independently of delinearization default

[Tobias Grosser]

Author: grosser
Date: Sun Mar  8 10:21:15 2015
New Revision: 231594

URL: http://llvm.org/viewvc/llvm-project?rev=231594&view=rev
Log:
Update test cases to work independently of delinearization default

Modified:
    polly/trunk/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll
    polly/trunk/test/ScopInfo/NonAffine/non_affine_access_with_range.ll
    polly/trunk/test/ScopInfo/multidim_single_and_multidim_array.ll

Modified: polly/trunk/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll?rev=231594&r1=231593&r2=231594&view=diff
==============================================================================
--- polly/trunk/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll (original)
+++ polly/trunk/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll Sun Mar  8 10:21:15 2015
@@ -1,5 +1,5 @@
 ; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -analyze < %s 2>&1| FileCheck %s
-; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=ALL
+; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-delinearize=false -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=ALL
 ; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-delinearize -analyze < %s 2>&1| FileCheck %s -check-prefix=DELIN
 ; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-delinearize -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=DELIN-ALL
 ; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-allow-nonaffine -analyze < %s 2>&1| FileCheck %s -check-prefix=NONAFFINE

Modified: polly/trunk/test/ScopInfo/NonAffine/non_affine_access_with_range.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/NonAffine/non_affine_access_with_range.ll?rev=231594&r1=231593&r2=231594&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/NonAffine/non_affine_access_with_range.ll (original)
+++ polly/trunk/test/ScopInfo/NonAffine/non_affine_access_with_range.ll Sun Mar  8 10:21:15 2015
@@ -2,13 +2,16 @@
 ;
 ;    void f(int *A, char c) {
 ;      for (int i = 0; i < 1024; i++)
-;        A[i * c]++;
+;        A[i * c - 3]++;
 ;    }
 ;
-; CHECK: ReadAccess := [Reduction Type: +] [Scalar: 0]
-; CHECK:     { Stmt_bb2[i0] -> MemRef_A[o0] : o0 <= 261115 and o0 >= -3 };
-; CHECK: MayWriteAccess := [Reduction Type: +] [Scalar: 0]
-; CHECK:     { Stmt_bb2[i0] -> MemRef_A[o0] : o0 <= 261115 and o0 >= -3 };
+; CHECK: Assumed Context:
+; CHECK:  [p_0] -> {  : 1 = 0 }
+; CHECK: ReadAccess :=       [Reduction Type: +] [Scalar: 0]
+; CHECK: [p_0] -> { Stmt_bb2[i0] -> MemRef_A[i0, -3] };
+; CHECK: MustWriteAccess :=  [Reduction Type: +] [Scalar: 0]
+; CHECK: [p_0] -> { Stmt_bb2[i0] -> MemRef_A[i0, -3] };
+
 ;
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 

Modified: polly/trunk/test/ScopInfo/multidim_single_and_multidim_array.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/multidim_single_and_multidim_array.ll?rev=231594&r1=231593&r2=231594&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/multidim_single_and_multidim_array.ll (original)
+++ polly/trunk/test/ScopInfo/multidim_single_and_multidim_array.ll Sun Mar  8 10:21:15 2015
@@ -1,5 +1,5 @@
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -analyze < %s | FileCheck %s
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-allow-nonaffine -analyze < %s | FileCheck %s --check-prefix=NONAFFINE
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-delinearize=false -analyze < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-delinearize=false -polly-allow-nonaffine -analyze < %s | FileCheck %s --check-prefix=NONAFFINE
 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-delinearize -analyze < %s | FileCheck %s --check-prefix=DELIN
 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-scops -polly-delinearize -polly-allow-nonaffine -analyze < %s | FileCheck %s --check-prefix=DELIN