mirror of
https://review.haiku-os.org/buildtools
synced 2024-11-23 07:18:49 +01:00
97 lines
2.4 KiB
C
97 lines
2.4 KiB
C
/*
|
|
* Copyright 2012 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/local_space.h>
|
|
|
|
#include <isl_multi_macro.h>
|
|
|
|
/* Create a multi expression in the given space that maps each
|
|
* input dimension to the corresponding output dimension.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),identity)(__isl_take isl_space *space)
|
|
{
|
|
int i;
|
|
isl_size n_in, n_out;
|
|
isl_local_space *ls;
|
|
MULTI(BASE) *multi;
|
|
|
|
if (!space)
|
|
return NULL;
|
|
|
|
if (isl_space_is_set(space))
|
|
isl_die(isl_space_get_ctx(space), isl_error_invalid,
|
|
"expecting map space", goto error);
|
|
|
|
n_in = isl_space_dim(space, isl_dim_in);
|
|
n_out = isl_space_dim(space, isl_dim_out);
|
|
if (n_in < 0 || n_out < 0)
|
|
goto error;
|
|
if (n_in != n_out)
|
|
isl_die(isl_space_get_ctx(space), isl_error_invalid,
|
|
"number of input and output dimensions needs to be "
|
|
"the same", goto error);
|
|
|
|
multi = FN(MULTI(BASE),alloc)(isl_space_copy(space));
|
|
|
|
if (!n_out) {
|
|
isl_space_free(space);
|
|
return multi;
|
|
}
|
|
|
|
space = isl_space_domain(space);
|
|
ls = isl_local_space_from_space(space);
|
|
|
|
for (i = 0; i < n_out; ++i) {
|
|
EL *el;
|
|
el = FN(EL,var_on_domain)(isl_local_space_copy(ls),
|
|
isl_dim_set, i);
|
|
multi = FN(FN(MULTI(BASE),set),BASE)(multi, i, el);
|
|
}
|
|
|
|
isl_local_space_free(ls);
|
|
|
|
return multi;
|
|
error:
|
|
isl_space_free(space);
|
|
return NULL;
|
|
}
|
|
|
|
/* Create a multi expression that maps elements in the given space
|
|
* to themselves.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(MULTI(BASE),identity_on_domain_space)(
|
|
__isl_take isl_space *space)
|
|
{
|
|
return FN(MULTI(BASE),identity)(isl_space_map_from_set(space));
|
|
}
|
|
|
|
/* This function performs the same operation as
|
|
* isl_multi_*_identity_on_domain_space,
|
|
* but is considered as a function on an isl_space when exported.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(FN(isl_space_identity_multi,BASE),on_domain)(
|
|
__isl_take isl_space *space)
|
|
{
|
|
return FN(MULTI(BASE),identity_on_domain_space)(space);
|
|
}
|
|
|
|
/* Create a multi expression in the same space as "multi" that maps each
|
|
* input dimension to the corresponding output dimension.
|
|
*/
|
|
__isl_give MULTI(BASE) *FN(FN(MULTI(BASE),identity_multi),BASE)(
|
|
__isl_take MULTI(BASE) *multi)
|
|
{
|
|
isl_space *space;
|
|
|
|
space = FN(MULTI(BASE),get_space)(multi);
|
|
FN(MULTI(BASE),free)(multi);
|
|
return FN(MULTI(BASE),identity)(space);
|
|
}
|