From 6708b657e25526ffd6c41823a0c64acba1d87241 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 28 Apr 2010 16:26:27 +0200
Subject: [PATCH] isl_map_read: parse parametric Omega input

---
 isl_input.c | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/isl_input.c b/isl_input.c
index 01580f4..01d3cf8 100644
--- a/isl_input.c
+++ b/isl_input.c
@@ -1322,6 +1322,21 @@ static struct isl_obj obj_read(struct isl_stream *s, int nparam)
 	}
 	isl_token_free(tok);
 
+	tok = isl_stream_next_token(s);
+	if (!tok)
+		;
+	else if (tok->type == ISL_TOKEN_IDENT && !strcmp(tok->u.s, "Sym")) {
+		isl_token_free(tok);
+		if (isl_stream_eat(s, '='))
+			goto error;
+		bmap = read_tuple(s, bmap, isl_dim_param, v);
+		if (!bmap)
+			goto error;
+		if (nparam >= 0)
+			isl_assert(s->ctx, nparam == v->n, goto error);
+	} else
+		isl_stream_push_token(s, tok);
+
 	for (;;) {
 		struct isl_obj o;
 		tok = NULL;
-- 
2.7.4