4 #include <isl/set_type.h>
5 #include <isl/map_type.h>
6 #include <isl/union_set_type.h>
7 #include <isl/union_map_type.h>
9 #if defined(__cplusplus)
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.
17 typedef int (*isl_access_level_before
)(void *first
, void *second
);
19 struct isl_restriction
;
20 typedef struct isl_restriction isl_restriction
;
22 __isl_null isl_restriction
*isl_restriction_free(
23 __isl_take isl_restriction
*restr
);
24 __isl_give isl_restriction
*isl_restriction_empty(
25 __isl_take isl_map
*source_map
);
26 __isl_give isl_restriction
*isl_restriction_none(
27 __isl_take isl_map
*source_map
);
28 __isl_give isl_restriction
*isl_restriction_input(
29 __isl_take isl_set
*source_restr
, __isl_take isl_set
*sink_restr
);
30 __isl_give isl_restriction
*isl_restriction_output(
31 __isl_take isl_set
*source_restr
);
33 isl_ctx
*isl_restriction_get_ctx(__isl_keep isl_restriction
*restr
);
35 typedef __isl_give isl_restriction
*(*isl_access_restrict
)(
36 __isl_keep isl_map
*source_map
, __isl_keep isl_set
*sink
,
37 void *source_user
, void *user
);
39 struct isl_access_info
;
40 typedef struct isl_access_info isl_access_info
;
42 typedef struct isl_flow isl_flow
;
44 __isl_give isl_access_info
*isl_access_info_alloc(__isl_take isl_map
*sink
,
45 void *sink_user
, isl_access_level_before fn
, int max_source
);
46 __isl_give isl_access_info
*isl_access_info_set_restrict(
47 __isl_take isl_access_info
*acc
, isl_access_restrict fn
, void *user
);
48 __isl_give isl_access_info
*isl_access_info_add_source(
49 __isl_take isl_access_info
*acc
, __isl_take isl_map
*source
,
50 int must
, void *source_user
);
51 __isl_null isl_access_info
*isl_access_info_free(
52 __isl_take isl_access_info
*acc
);
54 isl_ctx
*isl_access_info_get_ctx(__isl_keep isl_access_info
*acc
);
56 __isl_give isl_flow
*isl_access_info_compute_flow(__isl_take isl_access_info
*acc
);
57 int isl_flow_foreach(__isl_keep isl_flow
*deps
,
58 int (*fn
)(__isl_take isl_map
*dep
, int must
, void *dep_user
, void *user
),
60 __isl_give isl_map
*isl_flow_get_no_source(__isl_keep isl_flow
*deps
, int must
);
61 void isl_flow_free(__isl_take isl_flow
*deps
);
63 isl_ctx
*isl_flow_get_ctx(__isl_keep isl_flow
*deps
);
65 int isl_union_map_compute_flow(__isl_take isl_union_map
*sink
,
66 __isl_take isl_union_map
*must_source
,
67 __isl_take isl_union_map
*may_source
,
68 __isl_take isl_union_map
*schedule
,
69 __isl_give isl_union_map
**must_dep
, __isl_give isl_union_map
**may_dep
,
70 __isl_give isl_union_map
**must_no_source
,
71 __isl_give isl_union_map
**may_no_source
);
73 #if defined(__cplusplus)