isl_ast_build_ast_from_schedule: use "<" if upper bound has negative constant

[platform/upstream/isl.git] / test_inputs / codegen / cloog / reservoir-pingali5.c

diff --git a/test_inputs/codegen/cloog/reservoir-pingali5.c b/test_inputs/codegen/cloog/reservoir-pingali5.c
index 1d337c0..fe2d283 100644 (file)
--- a/test_inputs/codegen/cloog/reservoir-pingali5.c
+++ b/test_inputs/codegen/cloog/reservoir-pingali5.c
@@ -1,10 +1,10 @@
-for (int c1 = 3; c1 <= 2 * M - 1; c1 += 1) {
+for (int c1 = 3; c1 < 2 * M; c1 += 1) {
   for (int c3 = c1 - (c1 + 1) / 2 + 2; c3 <= M; c3 += 1)
-    for (int c7 = c1 - (c1 + 1) / 2 + 1; c7 <= min(c1 - 1, c3 - 1); c7 += 1)
+    for (int c7 = c1 - (c1 + 1) / 2 + 1; c7 < min(c1, c3); c7 += 1)
       S1(c7, c1 - c7, c3);
-  for (int c3 = max(1, -M + c1); c3 <= (c1 + 1) / 2 - 1; c3 += 1)
+  for (int c3 = max(1, -M + c1); c3 < (c1 + 1) / 2; c3 += 1)
     S2(c1 - c3, c3);
   for (int c3 = c1 - (c1 + 1) / 2 + 2; c3 <= M; c3 += 1)
-    for (int c7 = c1 - (c1 + 1) / 2 + 1; c7 <= min(c1 - 1, c3 - 1); c7 += 1)
+    for (int c7 = c1 - (c1 + 1) / 2 + 1; c7 < min(c1, c3); c7 += 1)
       S3(c7, c1 - c7, c3);
 }