add generic isl_map_project_out

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

diff --git a/isl_test.c b/isl_test.c
index 0c9590d..8119f42 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -83,6 +83,12 @@ void test_dim(struct isl_ctx *ctx)
        map2 = isl_map_read_from_str(ctx,
            "[n] -> { [i,k] -> [j] : exists (a = [i/10] : i - 10a <= n ) }", -1);
        assert(isl_map_is_equal(map1, map2));
+       isl_map_free(map2);
+
+       map1 = isl_map_project_out(map1, isl_dim_in, 0, 1);
+       map2 = isl_map_read_from_str(ctx, "[n] -> { [i] -> [j] : n >= 0 }", -1);
+       assert(isl_map_is_equal(map1, map2));
+
        isl_map_free(map1);
        isl_map_free(map2);
 }