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 */
17struct 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
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 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
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 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
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 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
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 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
243

source code of polly/lib/External/isl/isl_aff_private.h