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