add a transitive closure example from the Omega test suite

[platform/upstream/isl.git] / isl_test.c

diff --git a/isl_test.c b/isl_test.c
index 9d3cc5b..98254e8 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -724,7 +724,7 @@ void test_closure(struct isl_ctx *ctx)
                        "i2 = i + 1 and j2 = j + 1 and i <= 2 j - 1 and "
                        "i <= n - 1 and j <= 2 i - 1 and j <= n - 1 }", -1);
        map = isl_map_power(map, 1, &exact);
-       assert(!exact);
+       assert(exact);
        isl_map_free(map);
 
        /* COCOA Fig.2 right */
@@ -802,6 +802,17 @@ void test_closure(struct isl_ctx *ctx)
        assert(isl_map_is_equal(map, map2));
        isl_map_free(map2);
        isl_map_free(map);
+
+       /* Omega's closure4 */
+       map = isl_map_read_from_str(ctx,
+               "[m,n] -> { [x,y] -> [x2,y2] : x2 = x and y2 = y + 1 and "
+                       "1 <= x,y <= 10 or "
+                       "x2 = x + 1 and y2 = y and "
+                       "1 <= x <= 20 && 5 <= y <= 15 }", -1);
+       map = isl_map_transitive_closure(map, &exact);
+       assert(exact);
+       isl_map_free(map);
+
 }
 
 int main()