polly/isl/flow.h

0001 #ifndef ISL_FLOW_H
0002 #define ISL_FLOW_H
0003
0004 #include <stdio.h>
0005
0006 #include <isl/set_type.h>
0007 #include <isl/map_type.h>
0008 #include <isl/union_set_type.h>
0009 #include <isl/union_map_type.h>
0010 #include <isl/schedule.h>
0011 #include <isl/printer.h>
0012
0013 #if defined(__cplusplus)
0014 extern "C" {
0015 #endif
0016
0017 /* Let n (>= 0) be the number of iterators shared by first and second.
0018  * If first precedes second textually return 2 * n + 1,
0019  * otherwise return 2 * n.
0020  */
0021 typedef int (*isl_access_level_before)(void *first, void *second);
0022
0023 struct isl_restriction;
0024 typedef struct isl_restriction isl_restriction;
0025
0026 __isl_null isl_restriction *isl_restriction_free(
0027     __isl_take isl_restriction *restr);
0028 __isl_give isl_restriction *isl_restriction_empty(
0029     __isl_take isl_map *source_map);
0030 __isl_give isl_restriction *isl_restriction_none(
0031     __isl_take isl_map *source_map);
0032 __isl_give isl_restriction *isl_restriction_input(
0033     __isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
0034 __isl_give isl_restriction *isl_restriction_output(
0035     __isl_take isl_set *source_restr);
0036
0037 isl_ctx *isl_restriction_get_ctx(__isl_keep isl_restriction *restr);
0038
0039 typedef __isl_give isl_restriction *(*isl_access_restrict)(
0040     __isl_keep isl_map *source_map, __isl_keep isl_set *sink,
0041     void *source_user, void *user);
0042
0043 struct isl_access_info;
0044 typedef struct isl_access_info isl_access_info;
0045 struct isl_flow;
0046 typedef struct isl_flow isl_flow;
0047
0048 __isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink,
0049     void *sink_user, isl_access_level_before fn, int max_source);
0050 __isl_give isl_access_info *isl_access_info_set_restrict(
0051     __isl_take isl_access_info *acc, isl_access_restrict fn, void *user);
0052 __isl_give isl_access_info *isl_access_info_add_source(
0053     __isl_take isl_access_info *acc, __isl_take isl_map *source,
0054     int must, void *source_user);
0055 __isl_null isl_access_info *isl_access_info_free(
0056     __isl_take isl_access_info *acc);
0057
0058 isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc);
0059
0060 __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *acc);
0061 isl_stat isl_flow_foreach(__isl_keep isl_flow *deps,
0062     isl_stat (*fn)(__isl_take isl_map *dep, int must, void *dep_user,
0063         void *user),
0064     void *user);
0065 __isl_give isl_map *isl_flow_get_no_source(__isl_keep isl_flow *deps, int must);
0066 __isl_null isl_flow *isl_flow_free(__isl_take isl_flow *deps);
0067
0068 isl_ctx *isl_flow_get_ctx(__isl_keep isl_flow *deps);
0069
0070 struct __isl_export isl_union_access_info;
0071 typedef struct isl_union_access_info isl_union_access_info;
0072 struct __isl_export isl_union_flow;
0073 typedef struct isl_union_flow isl_union_flow;
0074
0075 __isl_constructor
0076 __isl_give isl_union_access_info *isl_union_access_info_from_sink(
0077     __isl_take isl_union_map *sink);
0078 __isl_export
0079 __isl_give isl_union_access_info *isl_union_access_info_set_must_source(
0080     __isl_take isl_union_access_info *access,
0081     __isl_take isl_union_map *must_source);
0082 __isl_export
0083 __isl_give isl_union_access_info *isl_union_access_info_set_may_source(
0084     __isl_take isl_union_access_info *access,
0085     __isl_take isl_union_map *may_source);
0086 __isl_export
0087 __isl_give isl_union_access_info *isl_union_access_info_set_kill(
0088     __isl_take isl_union_access_info *access,
0089     __isl_take isl_union_map *kill);
0090 __isl_export
0091 __isl_give isl_union_access_info *isl_union_access_info_set_schedule(
0092     __isl_take isl_union_access_info *access,
0093     __isl_take isl_schedule *schedule);
0094 __isl_export
0095 __isl_give isl_union_access_info *isl_union_access_info_set_schedule_map(
0096     __isl_take isl_union_access_info *access,
0097     __isl_take isl_union_map *schedule_map);
0098 __isl_give isl_union_access_info *isl_union_access_info_copy(
0099     __isl_keep isl_union_access_info *access);
0100 __isl_null isl_union_access_info *isl_union_access_info_free(
0101     __isl_take isl_union_access_info *access);
0102
0103 isl_ctx *isl_union_access_info_get_ctx(
0104     __isl_keep isl_union_access_info *access);
0105
0106 __isl_give isl_union_access_info *isl_union_access_info_read_from_file(
0107     isl_ctx *ctx, FILE *input);
0108 __isl_give isl_printer *isl_printer_print_union_access_info(
0109     __isl_take isl_printer *p, __isl_keep isl_union_access_info *access);
0110 __isl_give char *isl_union_access_info_to_str(
0111     __isl_keep isl_union_access_info *access);
0112
0113 __isl_export
0114 __isl_give isl_union_flow *isl_union_access_info_compute_flow(
0115     __isl_take isl_union_access_info *access);
0116
0117 isl_ctx *isl_union_flow_get_ctx(__isl_keep isl_union_flow *flow);
0118 __isl_give isl_union_flow *isl_union_flow_copy(
0119     __isl_keep isl_union_flow *flow);
0120 __isl_export
0121 __isl_give isl_union_map *isl_union_flow_get_must_dependence(
0122     __isl_keep isl_union_flow *flow);
0123 __isl_export
0124 __isl_give isl_union_map *isl_union_flow_get_may_dependence(
0125     __isl_keep isl_union_flow *flow);
0126 __isl_export
0127 __isl_give isl_union_map *isl_union_flow_get_full_must_dependence(
0128     __isl_keep isl_union_flow *flow);
0129 __isl_export
0130 __isl_give isl_union_map *isl_union_flow_get_full_may_dependence(
0131     __isl_keep isl_union_flow *flow);
0132 __isl_export
0133 __isl_give isl_union_map *isl_union_flow_get_must_no_source(
0134     __isl_keep isl_union_flow *flow);
0135 __isl_export
0136 __isl_give isl_union_map *isl_union_flow_get_may_no_source(
0137     __isl_keep isl_union_flow *flow);
0138 __isl_null isl_union_flow *isl_union_flow_free(__isl_take isl_union_flow *flow);
0139
0140 __isl_give isl_printer *isl_printer_print_union_flow(
0141     __isl_take isl_printer *p, __isl_keep isl_union_flow *flow);
0142 __isl_give char *isl_union_flow_to_str(__isl_keep isl_union_flow *flow);
0143
0144 int isl_union_map_compute_flow(__isl_take isl_union_map *sink,
0145     __isl_take isl_union_map *must_source,
0146     __isl_take isl_union_map *may_source,
0147     __isl_take isl_union_map *schedule,
0148     __isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_dep,
0149     __isl_give isl_union_map **must_no_source,
0150     __isl_give isl_union_map **may_no_source);
0151
0152 #if defined(__cplusplus)
0153 }
0154 #endif
0155
0156 #endif