1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
| #ifndef ISL_AST_PRIVATE_H
#define ISL_AST_PRIVATE_H
#include <isl/aff.h>
#include <isl/ast.h>
#include <isl/set.h>
#include <isl/map.h>
#include <isl/vec.h>
#include <isl/list.h>
/* An expression is either an integer, an identifier or an operation
* with zero or more arguments.
*/
struct isl_ast_expr {
int ref;
isl_ctx *ctx;
enum isl_ast_expr_type type;
union {
isl_val *v;
isl_id *id;
struct {
enum isl_ast_op_type op;
unsigned n_arg;
isl_ast_expr **args;
} op;
} u;
};
#undef EL
#define EL isl_ast_expr
#include <isl_list_templ.h>
__isl_give isl_ast_expr *isl_ast_expr_alloc_int_si(isl_ctx *ctx, int i);
__isl_give isl_ast_expr *isl_ast_expr_alloc_op(isl_ctx *ctx,
enum isl_ast_op_type op, int n_arg);
__isl_give isl_ast_expr *isl_ast_expr_alloc_binary(enum isl_ast_op_type type,
__isl_take isl_ast_expr *expr1, __isl_take isl_ast_expr *expr2);
#undef EL
#define EL isl_ast_node
#include <isl_list_templ.h>
/* A node is either a block, an if, a for, a user node or a mark node.
* "else_node" is NULL if the if node does not have an else branch.
* "cond" and "inc" are NULL for degenerate for nodes.
* In case of a mark node, "mark" is the mark and "node" is the marked node.
*/
struct isl_ast_node {
int ref;
isl_ctx *ctx;
enum isl_ast_node_type type;
union {
struct {
isl_ast_node_list *children;
} b;
struct {
isl_ast_expr *guard;
isl_ast_node *then;
isl_ast_node *else_node;
} i;
struct {
unsigned degenerate : 1;
isl_ast_expr *iterator;
isl_ast_expr *init;
isl_ast_expr *cond;
isl_ast_expr *inc;
isl_ast_node *body;
} f;
struct {
isl_ast_expr *expr;
} e;
struct {
isl_id *mark;
isl_ast_node *node;
} m;
} u;
isl_id *annotation;
};
__isl_give isl_ast_node *isl_ast_node_alloc_for(__isl_take isl_id *id);
__isl_give isl_ast_node *isl_ast_node_for_mark_degenerate(
__isl_take isl_ast_node *node);
__isl_give isl_ast_node *isl_ast_node_alloc_if(__isl_take isl_ast_expr *guard);
__isl_give isl_ast_node *isl_ast_node_alloc_block(
__isl_take isl_ast_node_list *list);
__isl_give isl_ast_node *isl_ast_node_alloc_mark(__isl_take isl_id *id,
__isl_take isl_ast_node *node);
__isl_give isl_ast_node *isl_ast_node_from_ast_node_list(
__isl_take isl_ast_node_list *list);
__isl_give isl_ast_node *isl_ast_node_for_set_body(
__isl_take isl_ast_node *node, __isl_take isl_ast_node *body);
__isl_give isl_ast_node *isl_ast_node_if_set_then(
__isl_take isl_ast_node *node, __isl_take isl_ast_node *child);
struct isl_ast_print_options {
int ref;
isl_ctx *ctx;
__isl_give isl_printer *(*print_for)(__isl_take isl_printer *p,
__isl_take isl_ast_print_options *options,
__isl_keep isl_ast_node *node, void *user);
void *print_for_user;
__isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
__isl_take isl_ast_print_options *options,
__isl_keep isl_ast_node *node, void *user);
void *print_user_user;
};
__isl_give isl_printer *isl_ast_node_list_print(
__isl_keep isl_ast_node_list *list, __isl_take isl_printer *p,
__isl_keep isl_ast_print_options *options);
#endif
|