| 1 |
#ifndef ISL_AST_BUILD_H |
| 2 |
#define ISL_AST_BUILD_H |
| 3 |
|
| 4 |
#include <isl/ctx.h> |
| 5 |
#include <isl/set.h> |
| 6 |
#include <isl/ast.h> |
| 7 |
#include <isl/schedule.h> |
| 8 |
|
| 9 |
#if defined(__cplusplus) |
| 10 |
extern "C" { |
| 11 |
#endif |
| 12 |
|
| 13 |
struct __isl_export isl_ast_build; |
| 14 |
typedef struct isl_ast_build isl_ast_build; |
| 15 |
|
| 16 |
|
| 17 |
isl_stat isl_options_set_ast_build_atomic_upper_bound(isl_ctx *ctx, int val); |
| 18 |
int isl_options_get_ast_build_atomic_upper_bound(isl_ctx *ctx); |
| 19 |
|
| 20 |
isl_stat isl_options_set_ast_build_prefer_pdiv(isl_ctx *ctx, int val); |
| 21 |
int isl_options_get_ast_build_prefer_pdiv(isl_ctx *ctx); |
| 22 |
|
| 23 |
isl_stat isl_options_set_ast_build_detect_min_max(isl_ctx *ctx, int val); |
| 24 |
int isl_options_get_ast_build_detect_min_max(isl_ctx *ctx); |
| 25 |
|
| 26 |
isl_stat isl_options_set_ast_build_exploit_nested_bounds(isl_ctx *ctx, int val); |
| 27 |
int isl_options_get_ast_build_exploit_nested_bounds(isl_ctx *ctx); |
| 28 |
|
| 29 |
isl_stat isl_options_set_ast_build_group_coscheduled(isl_ctx *ctx, int val); |
| 30 |
int isl_options_get_ast_build_group_coscheduled(isl_ctx *ctx); |
| 31 |
|
| 32 |
#define ISL_AST_BUILD_SEPARATION_BOUNDS_EXPLICIT 0 |
| 33 |
#define ISL_AST_BUILD_SEPARATION_BOUNDS_IMPLICIT 1 |
| 34 |
isl_stat isl_options_set_ast_build_separation_bounds(isl_ctx *ctx, int val); |
| 35 |
int isl_options_get_ast_build_separation_bounds(isl_ctx *ctx); |
| 36 |
|
| 37 |
isl_stat isl_options_set_ast_build_scale_strides(isl_ctx *ctx, int val); |
| 38 |
int isl_options_get_ast_build_scale_strides(isl_ctx *ctx); |
| 39 |
|
| 40 |
isl_stat isl_options_set_ast_build_allow_else(isl_ctx *ctx, int val); |
| 41 |
int isl_options_get_ast_build_allow_else(isl_ctx *ctx); |
| 42 |
|
| 43 |
isl_stat isl_options_set_ast_build_allow_or(isl_ctx *ctx, int val); |
| 44 |
int isl_options_get_ast_build_allow_or(isl_ctx *ctx); |
| 45 |
|
| 46 |
isl_ctx *isl_ast_build_get_ctx(__isl_keep isl_ast_build *build); |
| 47 |
|
| 48 |
__isl_constructor |
| 49 |
__isl_give isl_ast_build *isl_ast_build_alloc(isl_ctx *ctx); |
| 50 |
__isl_export |
| 51 |
__isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *set); |
| 52 |
|
| 53 |
__isl_give isl_space *isl_ast_build_get_schedule_space( |
| 54 |
__isl_keep isl_ast_build *build); |
| 55 |
__isl_export |
| 56 |
__isl_give isl_union_map *isl_ast_build_get_schedule( |
| 57 |
__isl_keep isl_ast_build *build); |
| 58 |
|
| 59 |
__isl_give isl_ast_build *isl_ast_build_restrict( |
| 60 |
__isl_take isl_ast_build *build, __isl_take isl_set *set); |
| 61 |
|
| 62 |
__isl_give isl_ast_build *isl_ast_build_copy( |
| 63 |
__isl_keep isl_ast_build *build); |
| 64 |
__isl_null isl_ast_build *isl_ast_build_free( |
| 65 |
__isl_take isl_ast_build *build); |
| 66 |
|
| 67 |
__isl_give isl_ast_build *isl_ast_build_set_options( |
| 68 |
__isl_take isl_ast_build *build, |
| 69 |
__isl_take isl_union_map *options); |
| 70 |
__isl_give isl_ast_build *isl_ast_build_set_iterators( |
| 71 |
__isl_take isl_ast_build *build, |
| 72 |
__isl_take isl_id_list *iterators); |
| 73 |
__isl_export |
| 74 |
__isl_give isl_ast_build *isl_ast_build_set_at_each_domain( |
| 75 |
__isl_take isl_ast_build *build, |
| 76 |
__isl_give isl_ast_node *(*fn)(__isl_take isl_ast_node *node, |
| 77 |
__isl_keep isl_ast_build *build, void *user), void *user); |
| 78 |
__isl_give isl_ast_build *isl_ast_build_set_before_each_for( |
| 79 |
__isl_take isl_ast_build *build, |
| 80 |
__isl_give isl_id *(*fn)(__isl_keep isl_ast_build *build, |
| 81 |
void *user), void *user); |
| 82 |
__isl_give isl_ast_build *isl_ast_build_set_after_each_for( |
| 83 |
__isl_take isl_ast_build *build, |
| 84 |
__isl_give isl_ast_node *(*fn)(__isl_take isl_ast_node *node, |
| 85 |
__isl_keep isl_ast_build *build, void *user), void *user); |
| 86 |
__isl_give isl_ast_build *isl_ast_build_set_before_each_mark( |
| 87 |
__isl_take isl_ast_build *build, |
| 88 |
isl_stat (*fn)(__isl_keep isl_id *mark, __isl_keep isl_ast_build *build, |
| 89 |
void *user), void *user); |
| 90 |
__isl_give isl_ast_build *isl_ast_build_set_after_each_mark( |
| 91 |
__isl_take isl_ast_build *build, |
| 92 |
__isl_give isl_ast_node *(*fn)(__isl_take isl_ast_node *node, |
| 93 |
__isl_keep isl_ast_build *build, void *user), void *user); |
| 94 |
__isl_give isl_ast_build *isl_ast_build_set_create_leaf( |
| 95 |
__isl_take isl_ast_build *build, |
| 96 |
__isl_give isl_ast_node *(*fn)(__isl_take isl_ast_build *build, |
| 97 |
void *user), void *user); |
| 98 |
|
| 99 |
__isl_overload |
| 100 |
__isl_give isl_ast_expr *isl_ast_build_expr_from_set( |
| 101 |
__isl_keep isl_ast_build *build, __isl_take isl_set *set); |
| 102 |
__isl_overload |
| 103 |
__isl_give isl_ast_expr *isl_ast_build_expr_from_pw_aff( |
| 104 |
__isl_keep isl_ast_build *build, __isl_take isl_pw_aff *pa); |
| 105 |
__isl_overload |
| 106 |
__isl_give isl_ast_expr *isl_ast_build_access_from_pw_multi_aff( |
| 107 |
__isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma); |
| 108 |
__isl_overload |
| 109 |
__isl_give isl_ast_expr *isl_ast_build_access_from_multi_pw_aff( |
| 110 |
__isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa); |
| 111 |
__isl_overload |
| 112 |
__isl_give isl_ast_expr *isl_ast_build_call_from_pw_multi_aff( |
| 113 |
__isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma); |
| 114 |
__isl_overload |
| 115 |
__isl_give isl_ast_expr *isl_ast_build_call_from_multi_pw_aff( |
| 116 |
__isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa); |
| 117 |
|
| 118 |
__isl_overload |
| 119 |
__isl_give isl_ast_node *isl_ast_build_node_from_schedule( |
| 120 |
__isl_keep isl_ast_build *build, __isl_take isl_schedule *schedule); |
| 121 |
__isl_export |
| 122 |
__isl_give isl_ast_node *isl_ast_build_node_from_schedule_map( |
| 123 |
__isl_keep isl_ast_build *build, __isl_take isl_union_map *schedule); |
| 124 |
__isl_give isl_ast_node *isl_ast_build_ast_from_schedule( |
| 125 |
__isl_keep isl_ast_build *build, __isl_take isl_union_map *schedule); |
| 126 |
|
| 127 |
#if defined(__cplusplus) |
| 128 |
} |
| 129 |
#endif |
| 130 |
|
| 131 |
#endif |