isl_stream_read_map: allow "not" at start of grouped expression

Reported-by: Vladimir Klebanov <vladimir@cost-ic0701.org>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/isl_input.c b/isl_input.c
index c65faac..495366f 100644 (file)
--- a/isl_input.c
+++ b/isl_input.c
@@ -1064,6 +1064,7 @@ static int resolve_paren_expr(struct isl_stream *s,
                        goto error;
 
        if (isl_stream_next_token_is(s, ISL_TOKEN_EXISTS) ||
+           isl_stream_next_token_is(s, ISL_TOKEN_NOT) ||
            isl_stream_next_token_is(s, ISL_TOKEN_TRUE) ||
            isl_stream_next_token_is(s, ISL_TOKEN_FALSE) ||
            isl_stream_next_token_is(s, ISL_TOKEN_MAP)) {

diff --git a/isl_test.c b/isl_test.c
index c6cd583..4fda4d8 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -190,6 +190,10 @@ int test_parse(struct isl_ctx *ctx)
        test_parse_pwaff(ctx, "{ [i] -> [i + 1] : i > 0; [a] -> [a] : a < 0 }");
        test_parse_pwqp(ctx, "{ [x] -> ([(x)/2] * [(x)/3]) }");
 
+       if (test_parse_map_equal(ctx, "{ [a] -> [b] : (not false) }",
+                                     "{ [a] -> [b] : true }") < 0)
+               return -1;
+
        return 0;
 }