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>
13 #if defined(__cplusplus)
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.
21 typedef int (*isl_access_level_before
)(void *first
, void *second
);
23 struct isl_restriction
;
24 typedef struct isl_restriction isl_restriction
;
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
);
37 isl_ctx
*isl_restriction_get_ctx(__isl_keep isl_restriction
*restr
);
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
);
43 struct isl_access_info
;
44 typedef struct isl_access_info isl_access_info
;
46 typedef struct isl_flow isl_flow
;
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
);
58 isl_ctx
*isl_access_info_get_ctx(__isl_keep isl_access_info
*acc
);
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
,
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
);
68 isl_ctx
*isl_flow_get_ctx(__isl_keep isl_flow
*deps
);
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
;
76 __isl_give isl_union_access_info
*isl_union_access_info_from_sink(
77 __isl_take isl_union_map
*sink
);
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
);
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
);
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
);
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
);
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
);
103 isl_ctx
*isl_union_access_info_get_ctx(
104 __isl_keep isl_union_access_info
*access
);
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
);
114 __isl_give isl_union_flow
*isl_union_access_info_compute_flow(
115 __isl_take isl_union_access_info
*access
);
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
);
121 __isl_give isl_union_map
*isl_union_flow_get_must_dependence(
122 __isl_keep isl_union_flow
*flow
);
124 __isl_give isl_union_map
*isl_union_flow_get_may_dependence(
125 __isl_keep isl_union_flow
*flow
);
127 __isl_give isl_union_map
*isl_union_flow_get_full_must_dependence(
128 __isl_keep isl_union_flow
*flow
);
130 __isl_give isl_union_map
*isl_union_flow_get_full_may_dependence(
131 __isl_keep isl_union_flow
*flow
);
133 __isl_give isl_union_map
*isl_union_flow_get_must_no_source(
134 __isl_keep isl_union_flow
*flow
);
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
);
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
);
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
);
152 #if defined(__cplusplus)