isl_stream_read_map: read_var_list: simplify and finalize result

read_var_list may add equalities, so at the very least we need
to gauss the constraints and finalize the result, but it doesn't
seem to hurt to also simplify the result.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/isl_input.c b/isl_input.c
index 7ff7fa2..ff8c1e5 100644 (file)
--- a/isl_input.c
+++ b/isl_input.c
@@ -470,6 +470,8 @@ static __isl_give isl_basic_map *read_var_list(struct isl_stream *s,
        if (tok)
                isl_stream_push_token(s, tok);
 
+       bmap = isl_basic_map_simplify(bmap);
+       bmap = isl_basic_map_finalize(bmap);
        return bmap;
 error:
        isl_token_free(tok);