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 typedef void (* irg_walk_func)(ir_node *, void *);
  23
  24 /* Walks over the ir graph, starting at the node given as first argument.
  25    Executes pre before visiting the predecessor of a node, post after.
  26    irg_walk uses the visited flag in irg and the nodes to determine visited
  27    nodes.  It executes inc_irg_visited(current_ir_graph) to generate a new
  28    flag.  It marks the node as visited before executing pre.
  29    The void* env can be used to pass status information between the
  30    pre and post functions.  */
  31 void irg_walk(ir_node *node, irg_walk_func pre, irg_walk_func post, void *env);
  32
  33 /* Like "irg_walk", but walks over all reachable nodes in the ir
  34  * graph, starting at the end operation. */
  35 void irg_walk_graph(ir_graph *irg, irg_walk_func pre, irg_walk_func post, void *env);
  36
  37 /* Executes irg_walk(end, pre, post, env) for all irgraphs in irprog.
  38    Sets current_ir_graph properly for each walk.  Conserves current
  39    current_ir_graph. */
  40 void all_irg_walk(irg_walk_func pre, irg_walk_func post, void *env);
  41
  42
  43 /* Walks only over Block nodes in the graph.  Has it's own visited
  44    flag, so that it can be interleaved with the other walker.
  45    If a none block is passed, starts at the block this node belongs to.
  46    If end is passed also visites kept alive blocks. */
  47 void irg_block_walk(ir_node *node, irg_walk_func pre, irg_walk_func post, void *env);
  48
  49 /* Like "irg_block_walk", but walks over all reachable blocks in the
  50  * ir graph, starting at the end block. */
  51 void irg_block_walk_graph(ir_graph *irg, irg_walk_func pre, irg_walk_func post, void *env);
  52
  53
  54 # endif /* _IRGWALK_H_ */