walker for complete interprocedural graph

[libfirm] / ir / ir / irgwalk.h

diff --git a/ir/ir/irgwalk.h b/ir/ir/irgwalk.h
index f0bc842..71f6ee7 100644 (file)
--- a/ir/ir/irgwalk.h
+++ b/ir/ir/irgwalk.h
@@ -11,29 +11,53 @@
 ** graph before starting the walker.
 */
 
-
+/* $Id$ */
 
 # ifndef _IRGWALK_H_
 # define _IRGWALK_H_
 
 # include "irnode.h"
 
+/* type of callback function for ir_graph walk */
+typedef void (* irg_walk_func)(ir_node *, void *);
+
 /* Walks over the ir graph, starting at the node given as first argument.
    Executes pre before visiting the predecessor of a node, post after.
    irg_walk uses the visited flag in irg and the nodes to determine visited
    nodes.  It executes inc_irg_visited(current_ir_graph) to generate a new
-   flag.
+   flag.  It marks the node as visited before executing pre.
    The void* env can be used to pass status information between the
    pre and post functions.  */
-void irg_walk(ir_node *node,
-             void (pre)(ir_node*, void*), void (post)(ir_node*, void*),
-             void *env);
+void irg_walk(ir_node *node, irg_walk_func pre, irg_walk_func post, void *env);
+
+/* Like "irg_walk", but walks over all reachable nodes in the ir
+ * graph, starting at the end operation. During the walk current_ir_graph
+ * is set to irg. */
+void irg_walk_graph(ir_graph *irg, irg_walk_func pre, irg_walk_func post, void *env);
+
+/* Executes irg_walk(end, pre, post, env) for all irgraphs in irprog.
+   Sets current_ir_graph properly for each walk.  Conserves current
+   current_ir_graph.  In interprocedural view nodes can be visited several
+   times. */
+void all_irg_walk(irg_walk_func pre, irg_walk_func post, void *env);
+
+/* Walks all irgs in interprocedural view.  Visits each node only once.
+   Sets current_ir_graph properly. */
+void cg_walk(irg_walk_func pre, irg_walk_func post, void *env);
 
 /* Walks only over Block nodes in the graph.  Has it's own visited
-   flag, so that it can be interleaved with the other walker.         */
-void irg_block_walk(ir_node *node,
-                   void (pre)(ir_node*, void*), void (post)(ir_node*, void*),
-                   void *env);
+   flag, so that it can be interleaved with the other walker.
+   If a none block is passed, starts at the block this node belongs to.
+   If end is passed also visites kept alive blocks. */
+void irg_block_walk(ir_node *node, irg_walk_func pre, irg_walk_func post, void *env);
+
+/* Like "irg_block_walk", but walks over all reachable blocks in the
+ * ir graph, starting at the end block. */
+void irg_block_walk_graph(ir_graph *irg, irg_walk_func pre, irg_walk_func post, void *env);
+
+/* Walks over all code in const_code_irg.
+   Uses visited flag in const_code_irg. */
+void walk_const_code(irg_walk_func pre, irg_walk_func post, void *env);
 
 
 # endif /* _IRGWALK_H_ */