diff options
Diffstat (limited to 'polly/lib/External/isl/isl_space.c')
-rw-r--r-- | polly/lib/External/isl/isl_space.c | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/polly/lib/External/isl/isl_space.c b/polly/lib/External/isl/isl_space.c index edb23336411..58a64cf4246 100644 --- a/polly/lib/External/isl/isl_space.c +++ b/polly/lib/External/isl/isl_space.c @@ -1779,20 +1779,6 @@ error: return NULL; } -__isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim) -{ - dim = isl_space_cow(dim); - if (!dim) - return NULL; - - dim->n_out += dim->n_in; - dim->n_in = 0; - dim = isl_space_reset(dim, isl_dim_in); - dim = isl_space_reset(dim, isl_dim_out); - - return dim; -} - __isl_give isl_space *isl_space_underlying(__isl_take isl_space *dim, unsigned n_div) { @@ -1891,19 +1877,6 @@ isl_bool isl_space_is_range(__isl_keep isl_space *space1, return isl_space_is_range_internal(space1, space2); } -int isl_space_compatible_internal(__isl_keep isl_space *dim1, - __isl_keep isl_space *dim2) -{ - return dim1->nparam == dim2->nparam && - dim1->n_in + dim1->n_out == dim2->n_in + dim2->n_out; -} - -int isl_space_compatible(__isl_keep isl_space *space1, - __isl_keep isl_space *space2) -{ - return isl_space_compatible_internal(space1, space2); -} - /* Update "hash" by hashing in "space". * Changes in this function should be reflected in isl_hash_space_domain. */ |