isl_multi_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 "mpa".
 *
 * The explicit domain is initialized to a universe set
 * in the domain space.
 */
static __isl_give isl_multi_pw_aff *isl_multi_pw_aff_init_explicit_domain(
  __isl_take isl_multi_pw_aff *mpa)
{
  if (isl_multi_pw_aff_check_has_explicit_domain(mpa) < 0)
    return isl_multi_pw_aff_free(mpa);
  mpa->u.dom = isl_set_universe(isl_multi_pw_aff_get_domain_space(mpa));
  if (!mpa->u.dom)
    return isl_multi_pw_aff_free(mpa);
  return mpa;
}
 
/* Intersect the domain of "dst" with the domain product
 * of the explicit domains of "src1" and "src2".
 * This function is only called if at least one of "src1" or "src2"
 * has an explicit domain.
 */
static __isl_give isl_multi_pw_aff *
isl_multi_pw_aff_intersect_explicit_domain_product(
  __isl_take isl_multi_pw_aff *dst, __isl_keep isl_multi_pw_aff *src1,
  __isl_keep isl_multi_pw_aff *src2)
{
  isl_space *space;
  isl_set *dom;
  isl_map *map;
 
  if (!src1 || !src2)
    return FN(isl_multi_pw_aff,free)(dst);
  space = isl_multi_pw_aff_get_domain_space(dst);
  dom = isl_set_universe(space);
  map = isl_set_unwrap(dom);
  if (isl_multi_pw_aff_has_explicit_domain(src1)) {
    dom = isl_set_copy(src1->u.dom);
    map = isl_map_intersect_domain(map, dom);
  }
  if (isl_multi_pw_aff_has_explicit_domain(src2)) {
    dom = isl_set_copy(src2->u.dom);
    map = isl_map_intersect_range(map, dom);
  }
  dom = isl_map_wrap(map);
  dst = isl_multi_pw_aff_intersect_domain(dst, dom);
  return dst;
}
 
/* Check whether the explicit domain of "mpa" has non-zero coefficients
 * for any dimension in the given range or if any of these dimensions appear
 * with non-zero coefficients in any of the integer divisions involved.
 */
isl_bool isl_multi_pw_aff_involves_explicit_domain_dims(
  __isl_keep isl_multi_pw_aff *mpa,
  enum isl_dim_type type, unsigned pos, unsigned n)
{
  if (isl_multi_pw_aff_check_has_explicit_domain(mpa) < 0)
    return isl_bool_error;
  if (type == isl_dim_in)
    type = isl_dim_set;
  return isl_set_involves_dims(mpa->u.dom, type, pos, n);
}
 
/* Insert "n" dimensions of type "type" at position "pos"
 * of the explicit domain of "mpa".
 */
static __isl_give isl_multi_pw_aff *
isl_multi_pw_aff_insert_explicit_domain_dims(__isl_take isl_multi_pw_aff *mpa,
  enum isl_dim_type type, unsigned pos, unsigned n)
{
  if (isl_multi_pw_aff_check_has_explicit_domain(mpa) < 0)
    return isl_multi_pw_aff_free(mpa);
  mpa = isl_multi_pw_aff_cow(mpa);
  if (!mpa)
    return NULL;
  if (type == isl_dim_in)
    type = isl_dim_set;
  mpa->u.dom = isl_set_insert_dims(mpa->u.dom, type, pos, n);
  if (!mpa->u.dom)
    return isl_multi_pw_aff_free(mpa);
  return mpa;
}
 
/* Drop the "n" dimensions of type "type" starting at position "pos"
 * of the explicit domain of "mpa".
 */
static __isl_give isl_multi_pw_aff *
isl_multi_pw_aff_drop_explicit_domain_dims(__isl_take isl_multi_pw_aff *mpa,
  enum isl_dim_type type, unsigned pos, unsigned n)
{
  if (isl_multi_pw_aff_check_has_explicit_domain(mpa) < 0)
    return isl_multi_pw_aff_free(mpa);
  mpa = isl_multi_pw_aff_cow(mpa);
  if (!mpa)
    return NULL;
  if (type == isl_dim_in)
    type = isl_dim_set;
  mpa->u.dom = isl_set_drop(mpa->u.dom, type, pos, n);
  if (!mpa->u.dom)
    return isl_multi_pw_aff_free(mpa);
  return mpa;
}
 
/* Move the "n" dimensions of "src_type" starting at "src_pos" of
 * of the explicit domain of "mpa" to dimensions of "dst_type" at "dst_pos".
 */
static __isl_give isl_multi_pw_aff *isl_multi_pw_aff_move_explicit_domain_dims(
  __isl_take isl_multi_pw_aff *mpa,
  enum isl_dim_type dst_type, unsigned dst_pos,
  enum isl_dim_type src_type, unsigned src_pos, unsigned n)
{
  if (isl_multi_pw_aff_check_has_explicit_domain(mpa) < 0)
    return isl_multi_pw_aff_free(mpa);
  mpa = isl_multi_pw_aff_cow(mpa);
  if (!mpa)
    return NULL;
  if (dst_type == isl_dim_in)
    dst_type = isl_dim_set;
  if (src_type == isl_dim_in)
    src_type = isl_dim_set;
  mpa->u.dom = isl_set_move_dims(mpa->u.dom, dst_type, dst_pos,
        src_type, src_pos, n);
  if (!mpa->u.dom)
    return isl_multi_pw_aff_free(mpa);
  return mpa;
}