243 lines · c
1#ifndef ISL_AFF_PRIVATE_H2#define ISL_AFF_PRIVATE_H3 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 */17struct isl_aff {18 int ref;19 20 isl_local_space *ls;21 isl_vec *v;22};23 24#undef EL25#define EL isl_aff26 27#include <isl_list_templ.h>28 29struct isl_pw_aff_piece {30 struct isl_set *set;31 struct isl_aff *aff;32};33 34struct 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 PW46#define PW isl_pw_aff47 48#include <isl_pw_templ.h>49 50#undef EL51#define EL isl_pw_aff52 53#include <isl_list_templ.h>54 55struct isl_pw_multi_aff_piece {56 isl_set *set;57 isl_multi_aff *maff;58};59 60struct 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 PW72#define PW isl_pw_multi_aff73 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 80isl_size isl_aff_domain_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);81isl_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 97int 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 136isl_bool isl_aff_matching_params(__isl_keep isl_aff *aff,137 __isl_keep isl_space *space);138isl_stat isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,139 __isl_keep isl_space *space);140 141#undef BASE142#define BASE aff143 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 EL158#define EL isl_pw_multi_aff159 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 181isl_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 198isl_stat isl_pw_aff_check_named_params(__isl_keep isl_pw_aff *pa);199isl_stat isl_multi_aff_check_named_params(__isl_keep isl_multi_aff *ma);200isl_stat isl_pw_multi_aff_check_named_params(__isl_keep isl_pw_multi_aff *pma);201 202isl_bool isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,203 __isl_keep isl_space *space);204isl_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 BASE210#define BASE pw_aff211#undef DOMBASE212#define DOMBASE set213#define EXPLICIT_DOMAIN214 215#include <isl_multi_templ.h>216 217#undef EXPLICIT_DOMAIN218 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 EL223#define EL isl_union_pw_aff224 225#include <isl_list_templ.h>226 227#undef BASE228#define BASE union_pw_aff229#undef DOMBASE230#define DOMBASE union_set231#define EXPLICIT_DOMAIN232 233#include <isl_multi_templ.h>234 235#undef EXPLICIT_DOMAIN236 237#undef EL238#define EL isl_union_pw_multi_aff239 240#include <isl_list_templ.h>241 242#endif243