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_give isl_pw_aff *isl_pw_aff_domain_factor_domain(
 117         __isl_take isl_pw_aff *pa);
 118
 119 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
 120         __isl_take isl_pw_aff *pwaff2, int max);
 121
 122 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff);
 123 __isl_give isl_pw_aff_list *isl_pw_aff_list_set_rational(
 124         __isl_take isl_pw_aff_list *list);
 125
 126 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
 127 __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
 128         isl_int f);
 129 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
 130         isl_int f);
 131
 132 __isl_give isl_pw_aff *isl_stream_read_pw_aff(__isl_keep isl_stream *s);
 133
 134 isl_bool isl_aff_matching_params(__isl_keep isl_aff *aff,
 135         __isl_keep isl_space *space);
 136 isl_stat isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
 137         __isl_keep isl_space *space);
 138
 139 #undef BASE
 140 #define BASE aff
 141
 142 #include <isl_multi_templ.h>
 143
 144 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
 145
 146 __isl_give isl_multi_aff *isl_multi_aff_align_divs(
 147         __isl_take isl_multi_aff *maff);
 148
 149 __isl_give isl_multi_aff *isl_multi_aff_from_basic_set_equalities(
 150         __isl_take isl_basic_set *bset);
 151
 152 __isl_give isl_multi_aff *isl_multi_aff_from_aff_mat(
 153         __isl_take isl_space *space, __isl_take isl_mat *mat);
 154
 155 #undef EL
 156 #define EL isl_pw_multi_aff
 157
 158 #include <isl_list_templ.h>
 159
 160 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_move_dims(
 161         __isl_take isl_pw_multi_aff *pma,
 162         enum isl_dim_type dst_type, unsigned dst_pos,
 163         enum isl_dim_type src_type, unsigned src_pos, unsigned n);
 164
 165 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
 166         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 167 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
 168         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 169 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
 170         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 171
 172 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
 173         __isl_take isl_pw_multi_aff *pma,
 174         enum isl_dim_type type, unsigned first, unsigned n);
 175
 176 isl_stat isl_seq_preimage(isl_int *dst, isl_int *src,
 177         __isl_keep isl_multi_aff *ma, int n_before, int n_after,
 178         int n_div_ma, int n_div_bmap,
 179         isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
 180
 181 __isl_give isl_aff *isl_aff_substitute_equalities(__isl_take isl_aff *aff,
 182         __isl_take isl_basic_set *eq);
 183 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
 184         __isl_take isl_pw_multi_aff *pma, unsigned pos,
 185         __isl_keep isl_pw_aff *subs);
 186
 187 __isl_give isl_pw_multi_aff *isl_stream_read_pw_multi_aff(
 188         __isl_keep isl_stream *s);
 189
 190 __isl_give isl_union_pw_aff *isl_stream_read_union_pw_aff(
 191         __isl_keep isl_stream *s);
 192
 193 isl_stat isl_pw_aff_check_named_params(__isl_keep isl_pw_aff *pa);
 194 isl_stat isl_multi_aff_check_named_params(__isl_keep isl_multi_aff *ma);
 195 isl_stat isl_pw_multi_aff_check_named_params(__isl_keep isl_pw_multi_aff *pma);
 196
 197 isl_bool isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,
 198         __isl_keep isl_space *space);
 199 isl_stat isl_pw_aff_check_match_domain_space(__isl_keep isl_pw_aff *pa,
 200         __isl_keep isl_space *space);
 201
 202 __isl_give isl_basic_set *isl_aff_pos_basic_set(__isl_take isl_aff *aff);
 203
 204 #undef BASE
 205 #define BASE pw_aff
 206 #undef DOMBASE
 207 #define DOMBASE set
 208 #define EXPLICIT_DOMAIN
 209
 210 #include <isl_multi_templ.h>
 211
 212 #undef EXPLICIT_DOMAIN
 213
 214 __isl_give isl_map *isl_map_intersect_multi_pw_aff_explicit_domain(
 215         __isl_take isl_map *map, __isl_keep isl_multi_pw_aff *mpa);
 216
 217 #undef EL
 218 #define EL isl_union_pw_aff
 219
 220 #include <isl_list_templ.h>
 221
 222 #undef BASE
 223 #define BASE union_pw_aff
 224 #undef DOMBASE
 225 #define DOMBASE union_set
 226 #define EXPLICIT_DOMAIN
 227
 228 #include <isl_multi_templ.h>
 229
 230 #undef EXPLICIT_DOMAIN
 231
 232 #undef EL
 233 #define EL isl_union_pw_multi_aff
 234
 235 #include <isl_list_templ.h>
 236
 237 #endif