add isl_pw_multi_aff_substitute
[platform/upstream/isl.git] / 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
9 /* ls represents the domain space.
10  */
11 struct isl_aff {
12         int ref;
13
14         isl_local_space *ls;
15         isl_vec         *v;
16 };
17
18 struct isl_pw_aff_piece {
19         struct isl_set *set;
20         struct isl_aff *aff;
21 };
22
23 struct isl_pw_aff {
24         int ref;
25
26         isl_space *dim;
27
28         int n;
29
30         size_t size;
31         struct isl_pw_aff_piece p[1];
32 };
33
34 struct isl_pw_multi_aff_piece {
35         isl_set *set;
36         isl_multi_aff *maff;
37 };
38
39 struct isl_pw_multi_aff {
40         int ref;
41
42         isl_space *dim;
43
44         int n;
45
46         size_t size;
47         struct isl_pw_multi_aff_piece p[1];
48 };
49
50 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
51
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);
58
59 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
60         __isl_take isl_mat *div, int *exp);
61
62 __isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
63         int n);
64 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
65         __isl_take isl_space *dim);
66 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
67         __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
68 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
69         __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
70
71 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
72         __isl_take isl_pw_aff *pwaff2, int max);
73
74 #undef BASE
75 #define BASE aff
76
77 #include <isl_multi_templ.h>
78
79 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
80 __isl_give isl_multi_aff *isl_multi_aff_align_params(
81         __isl_take isl_multi_aff *multi, __isl_take isl_space *model);
82
83 __isl_give isl_multi_aff *isl_multi_aff_drop_dims(
84         __isl_take isl_multi_aff *maff,
85         enum isl_dim_type type, unsigned first, unsigned n);
86
87 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_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_reset_space(
90         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
91 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
92         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
93
94 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
95         __isl_take isl_pw_multi_aff *pma,
96         enum isl_dim_type type, unsigned first, unsigned n);
97
98 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
99         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
100         __isl_keep isl_pw_aff *subs);
101
102 #endif