include/isl/flow.h

   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