isl_map_subtract.c: tab_add_constraints: avoid NULL pointer dereference
[isl.git] / include / isl_flow.h
blob1befb515528881ec0fb82e142770952fd37d7ea8
1 #ifndef ISL_FLOW_H
2 #define ISL_FLOW_H
4 #include <isl_set.h>
5 #include <isl_map.h>
7 #if defined(__cplusplus)
8 extern "C" {
9 #endif
11 /* Let n (>= 0) be the number of iterators shared by first and second.
12 * If first precedes second textually return 2 * n + 1,
13 * otherwise return 2 * n.
15 typedef int (*isl_access_level_before)(void *first, void *second);
17 struct isl_access_info;
18 typedef struct isl_access_info isl_access_info;
19 struct isl_flow;
20 typedef struct isl_flow isl_flow;
22 __isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink,
23 void *sink_user, isl_access_level_before fn, int max_source);
24 __isl_give isl_access_info *isl_access_info_add_source(
25 __isl_take isl_access_info *acc, __isl_take isl_map *source,
26 int must, void *source_user);
27 __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *acc);
28 int isl_flow_foreach(__isl_keep isl_flow *deps,
29 int (*fn)(__isl_take isl_map *dep, int must, void *dep_user, void *user),
30 void *user);
31 __isl_give isl_set *isl_flow_get_no_source(__isl_keep isl_flow *deps, int must);
32 void isl_flow_free(__isl_take isl_flow *deps);
34 #if defined(__cplusplus)
36 #endif
38 #endif