Merge branch 'maint'
[platform/upstream/isl.git] / include / isl / flow.h
1 #ifndef ISL_FLOW_H
2 #define ISL_FLOW_H
3
4 #include <isl/set_type.h>
5 #include <isl/map_type.h>
6 #include <isl/union_set.h>
7 #include <isl/union_map.h>
8
9 #if defined(__cplusplus)
10 extern "C" {
11 #endif
12
13 /* Let n (>= 0) be the number of iterators shared by first and second.
14  * If first precedes second textually return 2 * n + 1,
15  * otherwise return 2 * n.
16  */
17 typedef int (*isl_access_level_before)(void *first, void *second);
18
19 typedef __isl_give isl_set *(*isl_access_restrict_sources)(
20         __isl_take isl_map *source_map, void *sink_user, void *source_user);
21
22 struct isl_access_info;
23 typedef struct isl_access_info isl_access_info;
24 struct isl_flow;
25 typedef struct isl_flow isl_flow;
26
27 __isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink,
28         void *sink_user, isl_access_level_before fn, int max_source);
29 __isl_give isl_access_info *isl_access_info_set_restrict_sources(
30         __isl_take isl_access_info *acc, isl_access_restrict_sources fn);
31 __isl_give isl_access_info *isl_access_info_add_source(
32         __isl_take isl_access_info *acc, __isl_take isl_map *source,
33         int must, void *source_user);
34 void isl_access_info_free(__isl_take isl_access_info *acc);
35
36 isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc);
37
38 __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *acc);
39 int isl_flow_foreach(__isl_keep isl_flow *deps,
40         int (*fn)(__isl_take isl_map *dep, int must, void *dep_user, void *user),
41         void *user);
42 __isl_give isl_map *isl_flow_get_no_source(__isl_keep isl_flow *deps, int must);
43 void isl_flow_free(__isl_take isl_flow *deps);
44
45 isl_ctx *isl_flow_get_ctx(__isl_keep isl_flow *deps);
46
47 int isl_union_map_compute_flow(__isl_take isl_union_map *sink,
48         __isl_take isl_union_map *must_source,
49         __isl_take isl_union_map *may_source,
50         __isl_take isl_union_map *schedule,
51         __isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_dep,
52         __isl_give isl_union_map **must_no_source,
53         __isl_give isl_union_map **may_no_source);
54
55 #if defined(__cplusplus)
56 }
57 #endif
58
59 #endif