isl_aff_private.h

   1 #ifndef ISL_AFF_PRIVATE_H
   2 #define ISL_AFF_PRIVATE_H
   3
   4 #include <isl/aff.h>
   5 #include <isl/vec.h>
   6 #include <isl/mat.h>
   7 #include <isl/local_space.h>
   8 #include <isl_reordering.h>
   9
  10 /* ls represents the domain space.
  11  *
  12  * If the first two elements of "v" (the denominator and the constant term)
  13  * are zero, then the isl_aff represents NaN.
  14  */
  15 struct isl_aff {
  16         int ref;
  17
  18         isl_local_space *ls;
  19         isl_vec         *v;
  20 };
  21
  22 #undef EL
  23 #define EL isl_aff
  24
  25 #include <isl_list_templ.h>
  26
  27 struct isl_pw_aff_piece {
  28         struct isl_set *set;
  29         struct isl_aff *aff;
  30 };
  31
  32 struct isl_pw_aff {
  33         int ref;
  34
  35         isl_space *dim;
  36
  37         int n;
  38
  39         size_t size;
  40         struct isl_pw_aff_piece p[1];
  41 };
  42
  43 #undef EL
  44 #define EL isl_pw_aff
  45
  46 #include <isl_list_templ.h>
  47
  48 struct isl_pw_multi_aff_piece {
  49         isl_set *set;
  50         isl_multi_aff *maff;
  51 };
  52
  53 struct isl_pw_multi_aff {
  54         int ref;
  55
  56         isl_space *dim;
  57
  58         int n;
  59
  60         size_t size;
  61         struct isl_pw_multi_aff_piece p[1];
  62 };
  63
  64 __isl_give isl_aff *isl_aff_alloc_vec(__isl_take isl_local_space *ls,
  65         __isl_take isl_vec *v);
  66 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
  67
  68 __isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
  69         __isl_take isl_space *space, __isl_take isl_space *domain);
  70 __isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
  71         __isl_take isl_space *dim);
  72 __isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
  73         __isl_take isl_reordering *r);
  74
  75 int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v);
  76 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
  77 __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
  78         enum isl_dim_type type, int pos, isl_int v);
  79 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
  80
  81 __isl_give isl_aff *isl_aff_normalize(__isl_take isl_aff *aff);
  82
  83 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
  84         __isl_take isl_mat *div, int *exp);
  85
  86 __isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
  87         int n);
  88 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
  89         __isl_take isl_space *dim);
  90 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
  91         __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
  92 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
  93         __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
  94
  95 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
  96         __isl_take isl_pw_aff *pwaff2, int max);
  97
  98 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff);
  99 __isl_give isl_pw_aff_list *isl_pw_aff_list_set_rational(
 100         __isl_take isl_pw_aff_list *list);
 101
 102 __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
 103         isl_int f);
 104 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
 105         isl_int f);
 106
 107 int isl_aff_matching_params(__isl_keep isl_aff *aff,
 108         __isl_keep isl_space *space);
 109 int isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
 110         __isl_keep isl_space *space);
 111
 112 #undef BASE
 113 #define BASE aff
 114
 115 #include <isl_multi_templ.h>
 116
 117 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
 118
 119 __isl_give isl_multi_aff *isl_multi_aff_align_divs(
 120         __isl_take isl_multi_aff *maff);
 121
 122 __isl_give isl_multi_aff *isl_multi_aff_from_basic_set_equalities(
 123         __isl_take isl_basic_set *bset);
 124
 125 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
 126         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 127 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
 128         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 129 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
 130         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 131
 132 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
 133         __isl_take isl_pw_multi_aff *pma,
 134         enum isl_dim_type type, unsigned first, unsigned n);
 135
 136 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
 137         int p_len, int subs_len, isl_int v);
 138 void isl_seq_preimage(isl_int *dst, isl_int *src,
 139         __isl_keep isl_multi_aff *ma, int n_before, int n_after,
 140         int n_div_ma, int n_div_bmap,
 141         isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
 142
 143 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
 144         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
 145         __isl_keep isl_pw_aff *subs);
 146
 147 int isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,
 148         __isl_keep isl_space *space);
 149 int isl_pw_aff_check_match_domain_space(__isl_keep isl_pw_aff *pa,
 150         __isl_keep isl_space *space);
 151
 152 #undef BASE
 153 #define BASE pw_aff
 154
 155 #include <isl_multi_templ.h>
 156
 157 #endif