X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firgwalk.h;h=33592efd5264504600b95ac512432d1928c3b944;hb=888515bf53297a3d9d42781b5c6513bc57e58a52;hp=eb25e44a029c4eac0e78cb89148b474ee433201b;hpb=a5aa0b2919e8fa7401c7e91caf65834699adfddf;p=libfirm diff --git a/include/libfirm/irgwalk.h b/include/libfirm/irgwalk.h index eb25e44a0..33592efd5 100644 --- a/include/libfirm/irgwalk.h +++ b/include/libfirm/irgwalk.h @@ -22,7 +22,7 @@ * @brief Traverse an ir graph * @author Boris Boesler, Goetz Lindenmaier * @version $Id$ - * @summary + * @brief * Traverse an ir graph: * - execute the pre function before recursion * - execute the post function after recursion @@ -34,6 +34,7 @@ #define FIRM_IR_IRGWALK_H #include "firm_types.h" +#include "begin.h" /** * Walks over the ir graph. @@ -53,7 +54,15 @@ * @param env environment, passed to pre and post * */ -void irg_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, + void *env); + +/** + * core walker function. Does NOT touch current_ir_graph and does not call + * inc_irg_visited before walking + */ +FIRM_API void irg_walk_core(ir_node *node, irg_walk_func *pre, + irg_walk_func *post, void *env); /** * Walks over all reachable nodes in the ir graph. @@ -65,10 +74,10 @@ 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. Does not use the link field. If interprocedural_view - * is set, visits all reachable irgs. + * is set to irg. Does not use the link field. */ -void irg_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_graph(ir_graph *irg, irg_walk_func *pre, + irg_walk_func *post, void *env); /** * Walks over the ir graph. @@ -89,7 +98,8 @@ void irg_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void * @param env environment, passed to pre and post * */ -void irg_walk_in_or_dep(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_in_or_dep(ir_node *node, irg_walk_func *pre, + irg_walk_func *post, void *env); /** * Walks over all reachable nodes in the ir graph. @@ -103,9 +113,9 @@ void irg_walk_in_or_dep(ir_node *node, irg_walk_func *pre, irg_walk_func *post, * graph, starting at the end operation. During the walk current_ir_graph * is set to irg. Does not use the link field. * This walker also follows additional dependency egdes. - * interprocedural_view is not yet supported. */ -void irg_walk_in_or_dep_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_in_or_dep_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. @@ -116,24 +126,9 @@ void irg_walk_in_or_dep_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func * * * This function 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. Does not use the link field. + * current_ir_graph. Does not use the link field. */ -void all_irg_walk(irg_walk_func *pre, irg_walk_func *post, void *env); - -#ifdef INTERPROCEDURAL_VIEW -/** - * Walks all irgs in interprocedural view. - * - * @param pre walker function, executed before the predecessor of a node are visited - * @param post walker function, executed after the predecessor of a node are visited - * @param env environment, passed to pre and post - * - * This function walks all irgs in interprocedural view. - * Visits each node only once. Sets current_ir_graph properly. Does not use the link field. - */ -void cg_walk(irg_walk_func *pre, irg_walk_func *post, void *env); -#endif +FIRM_API void all_irg_walk(irg_walk_func *pre, irg_walk_func *post, void *env); /** Walks only over Block nodes in the graph. * @@ -147,7 +142,8 @@ void cg_walk(irg_walk_func *pre, irg_walk_func *post, void *env); * If a none block is passed, starts at the block this node belongs to. * If end is passed also visits kept alive blocks. Does not use the link field. */ -void irg_block_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_block_walk(ir_node *node, irg_walk_func *pre, + irg_walk_func *post, void *env); /** * Walks only over reachable Block nodes in the graph. @@ -160,7 +156,8 @@ void irg_block_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void * Like irg_block_walk(), but walks over all reachable blocks in the * ir graph, starting at the end block. Does not use the link field. */ -void irg_block_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API 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. @@ -172,7 +169,8 @@ void irg_block_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post * This function walks over all code in const_code_irg. * Uses visited flag in const_code_irg. Does not use the link field. */ -void walk_const_code(irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void walk_const_code(irg_walk_func *pre, irg_walk_func *post, + void *env); /** * Walks over reachable nodes in block-wise topological order, i.e. visit @@ -184,14 +182,14 @@ void walk_const_code(irg_walk_func *pre, irg_walk_func *post, void *env); * 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. Does not use the link fields. - * Walks only intraprocedural, even in interprocedural view. * * @param irg the irg graph * @param pre walker function, executed before the predecessor of a node are visited * @param post walker function, executed after the predecessor of a node are visited * @param env environment, passed to pre and post */ -void irg_walk_blkwise_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_blkwise_graph(ir_graph *irg, irg_walk_func *pre, + irg_walk_func *post, void *env); /** * Walks over reachable nodes in block-wise topological order, i.e. visit @@ -203,7 +201,6 @@ void irg_walk_blkwise_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *po * 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. Does not use the link fields. - * Walks only intraprocedural, even in interprocedural view. * This walker also follows dependency edges. * * @param irg the irg graph @@ -211,7 +208,9 @@ void irg_walk_blkwise_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *po * @param post walker function, executed after the predecessor of a node are visited * @param env environment, passed to pre and post */ -void irg_walk_in_or_dep_blkwise_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_in_or_dep_blkwise_graph(ir_graph *irg, + irg_walk_func *pre, + irg_walk_func *post, void *env); /** * Walks over reachable nodes in block-wise topological order, i.e. visit @@ -224,17 +223,17 @@ void irg_walk_in_or_dep_blkwise_graph(ir_graph *irg, irg_walk_func *pre, irg_wal * 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. Does not use the link fields. - * Walks only intraprocedural, even in interprocedural view. * * @param irg the irg graph * @param pre walker function, executed before the predecessor of a node are visited * @param post walker function, executed after the predecessor of a node are visited * @param env environment, passed to pre and post */ -void irg_walk_blkwise_dom_top_down(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_blkwise_dom_top_down(ir_graph *irg, irg_walk_func *pre, + irg_walk_func *post, void *env); /** - * Additionally walk over all anchors. Do NOT increase the visit flag. + * Additionally walk over all anchors. * This function visits all anchor nodes that otherwise might not been visited in a * walk, for instance the Bad() node. * @@ -243,6 +242,16 @@ void irg_walk_blkwise_dom_top_down(ir_graph *irg, irg_walk_func *pre, irg_walk_f * @param post walker function, executed after the predecessor of a node are visited * @param env environment, passed to pre and post */ -void irg_walk_anchors(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void *env); +FIRM_API void irg_walk_anchors(ir_graph *irg, irg_walk_func *pre, + irg_walk_func *post, void *env); + +/** + * Walker function which does not increase the visited flag before walking. + * Do not use this unless you know what you are doing. + */ +unsigned irg_walk_2(ir_node *node, irg_walk_func *pre, irg_walk_func *post, + void *env); + +#include "end.h" #endif