| 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
|
|---|
