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_int.h>
   9 #include <isl_reordering.h>
  10
  11 /* ls represents the domain space.
  12  *
  13  * If the first two elements of "v" (the denominator and the constant term)
  14  * are zero, then the isl_aff represents NaN.
  15  */
  16 struct isl_aff {
  17         int ref;
  18
  19         isl_local_space *ls;
  20         isl_vec         *v;
  21 };
  22
  23 #undef EL
  24 #define EL isl_aff
  25
  26 #include <isl_list_templ.h>
  27
  28 struct isl_pw_aff_piece {
  29         struct isl_set *set;
  30         struct isl_aff *aff;
  31 };
  32
  33 struct isl_pw_aff {
  34         int ref;
  35
  36         isl_space *dim;
  37
  38         int n;
  39
  40         size_t size;
  41         struct isl_pw_aff_piece p[1];
  42 };
  43
  44 #undef PW
  45 #define PW isl_pw_aff
  46
  47 #include <isl_pw_templ.h>
  48
  49 #undef EL
  50 #define EL isl_pw_aff
  51
  52 #include <isl_list_templ.h>
  53
  54 struct isl_pw_multi_aff_piece {
  55         isl_set *set;
  56         isl_multi_aff *maff;
  57 };
  58
  59 struct isl_pw_multi_aff {
  60         int ref;
  61
  62         isl_space *dim;
  63
  64         int n;
  65
  66         size_t size;
  67         struct isl_pw_multi_aff_piece p[1];
  68 };
  69
  70 #undef PW
  71 #define PW isl_pw_multi_aff
  72
  73 #include <isl_pw_templ.h>
  74
  75 __isl_give isl_aff *isl_aff_alloc_vec(__isl_take isl_local_space *ls,
  76         __isl_take isl_vec *v);
  77 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
  78
  79 isl_size isl_aff_domain_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
  80 isl_size isl_aff_domain_offset(__isl_keep isl_aff *aff, enum isl_dim_type type);
  81
  82 __isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
  83         __isl_take isl_space *space, __isl_take isl_space *domain);
  84 __isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
  85         __isl_take isl_space *space);
  86 __isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
  87         __isl_take isl_reordering *r);
  88
  89 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
  90 __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
  91         enum isl_dim_type type, int pos, isl_int v);
  92 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
  93
  94 __isl_give isl_aff *isl_aff_domain_factor_domain(__isl_take isl_aff *aff);
  95
  96 int isl_aff_plain_cmp(__isl_keep isl_aff *aff1, __isl_keep isl_aff *aff2);
  97
  98 __isl_give isl_aff *isl_aff_remove_unused_divs(__isl_take isl_aff *aff);
  99 __isl_give isl_aff *isl_aff_normalize(__isl_take isl_aff *aff);
 100
 101 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
 102         __isl_take isl_mat *div, int *exp);
 103
 104 __isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
 105         int n);
 106 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
 107         __isl_take isl_space *space);
 108 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
 109         __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
 110 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
 111         __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
 112
 113 __isl_give isl_pw_aff *isl_pw_aff_domain_factor_domain(
 114         __isl_take isl_pw_aff *pa);
 115
 116 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
 117         __isl_take isl_pw_aff *pwaff2, int max);
 118
 119 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff);
 120 __isl_give isl_pw_aff_list *isl_pw_aff_list_set_rational(
 121         __isl_take isl_pw_aff_list *list);
 122
 123 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
 124 __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
 125         isl_int f);
 126 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
 127         isl_int f);
 128
 129 isl_bool isl_aff_matching_params(__isl_keep isl_aff *aff,
 130         __isl_keep isl_space *space);
 131 isl_stat isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
 132         __isl_keep isl_space *space);
 133
 134 #undef BASE
 135 #define BASE aff
 136
 137 #include <isl_multi_templ.h>
 138
 139 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
 140
 141 __isl_give isl_multi_aff *isl_multi_aff_align_divs(
 142         __isl_take isl_multi_aff *maff);
 143
 144 __isl_give isl_multi_aff *isl_multi_aff_from_basic_set_equalities(
 145         __isl_take isl_basic_set *bset);
 146
 147 __isl_give isl_multi_aff *isl_multi_aff_from_aff_mat(
 148         __isl_take isl_space *space, __isl_take isl_mat *mat);
 149
 150 #undef EL
 151 #define EL isl_pw_multi_aff
 152
 153 #include <isl_list_templ.h>
 154
 155 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_move_dims(
 156         __isl_take isl_pw_multi_aff *pma,
 157         enum isl_dim_type dst_type, unsigned dst_pos,
 158         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 159
 160 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
 161         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 162 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
 163         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 164 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
 165         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 166
 167 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
 168         __isl_take isl_pw_multi_aff *pma,
 169         enum isl_dim_type type, unsigned first, unsigned n);
 170
 171 isl_stat isl_seq_preimage(isl_int *dst, isl_int *src,
 172         __isl_keep isl_multi_aff *ma, int n_before, int n_after,
 173         int n_div_ma, int n_div_bmap,
 174         isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
 175
 176 __isl_give isl_aff *isl_aff_substitute_equalities(__isl_take isl_aff *aff,
 177         __isl_take isl_basic_set *eq);
 178 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
 179         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
 180         __isl_keep isl_pw_aff *subs);
 181
 182 isl_stat isl_pw_aff_check_named_params(__isl_keep isl_pw_aff *pa);
 183 isl_stat isl_multi_aff_check_named_params(__isl_keep isl_multi_aff *ma);
 184 isl_stat isl_pw_multi_aff_check_named_params(__isl_keep isl_pw_multi_aff *pma);
 185
 186 isl_bool isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,
 187         __isl_keep isl_space *space);
 188 isl_stat isl_pw_aff_check_match_domain_space(__isl_keep isl_pw_aff *pa,
 189         __isl_keep isl_space *space);
 190
 191 __isl_give isl_basic_set *isl_aff_pos_basic_set(__isl_take isl_aff *aff);
 192
 193 #undef BASE
 194 #define BASE pw_aff
 195 #undef DOMBASE
 196 #define DOMBASE set
 197 #define EXPLICIT_DOMAIN
 198
 199 #include <isl_multi_templ.h>
 200
 201 #undef EXPLICIT_DOMAIN
 202
 203 __isl_give isl_map *isl_map_intersect_multi_pw_aff_explicit_domain(
 204         __isl_take isl_map *map, __isl_keep isl_multi_pw_aff *mpa);
 205
 206 #undef EL
 207 #define EL isl_union_pw_aff
 208
 209 #include <isl_list_templ.h>
 210
 211 #undef BASE
 212 #define BASE union_pw_aff
 213 #undef DOMBASE
 214 #define DOMBASE union_set
 215 #define EXPLICIT_DOMAIN
 216
 217 #include <isl_multi_templ.h>
 218
 219 #undef EXPLICIT_DOMAIN
 220
 221 #undef EL
 222 #define EL isl_union_pw_multi_aff
 223
 224 #include <isl_list_templ.h>
 225
 226 #endif