X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firhooks.h;h=445be35bc9cc0dafa9bd7691e896b3ef2a8fc70a;hb=f9d25133f86594ca2b1f33fb0b41a591ecc9b914;hp=82ef400c912d79c806e9e432de3d881c919dc7b9;hpb=e72f41a151d4c6711777b588927f77f03daf340f;p=libfirm diff --git a/ir/ir/irhooks.h b/ir/ir/irhooks.h index 82ef400c9..445be35bc 100644 --- a/ir/ir/irhooks.h +++ b/ir/ir/irhooks.h @@ -28,6 +28,7 @@ * options for the hook_merge_nodes hook */ typedef enum { + HOOK_OPT_DEAD_BLOCK, /**< a block was removed because it's dead */ HOOK_OPT_STG, /**< straightening optimization */ HOOK_OPT_IFSIM, /**< if simplification */ HOOK_OPT_CONST_EVAL, /**< constant evaluation */ @@ -45,10 +46,30 @@ typedef enum { HOOK_OPT_ARCH_DEP, /**< architecture dependent optimization */ HOOK_OPT_REASSOC, /**< reassociation */ HOOK_OPT_POLY_CALL, /**< polymorphic call optimization */ + HOOK_OPT_IF_CONV, /**< an if conversion was tried */ + HOOK_OPT_FUNC_CALL, /**< a real function call was removed */ + 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_LOWERED, /**< lowered */ HOOK_OPT_LAST } hook_opt_kind; +typedef enum _if_result_t { + IF_RESULT_SUCCESS = 0, /**< if conversion could be done */ + IF_RESULT_SIDE_EFFECT = 1, /**< if conversion failed because of side effect */ + IF_RESULT_SIDE_EFFECT_PHI = 2, /**< if conversion failed because of Phi node found */ + IF_RESULT_TOO_DEEP = 3, /**< if conversion failed because of to deep DAG's */ + IF_RESULT_BAD_CF = 4, /**< if conversion failed because of bad control flow */ + IF_RESULT_DENIED = 5, /**< if conversion failed because of architecture deny */ + IF_RESULT_LAST +} if_result_t; + +/** + * A generic function type. + */ +typedef void (generic_func)(void); + /** * a hook entry */ @@ -64,22 +85,25 @@ typedef struct hook_entry { void (*_hook_turn_into_id)(void *context, ir_node *node); void (*_hook_new_graph)(void *context, ir_graph *irg, entity *ent); 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); + void (*_hook_irg_walk)(void *context, ir_graph *irg, generic_func *pre, generic_func *post); + void (*_hook_irg_walk_blkwise)(void *context, ir_graph *irg, generic_func *pre, generic_func *post); + void (*_hook_irg_block_walk)(void *context, ir_graph *irg, ir_node *node, generic_func *pre, generic_func *post); 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); void (*_hook_reassociate)(void *context, int start); void (*_hook_lower)(void *context, ir_node *node); void (*_hook_inline)(void *context, ir_node *call, ir_graph *irg); - void (*_hook_tail_rec)(void *context, ir_graph *irg); + 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); + void (*_hook_if_conversion)(void *context, ir_graph *irg, ir_node *phi, int pos, ir_node *mux, if_result_t reason); + void (*_hook_func_call)(void *context, ir_graph *irg, ir_node *call); 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); + void (*_hook_new_mode)(void *context, const ir_mode *tmpl, ir_mode *mode); } hook; /** the context for every hook */ @@ -112,10 +136,13 @@ typedef enum { hook_strength_red, hook_dead_node_elim_start, hook_dead_node_elim_stop, + 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_new_mode, hook_last, } hook_type_t; @@ -123,7 +150,7 @@ typedef enum { * register the hook entry. * * @param hook the hook type - * @rapam entry the hook entry + * @param entry the hook entry */ void register_hook(hook_type_t hook, hook_entry_t *entry); @@ -168,11 +195,15 @@ extern hook_entry_t *hooks[hook_last]; #define hook_reassociate(start) hook_exec(hook_reassociate, (ctx, start)) #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) hook_exec(hook_tail_rec, (ctx, 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_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) \ @@ -181,6 +212,7 @@ extern hook_entry_t *hooks[hook_last]; 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_new_mode(tmpl, mode) hook_exec(hook_new_mode, (ctx, tmpl, mode)) /* the initializer, move to hooks_t.h some day */ int init_hooks(void);