| 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 |