diff options
Diffstat (limited to 'polly/test/ScopInfo/simple_loop_unsigned.ll')
| -rw-r--r-- | polly/test/ScopInfo/simple_loop_unsigned.ll | 4 |
1 files changed, 3 insertions, 1 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 }; |
