isl_tab_pip.c: use_shifted: avoid invalid access on error path

[platform/upstream/isl.git] / isl_multi_templ.c

diff --git a/isl_multi_templ.c b/isl_multi_templ.c
index f9ccd08..7080493 100644 (file)
--- a/isl_multi_templ.c
+++ b/isl_multi_templ.c
@@ -306,6 +306,22 @@ __isl_give MULTI(BASE) *FN(MULTI(BASE),reset_space)(
        return FN(MULTI(BASE),reset_space_and_domain)(multi, space, domain);
 }
 
+__isl_give MULTI(BASE) *FN(MULTI(BASE),set_tuple_name)(
+       __isl_keep MULTI(BASE) *multi, enum isl_dim_type type,
+       const char *s)
+{
+       isl_space *space;
+
+       multi = FN(MULTI(BASE),cow)(multi);
+       if (!multi)
+               return NULL;
+
+       space = FN(MULTI(BASE),get_space)(multi);
+       space = isl_space_set_tuple_name(space, type, s);
+
+       return FN(MULTI(BASE),reset_space)(multi, space);
+}
+
 __isl_give MULTI(BASE) *FN(MULTI(BASE),set_tuple_id)(
        __isl_keep MULTI(BASE) *multi, enum isl_dim_type type,
        __isl_take isl_id *id)
@@ -329,7 +345,7 @@ __isl_give MULTI(BASE) *FN(MULTI(BASE),realign_domain)(
 
        multi = FN(MULTI(BASE),cow)(multi);
        if (!multi || !exp)
-               return NULL;
+               goto error;
 
        for (i = 0; i < multi->n; ++i) {
                multi->p[i] = FN(EL,realign_domain)(multi->p[i],
@@ -616,7 +632,7 @@ __isl_give MULTI(BASE) *FN(MULTI(BASE),drop_dims)(
 /* Given two MULTI(BASE)s A -> B and C -> D,
  * construct a MULTI(BASE) (A * C) -> (B, D).
  */
-__isl_give MULTI(BASE) *FN(MULTI(BASE),flat_range_product)(
+__isl_give MULTI(BASE) *FN(MULTI(BASE),range_product)(
        __isl_take MULTI(BASE) *multi1, __isl_take MULTI(BASE) *multi2)
 {
        int i, n1, n2;
@@ -629,7 +645,6 @@ __isl_give MULTI(BASE) *FN(MULTI(BASE),flat_range_product)(
 
        space = isl_space_range_product(FN(MULTI(BASE),get_space)(multi1),
                                        FN(MULTI(BASE),get_space)(multi2));
-       space = isl_space_flatten_range(space);
        res = FN(MULTI(BASE),alloc)(space);
 
        n1 = FN(MULTI(BASE),dim)(multi1, isl_dim_out);
@@ -653,3 +668,129 @@ error:
        FN(MULTI(BASE),free)(multi2);
        return NULL;
 }
+
+__isl_give MULTI(BASE) *FN(MULTI(BASE),flatten_range)(
+       __isl_take MULTI(BASE) *multi)
+{
+       if (!multi)
+               return NULL;
+
+       if (!multi->space->nested[1])
+               return multi;
+
+       multi = FN(MULTI(BASE),cow)(multi);
+       if (!multi)
+               return NULL;
+
+       multi->space = isl_space_flatten_range(multi->space);
+       if (!multi->space)
+               return FN(MULTI(BASE),free)(multi);
+
+       return multi;
+}
+
+/* Given two MULTI(BASE)s A -> B and C -> D,
+ * construct a MULTI(BASE) (A * C) -> [B -> D].
+ */
+__isl_give MULTI(BASE) *FN(MULTI(BASE),flat_range_product)(
+       __isl_take MULTI(BASE) *multi1, __isl_take MULTI(BASE) *multi2)
+{
+       MULTI(BASE) *multi;
+
+       multi = FN(MULTI(BASE),range_product)(multi1, multi2);
+       multi = FN(MULTI(BASE),flatten_range)(multi);
+       return multi;
+}
+
+/* Given two multi expressions, "multi1"
+ *
+ *     [A] -> [B1 B2]
+ *
+ * where B2 starts at position "pos", and "multi2"
+ *
+ *     [A] -> [D]
+ *
+ * return the multi expression
+ *
+ *     [A] -> [B1 D B2]
+ */
+__isl_give MULTI(BASE) *FN(MULTI(BASE),range_splice)(
+       __isl_take MULTI(BASE) *multi1, unsigned pos,
+       __isl_take MULTI(BASE) *multi2)
+{
+       MULTI(BASE) *res;
+       unsigned dim;
+
+       if (!multi1 || !multi2)
+               goto error;
+
+       dim = FN(MULTI(BASE),dim)(multi1, isl_dim_out);
+       if (pos > dim)
+               isl_die(FN(MULTI(BASE),get_ctx)(multi1), isl_error_invalid,
+                       "index out of bounds", goto error);
+
+       res = FN(MULTI(BASE),copy)(multi1);
+       res = FN(MULTI(BASE),drop_dims)(res, isl_dim_out, pos, dim - pos);
+       multi1 = FN(MULTI(BASE),drop_dims)(multi1, isl_dim_out, 0, pos);
+
+       res = FN(MULTI(BASE),flat_range_product)(res, multi2);
+       res = FN(MULTI(BASE),flat_range_product)(res, multi1);
+
+       return res;
+error:
+       FN(MULTI(BASE),free)(multi1);
+       FN(MULTI(BASE),free)(multi2);
+       return NULL;
+}
+
+/* Given two multi expressions, "multi1"
+ *
+ *     [A1 A2] -> [B1 B2]
+ *
+ * where A2 starts at position "in_pos" and B2 starts at position "out_pos",
+ * and "multi2"
+ *
+ *     [C] -> [D]
+ *
+ * return the multi expression
+ *
+ *     [A1 C A2] -> [B1 D B2]
+ *
+ * We first insert input dimensions to obtain
+ *
+ *     [A1 C A2] -> [B1 B2]
+ *
+ * and
+ *
+ *     [A1 C A2] -> [D]
+ *
+ * and then apply range_splice.
+ */
+__isl_give MULTI(BASE) *FN(MULTI(BASE),splice)(
+       __isl_take MULTI(BASE) *multi1, unsigned in_pos, unsigned out_pos,
+       __isl_take MULTI(BASE) *multi2)
+{
+       unsigned n_in1;
+       unsigned n_in2;
+
+       if (!multi1 || !multi2)
+               goto error;
+
+       n_in1 = FN(MULTI(BASE),dim)(multi1, isl_dim_in);
+       if (in_pos > n_in1)
+               isl_die(FN(MULTI(BASE),get_ctx)(multi1), isl_error_invalid,
+                       "index out of bounds", goto error);
+
+       n_in2 = FN(MULTI(BASE),dim)(multi2, isl_dim_in);
+
+       multi1 = FN(MULTI(BASE),insert_dims)(multi1, isl_dim_in, in_pos, n_in2);
+       multi2 = FN(MULTI(BASE),insert_dims)(multi2, isl_dim_in, n_in2,
+                                               n_in1 - in_pos);
+       multi2 = FN(MULTI(BASE),insert_dims)(multi2, isl_dim_in, 0, in_pos);
+
+       return FN(MULTI(BASE),range_splice)(multi1, out_pos, multi2);
+error:
+       FN(MULTI(BASE),free)(multi1);
+       FN(MULTI(BASE),free)(multi2);
+       return NULL;
+}