5 #include <isl/ast_type.h>
7 #include <isl/id_to_ast_expr.h>
10 #include <isl/printer.h>
12 #if defined(__cplusplus)
16 int isl_options_set_ast_iterator_type(isl_ctx
*ctx
, const char *val
);
17 const char *isl_options_get_ast_iterator_type(isl_ctx
*ctx
);
19 int isl_options_set_ast_always_print_block(isl_ctx
*ctx
, int val
);
20 int isl_options_get_ast_always_print_block(isl_ctx
*ctx
);
22 __isl_give isl_ast_expr
*isl_ast_expr_from_val(__isl_take isl_val
*v
);
23 __isl_give isl_ast_expr
*isl_ast_expr_from_id(__isl_take isl_id
*id
);
24 __isl_give isl_ast_expr
*isl_ast_expr_neg(__isl_take isl_ast_expr
*expr
);
25 __isl_give isl_ast_expr
*isl_ast_expr_add(__isl_take isl_ast_expr
*expr1
,
26 __isl_take isl_ast_expr
*expr2
);
27 __isl_give isl_ast_expr
*isl_ast_expr_sub(__isl_take isl_ast_expr
*expr1
,
28 __isl_take isl_ast_expr
*expr2
);
29 __isl_give isl_ast_expr
*isl_ast_expr_mul(__isl_take isl_ast_expr
*expr1
,
30 __isl_take isl_ast_expr
*expr2
);
31 __isl_give isl_ast_expr
*isl_ast_expr_div(__isl_take isl_ast_expr
*expr1
,
32 __isl_take isl_ast_expr
*expr2
);
33 __isl_give isl_ast_expr
*isl_ast_expr_and(__isl_take isl_ast_expr
*expr1
,
34 __isl_take isl_ast_expr
*expr2
);
35 __isl_give isl_ast_expr
*isl_ast_expr_or(__isl_take isl_ast_expr
*expr1
,
36 __isl_take isl_ast_expr
*expr2
);
37 __isl_give isl_ast_expr
*isl_ast_expr_le(__isl_take isl_ast_expr
*expr1
,
38 __isl_take isl_ast_expr
*expr2
);
39 __isl_give isl_ast_expr
*isl_ast_expr_lt(__isl_take isl_ast_expr
*expr1
,
40 __isl_take isl_ast_expr
*expr2
);
41 __isl_give isl_ast_expr
*isl_ast_expr_ge(__isl_take isl_ast_expr
*expr1
,
42 __isl_take isl_ast_expr
*expr2
);
43 __isl_give isl_ast_expr
*isl_ast_expr_gt(__isl_take isl_ast_expr
*expr1
,
44 __isl_take isl_ast_expr
*expr2
);
45 __isl_give isl_ast_expr
*isl_ast_expr_eq(__isl_take isl_ast_expr
*expr1
,
46 __isl_take isl_ast_expr
*expr2
);
47 __isl_give isl_ast_expr
*isl_ast_expr_access(__isl_take isl_ast_expr
*array
,
48 __isl_take isl_ast_expr_list
*indices
);
49 __isl_give isl_ast_expr
*isl_ast_expr_address_of(__isl_take isl_ast_expr
*expr
);
51 __isl_give isl_ast_expr
*isl_ast_expr_copy(__isl_keep isl_ast_expr
*expr
);
52 __isl_null isl_ast_expr
*isl_ast_expr_free(__isl_take isl_ast_expr
*expr
);
54 isl_ctx
*isl_ast_expr_get_ctx(__isl_keep isl_ast_expr
*expr
);
55 enum isl_ast_expr_type
isl_ast_expr_get_type(__isl_keep isl_ast_expr
*expr
);
56 __isl_give isl_val
*isl_ast_expr_get_val(__isl_keep isl_ast_expr
*expr
);
57 __isl_give isl_id
*isl_ast_expr_get_id(__isl_keep isl_ast_expr
*expr
);
59 enum isl_ast_op_type
isl_ast_expr_get_op_type(__isl_keep isl_ast_expr
*expr
);
60 int isl_ast_expr_get_op_n_arg(__isl_keep isl_ast_expr
*expr
);
61 __isl_give isl_ast_expr
*isl_ast_expr_get_op_arg(__isl_keep isl_ast_expr
*expr
,
63 __isl_give isl_ast_expr
*isl_ast_expr_set_op_arg(__isl_take isl_ast_expr
*expr
,
64 int pos
, __isl_take isl_ast_expr
*arg
);
66 int isl_ast_expr_is_equal(__isl_keep isl_ast_expr
*expr1
,
67 __isl_keep isl_ast_expr
*expr2
);
69 __isl_give isl_ast_expr
*isl_ast_expr_substitute_ids(
70 __isl_take isl_ast_expr
*expr
, __isl_take isl_id_to_ast_expr
*id2expr
);
72 __isl_give isl_printer
*isl_printer_print_ast_expr(__isl_take isl_printer
*p
,
73 __isl_keep isl_ast_expr
*expr
);
74 void isl_ast_expr_dump(__isl_keep isl_ast_expr
*expr
);
75 __isl_give
char *isl_ast_expr_to_str(__isl_keep isl_ast_expr
*expr
);
77 __isl_give isl_ast_node
*isl_ast_node_alloc_user(__isl_take isl_ast_expr
*expr
);
78 __isl_give isl_ast_node
*isl_ast_node_copy(__isl_keep isl_ast_node
*node
);
79 __isl_null isl_ast_node
*isl_ast_node_free(__isl_take isl_ast_node
*node
);
81 isl_ctx
*isl_ast_node_get_ctx(__isl_keep isl_ast_node
*node
);
82 enum isl_ast_node_type
isl_ast_node_get_type(__isl_keep isl_ast_node
*node
);
84 __isl_give isl_ast_node
*isl_ast_node_set_annotation(
85 __isl_take isl_ast_node
*node
, __isl_take isl_id
*annotation
);
86 __isl_give isl_id
*isl_ast_node_get_annotation(__isl_keep isl_ast_node
*node
);
88 __isl_give isl_ast_expr
*isl_ast_node_for_get_iterator(
89 __isl_keep isl_ast_node
*node
);
90 __isl_give isl_ast_expr
*isl_ast_node_for_get_init(
91 __isl_keep isl_ast_node
*node
);
92 __isl_give isl_ast_expr
*isl_ast_node_for_get_cond(
93 __isl_keep isl_ast_node
*node
);
94 __isl_give isl_ast_expr
*isl_ast_node_for_get_inc(
95 __isl_keep isl_ast_node
*node
);
96 __isl_give isl_ast_node
*isl_ast_node_for_get_body(
97 __isl_keep isl_ast_node
*node
);
98 int isl_ast_node_for_is_degenerate(__isl_keep isl_ast_node
*node
);
100 __isl_give isl_ast_expr
*isl_ast_node_if_get_cond(
101 __isl_keep isl_ast_node
*node
);
102 __isl_give isl_ast_node
*isl_ast_node_if_get_then(
103 __isl_keep isl_ast_node
*node
);
104 int isl_ast_node_if_has_else(__isl_keep isl_ast_node
*node
);
105 __isl_give isl_ast_node
*isl_ast_node_if_get_else(
106 __isl_keep isl_ast_node
*node
);
108 __isl_give isl_ast_node_list
*isl_ast_node_block_get_children(
109 __isl_keep isl_ast_node
*node
);
111 __isl_give isl_ast_expr
*isl_ast_node_user_get_expr(
112 __isl_keep isl_ast_node
*node
);
114 __isl_give isl_printer
*isl_printer_print_ast_node(__isl_take isl_printer
*p
,
115 __isl_keep isl_ast_node
*node
);
116 void isl_ast_node_dump(__isl_keep isl_ast_node
*node
);
118 __isl_give isl_ast_print_options
*isl_ast_print_options_alloc(isl_ctx
*ctx
);
119 __isl_give isl_ast_print_options
*isl_ast_print_options_copy(
120 __isl_keep isl_ast_print_options
*options
);
121 __isl_null isl_ast_print_options
*isl_ast_print_options_free(
122 __isl_take isl_ast_print_options
*options
);
123 isl_ctx
*isl_ast_print_options_get_ctx(
124 __isl_keep isl_ast_print_options
*options
);
126 __isl_give isl_ast_print_options
*isl_ast_print_options_set_print_user(
127 __isl_take isl_ast_print_options
*options
,
128 __isl_give isl_printer
*(*print_user
)(__isl_take isl_printer
*p
,
129 __isl_take isl_ast_print_options
*options
,
130 __isl_keep isl_ast_node
*node
, void *user
),
132 __isl_give isl_ast_print_options
*isl_ast_print_options_set_print_for(
133 __isl_take isl_ast_print_options
*options
,
134 __isl_give isl_printer
*(*print_for
)(__isl_take isl_printer
*p
,
135 __isl_take isl_ast_print_options
*options
,
136 __isl_keep isl_ast_node
*node
, void *user
),
139 int isl_ast_node_foreach_ast_op_type(__isl_keep isl_ast_node
*node
,
140 int (*fn
)(enum isl_ast_op_type type
, void *user
), void *user
);
141 __isl_give isl_printer
*isl_ast_op_type_print_macro(
142 enum isl_ast_op_type type
, __isl_take isl_printer
*p
);
143 __isl_give isl_printer
*isl_ast_node_print_macros(
144 __isl_keep isl_ast_node
*node
, __isl_take isl_printer
*p
);
145 __isl_give isl_printer
*isl_ast_node_print(__isl_keep isl_ast_node
*node
,
146 __isl_take isl_printer
*p
,
147 __isl_take isl_ast_print_options
*options
);
148 __isl_give isl_printer
*isl_ast_node_for_print(__isl_keep isl_ast_node
*node
,
149 __isl_take isl_printer
*p
,
150 __isl_take isl_ast_print_options
*options
);
151 __isl_give isl_printer
*isl_ast_node_if_print(__isl_keep isl_ast_node
*node
,
152 __isl_take isl_printer
*p
,
153 __isl_take isl_ast_print_options
*options
);
155 #if defined(__cplusplus)