improved doxygen comments
[libfirm] / include / libfirm / iredges.h
1 /*
2  * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief   Public header for the automatically updating outs.
23  * @author  Sebastian Hack
24  * @date    3.2.2005
25  * @version $Id$
26  */
27 #ifndef FIRM_IR_IREDGES_H
28 #define FIRM_IR_IREDGES_H
29
30 #include "firm_types.h"
31 #include "iredgekinds.h"
32
33 /**
34  * Get the first edge pointing to some node.
35  * @note There is no order on out edges. First in this context only
36  * means, that you get some starting point into the list of edges.
37  * @param irn The node.
38  * @param kind The kind of the edge.
39  * @return The first out edge that points to this node.
40  */
41 const ir_edge_t *get_irn_out_edge_first_kind(const ir_node *irn, ir_edge_kind_t kind);
42
43 /**
44  * Get the next edge in the out list of some node.
45  * @param irn The node.
46  * @param last The last out edge you have seen.
47  * @return The next out edge in @p irn 's out list after @p last.
48  */
49 const ir_edge_t *get_irn_out_edge_next(const ir_node *irn, const ir_edge_t *last);
50
51 /**
52  * A convenience iteration macro over all out edges of a node.
53  * @param irn  The node.
54  * @param kind The edge's kind.
55  * @param edge An ir_edge_t pointer which shall be set to the current
56  * edge.
57  */
58 #define foreach_out_edge_kind(irn, edge, kind) \
59         for(edge = get_irn_out_edge_first_kind(irn, kind); edge; edge = get_irn_out_edge_next(irn, edge))
60
61 /**
62  * A convenience iteration macro over all out edges of a node, which is safe
63  * against alteration of the current edge.
64  *
65  * @param irn  The node.
66  * @param edge An ir_edge_t pointer which shall be set to the current edge.
67  * @param ne   The next edge, enables alteration safe edge processing.
68  */
69 #define foreach_out_edge_kind_safe(irn, edge, ne, kind) \
70         for((edge) = (get_irn_out_edge_first_kind(irn, kind)), (ne) = ((edge) ? (get_irn_out_edge_next(irn, edge)) : NULL); \
71                 edge; (edge) = (ne), (ne) = ((edge) ? (get_irn_out_edge_next(irn, edge)) : NULL))
72
73 /**
74  * Convenience macro for normal out edges.
75  */
76 #define foreach_out_edge(irn, edge)            foreach_out_edge_kind(irn, edge, EDGE_KIND_NORMAL)
77
78 /**
79  * Convenience macro for normal out edges.
80  */
81 #define foreach_out_edge_safe(irn, edge, tmp)  foreach_out_edge_kind_safe(irn, edge, tmp, EDGE_KIND_NORMAL)
82
83 /**
84  * A convenience iteration macro for all control flow edges.
85  */
86 #define foreach_block_succ(bl, edge)           foreach_out_edge_kind(bl, edge, EDGE_KIND_BLOCK)
87
88 /*
89  * Get the source node of an edge.
90  * @param edge The edge.
91  * @return The source node of that edge.
92  */
93 ir_node *get_edge_src_irn(const ir_edge_t *edge);
94
95 /**
96  * Get the number of edges pointing to a node.
97  * @param irn The node.
98  * @return The number of edges pointing to this node.
99  */
100 int get_irn_n_edges(const ir_node *irn);
101
102 /**
103  * Get the position of an edge.
104  * @param edge The edge.
105  * @return The position in the in array of that edges source.
106  */
107 extern int get_edge_src_pos(const ir_edge_t *edge);
108
109 /**
110  * Get the edge object of an outgoing edge at a node.
111  * @param   irg The graph, the node is in.
112  * @param   irn The node at which the edge originates.
113  * @param   pos The position of the edge.
114  * @return      The corresponding edge object or NULL,
115  *              if no such edge exists.
116  */
117 const ir_edge_t *get_irn_edge_kind(ir_graph *irg, const ir_node *irn, int pos, ir_edge_kind_t kind);
118
119 /**
120  * Get the number of registered out edges for a specific kind.
121  * @param irn The node.
122  * @param kind The kind.
123  */
124 extern int get_irn_n_edges_kind(const ir_node *irn, ir_edge_kind_t kind);
125
126
127 /**
128  * Check, if the out edges are activated.
129  * @param irg The graph.
130  * @param kind The edge kind.
131  * @return 1, if the edges are present for the given irg, 0 if not.
132  */
133 extern int edges_activated_kind(const ir_graph *irg, ir_edge_kind_t kind);
134
135 /**
136  * Activate the edges for an irg.
137  * @param irg The graph to activate the edges for.
138  * @param kind The edge kind.
139  */
140 extern void edges_activate_kind(ir_graph *irg, ir_edge_kind_t kind);
141
142 /**
143  * Deactivate the edges for an irg.
144  * @param irg The graph.
145  * @param kind The edge kind.
146  */
147 extern void edges_deactivate_kind(ir_graph *irg, ir_edge_kind_t kind);
148
149 extern void edges_reroute_kind(ir_node *old, ir_node *nw, ir_edge_kind_t kind, ir_graph *irg);
150
151 /**
152  * Verifies the out edges of graph @p irg.
153  * @return 1 if a problem was found, 0 otherwise
154  */
155 int edges_verify(ir_graph *irg);
156
157 /**
158  * Set edge verification flag.
159  */
160 void edges_init_dbg(int do_dbg);
161
162 /************************************************************************/
163 /* Begin Old Interface                                                  */
164 /************************************************************************/
165
166 const ir_edge_t *get_irn_edge(ir_graph *irg, const ir_node *src, int pos);
167
168 #define edges_reroute(old, nw, irg)                     edges_reroute_kind(old, nw, EDGE_KIND_NORMAL, irg)
169 #define edges_activated(irg)                            (edges_activated_kind(irg, EDGE_KIND_NORMAL) && edges_activated_kind(irg, EDGE_KIND_BLOCK))
170
171 #ifndef get_irn_n_edges
172 #define get_irn_n_edges(irn)                            get_irn_n_edges_kind(irn, EDGE_KIND_NORMAL)
173 #endif
174
175 #ifndef get_irn_out_edge_first
176 #define get_irn_out_edge_first(irn)                     get_irn_out_edge_first_kind(irn, EDGE_KIND_NORMAL)
177 #endif
178
179 #ifndef get_block_succ_first
180 #define get_block_succ_first(irn)                       get_irn_out_edge_first_kind(irn, EDGE_KIND_BLOCK)
181 #endif
182
183 #ifndef get_block_succ_next
184 #define get_block_succ_next(irn, last)                  get_irn_out_edge_next(irn, last)
185 #endif
186
187 /**
188  * Activate all the edges for an irg.
189  * @param irg The graph to activate the edges for.
190  */
191 extern void edges_activate(ir_graph *irg);
192
193 /**
194  * Deactivate all the edges for an irg.
195  * @param irg The graph.
196  */
197 extern void edges_deactivate(ir_graph *irg);
198
199 extern int edges_assure(ir_graph *irg);
200
201 extern void edges_node_deleted(ir_node *irn, ir_graph *irg);
202
203 /**
204  * Notify normal and block edges.
205  */
206 extern void edges_notify_edge(ir_node *src, int pos, ir_node *tgt, ir_node *old_tgt, ir_graph *irg);
207
208 /**
209  * Walks only over Block nodes in the graph.  Has it's own visited
210  * flag, so that it can be interleaved with the other walker.
211  *
212  * @param block  the start block
213  * @param pre    the pre visit function
214  * @param post   the post visit function
215  * @param env    the environment for the walker
216  */
217 void irg_block_edges_walk(ir_node *block, irg_walk_func *pre, irg_walk_func *post, void *env);
218
219 void edges_reset_private_data(ir_graph *irg, int offset, size_t size);
220
221 /************************************************************************/
222 /* End Old Interface                                                    */
223 /************************************************************************/
224
225 #endif