[polly] r266323 - Add contexts to test cases. NFC.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Thu Apr 14 10:22:13 2016
New Revision: 266323

URL: http://llvm.org/viewvc/llvm-project?rev=266323&view=rev
Log:
Add contexts to test cases. NFC.

As discussed in the Polly weekly phone call and reviews.llvm.org/D18878,
the assumed contexts changed (widen) due to D18878/r265942. Also check
these contexts in the tests affected by that change.

Modified:
    polly/trunk/test/ScopInfo/multidim_fixedsize_multi_offset.ll
    polly/trunk/test/ScopInfo/process_added_dimensions.ll

Modified: polly/trunk/test/ScopInfo/multidim_fixedsize_multi_offset.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/multidim_fixedsize_multi_offset.ll?rev=266323&r1=266322&r2=266323&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/multidim_fixedsize_multi_offset.ll (original)
+++ polly/trunk/test/ScopInfo/multidim_fixedsize_multi_offset.ll Thu Apr 14 10:22:13 2016
@@ -1,5 +1,11 @@
 ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
 ;
+; CHECK:      Context:
+; CHECK-NEXT: {  :  }
+; CHECK:      Assumed Context:
+; CHECK-NEXT: {  :  }
+; CHECK:      Invalid Context:
+; CHECK-NEXT: {  : 1 = 0 }
 ; CHECK:      Statements {
 ; CHECK-NEXT:     Stmt_for_body
 ; CHECK-NEXT:         Domain :=

Modified: polly/trunk/test/ScopInfo/process_added_dimensions.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/process_added_dimensions.ll?rev=266323&r1=266322&r2=266323&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/process_added_dimensions.ll (original)
+++ polly/trunk/test/ScopInfo/process_added_dimensions.ll Thu Apr 14 10:22:13 2016
@@ -1,7 +1,11 @@
 ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
 
-; CHECK:      Invariant Accesses: {
-; CHECK-NEXT: }
+; CHECK:      Context:
+; CHECK-NEXT: {  :  }
+; CHECK:      Assumed Context:
+; CHECK-NEXT: {  :  }
+; CHECK:      Invalid Context:
+; CHECK-NEXT: {  : 1 = 0 }
 ; CHECK:      Statements {
 ; CHECK-NEXT:     Stmt_for_cond40_preheader_4
 ; CHECK-NEXT:         Domain :=