isl_pw_multi_aff_from_map: add a special case where result can be read off
[isl.git] / isl_aff_private.h
blobaaffce6f3c3142d83fdcec74dd3a6bc3b3eb6109
1 #ifndef ISL_AFF_PRIVATE_H
2 #define ISL_AFF_PRIVATE_H
4 #include <isl/aff.h>
5 #include <isl/vec.h>
6 #include <isl/mat.h>
7 #include <isl/local_space.h>
9 /* ls represents the domain space.
11 struct isl_aff {
12 int ref;
14 isl_local_space *ls;
15 isl_vec *v;
18 struct isl_pw_aff_piece {
19 struct isl_set *set;
20 struct isl_aff *aff;
23 struct isl_pw_aff {
24 int ref;
26 isl_space *dim;
28 int n;
30 size_t size;
31 struct isl_pw_aff_piece p[1];
34 struct isl_pw_multi_aff_piece {
35 isl_set *set;
36 isl_multi_aff *maff;
39 struct isl_pw_multi_aff {
40 int ref;
42 isl_space *dim;
44 int n;
46 size_t size;
47 struct isl_pw_multi_aff_piece p[1];
50 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
52 __isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
53 __isl_take isl_space *space, __isl_take isl_space *domain);
54 __isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
55 __isl_take isl_space *dim);
56 __isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
57 __isl_take isl_reordering *r);
59 __isl_give isl_aff *isl_aff_normalize(__isl_take isl_aff *aff);
61 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
62 __isl_take isl_mat *div, int *exp);
64 __isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
65 int n);
66 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
67 __isl_take isl_space *dim);
68 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
69 __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
70 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
71 __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
73 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
74 __isl_take isl_pw_aff *pwaff2, int max);
76 #undef BASE
77 #define BASE aff
79 #include <isl_multi_templ.h>
81 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
82 __isl_give isl_multi_aff *isl_multi_aff_align_params(
83 __isl_take isl_multi_aff *multi, __isl_take isl_space *model);
85 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
86 __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
87 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
88 __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
89 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
90 __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
92 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
93 __isl_take isl_pw_multi_aff *pma,
94 enum isl_dim_type type, unsigned first, unsigned n);
96 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
97 __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
98 __isl_keep isl_pw_aff *subs);
100 #endif