nsz Git - libfirm/blob - ir/ir/irgwalk.h

   1 /* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
   2 ** All rights reserved.
   3 **
   4 ** Author: Boris Boesler
   5 **
   6 ** traverse an ir graph
   7 ** - execute the pre function before recursion
   8 ** - execute the post function after recursion
   9 **
  10 ** Uses current_ir_graph (from irgraph.h)!!! Set it to the proper
  11 ** graph before starting the walker.
  12 */
  13
  14 /* $Id$ */
  15
  16 # ifndef _IRGWALK_H_
  17 # define _IRGWALK_H_
  18
  19 # include "irnode.h"
  20
  21 /* type of callback function for ir_graph walk */
  22 #ifndef _IRG_WALK_FUNC_TYPEDEF_
  23 #define _IRG_WALK_FUNC_TYPEDEF_
  24 typedef void (irg_walk_func)(ir_node *, void *);
  25 #endif
  26
  27 /* Walks over the ir graph, starting at the node given as first argument.
  28    Executes pre before visiting the predecessor of a node, post after.
  29    irg_walk uses the visited flag in irg and the nodes to determine visited
  30    nodes.  It executes inc_irg_visited(current_ir_graph) to generate a new
  31    flag.  It marks the node as visited before executing pre.
  32    The void* env can be used to pass status information between the
  33    pre and post functions.  */
  34 void irg_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env);
  35
  36 /* Like "irg_walk", but walks over all reachable nodes in the ir
  37  * graph, starting at the end operation. During the walk current_ir_graph
  38  * is set to irg. */
  39 void irg_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env);
  40
  41 /* Executes irg_walk(end, pre, post, env) for all irgraphs in irprog.
  42    Sets current_ir_graph properly for each walk.  Conserves current
  43    current_ir_graph.  In interprocedural view nodes can be visited several
  44    times. */
  45 void all_irg_walk(irg_walk_func *pre, irg_walk_func *post, void *env);
  46
  47 /* Walks all irgs in interprocedural view.  Visits each node only once.
  48    Sets current_ir_graph properly. */
  49 void cg_walk(irg_walk_func *pre, irg_walk_func *post, void *env);
  50
  51 /* Walks only over Block nodes in the graph.  Has it's own visited
  52    flag, so that it can be interleaved with the other walker.
  53    If a none block is passed, starts at the block this node belongs to.
  54    If end is passed also visites kept alive blocks. */
  55 void irg_block_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env);
  56
  57 /* Like "irg_block_walk", but walks over all reachable blocks in the
  58  * ir graph, starting at the end block. */
  59 void irg_block_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env);
  60
  61 /* Walks over all code in const_code_irg.
  62    Uses visited flag in const_code_irg. */
  63 void walk_const_code(irg_walk_func *pre, irg_walk_func *post, void *env);
  64
  65
  66 # endif /* _IRGWALK_H_ */