diff options
| -rw-r--r-- | polly/test/ScopInfo/multidim_fixedsize_multi_offset.ll | 6 | ||||
| -rw-r--r-- | polly/test/ScopInfo/process_added_dimensions.ll | 8 |
2 files changed, 12 insertions, 2 deletions
diff --git a/polly/test/ScopInfo/multidim_fixedsize_multi_offset.ll b/polly/test/ScopInfo/multidim_fixedsize_multi_offset.ll index bc0f9676f6d..8cf2e8def74 100644 --- a/polly/test/ScopInfo/multidim_fixedsize_multi_offset.ll +++ b/polly/test/ScopInfo/multidim_fixedsize_multi_offset.ll @@ -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 := diff --git a/polly/test/ScopInfo/process_added_dimensions.ll b/polly/test/ScopInfo/process_added_dimensions.ll index 97bdebb820a..48a8bdf4c3a 100644 --- a/polly/test/ScopInfo/process_added_dimensions.ll +++ b/polly/test/ScopInfo/process_added_dimensions.ll @@ -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 := |
