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