mirror of
https://review.haiku-os.org/buildtools
synced 2025-02-22 13:47:44 +01:00
92b3138b83
Updated dependencies: * GMP 6.2.1 * ISL 0.24 * MPL 1.2.1 * MPFR 4.1.0 The dependencies were pulled in by running the ./contrib/download_prerequisites script and then manually removing the symbolic links and archives, and renaming the directories (i.e mv isl-0.24 to isl)
43 lines
943 B
C
43 lines
943 B
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/set.h>
|
|
|
|
#include <isl_multi_macro.h>
|
|
|
|
/* Return the shared domain of the elements of "multi".
|
|
*
|
|
* If "multi" has an explicit domain, then return this domain.
|
|
*/
|
|
__isl_give isl_set *FN(MULTI(BASE),domain)(__isl_take MULTI(BASE) *multi)
|
|
{
|
|
int i;
|
|
isl_set *dom;
|
|
|
|
if (!multi)
|
|
return NULL;
|
|
|
|
if (FN(MULTI(BASE),has_explicit_domain)(multi)) {
|
|
dom = FN(MULTI(BASE),get_explicit_domain)(multi);
|
|
FN(MULTI(BASE),free)(multi);
|
|
return dom;
|
|
}
|
|
|
|
dom = isl_set_universe(FN(MULTI(BASE),get_domain_space)(multi));
|
|
for (i = 0; i < multi->n; ++i) {
|
|
isl_set *dom_i;
|
|
|
|
dom_i = FN(EL,domain)(FN(FN(MULTI(BASE),get),BASE)(multi, i));
|
|
dom = isl_set_intersect(dom, dom_i);
|
|
}
|
|
|
|
FN(MULTI(BASE),free)(multi);
|
|
return dom;
|
|
}
|