isl_local_space_private.h

   1 #ifndef ISL_LOCAL_SPACE_PRIVATE_H
   2 #define ISL_LOCAL_SPACE_PRIVATE_H
   3
   4 #include <isl/mat.h>
   5 #include <isl/set.h>
   6 #include <isl/local_space.h>
   7
   8 struct isl_local_space {
   9         int ref;
  10
  11         isl_space *dim;
  12         isl_mat *div;
  13 };
  14
  15 __isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *dim,
  16         unsigned n_div);
  17 __isl_give isl_local_space *isl_local_space_alloc_div(__isl_take isl_space *dim,
  18         __isl_take isl_mat *div);
  19
  20 __isl_give isl_local_space *isl_local_space_add_div(
  21         __isl_take isl_local_space *ls, __isl_take isl_vec *div);
  22
  23 __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
  24         __isl_keep isl_mat *div2, int *exp1, int *exp2);
  25
  26 unsigned isl_local_space_offset(__isl_keep isl_local_space *ls,
  27         enum isl_dim_type type);
  28
  29 __isl_give isl_local_space *isl_local_space_replace_divs(
  30         __isl_take isl_local_space *ls, __isl_take isl_mat *div);
  31 int isl_local_space_divs_known(__isl_keep isl_local_space *ls);
  32
  33 __isl_give isl_local_space *isl_local_space_substitute_equalities(
  34         __isl_take isl_local_space *ls, __isl_take isl_basic_set *eq);
  35
  36 int isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls,
  37         enum isl_dim_type type);
  38
  39 __isl_give isl_local_space *isl_local_space_reset_space(
  40         __isl_take isl_local_space *ls, __isl_take isl_space *dim);
  41 __isl_give isl_local_space *isl_local_space_realign(
  42         __isl_take isl_local_space *ls, __isl_take isl_reordering *r);
  43
  44 int isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
  45         isl_int *constraint, unsigned div);
  46
  47 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
  48
  49 __isl_give isl_local_space *isl_local_space_substitute(
  50         __isl_take isl_local_space *ls,
  51         enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
  52
  53 __isl_give isl_local_space *isl_local_space_lift(
  54         __isl_take isl_local_space *ls);
  55
  56 #endif