isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_list_read_templ.c
blob11c2bd52183ff629395f307a2d28f85a402dff73
1 /*
2 * Copyright 2017 Sven Verdoolaege
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege.
7 */
9 #include <isl/stream.h>
11 #include <isl_list_macro.h>
13 /* Read a list of elements of type EL from "s".
14 * The input format corresponds to the way lists are printed
15 * by isl_printer_print_list_*.
16 * In particular, the elements are separated by a comma and
17 * the entire list is surrounded by parentheses.
19 __isl_give LIST(EL) *FN(isl_stream_read,LIST(EL_BASE))(isl_stream *s)
21 isl_ctx *ctx;
22 LIST(EL) *list;
24 if (!s)
25 return NULL;
26 ctx = isl_stream_get_ctx(s);
27 list = FN(LIST(EL),alloc)(ctx, 0);
28 if (!list)
29 return NULL;
30 if (isl_stream_eat(s, '(') < 0)
31 return FN(LIST(EL),free)(list);
32 if (isl_stream_eat_if_available(s, ')'))
33 return list;
34 do {
35 EL *el;
37 el = FN(isl_stream_read,EL_BASE)(s);
38 list = FN(LIST(EL),add)(list, el);
39 if (!list)
40 return NULL;
41 } while (isl_stream_eat_if_available(s, ','));
42 if (isl_stream_eat(s, ')') < 0)
43 return FN(LIST(EL),free)(list);
44 return list;
47 #undef TYPE_BASE
48 #define TYPE_BASE LIST(EL_BASE)
49 #include "isl_read_from_str_templ.c"