1 #ifndef ISL_AFF_PRIVATE_H
2 #define ISL_AFF_PRIVATE_H
7 #include <isl/local_space.h>
9 #include <isl_reordering.h>
11 /* ls represents the domain space.
13 * If the first two elements of "v" (the denominator and the constant term)
14 * are zero, then the isl_aff represents NaN.
26 #include <isl_list_templ.h>
28 struct isl_pw_aff_piece
{
41 struct isl_pw_aff_piece p
[1];
47 #include <isl_pw_templ.h>
52 #include <isl_list_templ.h>
54 struct isl_pw_multi_aff_piece
{
59 struct isl_pw_multi_aff
{
67 struct isl_pw_multi_aff_piece p
[1];
71 #define PW isl_pw_multi_aff
73 #include <isl_pw_templ.h>
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
);
79 __isl_give isl_aff
*isl_aff_reset_space_and_domain(__isl_take isl_aff
*aff
,
80 __isl_take isl_space
*space
, __isl_take isl_space
*domain
);
81 __isl_give isl_aff
*isl_aff_reset_domain_space(__isl_take isl_aff
*aff
,
82 __isl_take isl_space
*dim
);
83 __isl_give isl_aff
*isl_aff_realign_domain(__isl_take isl_aff
*aff
,
84 __isl_take isl_reordering
*r
);
86 __isl_give isl_aff
*isl_aff_set_constant(__isl_take isl_aff
*aff
, isl_int v
);
87 __isl_give isl_aff
*isl_aff_set_coefficient(__isl_take isl_aff
*aff
,
88 enum isl_dim_type type
, int pos
, isl_int v
);
89 __isl_give isl_aff
*isl_aff_add_constant(__isl_take isl_aff
*aff
, isl_int v
);
91 __isl_give isl_aff
*isl_aff_domain_factor_domain(__isl_take isl_aff
*aff
);
93 int isl_aff_plain_cmp(__isl_keep isl_aff
*aff1
, __isl_keep isl_aff
*aff2
);
95 __isl_give isl_aff
*isl_aff_remove_unused_divs(__isl_take isl_aff
*aff
);
96 __isl_give isl_aff
*isl_aff_normalize(__isl_take isl_aff
*aff
);
98 __isl_give isl_aff
*isl_aff_expand_divs( __isl_take isl_aff
*aff
,
99 __isl_take isl_mat
*div
, int *exp
);
101 __isl_give isl_pw_aff
*isl_pw_aff_alloc_size(__isl_take isl_space
*space
,
103 __isl_give isl_pw_aff
*isl_pw_aff_reset_space(__isl_take isl_pw_aff
*pwaff
,
104 __isl_take isl_space
*dim
);
105 __isl_give isl_pw_aff
*isl_pw_aff_reset_domain_space(
106 __isl_take isl_pw_aff
*pwaff
, __isl_take isl_space
*space
);
107 __isl_give isl_pw_aff
*isl_pw_aff_add_disjoint(
108 __isl_take isl_pw_aff
*pwaff1
, __isl_take isl_pw_aff
*pwaff2
);
110 __isl_give isl_pw_aff
*isl_pw_aff_domain_factor_domain(
111 __isl_take isl_pw_aff
*pa
);
113 __isl_give isl_pw_aff
*isl_pw_aff_union_opt(__isl_take isl_pw_aff
*pwaff1
,
114 __isl_take isl_pw_aff
*pwaff2
, int max
);
116 __isl_give isl_pw_aff
*isl_pw_aff_set_rational(__isl_take isl_pw_aff
*pwaff
);
117 __isl_give isl_pw_aff_list
*isl_pw_aff_list_set_rational(
118 __isl_take isl_pw_aff_list
*list
);
120 __isl_give isl_aff
*isl_aff_scale_down(__isl_take isl_aff
*aff
, isl_int f
);
121 __isl_give isl_pw_aff
*isl_pw_aff_scale(__isl_take isl_pw_aff
*pwaff
,
123 __isl_give isl_pw_aff
*isl_pw_aff_scale_down(__isl_take isl_pw_aff
*pwaff
,
126 isl_bool
isl_aff_matching_params(__isl_keep isl_aff
*aff
,
127 __isl_keep isl_space
*space
);
128 isl_stat
isl_aff_check_match_domain_space(__isl_keep isl_aff
*aff
,
129 __isl_keep isl_space
*space
);
134 #include <isl_multi_templ.h>
136 __isl_give isl_multi_aff
*isl_multi_aff_dup(__isl_keep isl_multi_aff
*multi
);
138 __isl_give isl_multi_aff
*isl_multi_aff_align_divs(
139 __isl_take isl_multi_aff
*maff
);
141 __isl_give isl_multi_aff
*isl_multi_aff_from_basic_set_equalities(
142 __isl_take isl_basic_set
*bset
);
144 __isl_give isl_multi_aff
*isl_multi_aff_from_aff_mat(
145 __isl_take isl_space
*space
, __isl_take isl_mat
*mat
);
148 #define EL isl_pw_multi_aff
150 #include <isl_list_templ.h>
152 __isl_give isl_pw_multi_aff
*isl_pw_multi_aff_reset_domain_space(
153 __isl_take isl_pw_multi_aff
*pwmaff
, __isl_take isl_space
*space
);
154 __isl_give isl_pw_multi_aff
*isl_pw_multi_aff_reset_space(
155 __isl_take isl_pw_multi_aff
*pwmaff
, __isl_take isl_space
*space
);
156 __isl_give isl_pw_multi_aff
*isl_pw_multi_aff_add_disjoint(
157 __isl_take isl_pw_multi_aff
*pma1
, __isl_take isl_pw_multi_aff
*pma2
);
159 __isl_give isl_pw_multi_aff
*isl_pw_multi_aff_project_out(
160 __isl_take isl_pw_multi_aff
*pma
,
161 enum isl_dim_type type
, unsigned first
, unsigned n
);
163 isl_stat
isl_seq_preimage(isl_int
*dst
, isl_int
*src
,
164 __isl_keep isl_multi_aff
*ma
, int n_before
, int n_after
,
165 int n_div_ma
, int n_div_bmap
,
166 isl_int f
, isl_int c1
, isl_int c2
, isl_int g
, int has_denom
);
168 __isl_give isl_aff
*isl_aff_substitute_equalities(__isl_take isl_aff
*aff
,
169 __isl_take isl_basic_set
*eq
);
170 __isl_give isl_pw_multi_aff
*isl_pw_multi_aff_substitute(
171 __isl_take isl_pw_multi_aff
*pma
, enum isl_dim_type type
, unsigned pos
,
172 __isl_keep isl_pw_aff
*subs
);
174 isl_stat
isl_pw_aff_check_named_params(__isl_keep isl_pw_aff
*pa
);
175 isl_stat
isl_pw_multi_aff_check_named_params(__isl_keep isl_pw_multi_aff
*pma
);
177 isl_bool
isl_pw_aff_matching_params(__isl_keep isl_pw_aff
*pa
,
178 __isl_keep isl_space
*space
);
179 isl_stat
isl_pw_aff_check_match_domain_space(__isl_keep isl_pw_aff
*pa
,
180 __isl_keep isl_space
*space
);
182 __isl_give isl_basic_set
*isl_aff_pos_basic_set(__isl_take isl_aff
*aff
);
188 #define EXPLICIT_DOMAIN
190 #include <isl_multi_templ.h>
192 #undef EXPLICIT_DOMAIN
195 #define EL isl_union_pw_aff
197 #include <isl_list_templ.h>
200 #define BASE union_pw_aff
202 #define DOMBASE union_set
203 #define EXPLICIT_DOMAIN
205 #include <isl_multi_templ.h>
207 #undef EXPLICIT_DOMAIN
210 #define EL isl_union_pw_multi_aff
212 #include <isl_list_templ.h>