diff options
Diffstat (limited to 'polly/test')
| -rw-r--r-- | polly/test/ScopInfo/simple_loop_unsigned.ll | 4 | ||||
| -rw-r--r-- | polly/test/ScopInfo/simple_loop_unsigned_2.ll | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/polly/test/ScopInfo/simple_loop_unsigned.ll b/polly/test/ScopInfo/simple_loop_unsigned.ll index 0f451f2cc2b..dcd13ddc73b 100644 --- a/polly/test/ScopInfo/simple_loop_unsigned.ll +++ b/polly/test/ScopInfo/simple_loop_unsigned.ll @@ -8,7 +8,9 @@ ; } ; CHECK: Assumed Context: -; CHECK-NEXT: [N] -> { : N >= 0 } +; CHECK-NEXT: [N] -> { : } +; CHECK-NEXT: Invalid Context: +; CHECK-NEXT: [N] -> { : N < 0 } ; ; CHECK: Domain := ; CHECK-NEXT: [N] -> { Stmt_bb[i0] : 0 <= i0 < N; Stmt_bb[0] : N <= 0 }; diff --git a/polly/test/ScopInfo/simple_loop_unsigned_2.ll b/polly/test/ScopInfo/simple_loop_unsigned_2.ll index 744bf2771ad..8e7ef93c273 100644 --- a/polly/test/ScopInfo/simple_loop_unsigned_2.ll +++ b/polly/test/ScopInfo/simple_loop_unsigned_2.ll @@ -1,7 +1,9 @@ ; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s ; CHECK: Assumed Context: -; CHECK-NEXT: [N] -> { : N > 0 } +; CHECK-NEXT: [N] -> { : } +; CHECK-NEXT: Invalid Context: +; CHECK-NEXT: [N] -> { : N <= 0 or N >= 1152921504606846976 } ; ; CHECK: Domain := ; CHECK-NEXT: [N] -> { Stmt_bb[i0] : 0 <= i0 < N; Stmt_bb[0] : N <= 0 }; |
