1 | #ifndef ISL_FLOW_H |
2 | #define ISL_FLOW_H |
3 | |
4 | #include <stdio.h> |
5 | |
6 | #include <isl/set_type.h> |
7 | #include <isl/map_type.h> |
8 | #include <isl/union_set_type.h> |
9 | #include <isl/union_map_type.h> |
10 | #include <isl/schedule.h> |
11 | #include <isl/printer.h> |
12 | |
13 | #if defined(__cplusplus) |
14 | extern "C" { |
15 | #endif |
16 | |
17 | /* Let n (>= 0) be the number of iterators shared by first and second. |
18 | * If first precedes second textually return 2 * n + 1, |
19 | * otherwise return 2 * n. |
20 | */ |
21 | typedef int (*isl_access_level_before)(void *first, void *second); |
22 | |
23 | struct isl_restriction; |
24 | typedef struct isl_restriction isl_restriction; |
25 | |
26 | __isl_null isl_restriction *isl_restriction_free( |
27 | __isl_take isl_restriction *restr); |
28 | __isl_give isl_restriction *isl_restriction_empty( |
29 | __isl_take isl_map *source_map); |
30 | __isl_give isl_restriction *isl_restriction_none( |
31 | __isl_take isl_map *source_map); |
32 | __isl_give isl_restriction *isl_restriction_input( |
33 | __isl_take isl_set *source_restr, __isl_take isl_set *sink_restr); |
34 | __isl_give isl_restriction *isl_restriction_output( |
35 | __isl_take isl_set *source_restr); |
36 | |
37 | isl_ctx *isl_restriction_get_ctx(__isl_keep isl_restriction *restr); |
38 | |
39 | typedef __isl_give isl_restriction *(*isl_access_restrict)( |
40 | __isl_keep isl_map *source_map, __isl_keep isl_set *sink, |
41 | void *source_user, void *user); |
42 | |
43 | struct isl_access_info; |
44 | typedef struct isl_access_info isl_access_info; |
45 | struct isl_flow; |
46 | typedef struct isl_flow isl_flow; |
47 | |
48 | __isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink, |
49 | void *sink_user, isl_access_level_before fn, int max_source); |
50 | __isl_give isl_access_info *isl_access_info_set_restrict( |
51 | __isl_take isl_access_info *acc, isl_access_restrict fn, void *user); |
52 | __isl_give isl_access_info *isl_access_info_add_source( |
53 | __isl_take isl_access_info *acc, __isl_take isl_map *source, |
54 | int must, void *source_user); |
55 | __isl_null isl_access_info *isl_access_info_free( |
56 | __isl_take isl_access_info *acc); |
57 | |
58 | isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc); |
59 | |
60 | __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *acc); |
61 | isl_stat isl_flow_foreach(__isl_keep isl_flow *deps, |
62 | isl_stat (*fn)(__isl_take isl_map *dep, int must, void *dep_user, |
63 | void *user), |
64 | void *user); |
65 | __isl_give isl_map *isl_flow_get_no_source(__isl_keep isl_flow *deps, int must); |
66 | __isl_null isl_flow *isl_flow_free(__isl_take isl_flow *deps); |
67 | |
68 | isl_ctx *isl_flow_get_ctx(__isl_keep isl_flow *deps); |
69 | |
70 | struct __isl_export isl_union_access_info; |
71 | typedef struct isl_union_access_info isl_union_access_info; |
72 | struct __isl_export isl_union_flow; |
73 | typedef struct isl_union_flow isl_union_flow; |
74 | |
75 | __isl_constructor |
76 | __isl_give isl_union_access_info *isl_union_access_info_from_sink( |
77 | __isl_take isl_union_map *sink); |
78 | __isl_export |
79 | __isl_give isl_union_access_info *isl_union_access_info_set_must_source( |
80 | __isl_take isl_union_access_info *access, |
81 | __isl_take isl_union_map *must_source); |
82 | __isl_export |
83 | __isl_give isl_union_access_info *isl_union_access_info_set_may_source( |
84 | __isl_take isl_union_access_info *access, |
85 | __isl_take isl_union_map *may_source); |
86 | __isl_export |
87 | __isl_give isl_union_access_info *isl_union_access_info_set_kill( |
88 | __isl_take isl_union_access_info *access, |
89 | __isl_take isl_union_map *kill); |
90 | __isl_export |
91 | __isl_give isl_union_access_info *isl_union_access_info_set_schedule( |
92 | __isl_take isl_union_access_info *access, |
93 | __isl_take isl_schedule *schedule); |
94 | __isl_export |
95 | __isl_give isl_union_access_info *isl_union_access_info_set_schedule_map( |
96 | __isl_take isl_union_access_info *access, |
97 | __isl_take isl_union_map *schedule_map); |
98 | __isl_give isl_union_access_info *isl_union_access_info_copy( |
99 | __isl_keep isl_union_access_info *access); |
100 | __isl_null isl_union_access_info *isl_union_access_info_free( |
101 | __isl_take isl_union_access_info *access); |
102 | |
103 | isl_ctx *isl_union_access_info_get_ctx( |
104 | __isl_keep isl_union_access_info *access); |
105 | |
106 | __isl_give isl_union_access_info *isl_union_access_info_read_from_file( |
107 | isl_ctx *ctx, FILE *input); |
108 | __isl_give isl_printer *isl_printer_print_union_access_info( |
109 | __isl_take isl_printer *p, __isl_keep isl_union_access_info *access); |
110 | __isl_give char *isl_union_access_info_to_str( |
111 | __isl_keep isl_union_access_info *access); |
112 | |
113 | __isl_export |
114 | __isl_give isl_union_flow *isl_union_access_info_compute_flow( |
115 | __isl_take isl_union_access_info *access); |
116 | |
117 | isl_ctx *isl_union_flow_get_ctx(__isl_keep isl_union_flow *flow); |
118 | __isl_give isl_union_flow *isl_union_flow_copy( |
119 | __isl_keep isl_union_flow *flow); |
120 | __isl_export |
121 | __isl_give isl_union_map *isl_union_flow_get_must_dependence( |
122 | __isl_keep isl_union_flow *flow); |
123 | __isl_export |
124 | __isl_give isl_union_map *isl_union_flow_get_may_dependence( |
125 | __isl_keep isl_union_flow *flow); |
126 | __isl_export |
127 | __isl_give isl_union_map *isl_union_flow_get_full_must_dependence( |
128 | __isl_keep isl_union_flow *flow); |
129 | __isl_export |
130 | __isl_give isl_union_map *isl_union_flow_get_full_may_dependence( |
131 | __isl_keep isl_union_flow *flow); |
132 | __isl_export |
133 | __isl_give isl_union_map *isl_union_flow_get_must_no_source( |
134 | __isl_keep isl_union_flow *flow); |
135 | __isl_export |
136 | __isl_give isl_union_map *isl_union_flow_get_may_no_source( |
137 | __isl_keep isl_union_flow *flow); |
138 | __isl_null isl_union_flow *isl_union_flow_free(__isl_take isl_union_flow *flow); |
139 | |
140 | __isl_give isl_printer *isl_printer_print_union_flow( |
141 | __isl_take isl_printer *p, __isl_keep isl_union_flow *flow); |
142 | __isl_give char *isl_union_flow_to_str(__isl_keep isl_union_flow *flow); |
143 | |
144 | int isl_union_map_compute_flow(__isl_take isl_union_map *sink, |
145 | __isl_take isl_union_map *must_source, |
146 | __isl_take isl_union_map *may_source, |
147 | __isl_take isl_union_map *schedule, |
148 | __isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_dep, |
149 | __isl_give isl_union_map **must_no_source, |
150 | __isl_give isl_union_map **may_no_source); |
151 | |
152 | #if defined(__cplusplus) |
153 | } |
154 | #endif |
155 | |
156 | #endif |
157 | |