specialize isl_space_replace to isl_space_replace_params
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 25 Jan 2017 14:42:21 +0000 (25 15:42 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 29 Nov 2017 16:29:43 +0000 (29 17:29 +0100)
isl_space_replace is only ever used to replace parameters.
Rename isl_space_replace to isl_space_replace_params and
drop the redundant type argument.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_aff.c
isl_reordering.c
isl_space.c
isl_space_private.h

index e4e44d6..6250e4b 100644 (file)
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -7453,7 +7453,7 @@ static isl_stat reset_params(__isl_take isl_pw_aff *pa, void *user)
        isl_space *space;
 
        space = isl_pw_aff_get_space(pa);
-       space = isl_space_replace(space, isl_dim_param, data->space);
+       space = isl_space_replace_params(space, data->space);
        pa = isl_pw_aff_reset_space(pa, space);
        data->res = isl_union_pw_aff_add_pw_aff(data->res, pa);
 
index 1de09b1..b65443e 100644 (file)
@@ -180,7 +180,7 @@ __isl_give isl_reordering *isl_reordering_extend_space(
        if (!res)
                goto error;
        isl_space_free(res->dim);
-       res->dim = isl_space_replace(space, isl_dim_param, exp->dim);
+       res->dim = isl_space_replace_params(space, exp->dim);
 
        isl_reordering_free(exp);
 
index b2f5ef5..ff4b9aa 100644 (file)
@@ -1157,8 +1157,8 @@ __isl_give isl_space *isl_space_move_dims(__isl_take isl_space *space,
        for (i = 0; i < 2; ++i) {
                if (!space->nested[i])
                        continue;
-               space->nested[i] = isl_space_replace(space->nested[i],
-                                                isl_dim_param, space);
+               space->nested[i] = isl_space_replace_params(space->nested[i],
+                                                            space);
                if (!space->nested[i])
                        goto error;
        }
@@ -2263,11 +2263,13 @@ __isl_give isl_space *isl_space_flatten_range(__isl_take isl_space *space)
        return isl_space_reset(space, isl_dim_out);
 }
 
-/* Replace the dimensions of the given type of dst by those of src.
+/* Replace the parameters of dst by those of src.
  */
-__isl_give isl_space *isl_space_replace(__isl_take isl_space *dst,
-       enum isl_dim_type type, __isl_keep isl_space *src)
+__isl_give isl_space *isl_space_replace_params(__isl_take isl_space *dst,
+       __isl_keep isl_space *src)
 {
+       enum isl_dim_type type = isl_dim_param;
+
        dst = isl_space_cow(dst);
 
        if (!dst || !src)
@@ -2277,13 +2279,13 @@ __isl_give isl_space *isl_space_replace(__isl_take isl_space *dst,
        dst = isl_space_add_dims(dst, type, isl_space_dim(src, type));
        dst = copy_ids(dst, type, 0, src, type);
 
-       if (dst && type == isl_dim_param) {
+       if (dst) {
                int i;
                for (i = 0; i <= 1; ++i) {
                        if (!dst->nested[i])
                                continue;
-                       dst->nested[i] = isl_space_replace(dst->nested[i],
-                                                        type, src);
+                       dst->nested[i] = isl_space_replace_params(
+                                                       dst->nested[i], src);
                        if (!dst->nested[i])
                                goto error;
                }
index 72a68ca..0912302 100644 (file)
@@ -51,8 +51,8 @@ __isl_give isl_space *isl_space_reset(__isl_take isl_space *dim,
        enum isl_dim_type type);
 __isl_give isl_space *isl_space_flatten(__isl_take isl_space *dim);
 
-__isl_give isl_space *isl_space_replace(__isl_take isl_space *dst,
-       enum isl_dim_type type, __isl_keep isl_space *src);
+__isl_give isl_space *isl_space_replace_params(__isl_take isl_space *dst,
+       __isl_keep isl_space *src);
 
 __isl_give isl_space *isl_space_lift(__isl_take isl_space *dim, unsigned n_local);