File indexing completed on 2026-05-10 08:48:12
0001 #ifndef ISL_AST_BUILD_H
0002 #define ISL_AST_BUILD_H
0003
0004 #include <isl/ctx.h>
0005 #include <isl/set.h>
0006 #include <isl/ast.h>
0007 #include <isl/schedule.h>
0008
0009 #if defined(__cplusplus)
0010 extern "C" {
0011 #endif
0012
0013 struct __isl_export isl_ast_build;
0014 typedef struct isl_ast_build isl_ast_build;
0015
0016
0017 isl_stat isl_options_set_ast_build_atomic_upper_bound(isl_ctx *ctx, int val);
0018 int isl_options_get_ast_build_atomic_upper_bound(isl_ctx *ctx);
0019
0020 isl_stat isl_options_set_ast_build_prefer_pdiv(isl_ctx *ctx, int val);
0021 int isl_options_get_ast_build_prefer_pdiv(isl_ctx *ctx);
0022
0023 isl_stat isl_options_set_ast_build_detect_min_max(isl_ctx *ctx, int val);
0024 int isl_options_get_ast_build_detect_min_max(isl_ctx *ctx);
0025
0026 isl_stat isl_options_set_ast_build_exploit_nested_bounds(isl_ctx *ctx, int val);
0027 int isl_options_get_ast_build_exploit_nested_bounds(isl_ctx *ctx);
0028
0029 isl_stat isl_options_set_ast_build_group_coscheduled(isl_ctx *ctx, int val);
0030 int isl_options_get_ast_build_group_coscheduled(isl_ctx *ctx);
0031
0032 #define ISL_AST_BUILD_SEPARATION_BOUNDS_EXPLICIT 0
0033 #define ISL_AST_BUILD_SEPARATION_BOUNDS_IMPLICIT 1
0034 isl_stat isl_options_set_ast_build_separation_bounds(isl_ctx *ctx, int val);
0035 int isl_options_get_ast_build_separation_bounds(isl_ctx *ctx);
0036
0037 isl_stat isl_options_set_ast_build_scale_strides(isl_ctx *ctx, int val);
0038 int isl_options_get_ast_build_scale_strides(isl_ctx *ctx);
0039
0040 isl_stat isl_options_set_ast_build_allow_else(isl_ctx *ctx, int val);
0041 int isl_options_get_ast_build_allow_else(isl_ctx *ctx);
0042
0043 isl_stat isl_options_set_ast_build_allow_or(isl_ctx *ctx, int val);
0044 int isl_options_get_ast_build_allow_or(isl_ctx *ctx);
0045
0046 isl_ctx *isl_ast_build_get_ctx(__isl_keep isl_ast_build *build);
0047
0048 __isl_constructor
0049 __isl_give isl_ast_build *isl_ast_build_alloc(isl_ctx *ctx);
0050 __isl_export
0051 __isl_give isl_ast_build *isl_ast_build_from_context(__isl_take isl_set *set);
0052
0053 __isl_give isl_space *isl_ast_build_get_schedule_space(
0054 __isl_keep isl_ast_build *build);
0055 __isl_export
0056 __isl_give isl_union_map *isl_ast_build_get_schedule(
0057 __isl_keep isl_ast_build *build);
0058
0059 __isl_give isl_ast_build *isl_ast_build_restrict(
0060 __isl_take isl_ast_build *build, __isl_take isl_set *set);
0061
0062 __isl_give isl_ast_build *isl_ast_build_copy(
0063 __isl_keep isl_ast_build *build);
0064 __isl_null isl_ast_build *isl_ast_build_free(
0065 __isl_take isl_ast_build *build);
0066
0067 __isl_give isl_ast_build *isl_ast_build_set_options(
0068 __isl_take isl_ast_build *build,
0069 __isl_take isl_union_map *options);
0070 __isl_give isl_ast_build *isl_ast_build_set_iterators(
0071 __isl_take isl_ast_build *build,
0072 __isl_take isl_id_list *iterators);
0073 __isl_export
0074 __isl_give isl_ast_build *isl_ast_build_set_at_each_domain(
0075 __isl_take isl_ast_build *build,
0076 __isl_give isl_ast_node *(*fn)(__isl_take isl_ast_node *node,
0077 __isl_keep isl_ast_build *build, void *user), void *user);
0078 __isl_give isl_ast_build *isl_ast_build_set_before_each_for(
0079 __isl_take isl_ast_build *build,
0080 __isl_give isl_id *(*fn)(__isl_keep isl_ast_build *build,
0081 void *user), void *user);
0082 __isl_give isl_ast_build *isl_ast_build_set_after_each_for(
0083 __isl_take isl_ast_build *build,
0084 __isl_give isl_ast_node *(*fn)(__isl_take isl_ast_node *node,
0085 __isl_keep isl_ast_build *build, void *user), void *user);
0086 __isl_give isl_ast_build *isl_ast_build_set_before_each_mark(
0087 __isl_take isl_ast_build *build,
0088 isl_stat (*fn)(__isl_keep isl_id *mark, __isl_keep isl_ast_build *build,
0089 void *user), void *user);
0090 __isl_give isl_ast_build *isl_ast_build_set_after_each_mark(
0091 __isl_take isl_ast_build *build,
0092 __isl_give isl_ast_node *(*fn)(__isl_take isl_ast_node *node,
0093 __isl_keep isl_ast_build *build, void *user), void *user);
0094 __isl_give isl_ast_build *isl_ast_build_set_create_leaf(
0095 __isl_take isl_ast_build *build,
0096 __isl_give isl_ast_node *(*fn)(__isl_take isl_ast_build *build,
0097 void *user), void *user);
0098
0099 __isl_overload
0100 __isl_give isl_ast_expr *isl_ast_build_expr_from_set(
0101 __isl_keep isl_ast_build *build, __isl_take isl_set *set);
0102 __isl_overload
0103 __isl_give isl_ast_expr *isl_ast_build_expr_from_pw_aff(
0104 __isl_keep isl_ast_build *build, __isl_take isl_pw_aff *pa);
0105 __isl_overload
0106 __isl_give isl_ast_expr *isl_ast_build_access_from_pw_multi_aff(
0107 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma);
0108 __isl_overload
0109 __isl_give isl_ast_expr *isl_ast_build_access_from_multi_pw_aff(
0110 __isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa);
0111 __isl_overload
0112 __isl_give isl_ast_expr *isl_ast_build_call_from_pw_multi_aff(
0113 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma);
0114 __isl_overload
0115 __isl_give isl_ast_expr *isl_ast_build_call_from_multi_pw_aff(
0116 __isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa);
0117
0118 __isl_overload
0119 __isl_give isl_ast_node *isl_ast_build_node_from_schedule(
0120 __isl_keep isl_ast_build *build, __isl_take isl_schedule *schedule);
0121 __isl_export
0122 __isl_give isl_ast_node *isl_ast_build_node_from_schedule_map(
0123 __isl_keep isl_ast_build *build, __isl_take isl_union_map *schedule);
0124 __isl_give isl_ast_node *isl_ast_build_ast_from_schedule(
0125 __isl_keep isl_ast_build *build, __isl_take isl_union_map *schedule);
0126
0127 #if defined(__cplusplus)
0128 }
0129 #endif
0130
0131 #endif
