mirror of
https://review.haiku-os.org/buildtools
synced 2024-11-23 07:18:49 +01:00
95 lines
2.2 KiB
C
95 lines
2.2 KiB
C
/*
|
|
* Copyright 2013 Ecole Normale Superieure
|
|
*
|
|
* Use of this software is governed by the MIT license
|
|
*
|
|
* Written by Sven Verdoolaege,
|
|
* Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
|
|
*/
|
|
|
|
#include <isl/space.h>
|
|
#include <isl/set.h>
|
|
|
|
#include <isl_multi_macro.h>
|
|
|
|
/* This function is called for each element in a tuple inside
|
|
* isl_stream_read_multi_*.
|
|
* Read an EL from "s" and add it to *list.
|
|
*/
|
|
static __isl_give isl_space *FN(read_el,BASE)(__isl_keep isl_stream *s,
|
|
struct vars *v, __isl_take isl_space *space, int rational, void *user)
|
|
{
|
|
LIST(EL) **list = (LIST(EL) **) user;
|
|
EL *el;
|
|
|
|
el = FN(isl_stream_read,BASE)(s);
|
|
*list = FN(LIST(EL),add)(*list, el);
|
|
if (!*list)
|
|
return isl_space_free(space);
|
|
|
|
return space;
|
|
}
|
|
|
|
/* Read a multi expression from "s".
|
|
*
|
|
* We first read a tuple space, collecting the element values in a list.
|
|
* Then we create an isl_multi_* from the space and the isl_*_list.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(isl_stream_read_multi,BASE)(
|
|
__isl_keep isl_stream *s)
|
|
{
|
|
struct vars *v;
|
|
isl_set *dom = NULL;
|
|
isl_space *space;
|
|
MULTI(BASE) *multi = NULL;
|
|
LIST(EL) *list;
|
|
|
|
v = vars_new(s->ctx);
|
|
if (!v)
|
|
return NULL;
|
|
|
|
dom = isl_set_universe(isl_space_params_alloc(s->ctx, 0));
|
|
if (next_is_tuple(s)) {
|
|
dom = read_map_tuple(s, dom, isl_dim_param, v, 1, 0);
|
|
if (isl_stream_eat(s, ISL_TOKEN_TO))
|
|
goto error;
|
|
}
|
|
if (!isl_set_plain_is_universe(dom))
|
|
isl_die(s->ctx, isl_error_invalid,
|
|
"expecting universe parameter domain", goto error);
|
|
if (isl_stream_eat(s, '{'))
|
|
goto error;
|
|
|
|
space = isl_set_get_space(dom);
|
|
|
|
list = FN(LIST(EL),alloc)(s->ctx, 0);
|
|
space = read_tuple_space(s, v, space, 1, 0, &FN(read_el,BASE), &list);
|
|
multi = FN(FN(MULTI(BASE),from),LIST(BASE))(space, list);
|
|
|
|
if (isl_stream_eat(s, '}'))
|
|
goto error;
|
|
|
|
vars_free(v);
|
|
isl_set_free(dom);
|
|
return multi;
|
|
error:
|
|
vars_free(v);
|
|
isl_set_free(dom);
|
|
FN(MULTI(BASE),free)(multi);
|
|
return NULL;
|
|
}
|
|
|
|
/* Read a multi expression from "str".
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),read_from_str)(isl_ctx *ctx,
|
|
const char *str)
|
|
{
|
|
MULTI(BASE) *multi;
|
|
isl_stream *s = isl_stream_new_str(ctx, str);
|
|
if (!s)
|
|
return NULL;
|
|
multi = FN(isl_stream_read_multi,BASE)(s);
|
|
isl_stream_free(s);
|
|
return multi;
|
|
}
|