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
122
123
124
125
126
127
128
129
130
131
132
133
134
|
#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>
#include <isl/stream.h>
#undef EL
#define EL isl_ast_expr
#include <isl_list_templ.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_expr_op_type op;
isl_ast_expr_list *args;
} op;
} u;
};
__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_expr_op_type op, int n_arg);
__isl_give isl_ast_expr *isl_ast_expr_op_add_arg(__isl_take isl_ast_expr *expr,
__isl_take isl_ast_expr *arg);
__isl_give isl_ast_expr *isl_ast_expr_alloc_binary(
enum isl_ast_expr_op_type type,
__isl_take isl_ast_expr *expr1, __isl_take isl_ast_expr *expr2);
__isl_give isl_ast_expr *isl_stream_read_ast_expr(__isl_keep isl_stream *s);
#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_init(
__isl_take isl_ast_node *node, __isl_take isl_ast_expr *init);
__isl_give isl_ast_node *isl_ast_node_for_set_cond(
__isl_take isl_ast_node *node, __isl_take isl_ast_expr *init);
__isl_give isl_ast_node *isl_ast_node_for_set_inc(
__isl_take isl_ast_node *node, __isl_take isl_ast_expr *init);
__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);
__isl_give isl_ast_node *isl_stream_read_ast_node(__isl_keep isl_stream *s);
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
|
