File indexing completed on 2026-05-10 08:48:12
0001 #ifndef ISL_AST_H
0002 #define ISL_AST_H
0003
0004 #include <isl/ctx.h>
0005 #include <isl/ast_type.h>
0006 #include <isl/id_type.h>
0007 #include <isl/id_to_ast_expr.h>
0008 #include <isl/val_type.h>
0009 #include <isl/list.h>
0010 #include <isl/printer.h>
0011
0012 #if defined(__cplusplus)
0013 extern "C" {
0014 #endif
0015
0016 isl_stat isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val);
0017 const char *isl_options_get_ast_iterator_type(isl_ctx *ctx);
0018
0019 isl_stat isl_options_set_ast_always_print_block(isl_ctx *ctx, int val);
0020 int isl_options_get_ast_always_print_block(isl_ctx *ctx);
0021
0022 isl_stat isl_options_set_ast_print_outermost_block(isl_ctx *ctx, int val);
0023 int isl_options_get_ast_print_outermost_block(isl_ctx *ctx);
0024
0025 __isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
0026 __isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id);
0027 __isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr);
0028 __isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1,
0029 __isl_take isl_ast_expr *expr2);
0030 __isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1,
0031 __isl_take isl_ast_expr *expr2);
0032 __isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1,
0033 __isl_take isl_ast_expr *expr2);
0034 __isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1,
0035 __isl_take isl_ast_expr *expr2);
0036 __isl_give isl_ast_expr *isl_ast_expr_pdiv_q(__isl_take isl_ast_expr *expr1,
0037 __isl_take isl_ast_expr *expr2);
0038 __isl_give isl_ast_expr *isl_ast_expr_pdiv_r(__isl_take isl_ast_expr *expr1,
0039 __isl_take isl_ast_expr *expr2);
0040 __isl_give isl_ast_expr *isl_ast_expr_and(__isl_take isl_ast_expr *expr1,
0041 __isl_take isl_ast_expr *expr2);
0042 __isl_give isl_ast_expr *isl_ast_expr_and_then(__isl_take isl_ast_expr *expr1,
0043 __isl_take isl_ast_expr *expr2);
0044 __isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1,
0045 __isl_take isl_ast_expr *expr2);
0046 __isl_give isl_ast_expr *isl_ast_expr_or_else(__isl_take isl_ast_expr *expr1,
0047 __isl_take isl_ast_expr *expr2);
0048 __isl_give isl_ast_expr *isl_ast_expr_le(__isl_take isl_ast_expr *expr1,
0049 __isl_take isl_ast_expr *expr2);
0050 __isl_give isl_ast_expr *isl_ast_expr_lt(__isl_take isl_ast_expr *expr1,
0051 __isl_take isl_ast_expr *expr2);
0052 __isl_give isl_ast_expr *isl_ast_expr_ge(__isl_take isl_ast_expr *expr1,
0053 __isl_take isl_ast_expr *expr2);
0054 __isl_give isl_ast_expr *isl_ast_expr_gt(__isl_take isl_ast_expr *expr1,
0055 __isl_take isl_ast_expr *expr2);
0056 __isl_give isl_ast_expr *isl_ast_expr_eq(__isl_take isl_ast_expr *expr1,
0057 __isl_take isl_ast_expr *expr2);
0058 __isl_give isl_ast_expr *isl_ast_expr_access(__isl_take isl_ast_expr *array,
0059 __isl_take isl_ast_expr_list *indices);
0060 __isl_give isl_ast_expr *isl_ast_expr_call(__isl_take isl_ast_expr *function,
0061 __isl_take isl_ast_expr_list *arguments);
0062 __isl_give isl_ast_expr *isl_ast_expr_address_of(__isl_take isl_ast_expr *expr);
0063
0064 __isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr);
0065 __isl_null isl_ast_expr *isl_ast_expr_free(__isl_take isl_ast_expr *expr);
0066
0067 isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr);
0068 __isl_subclass(isl_ast_expr)
0069 enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr);
0070 __isl_export
0071 __isl_give isl_val *isl_ast_expr_int_get_val(__isl_keep isl_ast_expr *expr);
0072 __isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);
0073 __isl_export
0074 __isl_give isl_id *isl_ast_expr_id_get_id(__isl_keep isl_ast_expr *expr);
0075 __isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr);
0076
0077 __isl_subclass(isl_ast_expr_op)
0078 enum isl_ast_expr_op_type isl_ast_expr_op_get_type(
0079 __isl_keep isl_ast_expr *expr);
0080 enum isl_ast_expr_op_type isl_ast_expr_get_op_type(
0081 __isl_keep isl_ast_expr *expr);
0082 __isl_export
0083 isl_size isl_ast_expr_op_get_n_arg(__isl_keep isl_ast_expr *expr);
0084 isl_size isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr);
0085 __isl_export
0086 __isl_give isl_ast_expr *isl_ast_expr_op_get_arg(__isl_keep isl_ast_expr *expr,
0087 int pos);
0088 __isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *expr,
0089 int pos);
0090 __isl_give isl_ast_expr *isl_ast_expr_set_op_arg(__isl_take isl_ast_expr *expr,
0091 int pos, __isl_take isl_ast_expr *arg);
0092
0093 isl_bool isl_ast_expr_is_equal(__isl_keep isl_ast_expr *expr1,
0094 __isl_keep isl_ast_expr *expr2);
0095
0096 __isl_give isl_ast_expr *isl_ast_expr_substitute_ids(
0097 __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr);
0098
0099 __isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer *p,
0100 __isl_keep isl_ast_expr *expr);
0101 void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr);
0102 __isl_give char *isl_ast_expr_to_str(__isl_keep isl_ast_expr *expr);
0103 __isl_export
0104 __isl_give char *isl_ast_expr_to_C_str(__isl_keep isl_ast_expr *expr);
0105
0106 __isl_constructor
0107 __isl_give isl_ast_node *isl_ast_node_user_from_expr(
0108 __isl_take isl_ast_expr *expr);
0109 __isl_give isl_ast_node *isl_ast_node_alloc_user(__isl_take isl_ast_expr *expr);
0110 __isl_give isl_ast_node *isl_ast_node_copy(__isl_keep isl_ast_node *node);
0111 __isl_null isl_ast_node *isl_ast_node_free(__isl_take isl_ast_node *node);
0112
0113 isl_ctx *isl_ast_node_get_ctx(__isl_keep isl_ast_node *node);
0114 __isl_subclass(isl_ast_node)
0115 enum isl_ast_node_type isl_ast_node_get_type(__isl_keep isl_ast_node *node);
0116
0117 __isl_give isl_ast_node *isl_ast_node_set_annotation(
0118 __isl_take isl_ast_node *node, __isl_take isl_id *annotation);
0119 __isl_give isl_id *isl_ast_node_get_annotation(__isl_keep isl_ast_node *node);
0120
0121 __isl_export
0122 __isl_give isl_ast_expr *isl_ast_node_for_get_iterator(
0123 __isl_keep isl_ast_node *node);
0124 __isl_export
0125 __isl_give isl_ast_expr *isl_ast_node_for_get_init(
0126 __isl_keep isl_ast_node *node);
0127 __isl_export
0128 __isl_give isl_ast_expr *isl_ast_node_for_get_cond(
0129 __isl_keep isl_ast_node *node);
0130 __isl_export
0131 __isl_give isl_ast_expr *isl_ast_node_for_get_inc(
0132 __isl_keep isl_ast_node *node);
0133 __isl_export
0134 __isl_give isl_ast_node *isl_ast_node_for_get_body(
0135 __isl_keep isl_ast_node *node);
0136 __isl_export
0137 isl_bool isl_ast_node_for_is_degenerate(__isl_keep isl_ast_node *node);
0138
0139 __isl_export
0140 __isl_give isl_ast_expr *isl_ast_node_if_get_cond(
0141 __isl_keep isl_ast_node *node);
0142 __isl_export
0143 __isl_give isl_ast_node *isl_ast_node_if_get_then_node(
0144 __isl_keep isl_ast_node *node);
0145 __isl_give isl_ast_node *isl_ast_node_if_get_then(
0146 __isl_keep isl_ast_node *node);
0147 __isl_export
0148 isl_bool isl_ast_node_if_has_else_node(__isl_keep isl_ast_node *node);
0149 isl_bool isl_ast_node_if_has_else(__isl_keep isl_ast_node *node);
0150 __isl_export
0151 __isl_give isl_ast_node *isl_ast_node_if_get_else_node(
0152 __isl_keep isl_ast_node *node);
0153 __isl_give isl_ast_node *isl_ast_node_if_get_else(
0154 __isl_keep isl_ast_node *node);
0155
0156 __isl_constructor
0157 __isl_give isl_ast_node *isl_ast_node_block_from_children(
0158 __isl_take isl_ast_node_list *list);
0159 __isl_export
0160 __isl_give isl_ast_node_list *isl_ast_node_block_get_children(
0161 __isl_keep isl_ast_node *node);
0162
0163 __isl_export
0164 __isl_give isl_id *isl_ast_node_mark_get_id(__isl_keep isl_ast_node *node);
0165 __isl_export
0166 __isl_give isl_ast_node *isl_ast_node_mark_get_node(
0167 __isl_keep isl_ast_node *node);
0168
0169 __isl_export
0170 __isl_give isl_ast_expr *isl_ast_node_user_get_expr(
0171 __isl_keep isl_ast_node *node);
0172
0173 isl_stat isl_ast_node_foreach_descendant_top_down(
0174 __isl_keep isl_ast_node *node,
0175 isl_bool (*fn)(__isl_keep isl_ast_node *node, void *user), void *user);
0176 __isl_export
0177 __isl_give isl_ast_node *isl_ast_node_map_descendant_bottom_up(
0178 __isl_take isl_ast_node *node, __isl_give isl_ast_node *(*fn)(
0179 __isl_take isl_ast_node *node, void *user), void *user);
0180
0181 __isl_give isl_printer *isl_printer_print_ast_node(__isl_take isl_printer *p,
0182 __isl_keep isl_ast_node *node);
0183 void isl_ast_node_dump(__isl_keep isl_ast_node *node);
0184 __isl_give char *isl_ast_node_to_str(__isl_keep isl_ast_node *node);
0185
0186 __isl_give isl_ast_print_options *isl_ast_print_options_alloc(isl_ctx *ctx);
0187 __isl_give isl_ast_print_options *isl_ast_print_options_copy(
0188 __isl_keep isl_ast_print_options *options);
0189 __isl_null isl_ast_print_options *isl_ast_print_options_free(
0190 __isl_take isl_ast_print_options *options);
0191 isl_ctx *isl_ast_print_options_get_ctx(
0192 __isl_keep isl_ast_print_options *options);
0193
0194 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_user(
0195 __isl_take isl_ast_print_options *options,
0196 __isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
0197 __isl_take isl_ast_print_options *options,
0198 __isl_keep isl_ast_node *node, void *user),
0199 void *user);
0200 __isl_give isl_ast_print_options *isl_ast_print_options_set_print_for(
0201 __isl_take isl_ast_print_options *options,
0202 __isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
0203 __isl_take isl_ast_print_options *options,
0204 __isl_keep isl_ast_node *node, void *user),
0205 void *user);
0206
0207 isl_stat isl_options_set_ast_print_macro_once(isl_ctx *ctx, int val);
0208 int isl_options_get_ast_print_macro_once(isl_ctx *ctx);
0209
0210 isl_stat isl_ast_expr_foreach_ast_expr_op_type(__isl_keep isl_ast_expr *expr,
0211 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
0212 isl_stat isl_ast_expr_foreach_ast_op_type(__isl_keep isl_ast_expr *expr,
0213 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
0214 isl_stat isl_ast_node_foreach_ast_expr_op_type(__isl_keep isl_ast_node *node,
0215 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
0216 isl_stat isl_ast_node_foreach_ast_op_type(__isl_keep isl_ast_node *node,
0217 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
0218 __isl_give isl_printer *isl_ast_expr_op_type_set_print_name(
0219 __isl_take isl_printer *p, enum isl_ast_expr_op_type type,
0220 __isl_keep const char *name);
0221 __isl_give isl_printer *isl_ast_op_type_set_print_name(
0222 __isl_take isl_printer *p, enum isl_ast_expr_op_type type,
0223 __isl_keep const char *name);
0224 __isl_give isl_printer *isl_ast_expr_op_type_print_macro(
0225 enum isl_ast_expr_op_type type, __isl_take isl_printer *p);
0226 __isl_give isl_printer *isl_ast_op_type_print_macro(
0227 enum isl_ast_expr_op_type type, __isl_take isl_printer *p);
0228 __isl_give isl_printer *isl_ast_expr_print_macros(
0229 __isl_keep isl_ast_expr *expr, __isl_take isl_printer *p);
0230 __isl_give isl_printer *isl_ast_node_print_macros(
0231 __isl_keep isl_ast_node *node, __isl_take isl_printer *p);
0232 __isl_give isl_printer *isl_ast_node_print(__isl_keep isl_ast_node *node,
0233 __isl_take isl_printer *p,
0234 __isl_take isl_ast_print_options *options);
0235 __isl_give isl_printer *isl_ast_node_for_print(__isl_keep isl_ast_node *node,
0236 __isl_take isl_printer *p,
0237 __isl_take isl_ast_print_options *options);
0238 __isl_give isl_printer *isl_ast_node_if_print(__isl_keep isl_ast_node *node,
0239 __isl_take isl_printer *p,
0240 __isl_take isl_ast_print_options *options);
0241
0242 __isl_export
0243 __isl_give char *isl_ast_node_to_C_str(__isl_keep isl_ast_node *node);
0244
0245 ISL_DECLARE_LIST_FN(ast_expr)
0246 ISL_DECLARE_EXPORTED_LIST_FN(ast_node)
0247
0248 #if defined(__cplusplus)
0249 }
0250 #endif
0251
0252 #endif
