include/isl/ast.h

   1 #ifndef ISL_AST_H
   2 #define ISL_AST_H
   3
   4 #include <isl/ctx.h>
   5 #include <isl/ast_type.h>
   6 #include <isl/id.h>
   7 #include <isl/id_to_ast_expr.h>
   8 #include <isl/val.h>
   9 #include <isl/list.h>
  10 #include <isl/printer.h>
  11
  12 #if defined(__cplusplus)
  13 extern "C" {
  14 #endif
  15
  16 isl_stat isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val);
  17 const char *isl_options_get_ast_iterator_type(isl_ctx *ctx);
  18
  19 isl_stat isl_options_set_ast_always_print_block(isl_ctx *ctx, int val);
  20 int isl_options_get_ast_always_print_block(isl_ctx *ctx);
  21
  22 __isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
  23 __isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id);
  24 __isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr);
  25 __isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1,
  26         __isl_take isl_ast_expr *expr2);
  27 __isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1,
  28         __isl_take isl_ast_expr *expr2);
  29 __isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1,
  30         __isl_take isl_ast_expr *expr2);
  31 __isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1,
  32         __isl_take isl_ast_expr *expr2);
  33 __isl_give isl_ast_expr *isl_ast_expr_pdiv_q(__isl_take isl_ast_expr *expr1,
  34         __isl_take isl_ast_expr *expr2);
  35 __isl_give isl_ast_expr *isl_ast_expr_pdiv_r(__isl_take isl_ast_expr *expr1,
  36         __isl_take isl_ast_expr *expr2);
  37 __isl_give isl_ast_expr *isl_ast_expr_and(__isl_take isl_ast_expr *expr1,
  38         __isl_take isl_ast_expr *expr2);
  39 __isl_give isl_ast_expr *isl_ast_expr_and_then(__isl_take isl_ast_expr *expr1,
  40         __isl_take isl_ast_expr *expr2);
  41 __isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1,
  42         __isl_take isl_ast_expr *expr2);
  43 __isl_give isl_ast_expr *isl_ast_expr_or_else(__isl_take isl_ast_expr *expr1,
  44         __isl_take isl_ast_expr *expr2);
  45 __isl_give isl_ast_expr *isl_ast_expr_le(__isl_take isl_ast_expr *expr1,
  46         __isl_take isl_ast_expr *expr2);
  47 __isl_give isl_ast_expr *isl_ast_expr_lt(__isl_take isl_ast_expr *expr1,
  48         __isl_take isl_ast_expr *expr2);
  49 __isl_give isl_ast_expr *isl_ast_expr_ge(__isl_take isl_ast_expr *expr1,
  50         __isl_take isl_ast_expr *expr2);
  51 __isl_give isl_ast_expr *isl_ast_expr_gt(__isl_take isl_ast_expr *expr1,
  52         __isl_take isl_ast_expr *expr2);
  53 __isl_give isl_ast_expr *isl_ast_expr_eq(__isl_take isl_ast_expr *expr1,
  54         __isl_take isl_ast_expr *expr2);
  55 __isl_give isl_ast_expr *isl_ast_expr_access(__isl_take isl_ast_expr *array,
  56         __isl_take isl_ast_expr_list *indices);
  57 __isl_give isl_ast_expr *isl_ast_expr_call(__isl_take isl_ast_expr *function,
  58         __isl_take isl_ast_expr_list *arguments);
  59 __isl_give isl_ast_expr *isl_ast_expr_address_of(__isl_take isl_ast_expr *expr);
  60
  61 __isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr);
  62 __isl_null isl_ast_expr *isl_ast_expr_free(__isl_take isl_ast_expr *expr);
  63
  64 isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr);
  65 enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr);
  66 __isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);
  67 __isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr);
  68
  69 enum isl_ast_op_type isl_ast_expr_get_op_type(__isl_keep isl_ast_expr *expr);
  70 int isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr);
  71 __isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *expr,
  72         int pos);
  73 __isl_give isl_ast_expr *isl_ast_expr_set_op_arg(__isl_take isl_ast_expr *expr,
  74         int pos, __isl_take isl_ast_expr *arg);
  75
  76 isl_bool isl_ast_expr_is_equal(__isl_keep isl_ast_expr *expr1,
  77         __isl_keep isl_ast_expr *expr2);
  78
  79 __isl_give isl_ast_expr *isl_ast_expr_substitute_ids(
  80         __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr);
  81
  82 __isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer *p,
  83         __isl_keep isl_ast_expr *expr);
  84 void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr);
  85 __isl_give char *isl_ast_expr_to_str(__isl_keep isl_ast_expr *expr);
  86 __isl_export
  87 __isl_give char *isl_ast_expr_to_C_str(__isl_keep isl_ast_expr *expr);
  88
  89 __isl_give isl_ast_node *isl_ast_node_alloc_user(__isl_take isl_ast_expr *expr);
  90 __isl_give isl_ast_node *isl_ast_node_copy(__isl_keep isl_ast_node *node);
  91 __isl_null isl_ast_node *isl_ast_node_free(__isl_take isl_ast_node *node);
  92
  93 isl_ctx *isl_ast_node_get_ctx(__isl_keep isl_ast_node *node);
  94 enum isl_ast_node_type isl_ast_node_get_type(__isl_keep isl_ast_node *node);
  95
  96 __isl_give isl_ast_node *isl_ast_node_set_annotation(
  97         __isl_take isl_ast_node *node, __isl_take isl_id *annotation);
  98 __isl_give isl_id *isl_ast_node_get_annotation(__isl_keep isl_ast_node *node);
  99
 100 __isl_give isl_ast_expr *isl_ast_node_for_get_iterator(
 101         __isl_keep isl_ast_node *node);
 102 __isl_give isl_ast_expr *isl_ast_node_for_get_init(
 103         __isl_keep isl_ast_node *node);
 104 __isl_give isl_ast_expr *isl_ast_node_for_get_cond(
 105         __isl_keep isl_ast_node *node);
 106 __isl_give isl_ast_expr *isl_ast_node_for_get_inc(
 107         __isl_keep isl_ast_node *node);
 108 __isl_give isl_ast_node *isl_ast_node_for_get_body(
 109         __isl_keep isl_ast_node *node);
 110 isl_bool isl_ast_node_for_is_degenerate(__isl_keep isl_ast_node *node);
 111
 112 __isl_give isl_ast_expr *isl_ast_node_if_get_cond(
 113         __isl_keep isl_ast_node *node);
 114 __isl_give isl_ast_node *isl_ast_node_if_get_then(
 115         __isl_keep isl_ast_node *node);
 116 isl_bool isl_ast_node_if_has_else(__isl_keep isl_ast_node *node);
 117 __isl_give isl_ast_node *isl_ast_node_if_get_else(
 118         __isl_keep isl_ast_node *node);
 119
 120 __isl_give isl_ast_node_list *isl_ast_node_block_get_children(
 121         __isl_keep isl_ast_node *node);
 122
 123 __isl_give isl_id *isl_ast_node_mark_get_id(__isl_keep isl_ast_node *node);
 124 __isl_give isl_ast_node *isl_ast_node_mark_get_node(
 125         __isl_keep isl_ast_node *node);
 126
 127 __isl_give isl_ast_expr *isl_ast_node_user_get_expr(
 128         __isl_keep isl_ast_node *node);
 129
 130 isl_stat isl_ast_node_foreach_descendant_top_down(
 131         __isl_keep isl_ast_node *node,
 132         isl_bool (*fn)(__isl_keep isl_ast_node *node, void *user), void *user);
 133
 134 __isl_give isl_printer *isl_printer_print_ast_node(__isl_take isl_printer *p,
 135         __isl_keep isl_ast_node *node);
 136 void isl_ast_node_dump(__isl_keep isl_ast_node *node);
 137 __isl_give char *isl_ast_node_to_str(__isl_keep isl_ast_node *node);
 138
 139 __isl_give isl_ast_print_options *isl_ast_print_options_alloc(isl_ctx *ctx);
 140 __isl_give isl_ast_print_options *isl_ast_print_options_copy(
 141         __isl_keep isl_ast_print_options *options);
 142 __isl_null isl_ast_print_options *isl_ast_print_options_free(
 143         __isl_take isl_ast_print_options *options);
 144 isl_ctx *isl_ast_print_options_get_ctx(
 145         __isl_keep isl_ast_print_options *options);
 146
 147 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_user(
 148         __isl_take isl_ast_print_options *options,
 149         __isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
 150                 __isl_take isl_ast_print_options *options,
 151                 __isl_keep isl_ast_node *node, void *user),
 152         void *user);
 153 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_for(
 154         __isl_take isl_ast_print_options *options,
 155         __isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
 156                 __isl_take isl_ast_print_options *options,
 157                 __isl_keep isl_ast_node *node, void *user),
 158         void *user);
 159
 160 isl_stat isl_options_set_ast_print_macro_once(isl_ctx *ctx, int val);
 161 int isl_options_get_ast_print_macro_once(isl_ctx *ctx);
 162
 163 isl_stat isl_ast_expr_foreach_ast_op_type(__isl_keep isl_ast_expr *expr,
 164         isl_stat (*fn)(enum isl_ast_op_type type, void *user), void *user);
 165 isl_stat isl_ast_node_foreach_ast_op_type(__isl_keep isl_ast_node *node,
 166         isl_stat (*fn)(enum isl_ast_op_type type, void *user), void *user);
 167 __isl_give isl_printer *isl_ast_op_type_set_print_name(
 168         __isl_take isl_printer *p, enum isl_ast_op_type type,
 169         __isl_keep const char *name);
 170 __isl_give isl_printer *isl_ast_op_type_print_macro(
 171         enum isl_ast_op_type type, __isl_take isl_printer *p);
 172 __isl_give isl_printer *isl_ast_expr_print_macros(
 173         __isl_keep isl_ast_expr *expr, __isl_take isl_printer *p);
 174 __isl_give isl_printer *isl_ast_node_print_macros(
 175         __isl_keep isl_ast_node *node, __isl_take isl_printer *p);
 176 __isl_give isl_printer *isl_ast_node_print(__isl_keep isl_ast_node *node,
 177         __isl_take isl_printer *p,
 178         __isl_take isl_ast_print_options *options);
 179 __isl_give isl_printer *isl_ast_node_for_print(__isl_keep isl_ast_node *node,
 180         __isl_take isl_printer *p,
 181         __isl_take isl_ast_print_options *options);
 182 __isl_give isl_printer *isl_ast_node_if_print(__isl_keep isl_ast_node *node,
 183         __isl_take isl_printer *p,
 184         __isl_take isl_ast_print_options *options);
 185
 186 __isl_export
 187 __isl_give char *isl_ast_node_to_C_str(__isl_keep isl_ast_node *node);
 188
 189 #if defined(__cplusplus)
 190 }
 191 #endif
 192
 193 #endif