isl_multi_union_pw_aff_explicit_domain.c

Go to the documentation of this file.

/*
 * Copyright 2017      Sven Verdoolaege
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege.
 */
 
/* Initialize the explicit domain of "mupa".
 *
 * The explicit domain is initialized to a universe parameter set.
 * It may later be specialized with constraints on the parameter or
 * specific domain instances.
 */
static __isl_give isl_multi_union_pw_aff *
isl_multi_union_pw_aff_init_explicit_domain(
  __isl_take isl_multi_union_pw_aff *mupa)
{
  isl_space *space;
 
  if (isl_multi_union_pw_aff_check_has_explicit_domain(mupa) < 0)
    return isl_multi_union_pw_aff_free(mupa);
  space = isl_space_params(isl_multi_union_pw_aff_get_space(mupa));
  mupa->u.dom = isl_union_set_from_set(isl_set_universe(space));
  if (!mupa->u.dom)
    return isl_multi_union_pw_aff_free(mupa);
  return mupa;
}
 
/* Drop the "n" dimensions of type "type" starting at position "pos"
 * of the explicit domain of "mupa".
 */
static __isl_give isl_multi_union_pw_aff *
isl_multi_union_pw_aff_drop_explicit_domain_dims(
  __isl_take isl_multi_union_pw_aff *mupa,
  enum isl_dim_type type, unsigned pos, unsigned n)
{
  if (isl_multi_union_pw_aff_check_has_explicit_domain(mupa) < 0)
    return isl_multi_union_pw_aff_free(mupa);
  if (type != isl_dim_param)
    isl_die(isl_multi_union_pw_aff_get_ctx(mupa), isl_error_invalid,
      "can only drop parameters",
      return isl_multi_union_pw_aff_free(mupa));
  mupa = isl_multi_union_pw_aff_cow(mupa);
  if (!mupa)
    return NULL;
  mupa->u.dom = isl_union_set_project_out(mupa->u.dom, type, pos, n);
  if (!mupa->u.dom)
    return isl_multi_union_pw_aff_free(mupa);
  return mupa;
}