isl_input.c: accept_div: accept floor/ceil of rational affine expression

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

diff --git a/isl_test.c b/isl_test.c
index eeb2fc3..5d3e4aa 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -209,6 +209,10 @@ int test_parse(struct isl_ctx *ctx)
        if (test_parse_map_equal(ctx, "{ [*] }", "{ [a] }") < 0)
                return -1;
 
+       if (test_parse_map_equal(ctx, "{ [i] : 2*floor(i/2) = i }",
+                                     "{ [i] : exists a : i = 2 a }") < 0)
+               return -1;
+
        return 0;
 }