X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firhooks.h;h=c32f522a5e9516818bc6dc4552706c0310db8db7;hb=5706bc91053a2c8e2d56966c4f3e5bb260590103;hp=a51fed99a31b2aef6357b6bebc97777167836704;hpb=83c7c91406b939ccc825f782e36e6a012758f317;p=libfirm diff --git a/ir/ir/irhooks.h b/ir/ir/irhooks.h index a51fed99a..c32f522a5 100644 --- a/ir/ir/irhooks.h +++ b/ir/ir/irhooks.h @@ -34,6 +34,7 @@ typedef enum { HOOK_OPT_CONST_EVAL, /**< constant evaluation */ HOOK_OPT_ALGSIM, /**< algebraic simplification */ HOOK_OPT_PHI, /**< Phi optmization */ + HOOK_OPT_SYNC, /**< Sync optmization */ HOOK_OPT_WAW, /**< Write-After-Write optimization */ HOOK_OPT_WAR, /**< Write-After-Read optimization */ HOOK_OPT_RAW, /**< Read-After-Write optimization */ @@ -51,7 +52,9 @@ typedef enum { HOOK_OPT_CONFIRM, /**< a value was substituted by another due to a Confirm */ HOOK_OPT_CONFIRM_C, /**< a value was substituted by a const due to a Confirm */ HOOK_OPT_CONFIRM_E, /**< a value was evaluated due to a Confirm */ + HOOK_OPT_EXC_REM, /**< a exception edge was removed due to a Confirmation prove */ HOOK_LOWERED, /**< lowered */ + HOOK_BACKEND, /**< a backend transformation */ HOOK_OPT_LAST } hook_opt_kind; @@ -65,40 +68,100 @@ typedef enum _if_result_t { IF_RESULT_LAST } if_result_t; +/** + * A generic function type. + */ +typedef void (generic_func)(void); + /** * a hook entry */ typedef struct hook_entry { - /** a union of all possible hook types */ + /** A union of all possible hook types. */ union { + /** This hook is called, after a new ir_op was created. */ void (*_hook_new_ir_op)(void *context, ir_op *op); + + /** This hook is called, before am ir_op is destroyed. */ void (*_hook_free_ir_op)(void *context, ir_op *op); + + /** This hook is called, after a new IR-node was created and before it is optimized. */ void (*_hook_new_node)(void *context, ir_graph *graph, ir_node *node); + + /** This hook is called, after a node input was changed. */ void (*_hook_set_irn_n)(void *context, ir_node *src, int pos, ir_node *tgt, ir_node *old_tgt); - void (*_hook_replaced)(void *context, ir_node *old_node, ir_node *new_node); + + /** This hook is called, before a node is replaced (exchange()) by another. */ + void (*_hook_replace)(void *context, ir_node *old_node, ir_node *new_node); + + /** This hook is called, before a node is changed into an Id node. */ void (*_hook_turn_into_id)(void *context, ir_node *node); + + /** This hook is called, after a new graph was created and before the first block + * on this graph is build. */ void (*_hook_new_graph)(void *context, ir_graph *irg, entity *ent); + + /** This hook is called before a graph is freed. */ void (*_hook_free_graph)(void *context, ir_graph *irg); - void (*_hook_irg_walk)(void *context, ir_graph *irg, void *pre, void *post); - void (*_hook_irg_walk_blkwise)(void *context, ir_graph *irg, void *pre, void *post); - void (*_hook_irg_block_walk)(void *context, ir_graph *irg, ir_node *node, void *pre, void *post); + + /** This hook is called before an irg walk is started. */ + void (*_hook_irg_walk)(void *context, ir_graph *irg, generic_func *pre, generic_func *post); + + /** This hook is called before an block wise irg walk is started. */ + void (*_hook_irg_walk_blkwise)(void *context, ir_graph *irg, generic_func *pre, generic_func *post); + + /** This hook is called before an block walk is started. */ + void (*_hook_irg_block_walk)(void *context, ir_graph *irg, ir_node *node, generic_func *pre, generic_func *post); + + /** This hook is called, when debug info must be merged. */ void (*_hook_merge_nodes)(void *context, ir_node **new_node_array, int new_num_entries, ir_node **old_node_array, int old_num_entries, hook_opt_kind opt); + + /** This hook is called, when reassociation is started/stopped. */ void (*_hook_reassociate)(void *context, int start); + + /** This hook is called, before a node is lowered. */ void (*_hook_lower)(void *context, ir_node *node); + + /** This hook is called, before a graph is inlined. */ void (*_hook_inline)(void *context, ir_node *call, ir_graph *irg); + + /** This hook is called, before tail recursion is applied to a graph. */ void (*_hook_tail_rec)(void *context, ir_graph *irg, int n_calls); - void (*_hook_strength_red)(void *context, ir_graph *irg, ir_node *strong, ir_node *cmp); - void (*_hook_dead_node_elim_start)(void *context, ir_graph *irg); - void (*_hook_dead_node_elim_stop)(void *context, ir_graph *irg); + + /** This hook is called, before a node is replaced due to strength reduction */ + void (*_hook_strength_red)(void *context, ir_graph *irg, ir_node *node); + + /** This hook is called, when dead node elimination is started/stopped. */ + void (*_hook_dead_node_elim)(void *context, ir_graph *irg, int start); + + /** This hook is called, when a node is substituted during dead node elimination. */ + void (*_hook_dead_node_elim_subst)(void *context, ir_graph *irg, ir_node *old, ir_node *nw); + + /** This hook is called after if conversion has run. */ void (*_hook_if_conversion)(void *context, ir_graph *irg, ir_node *phi, int pos, ir_node *mux, if_result_t reason); + + /** This hook is called after a call was detected as const call */ void (*_hook_func_call)(void *context, ir_graph *irg, ir_node *call); + + /** This hook is called after a Mul was replaced by a series of Shift and Add/Sub operations. */ void (*_hook_arch_dep_replace_mul_with_shifts)(void *context, ir_node *irn); - void (*_hook_arch_dep_replace_div_by_const)(void *context, ir_node *irn); - void (*_hook_arch_dep_replace_mod_by_const)(void *context, ir_node *irn); - void (*_hook_arch_dep_replace_DivMod_by_const)(void *context, ir_node *irn); + + /** This hook is called after a Div/Mod/DivMod by a constant value was replaced. */ + void (*_hook_arch_dep_replace_division_by_const)(void *context, ir_node *irn); + + /** This hook is called after a new mode was registered. */ void (*_hook_new_mode)(void *context, const ir_mode *tmpl, ir_mode *mode); + + /** This hook is called after a new entity was created. */ + void (*_hook_new_entity)(void *context, entity *ent); + + /** This hook is called after a new type was created. */ + void (*_hook_new_type)(void *context, ir_type *tp); + + /** This hook is called at the end of the node info dumper to dump additional node info. */ + void (*_hook_node_info)(void *context, FILE *f, const ir_node *n); } hook; /** the context for every hook */ @@ -116,7 +179,7 @@ typedef enum { hook_free_ir_op, hook_new_node, hook_set_irn_n, - hook_replaced, + hook_replace, hook_turn_into_id, hook_new_graph, hook_free_graph, @@ -129,26 +192,35 @@ typedef enum { hook_inline, hook_tail_rec, hook_strength_red, - hook_dead_node_elim_start, - hook_dead_node_elim_stop, + hook_dead_node_elim, + hook_dead_node_elim_subst, hook_if_conversion, hook_func_call, hook_arch_dep_replace_mul_with_shifts, - hook_arch_dep_replace_div_by_const, - hook_arch_dep_replace_mod_by_const, - hook_arch_dep_replace_DivMod_by_const, + hook_arch_dep_replace_division_by_const, hook_new_mode, - hook_last, + hook_new_entity, + hook_new_type, + hook_node_info, + hook_last } hook_type_t; /** - * register the hook entry. + * register a hook entry. * * @param hook the hook type * @param entry the hook entry */ void register_hook(hook_type_t hook, hook_entry_t *entry); +/** + * unregister a hook entry. + * + * @param hook the hook type + * @param entry the hook entry + */ +void unregister_hook(hook_type_t hook, hook_entry_t *entry); + #ifdef FIRM_ENABLE_HOOKS extern hook_entry_t *hooks[hook_last]; @@ -176,7 +248,7 @@ extern hook_entry_t *hooks[hook_last]; #define hook_new_node(graph, node) hook_exec(hook_new_node, (ctx, graph, node)) #define hook_set_irn_n(src, pos, tgt, old_tgt) \ hook_exec(hook_set_irn_n, (ctx, src, pos, tgt, old_tgt)) -#define hook_replaced(old, nw) hook_exec(hook_replaced, (ctx, old, nw)) +#define hook_replace(old, nw) hook_exec(hook_replace, (ctx, old, nw)) #define hook_turn_into_id(node) hook_exec(hook_turn_into_id, (ctx, node)) #define hook_new_graph(irg, ent) hook_exec(hook_new_graph, (ctx, irg, ent)) #define hook_free_graph(irg) hook_exec(hook_free_graph, (ctx, irg)) @@ -191,25 +263,25 @@ extern hook_entry_t *hooks[hook_last]; #define hook_lower(node) hook_exec(hook_lower, (ctx, node)) #define hook_inline(call, irg) hook_exec(hook_inline, (ctx, call, irg)) #define hook_tail_rec(irg, n_calls) hook_exec(hook_tail_rec, (ctx, irg, n_calls)) -#define hook_strength_red(irg, strong, cmp) \ - hook_exec(hook_strength_red, (ctx, irg, strong, cmp)) -#define hook_dead_node_elim_start(irg) hook_exec(hook_dead_node_elim_start, (ctx, irg)) -#define hook_dead_node_elim_stop(irg) hook_exec(hook_dead_node_elim_stop, (ctx, irg)) +#define hook_strength_red(irg, node) \ + hook_exec(hook_strength_red, (ctx, irg, node)) +#define hook_dead_node_elim(irg, start) hook_exec(hook_dead_node_elim, (ctx, irg, start)) +#define hook_dead_node_elim_subst(irg, old, nw) \ + hook_exec(hook_dead_node_elim_subst, (ctx, irg, old, nw)) #define hook_if_conversion(irg, phi, pos, mux, reason) \ hook_exec(hook_if_conversion, (ctx, irg, phi, pos, mux, reason)) #define hook_func_call(irg, call) \ hook_exec(hook_func_call, (ctx, irg, call)) #define hook_arch_dep_replace_mul_with_shifts(irn) \ hook_exec(hook_arch_dep_replace_mul_with_shifts, (ctx, irn)) -#define hook_arch_dep_replace_div_by_const(irn) \ - hook_exec(hook_arch_dep_replace_div_by_const, (ctx, irn)) -#define hook_arch_dep_replace_mod_by_const(irn) \ - hook_exec(hook_arch_dep_replace_mod_by_const, (ctx, irn)) -#define hook_arch_dep_replace_DivMod_by_const(irn) \ - hook_exec(hook_arch_dep_replace_DivMod_by_const, (ctx, irn)) +#define hook_arch_dep_replace_division_by_const(irn) \ + hook_exec(hook_arch_dep_replace_division_by_const, (ctx, irn)) #define hook_new_mode(tmpl, mode) hook_exec(hook_new_mode, (ctx, tmpl, mode)) +#define hook_new_entity(ent) hook_exec(hook_new_entity, (ctx, ent)) +#define hook_new_type(tp) hook_exec(hook_new_type, (ctx, tp)) +#define hook_node_info(F, node) hook_exec(hook_node_info, (ctx, F, node)) /* the initializer, move to hooks_t.h some day */ -int init_hooks(void); +int firm_init_hooks(void); #endif /* __IRHOOKS_H__ */