nsz Git - libfirm/blob - include/libfirm/iredges.h

   1 /*
   2  * Copyright (C) 1995-2008 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 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 int get_irn_n_edges_kind(const ir_node *irn, ir_edge_kind_t kind);
 125
 126 /**
 127  * Check, if the out edges are activated.
 128  *
 129  * @param irg   The graph.
 130  * @param kind  The edge kind.
 131  *
 132  * @return 1, if the edges are present for the given irg, 0 if not.
 133  */
 134 int edges_activated_kind(const ir_graph *irg, ir_edge_kind_t kind);
 135
 136 /**
 137  * Activate the edges for an irg.
 138  *
 139  * @param irg   The graph to activate the edges for.
 140  * @param kind  The edge kind.
 141  */
 142 void edges_activate_kind(ir_graph *irg, ir_edge_kind_t kind);
 143
 144 /**
 145  * Deactivate the edges for an irg.
 146  *
 147  * @param irg   The graph.
 148  * @param kind  The edge kind.
 149  */
 150 void edges_deactivate_kind(ir_graph *irg, ir_edge_kind_t kind);
 151
 152 /**
 153  * Reroute edges of a specified kind from an old node to
 154  * a new one.
 155  *
 156  * @param old   the old node
 157  * @param nw    the new node
 158  * @param kind  the edge kind
 159  * @param irg   the graph on which the rerouting occurs
 160  */
 161 void edges_reroute_kind(ir_node *old, ir_node *nw, ir_edge_kind_t kind, ir_graph *irg);
 162
 163 /**
 164  * Verifies the out edges of graph @p irg.
 165  * @return 1 if a problem was found, 0 otherwise
 166  */
 167 int edges_verify(ir_graph *irg);
 168
 169 /**
 170  * Set edge verification flag.
 171  */
 172 void edges_init_dbg(int do_dbg);
 173
 174 /************************************************************************/
 175 /* Begin Old Interface                                                  */
 176 /************************************************************************/
 177
 178 const ir_edge_t *get_irn_edge(ir_graph *irg, const ir_node *src, int pos);
 179
 180 #define edges_reroute(old, nw, irg)                     edges_reroute_kind(old, nw, EDGE_KIND_NORMAL, irg)
 181 #define edges_activated(irg)                            (edges_activated_kind(irg, EDGE_KIND_NORMAL) && edges_activated_kind(irg, EDGE_KIND_BLOCK))
 182
 183 #ifndef get_irn_n_edges
 184 #define get_irn_n_edges(irn)                            get_irn_n_edges_kind(irn, EDGE_KIND_NORMAL)
 185 #endif
 186
 187 #ifndef get_irn_out_edge_first
 188 #define get_irn_out_edge_first(irn)                     get_irn_out_edge_first_kind(irn, EDGE_KIND_NORMAL)
 189 #endif
 190
 191 #ifndef get_block_succ_first
 192 #define get_block_succ_first(irn)                       get_irn_out_edge_first_kind(irn, EDGE_KIND_BLOCK)
 193 #endif
 194
 195 #ifndef get_block_succ_next
 196 #define get_block_succ_next(irn, last)                  get_irn_out_edge_next(irn, last)
 197 #endif
 198
 199 /**
 200  * Activate all the edges for an irg.
 201  * @param irg The graph to activate the edges for.
 202  */
 203 void edges_activate(ir_graph *irg);
 204
 205 /**
 206  * Deactivate all the edges for an irg.
 207  * @param irg The graph.
 208  */
 209 void edges_deactivate(ir_graph *irg);
 210
 211 /**
 212  * Ensure that edges are activated.
 213  *
 214  * @param irg  the IR graph
 215  *
 216  * @return 0 if edges was deactivated before the call, 1 else
 217  */
 218 int edges_assure(ir_graph *irg);
 219
 220 /**
 221  * Ensure that edges of a given kind are activated.
 222  *
 223  * @param irg   the IR graph
 224  * @param kind  the edge kind
 225  *
 226  * @return 0 if edges was deactivated before the call, 1 else
 227  */
 228 int edges_assure_kind(ir_graph *irg, ir_edge_kind_t kind);
 229
 230 void edges_node_deleted(ir_node *irn, ir_graph *irg);
 231
 232 /**
 233  * Notify normal and block edges.
 234  */
 235 void edges_notify_edge(ir_node *src, int pos, ir_node *tgt, ir_node *old_tgt, ir_graph *irg);
 236
 237 /**
 238  * Walks only over Block nodes in the graph.  Has it's own visited
 239  * flag, so that it can be interleaved with the other walker.
 240  *
 241  * @param block  the start block
 242  * @param pre    the pre visit function
 243  * @param post   the post visit function
 244  * @param env    the environment for the walker
 245  */
 246 void irg_block_edges_walk(ir_node *block, irg_walk_func *pre, irg_walk_func *post, void *env);
 247
 248 void edges_reset_private_data(ir_graph *irg, int offset, size_t size);
 249
 250 /************************************************************************/
 251 /* End Old Interface                                                    */
 252 /************************************************************************/
 253
 254 #endif