source: Daodan/MSYS2/mingw32/include/isl/ast.h@ 1166

Last change on this file since 1166 was 1166, checked in by rossy, 3 years ago

Daodan: Replace MinGW build env with an up-to-date MSYS2 env
File size: 10.1 KB
Line 
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_type.h>
7#include <isl/id_to_ast_expr.h>
8#include <isl/val_type.h>
9#include <isl/list.h>
10#include <isl/printer.h>
11
12#if defined(__cplusplus)
13extern "C" {
14#endif
15
16isl_stat isl_options_set_ast_iterator_type(isl_ctx *ctx, const char *val);
17const char *isl_options_get_ast_iterator_type(isl_ctx *ctx);
18
19isl_stat isl_options_set_ast_always_print_block(isl_ctx *ctx, int val);
20int isl_options_get_ast_always_print_block(isl_ctx *ctx);
21
22isl_stat isl_options_set_ast_print_outermost_block(isl_ctx *ctx, int val);
23int isl_options_get_ast_print_outermost_block(isl_ctx *ctx);
24
25__isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
26__isl_give isl_ast_expr *isl_ast_expr_from_id(__isl_take isl_id *id);
27__isl_give isl_ast_expr *isl_ast_expr_neg(__isl_take isl_ast_expr *expr);
28__isl_give isl_ast_expr *isl_ast_expr_add(__isl_take isl_ast_expr *expr1,
29 __isl_take isl_ast_expr *expr2);
30__isl_give isl_ast_expr *isl_ast_expr_sub(__isl_take isl_ast_expr *expr1,
31 __isl_take isl_ast_expr *expr2);
32__isl_give isl_ast_expr *isl_ast_expr_mul(__isl_take isl_ast_expr *expr1,
33 __isl_take isl_ast_expr *expr2);
34__isl_give isl_ast_expr *isl_ast_expr_div(__isl_take isl_ast_expr *expr1,
35 __isl_take isl_ast_expr *expr2);
36__isl_give isl_ast_expr *isl_ast_expr_pdiv_q(__isl_take isl_ast_expr *expr1,
37 __isl_take isl_ast_expr *expr2);
38__isl_give isl_ast_expr *isl_ast_expr_pdiv_r(__isl_take isl_ast_expr *expr1,
39 __isl_take isl_ast_expr *expr2);
40__isl_give isl_ast_expr *isl_ast_expr_and(__isl_take isl_ast_expr *expr1,
41 __isl_take isl_ast_expr *expr2);
42__isl_give isl_ast_expr *isl_ast_expr_and_then(__isl_take isl_ast_expr *expr1,
43 __isl_take isl_ast_expr *expr2);
44__isl_give isl_ast_expr *isl_ast_expr_or(__isl_take isl_ast_expr *expr1,
45 __isl_take isl_ast_expr *expr2);
46__isl_give isl_ast_expr *isl_ast_expr_or_else(__isl_take isl_ast_expr *expr1,
47 __isl_take isl_ast_expr *expr2);
48__isl_give isl_ast_expr *isl_ast_expr_le(__isl_take isl_ast_expr *expr1,
49 __isl_take isl_ast_expr *expr2);
50__isl_give isl_ast_expr *isl_ast_expr_lt(__isl_take isl_ast_expr *expr1,
51 __isl_take isl_ast_expr *expr2);
52__isl_give isl_ast_expr *isl_ast_expr_ge(__isl_take isl_ast_expr *expr1,
53 __isl_take isl_ast_expr *expr2);
54__isl_give isl_ast_expr *isl_ast_expr_gt(__isl_take isl_ast_expr *expr1,
55 __isl_take isl_ast_expr *expr2);
56__isl_give isl_ast_expr *isl_ast_expr_eq(__isl_take isl_ast_expr *expr1,
57 __isl_take isl_ast_expr *expr2);
58__isl_give isl_ast_expr *isl_ast_expr_access(__isl_take isl_ast_expr *array,
59 __isl_take isl_ast_expr_list *indices);
60__isl_give isl_ast_expr *isl_ast_expr_call(__isl_take isl_ast_expr *function,
61 __isl_take isl_ast_expr_list *arguments);
62__isl_give isl_ast_expr *isl_ast_expr_address_of(__isl_take isl_ast_expr *expr);
63
64__isl_give isl_ast_expr *isl_ast_expr_copy(__isl_keep isl_ast_expr *expr);
65__isl_null isl_ast_expr *isl_ast_expr_free(__isl_take isl_ast_expr *expr);
66
67isl_ctx *isl_ast_expr_get_ctx(__isl_keep isl_ast_expr *expr);
68__isl_subclass(isl_ast_expr)
69enum isl_ast_expr_type isl_ast_expr_get_type(__isl_keep isl_ast_expr *expr);
70__isl_export
71__isl_give isl_val *isl_ast_expr_int_get_val(__isl_keep isl_ast_expr *expr);
72__isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);
73__isl_export
74__isl_give isl_id *isl_ast_expr_id_get_id(__isl_keep isl_ast_expr *expr);
75__isl_give isl_id *isl_ast_expr_get_id(__isl_keep isl_ast_expr *expr);
76
77__isl_subclass(isl_ast_expr_op)
78enum isl_ast_expr_op_type isl_ast_expr_op_get_type(
79 __isl_keep isl_ast_expr *expr);
80enum isl_ast_expr_op_type isl_ast_expr_get_op_type(
81 __isl_keep isl_ast_expr *expr);
82__isl_export
83isl_size isl_ast_expr_op_get_n_arg(__isl_keep isl_ast_expr *expr);
84isl_size isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr *expr);
85__isl_export
86__isl_give isl_ast_expr *isl_ast_expr_op_get_arg(__isl_keep isl_ast_expr *expr,
87 int pos);
88__isl_give isl_ast_expr *isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr *expr,
89 int pos);
90__isl_give isl_ast_expr *isl_ast_expr_set_op_arg(__isl_take isl_ast_expr *expr,
91 int pos, __isl_take isl_ast_expr *arg);
92
93isl_bool isl_ast_expr_is_equal(__isl_keep isl_ast_expr *expr1,
94 __isl_keep isl_ast_expr *expr2);
95
96__isl_give isl_ast_expr *isl_ast_expr_substitute_ids(
97 __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr);
98
99__isl_give isl_printer *isl_printer_print_ast_expr(__isl_take isl_printer *p,
100 __isl_keep isl_ast_expr *expr);
101void isl_ast_expr_dump(__isl_keep isl_ast_expr *expr);
102__isl_give char *isl_ast_expr_to_str(__isl_keep isl_ast_expr *expr);
103__isl_export
104__isl_give char *isl_ast_expr_to_C_str(__isl_keep isl_ast_expr *expr);
105
106__isl_give isl_ast_node *isl_ast_node_alloc_user(__isl_take isl_ast_expr *expr);
107__isl_give isl_ast_node *isl_ast_node_copy(__isl_keep isl_ast_node *node);
108__isl_null isl_ast_node *isl_ast_node_free(__isl_take isl_ast_node *node);
109
110isl_ctx *isl_ast_node_get_ctx(__isl_keep isl_ast_node *node);
111__isl_subclass(isl_ast_node)
112enum isl_ast_node_type isl_ast_node_get_type(__isl_keep isl_ast_node *node);
113
114__isl_give isl_ast_node *isl_ast_node_set_annotation(
115 __isl_take isl_ast_node *node, __isl_take isl_id *annotation);
116__isl_give isl_id *isl_ast_node_get_annotation(__isl_keep isl_ast_node *node);
117
118__isl_export
119__isl_give isl_ast_expr *isl_ast_node_for_get_iterator(
120 __isl_keep isl_ast_node *node);
121__isl_export
122__isl_give isl_ast_expr *isl_ast_node_for_get_init(
123 __isl_keep isl_ast_node *node);
124__isl_export
125__isl_give isl_ast_expr *isl_ast_node_for_get_cond(
126 __isl_keep isl_ast_node *node);
127__isl_export
128__isl_give isl_ast_expr *isl_ast_node_for_get_inc(
129 __isl_keep isl_ast_node *node);
130__isl_export
131__isl_give isl_ast_node *isl_ast_node_for_get_body(
132 __isl_keep isl_ast_node *node);
133__isl_export
134isl_bool isl_ast_node_for_is_degenerate(__isl_keep isl_ast_node *node);
135
136__isl_export
137__isl_give isl_ast_expr *isl_ast_node_if_get_cond(
138 __isl_keep isl_ast_node *node);
139__isl_export
140__isl_give isl_ast_node *isl_ast_node_if_get_then_node(
141 __isl_keep isl_ast_node *node);
142__isl_give isl_ast_node *isl_ast_node_if_get_then(
143 __isl_keep isl_ast_node *node);
144__isl_export
145isl_bool isl_ast_node_if_has_else_node(__isl_keep isl_ast_node *node);
146isl_bool isl_ast_node_if_has_else(__isl_keep isl_ast_node *node);
147__isl_export
148__isl_give isl_ast_node *isl_ast_node_if_get_else_node(
149 __isl_keep isl_ast_node *node);
150__isl_give isl_ast_node *isl_ast_node_if_get_else(
151 __isl_keep isl_ast_node *node);
152
153__isl_export
154__isl_give isl_ast_node_list *isl_ast_node_block_get_children(
155 __isl_keep isl_ast_node *node);
156
157__isl_export
158__isl_give isl_id *isl_ast_node_mark_get_id(__isl_keep isl_ast_node *node);
159__isl_export
160__isl_give isl_ast_node *isl_ast_node_mark_get_node(
161 __isl_keep isl_ast_node *node);
162
163__isl_export
164__isl_give isl_ast_expr *isl_ast_node_user_get_expr(
165 __isl_keep isl_ast_node *node);
166
167isl_stat isl_ast_node_foreach_descendant_top_down(
168 __isl_keep isl_ast_node *node,
169 isl_bool (*fn)(__isl_keep isl_ast_node *node, void *user), void *user);
170
171__isl_give isl_printer *isl_printer_print_ast_node(__isl_take isl_printer *p,
172 __isl_keep isl_ast_node *node);
173void isl_ast_node_dump(__isl_keep isl_ast_node *node);
174__isl_give char *isl_ast_node_to_str(__isl_keep isl_ast_node *node);
175
176__isl_give isl_ast_print_options *isl_ast_print_options_alloc(isl_ctx *ctx);
177__isl_give isl_ast_print_options *isl_ast_print_options_copy(
178 __isl_keep isl_ast_print_options *options);
179__isl_null isl_ast_print_options *isl_ast_print_options_free(
180 __isl_take isl_ast_print_options *options);
181isl_ctx *isl_ast_print_options_get_ctx(
182 __isl_keep isl_ast_print_options *options);
183
184__isl_give isl_ast_print_options *isl_ast_print_options_set_print_user(
185 __isl_take isl_ast_print_options *options,
186 __isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
187 __isl_take isl_ast_print_options *options,
188 __isl_keep isl_ast_node *node, void *user),
189 void *user);
190__isl_give isl_ast_print_options *isl_ast_print_options_set_print_for(
191 __isl_take isl_ast_print_options *options,
192 __isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
193 __isl_take isl_ast_print_options *options,
194 __isl_keep isl_ast_node *node, void *user),
195 void *user);
196
197isl_stat isl_options_set_ast_print_macro_once(isl_ctx *ctx, int val);
198int isl_options_get_ast_print_macro_once(isl_ctx *ctx);
199
200isl_stat isl_ast_expr_foreach_ast_expr_op_type(__isl_keep isl_ast_expr *expr,
201 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
202isl_stat isl_ast_expr_foreach_ast_op_type(__isl_keep isl_ast_expr *expr,
203 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
204isl_stat isl_ast_node_foreach_ast_expr_op_type(__isl_keep isl_ast_node *node,
205 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
206isl_stat isl_ast_node_foreach_ast_op_type(__isl_keep isl_ast_node *node,
207 isl_stat (*fn)(enum isl_ast_expr_op_type type, void *user), void *user);
208__isl_give isl_printer *isl_ast_expr_op_type_set_print_name(
209 __isl_take isl_printer *p, enum isl_ast_expr_op_type type,
210 __isl_keep const char *name);
211__isl_give isl_printer *isl_ast_op_type_set_print_name(
212 __isl_take isl_printer *p, enum isl_ast_expr_op_type type,
213 __isl_keep const char *name);
214__isl_give isl_printer *isl_ast_expr_op_type_print_macro(
215 enum isl_ast_expr_op_type type, __isl_take isl_printer *p);
216__isl_give isl_printer *isl_ast_op_type_print_macro(
217 enum isl_ast_expr_op_type type, __isl_take isl_printer *p);
218__isl_give isl_printer *isl_ast_expr_print_macros(
219 __isl_keep isl_ast_expr *expr, __isl_take isl_printer *p);
220__isl_give isl_printer *isl_ast_node_print_macros(
221 __isl_keep isl_ast_node *node, __isl_take isl_printer *p);
222__isl_give isl_printer *isl_ast_node_print(__isl_keep isl_ast_node *node,
223 __isl_take isl_printer *p,
224 __isl_take isl_ast_print_options *options);
225__isl_give isl_printer *isl_ast_node_for_print(__isl_keep isl_ast_node *node,
226 __isl_take isl_printer *p,
227 __isl_take isl_ast_print_options *options);
228__isl_give isl_printer *isl_ast_node_if_print(__isl_keep isl_ast_node *node,
229 __isl_take isl_printer *p,
230 __isl_take isl_ast_print_options *options);
231
232__isl_export
233__isl_give char *isl_ast_node_to_C_str(__isl_keep isl_ast_node *node);
234
235ISL_DECLARE_LIST_FN(ast_expr)
236ISL_DECLARE_EXPORTED_LIST_FN(ast_node)
237
238#if defined(__cplusplus)
239}
240#endif
241
242#endif
Note: See TracBrowser for help on using the repository browser.