* 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 */
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
*/
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 */
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;
* 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);
#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) \
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);
projects / libfirm / blobdiff