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