|
Packit |
fb9d21 |
#ifndef ISL_FLOW_H
|
|
Packit |
fb9d21 |
#define ISL_FLOW_H
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#include <isl/set_type.h>
|
|
Packit |
fb9d21 |
#include <isl/map_type.h>
|
|
Packit |
fb9d21 |
#include <isl/union_set_type.h>
|
|
Packit |
fb9d21 |
#include <isl/union_map_type.h>
|
|
Packit |
fb9d21 |
#include <isl/schedule.h>
|
|
Packit |
fb9d21 |
#include <isl/printer.h>
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#if defined(__cplusplus)
|
|
Packit |
fb9d21 |
extern "C" {
|
|
Packit |
fb9d21 |
#endif
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
/* Let n (>= 0) be the number of iterators shared by first and second.
|
|
Packit |
fb9d21 |
* If first precedes second textually return 2 * n + 1,
|
|
Packit |
fb9d21 |
* otherwise return 2 * n.
|
|
Packit |
fb9d21 |
*/
|
|
Packit |
fb9d21 |
typedef int (*isl_access_level_before)(void *first, void *second);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
struct isl_restriction;
|
|
Packit |
fb9d21 |
typedef struct isl_restriction isl_restriction;
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_null isl_restriction *isl_restriction_free(
|
|
Packit |
fb9d21 |
__isl_take isl_restriction *restr);
|
|
Packit |
fb9d21 |
__isl_give isl_restriction *isl_restriction_empty(
|
|
Packit |
fb9d21 |
__isl_take isl_map *source_map);
|
|
Packit |
fb9d21 |
__isl_give isl_restriction *isl_restriction_none(
|
|
Packit |
fb9d21 |
__isl_take isl_map *source_map);
|
|
Packit |
fb9d21 |
__isl_give isl_restriction *isl_restriction_input(
|
|
Packit |
fb9d21 |
__isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
|
|
Packit |
fb9d21 |
__isl_give isl_restriction *isl_restriction_output(
|
|
Packit |
fb9d21 |
__isl_take isl_set *source_restr);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_ctx *isl_restriction_get_ctx(__isl_keep isl_restriction *restr);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
typedef __isl_give isl_restriction *(*isl_access_restrict)(
|
|
Packit |
fb9d21 |
__isl_keep isl_map *source_map, __isl_keep isl_set *sink,
|
|
Packit |
fb9d21 |
void *source_user, void *user);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
struct isl_access_info;
|
|
Packit |
fb9d21 |
typedef struct isl_access_info isl_access_info;
|
|
Packit |
fb9d21 |
struct isl_flow;
|
|
Packit |
fb9d21 |
typedef struct isl_flow isl_flow;
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_access_info *isl_access_info_alloc(__isl_take isl_map *sink,
|
|
Packit |
fb9d21 |
void *sink_user, isl_access_level_before fn, int max_source);
|
|
Packit |
fb9d21 |
__isl_give isl_access_info *isl_access_info_set_restrict(
|
|
Packit |
fb9d21 |
__isl_take isl_access_info *acc, isl_access_restrict fn, void *user);
|
|
Packit |
fb9d21 |
__isl_give isl_access_info *isl_access_info_add_source(
|
|
Packit |
fb9d21 |
__isl_take isl_access_info *acc, __isl_take isl_map *source,
|
|
Packit |
fb9d21 |
int must, void *source_user);
|
|
Packit |
fb9d21 |
__isl_null isl_access_info *isl_access_info_free(
|
|
Packit |
fb9d21 |
__isl_take isl_access_info *acc);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *acc);
|
|
Packit |
fb9d21 |
isl_stat isl_flow_foreach(__isl_keep isl_flow *deps,
|
|
Packit |
fb9d21 |
isl_stat (*fn)(__isl_take isl_map *dep, int must, void *dep_user,
|
|
Packit |
fb9d21 |
void *user),
|
|
Packit |
fb9d21 |
void *user);
|
|
Packit |
fb9d21 |
__isl_give isl_map *isl_flow_get_no_source(__isl_keep isl_flow *deps, int must);
|
|
Packit |
fb9d21 |
void isl_flow_free(__isl_take isl_flow *deps);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_ctx *isl_flow_get_ctx(__isl_keep isl_flow *deps);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
struct __isl_export isl_union_access_info;
|
|
Packit |
fb9d21 |
typedef struct isl_union_access_info isl_union_access_info;
|
|
Packit |
fb9d21 |
struct __isl_export isl_union_flow;
|
|
Packit |
fb9d21 |
typedef struct isl_union_flow isl_union_flow;
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_constructor
|
|
Packit |
fb9d21 |
__isl_give isl_union_access_info *isl_union_access_info_from_sink(
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *sink);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_access_info *isl_union_access_info_set_must_source(
|
|
Packit |
fb9d21 |
__isl_take isl_union_access_info *access,
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *must_source);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_access_info *isl_union_access_info_set_may_source(
|
|
Packit |
fb9d21 |
__isl_take isl_union_access_info *access,
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *may_source);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_access_info *isl_union_access_info_set_schedule(
|
|
Packit |
fb9d21 |
__isl_take isl_union_access_info *access,
|
|
Packit |
fb9d21 |
__isl_take isl_schedule *schedule);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_access_info *isl_union_access_info_set_schedule_map(
|
|
Packit |
fb9d21 |
__isl_take isl_union_access_info *access,
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *schedule_map);
|
|
Packit |
fb9d21 |
__isl_give isl_union_access_info *isl_union_access_info_copy(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_access_info *access);
|
|
Packit |
fb9d21 |
__isl_null isl_union_access_info *isl_union_access_info_free(
|
|
Packit |
fb9d21 |
__isl_take isl_union_access_info *access);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_ctx *isl_union_access_info_get_ctx(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_access_info *access);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_printer *isl_printer_print_union_access_info(
|
|
Packit |
fb9d21 |
__isl_take isl_printer *p, __isl_keep isl_union_access_info *access);
|
|
Packit |
fb9d21 |
__isl_give char *isl_union_access_info_to_str(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_access_info *access);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_flow *isl_union_access_info_compute_flow(
|
|
Packit |
fb9d21 |
__isl_take isl_union_access_info *access);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_ctx *isl_union_flow_get_ctx(__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_map *isl_union_flow_get_must_dependence(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_map *isl_union_flow_get_may_dependence(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_map *isl_union_flow_get_full_must_dependence(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_map *isl_union_flow_get_full_may_dependence(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_map *isl_union_flow_get_must_no_source(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_export
|
|
Packit |
fb9d21 |
__isl_give isl_union_map *isl_union_flow_get_may_no_source(
|
|
Packit |
fb9d21 |
__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_null isl_union_flow *isl_union_flow_free(__isl_take isl_union_flow *flow);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_printer *isl_printer_print_union_flow(
|
|
Packit |
fb9d21 |
__isl_take isl_printer *p, __isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
__isl_give char *isl_union_flow_to_str(__isl_keep isl_union_flow *flow);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
int isl_union_map_compute_flow(__isl_take isl_union_map *sink,
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *must_source,
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *may_source,
|
|
Packit |
fb9d21 |
__isl_take isl_union_map *schedule,
|
|
Packit |
fb9d21 |
__isl_give isl_union_map **must_dep, __isl_give isl_union_map **may_dep,
|
|
Packit |
fb9d21 |
__isl_give isl_union_map **must_no_source,
|
|
Packit |
fb9d21 |
__isl_give isl_union_map **may_no_source);
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#if defined(__cplusplus)
|
|
Packit |
fb9d21 |
}
|
|
Packit |
fb9d21 |
#endif
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#endif
|