{
UNION *u;
- u = isl_calloc_type(ctx, UNION);
+ if (!dim)
+ return NULL;
+
+ u = isl_calloc_type(dim->ctx, UNION);
if (!u)
return NULL;
return isl_dim_equal(part->dim, dim);
}
+__isl_give PART *FN(FN(UNION,extract),PARTS)(__isl_keep UNION *u,
+ __isl_take isl_dim *dim)
+{
+ uint32_t hash;
+ struct isl_hash_table_entry *entry;
+
+ if (!u || !dim)
+ goto error;
+
+ hash = isl_dim_get_hash(dim);
+ entry = isl_hash_table_find(u->dim->ctx, &u->table, hash,
+ &has_dim, dim, 0);
+ if (!entry)
+#ifdef HAS_TYPE
+ return FN(PART,zero)(dim, u->type);
+#else
+ return FN(PART,zero)(dim);
+#endif
+ isl_dim_free(dim);
+ return FN(PART,copy)(entry->data);
+error:
+ isl_dim_free(dim);
+ return NULL;
+}
+
__isl_give UNION *FN(FN(UNION,add),PARTS)(__isl_take UNION *u,
__isl_take PART *part)
{
__isl_give UNION *FN(UNION,align_params)(__isl_take UNION *u,
__isl_take isl_dim *model)
{
- int i, j;
S(UNION,align) data = { NULL, NULL };
if (!u || !model)
UNION *res;
};
+/* This function is currently only used from isl_polynomial.c
+ * and not from isl_fold.c.
+ */
+static __isl_give UNION *match_bin_op(__isl_take UNION *u1,
+ __isl_take UNION *u2,
+ int (*fn)(void **, void *)) __attribute__ ((unused));
static __isl_give UNION *match_bin_op(__isl_take UNION *u1,
__isl_take UNION *u2, int (*fn)(void **, void *))
{
S(UNION,match_set_data) *data = user;
uint32_t hash;
struct isl_hash_table_entry *entry2;
- isl_dim *dim;
PW *pw = *entry;
int empty;
FN(UNION,free)(u);
return NULL;
}
+
+static int mul_isl_int(void **entry, void *user)
+{
+ PW **pw = (PW **)entry;
+ isl_int *v = user;
+
+ *pw = FN(PW,mul_isl_int)(*pw, *v);
+ if (!*pw)
+ return -1;
+
+ return 0;
+}
+
+__isl_give UNION *FN(UNION,mul_isl_int)(__isl_take UNION *u, isl_int v)
+{
+ if (isl_int_is_one(v))
+ return u;
+
+ if (u && isl_int_is_zero(v)) {
+ UNION *zero;
+ isl_dim *dim = FN(UNION,get_dim)(u);
+#ifdef HAS_TYPE
+ zero = FN(UNION,zero)(dim, u->type);
+#else
+ zero = FN(UNION,zero)(dim);
+#endif
+ FN(UNION,free)(u);
+ return zero;
+ }
+
+ u = FN(UNION,cow)(u);
+ if (!u)
+ return NULL;
+
+#ifdef HAS_TYPE
+ if (isl_int_is_neg(v))
+ u->type = isl_fold_type_negate(u->type);
+#endif
+ if (isl_hash_table_foreach(u->dim->ctx, &u->table, &mul_isl_int, v) < 0)
+ goto error;
+
+ return u;
+error:
+ FN(UNION,free)(u);
+ return NULL;
+}