8 #include <isl/printer.h>
10 #if defined(__cplusplus)
15 typedef struct isl_ast_expr isl_ast_expr
;
18 typedef struct isl_ast_node isl_ast_node
;
20 enum isl_ast_op_type
{
21 isl_ast_op_error
= -1,
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 */
47 enum isl_ast_expr_type
{
48 isl_ast_expr_error
= -1,
54 enum isl_ast_node_type
{
55 isl_ast_node_error
= -1,
62 struct isl_ast_print_options
;
63 typedef struct isl_ast_print_options isl_ast_print_options
;
65 ISL_DECLARE_LIST(ast_expr
)
66 ISL_DECLARE_LIST(ast_node
)
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
);
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
);
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
);
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
);
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
,
102 int isl_ast_expr_is_equal(__isl_keep isl_ast_expr
*expr1
,
103 __isl_keep isl_ast_expr
*expr2
);
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
);
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
);
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
);
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
);
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
);
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
);
141 __isl_give isl_ast_node_list
*isl_ast_node_block_get_children(
142 __isl_keep isl_ast_node
*node
);
144 __isl_give isl_ast_expr
*isl_ast_node_user_get_expr(
145 __isl_keep isl_ast_node
*node
);
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
);
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
);
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
),
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
),
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
);
187 #if defined(__cplusplus)