include/isl/ast.h

   1 #ifndef ISL_AST_H
   2 #define ISL_AST_H
   3
   4 #include <isl/ctx.h>
   5 #include <isl/id.h>
   6 #include <isl/val.h>
   7 #include <isl/list.h>
   8 #include <isl/printer.h>
   9
  10 #if defined(__cplusplus)
  11 extern "C" {
  12 #endif
  13
  14 struct isl_ast_expr;
  15 typedef struct isl_ast_expr isl_ast_expr;
  16
  17 struct isl_ast_node;
  18 typedef struct isl_ast_node isl_ast_node;
  19
  20 enum isl_ast_op_type {
  21         isl_ast_op_error = -1,
  22         isl_ast_op_and,
  23         isl_ast_op_and_then,
  24         isl_ast_op_or,
  25         isl_ast_op_or_else,
  26         isl_ast_op_max,
  27         isl_ast_op_min,
  28         isl_ast_op_minus,
  29         isl_ast_op_add,
  30         isl_ast_op_sub,
  31         isl_ast_op_mul,
  32         isl_ast_op_div,
  33         isl_ast_op_fdiv_q,      /* Round towards -infty */
  34         isl_ast_op_pdiv_q,      /* Dividend is non-negative */
  35         isl_ast_op_pdiv_r,      /* Dividend is non-negative */
  36         isl_ast_op_cond,
  37         isl_ast_op_select,
  38         isl_ast_op_eq,
  39         isl_ast_op_le,
  40         isl_ast_op_lt,
  41         isl_ast_op_ge,
  42         isl_ast_op_gt,
  43         isl_ast_op_call,
  44         isl_ast_op_access
  45 };
  46
  47 enum isl_ast_expr_type {
  48         isl_ast_expr_error = -1,
  49         isl_ast_expr_op,
  50         isl_ast_expr_id,
  51         isl_ast_expr_int
  52 };
  53
  54 enum isl_ast_node_type {
  55         isl_ast_node_error = -1,
  56         isl_ast_node_for = 1,
  57         isl_ast_node_if,
  58         isl_ast_node_block,
  59         isl_ast_node_user
  60 };
  61
  62 struct isl_ast_print_options;
  63 typedef struct isl_ast_print_options isl_ast_print_options;
  64
  65 ISL_DECLARE_LIST(ast_expr)
  66 ISL_DECLARE_LIST(ast_node)
  67
  68 int isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val);
  69 const char *isl_options_get_ast_iterator_type(isl_ctx *ctx);
  70
  71 __isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
  72 __isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id);
  73 __isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr);
  74 __isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1,
  75         __isl_take isl_ast_expr *expr2);
  76 __isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1,
  77         __isl_take isl_ast_expr *expr2);
  78 __isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1,
  79         __isl_take isl_ast_expr *expr2);
  80 __isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1,
  81         __isl_take isl_ast_expr *expr2);
  82 __isl_give isl_ast_expr *isl_ast_expr_and(__isl_take isl_ast_expr *expr1,
  83         __isl_take isl_ast_expr *expr2);
  84 __isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1,
  85         __isl_take isl_ast_expr *expr2);
  86 __isl_give isl_ast_expr *isl_ast_expr_access(__isl_take isl_ast_expr *array,
  87         __isl_take isl_ast_expr_list *indices);
  88
  89 __isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr);
  90 void *isl_ast_expr_free(__isl_take isl_ast_expr *expr);
  91
  92 isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr);
  93 enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr);
  94 __isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);
  95 __isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr);
  96
  97 enum isl_ast_op_type isl_ast_expr_get_op_type(__isl_keep isl_ast_expr *expr);
  98 int isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr);
  99 __isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *expr,
 100         int pos);
 101
 102 int isl_ast_expr_is_equal(__isl_keep isl_ast_expr *expr1,
 103         __isl_keep isl_ast_expr *expr2);
 104
 105 __isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer *p,
 106         __isl_keep isl_ast_expr *expr);
 107 void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr);
 108 __isl_give char *isl_ast_expr_to_str(__isl_keep isl_ast_expr *expr);
 109
 110 __isl_give isl_ast_node *isl_ast_node_alloc_user(__isl_take isl_ast_expr *expr);
 111 __isl_give isl_ast_node *isl_ast_node_copy(__isl_keep isl_ast_node *node);
 112 void *isl_ast_node_free(__isl_take isl_ast_node *node);
 113
 114 isl_ctx *isl_ast_node_get_ctx(__isl_keep isl_ast_node *node);
 115 enum isl_ast_node_type isl_ast_node_get_type(__isl_keep isl_ast_node *node);
 116
 117 __isl_give isl_ast_node *isl_ast_node_set_annotation(
 118         __isl_take isl_ast_node *node, __isl_take isl_id *annotation);
 119 __isl_give isl_id *isl_ast_node_get_annotation(__isl_keep isl_ast_node *node);
 120
 121 __isl_give isl_ast_expr *isl_ast_node_for_get_iterator(
 122         __isl_keep isl_ast_node *node);
 123 __isl_give isl_ast_expr *isl_ast_node_for_get_init(
 124         __isl_keep isl_ast_node *node);
 125 __isl_give isl_ast_expr *isl_ast_node_for_get_cond(
 126         __isl_keep isl_ast_node *node);
 127 __isl_give isl_ast_expr *isl_ast_node_for_get_inc(
 128         __isl_keep isl_ast_node *node);
 129 __isl_give isl_ast_node *isl_ast_node_for_get_body(
 130         __isl_keep isl_ast_node *node);
 131 int isl_ast_node_for_is_degenerate(__isl_keep isl_ast_node *node);
 132
 133 __isl_give isl_ast_expr *isl_ast_node_if_get_cond(
 134         __isl_keep isl_ast_node *node);
 135 __isl_give isl_ast_node *isl_ast_node_if_get_then(
 136         __isl_keep isl_ast_node *node);
 137 int isl_ast_node_if_has_else(__isl_keep isl_ast_node *node);
 138 __isl_give isl_ast_node *isl_ast_node_if_get_else(
 139         __isl_keep isl_ast_node *node);
 140
 141 __isl_give isl_ast_node_list *isl_ast_node_block_get_children(
 142         __isl_keep isl_ast_node *node);
 143
 144 __isl_give isl_ast_expr *isl_ast_node_user_get_expr(
 145         __isl_keep isl_ast_node *node);
 146
 147 __isl_give isl_printer *isl_printer_print_ast_node(__isl_take isl_printer *p,
 148         __isl_keep isl_ast_node *node);
 149 void isl_ast_node_dump(__isl_keep isl_ast_node *node);
 150
 151 __isl_give isl_ast_print_options *isl_ast_print_options_alloc(isl_ctx *ctx);
 152 __isl_give isl_ast_print_options *isl_ast_print_options_copy(
 153         __isl_keep isl_ast_print_options *options);
 154 void *isl_ast_print_options_free(__isl_take isl_ast_print_options *options);
 155 isl_ctx *isl_ast_print_options_get_ctx(
 156         __isl_keep isl_ast_print_options *options);
 157
 158 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_user(
 159         __isl_take isl_ast_print_options *options,
 160         __isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
 161                 __isl_take isl_ast_print_options *options,
 162                 __isl_keep isl_ast_node *node, void *user),
 163         void *user);
 164 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_for(
 165         __isl_take isl_ast_print_options *options,
 166         __isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
 167                 __isl_take isl_ast_print_options *options,
 168                 __isl_keep isl_ast_node *node, void *user),
 169         void *user);
 170
 171 int isl_ast_node_foreach_ast_op_type(__isl_keep isl_ast_node *node,
 172         int (*fn)(enum isl_ast_op_type type, void *user), void *user);
 173 __isl_give isl_printer *isl_ast_op_type_print_macro(
 174         enum isl_ast_op_type type, __isl_take isl_printer *p);
 175 __isl_give isl_printer *isl_ast_node_print_macros(
 176         __isl_keep isl_ast_node *node, __isl_take isl_printer *p);
 177 __isl_give isl_printer *isl_ast_node_print(__isl_keep isl_ast_node *node,
 178         __isl_take isl_printer *p,
 179         __isl_take isl_ast_print_options *options);
 180 __isl_give isl_printer *isl_ast_node_for_print(__isl_keep isl_ast_node *node,
 181         __isl_take isl_printer *p,
 182         __isl_take isl_ast_print_options *options);
 183 __isl_give isl_printer *isl_ast_node_if_print(__isl_keep isl_ast_node *node,
 184         __isl_take isl_printer *p,
 185         __isl_take isl_ast_print_options *options);
 186
 187 #if defined(__cplusplus)
 188 }
 189 #endif
 190
 191 #endif