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/val.h>
   8 #include <isl/list.h>
   9 #include <isl/printer.h>
  10
  11 #if defined(__cplusplus)
  12 extern "C" {
  13 #endif
  14
  15 int isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val);
  16 const char *isl_options_get_ast_iterator_type(isl_ctx *ctx);
  17
  18 __isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
  19 __isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id);
  20 __isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr);
  21 __isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1,
  22         __isl_take isl_ast_expr *expr2);
  23 __isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1,
  24         __isl_take isl_ast_expr *expr2);
  25 __isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1,
  26         __isl_take isl_ast_expr *expr2);
  27 __isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1,
  28         __isl_take isl_ast_expr *expr2);
  29 __isl_give isl_ast_expr *isl_ast_expr_and(__isl_take isl_ast_expr *expr1,
  30         __isl_take isl_ast_expr *expr2);
  31 __isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1,
  32         __isl_take isl_ast_expr *expr2);
  33 __isl_give isl_ast_expr *isl_ast_expr_access(__isl_take isl_ast_expr *array,
  34         __isl_take isl_ast_expr_list *indices);
  35
  36 __isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr);
  37 void *isl_ast_expr_free(__isl_take isl_ast_expr *expr);
  38
  39 isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr);
  40 enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr);
  41 __isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);
  42 __isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr);
  43
  44 enum isl_ast_op_type isl_ast_expr_get_op_type(__isl_keep isl_ast_expr *expr);
  45 int isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr);
  46 __isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *expr,
  47         int pos);
  48
  49 int isl_ast_expr_is_equal(__isl_keep isl_ast_expr *expr1,
  50         __isl_keep isl_ast_expr *expr2);
  51
  52 __isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer *p,
  53         __isl_keep isl_ast_expr *expr);
  54 void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr);
  55 __isl_give char *isl_ast_expr_to_str(__isl_keep isl_ast_expr *expr);
  56
  57 __isl_give isl_ast_node *isl_ast_node_alloc_user(__isl_take isl_ast_expr *expr);
  58 __isl_give isl_ast_node *isl_ast_node_copy(__isl_keep isl_ast_node *node);
  59 void *isl_ast_node_free(__isl_take isl_ast_node *node);
  60
  61 isl_ctx *isl_ast_node_get_ctx(__isl_keep isl_ast_node *node);
  62 enum isl_ast_node_type isl_ast_node_get_type(__isl_keep isl_ast_node *node);
  63
  64 __isl_give isl_ast_node *isl_ast_node_set_annotation(
  65         __isl_take isl_ast_node *node, __isl_take isl_id *annotation);
  66 __isl_give isl_id *isl_ast_node_get_annotation(__isl_keep isl_ast_node *node);
  67
  68 __isl_give isl_ast_expr *isl_ast_node_for_get_iterator(
  69         __isl_keep isl_ast_node *node);
  70 __isl_give isl_ast_expr *isl_ast_node_for_get_init(
  71         __isl_keep isl_ast_node *node);
  72 __isl_give isl_ast_expr *isl_ast_node_for_get_cond(
  73         __isl_keep isl_ast_node *node);
  74 __isl_give isl_ast_expr *isl_ast_node_for_get_inc(
  75         __isl_keep isl_ast_node *node);
  76 __isl_give isl_ast_node *isl_ast_node_for_get_body(
  77         __isl_keep isl_ast_node *node);
  78 int isl_ast_node_for_is_degenerate(__isl_keep isl_ast_node *node);
  79
  80 __isl_give isl_ast_expr *isl_ast_node_if_get_cond(
  81         __isl_keep isl_ast_node *node);
  82 __isl_give isl_ast_node *isl_ast_node_if_get_then(
  83         __isl_keep isl_ast_node *node);
  84 int isl_ast_node_if_has_else(__isl_keep isl_ast_node *node);
  85 __isl_give isl_ast_node *isl_ast_node_if_get_else(
  86         __isl_keep isl_ast_node *node);
  87
  88 __isl_give isl_ast_node_list *isl_ast_node_block_get_children(
  89         __isl_keep isl_ast_node *node);
  90
  91 __isl_give isl_ast_expr *isl_ast_node_user_get_expr(
  92         __isl_keep isl_ast_node *node);
  93
  94 __isl_give isl_printer *isl_printer_print_ast_node(__isl_take isl_printer *p,
  95         __isl_keep isl_ast_node *node);
  96 void isl_ast_node_dump(__isl_keep isl_ast_node *node);
  97
  98 __isl_give isl_ast_print_options *isl_ast_print_options_alloc(isl_ctx *ctx);
  99 __isl_give isl_ast_print_options *isl_ast_print_options_copy(
 100         __isl_keep isl_ast_print_options *options);
 101 void *isl_ast_print_options_free(__isl_take isl_ast_print_options *options);
 102 isl_ctx *isl_ast_print_options_get_ctx(
 103         __isl_keep isl_ast_print_options *options);
 104
 105 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_user(
 106         __isl_take isl_ast_print_options *options,
 107         __isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
 108                 __isl_take isl_ast_print_options *options,
 109                 __isl_keep isl_ast_node *node, void *user),
 110         void *user);
 111 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_for(
 112         __isl_take isl_ast_print_options *options,
 113         __isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
 114                 __isl_take isl_ast_print_options *options,
 115                 __isl_keep isl_ast_node *node, void *user),
 116         void *user);
 117
 118 int isl_ast_node_foreach_ast_op_type(__isl_keep isl_ast_node *node,
 119         int (*fn)(enum isl_ast_op_type type, void *user), void *user);
 120 __isl_give isl_printer *isl_ast_op_type_print_macro(
 121         enum isl_ast_op_type type, __isl_take isl_printer *p);
 122 __isl_give isl_printer *isl_ast_node_print_macros(
 123         __isl_keep isl_ast_node *node, __isl_take isl_printer *p);
 124 __isl_give isl_printer *isl_ast_node_print(__isl_keep isl_ast_node *node,
 125         __isl_take isl_printer *p,
 126         __isl_take isl_ast_print_options *options);
 127 __isl_give isl_printer *isl_ast_node_for_print(__isl_keep isl_ast_node *node,
 128         __isl_take isl_printer *p,
 129         __isl_take isl_ast_print_options *options);
 130 __isl_give isl_printer *isl_ast_node_if_print(__isl_keep isl_ast_node *node,
 131         __isl_take isl_printer *p,
 132         __isl_take isl_ast_print_options *options);
 133
 134 #if defined(__cplusplus)
 135 }
 136 #endif
 137
 138 #endif