nsz Git - libfirm/blob - ir/ir/irhooks.h

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/ir/irhooks.h
   4  * Purpose:     Generic hooks for various libFirm functions.
   5  * Author:      Michael Beck
   6  * Created:
   7  * CVS-ID:      $Id$
   8  * Copyright:   (C) 1998-2005 Universität Karlsruhe
   9  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  10  */
  11
  12 /**
  13  * @file irhooks.h
  14  *
  15  * Generic hooks for various libFirm functions.
  16  *
  17  * @author Michael Beck
  18  */
  19 #ifndef __IRHOOKS_H__
  20 #define __IRHOOKS_H__
  21
  22 #include "firm_config.h"
  23 #include "irop.h"
  24 #include "irnode.h"
  25 #include "irgraph.h"
  26
  27 /**
  28  * options for the hook_merge_nodes hook
  29  */
  30 typedef enum {
  31   HOOK_OPT_DEAD_BLOCK,  /**< a block was removed because it's dead */
  32   HOOK_OPT_STG,         /**< straightening optimization */
  33   HOOK_OPT_IFSIM,       /**< if simplification */
  34   HOOK_OPT_CONST_EVAL,  /**< constant evaluation */
  35   HOOK_OPT_ALGSIM,      /**< algebraic simplification */
  36   HOOK_OPT_PHI,         /**< Phi optmization */
  37   HOOK_OPT_WAW,         /**< Write-After-Write optimization */
  38   HOOK_OPT_WAR,         /**< Write-After-Read optimization */
  39   HOOK_OPT_RAW,         /**< Read-After-Write optimization */
  40   HOOK_OPT_RAR,         /**< Read-After-Read optimization */
  41   HOOK_OPT_RC,          /**< Read-a-Const optimization */
  42   HOOK_OPT_TUPLE,       /**< Tuple optimization */
  43   HOOK_OPT_ID,          /**< ID optimization */
  44   HOOK_OPT_CSE,         /**< common subexpression elimination */
  45   HOOK_OPT_STRENGTH_RED,/**< strength reduction */
  46   HOOK_OPT_ARCH_DEP,    /**< architecture dependent optimization */
  47   HOOK_OPT_REASSOC,     /**< reassociation */
  48   HOOK_OPT_POLY_CALL,   /**< polymorphic call optimization */
  49   HOOK_OPT_IF_CONV,     /**< an if conversion was tried */
  50   HOOK_OPT_FUNC_CALL,   /**< a real function call was removed */
  51   HOOK_OPT_CONFIRM,     /**< a value was substituted by another due to a Confirm */
  52   HOOK_OPT_CONFIRM_C,   /**< a value was substituted by a const due to a Confirm */
  53   HOOK_OPT_CONFIRM_E,   /**< a value was evaluated due to a Confirm */
  54   HOOK_LOWERED,         /**< lowered */
  55   HOOK_OPT_LAST
  56 } hook_opt_kind;
  57
  58 typedef enum _if_result_t {
  59   IF_RESULT_SUCCESS         = 0,  /**< if conversion could be done */
  60   IF_RESULT_SIDE_EFFECT     = 1,  /**< if conversion failed because of side effect */
  61   IF_RESULT_SIDE_EFFECT_PHI = 2,  /**< if conversion failed because of Phi node found */
  62   IF_RESULT_TOO_DEEP        = 3,  /**< if conversion failed because of to deep DAG's */
  63   IF_RESULT_BAD_CF          = 4,  /**< if conversion failed because of bad control flow */
  64   IF_RESULT_DENIED          = 5,  /**< if conversion failed because of architecture deny */
  65   IF_RESULT_LAST
  66 } if_result_t;
  67
  68 /**
  69  * A generic function type.
  70  */
  71 typedef void (generic_func)(void);
  72
  73 /**
  74  * a hook entry
  75  */
  76 typedef struct hook_entry {
  77   /** A union of all possible hook types. */
  78   union {
  79     /** This hook is called, after a new ir_op was created. */
  80     void (*_hook_new_ir_op)(void *context, ir_op *op);
  81
  82     /** This hook is called, before am ir_op is destroyed. */
  83     void (*_hook_free_ir_op)(void *context, ir_op *op);
  84
  85     /** This hook is called, after a new IR-node was created and before it is optimized. */
  86     void (*_hook_new_node)(void *context, ir_graph *graph, ir_node *node);
  87
  88     /** This hook is called, after a node input was changed. */
  89     void (*_hook_set_irn_n)(void *context, ir_node *src,
  90                             int pos, ir_node *tgt, ir_node *old_tgt);
  91
  92     /** This hook is called, before a node is replaced (exchange()) by another. */
  93     void (*_hook_replace)(void *context, ir_node *old_node, ir_node *new_node);
  94
  95     /** This hook is called, before a node is changed into an Id node. */
  96     void (*_hook_turn_into_id)(void *context, ir_node *node);
  97
  98     /** This hook is called, after a new graph was created and before the first block
  99      *  on this graph is build. */
 100     void (*_hook_new_graph)(void *context, ir_graph *irg, entity *ent);
 101
 102     /** This hook is called before a graph is freed. */
 103     void (*_hook_free_graph)(void *context, ir_graph *irg);
 104
 105     /** This hook is called before an irg walk is started. */
 106     void (*_hook_irg_walk)(void *context, ir_graph *irg, generic_func *pre, generic_func *post);
 107
 108     /** This hook is called before an block wise irg walk is started. */
 109     void (*_hook_irg_walk_blkwise)(void *context, ir_graph *irg, generic_func *pre, generic_func *post);
 110
 111     /** This hook is called before an block walk is started. */
 112     void (*_hook_irg_block_walk)(void *context, ir_graph *irg, ir_node *node, generic_func *pre, generic_func *post);
 113
 114     /** This hook is called, when debug info must be merged. */
 115     void (*_hook_merge_nodes)(void *context, ir_node **new_node_array, int new_num_entries,
 116                               ir_node **old_node_array, int old_num_entries, hook_opt_kind opt);
 117
 118     /** This hook is called, when reassociation is started/stopped. */
 119     void (*_hook_reassociate)(void *context, int start);
 120
 121     /** This hook is called, before a node is lowered. */
 122     void (*_hook_lower)(void *context, ir_node *node);
 123
 124     /** This hook is called, before a graph is inlined. */
 125     void (*_hook_inline)(void *context, ir_node *call, ir_graph *irg);
 126
 127     /** This hook is called, before tail recursion is applied to a graph. */
 128     void (*_hook_tail_rec)(void *context, ir_graph *irg, int n_calls);
 129
 130     /** UNUSED YET */
 131     void (*_hook_strength_red)(void *context, ir_graph *irg, ir_node *strong, ir_node *cmp);
 132
 133     /** This hook is called, when dead node elimination is started/stopped. */
 134     void (*_hook_dead_node_elim)(void *context, ir_graph *irg, int start);
 135
 136     /** This hook is called after if conversion has run. */
 137     void (*_hook_if_conversion)(void *context, ir_graph *irg, ir_node *phi, int pos, ir_node *mux, if_result_t reason);
 138
 139     /** This hook is called after a call was detected as const call */
 140     void (*_hook_func_call)(void *context, ir_graph *irg, ir_node *call);
 141
 142     /** This hook is called after a Mul was replaced by a series of Shift and Add/Sub operations. */
 143     void (*_hook_arch_dep_replace_mul_with_shifts)(void *context, ir_node *irn);
 144
 145     /** This hook is called after a Div/Mod/DivMod by a constant value was replaced. */
 146     void (*_hook_arch_dep_replace_division_by_const)(void *context, ir_node *irn);
 147
 148     /** This hook is called after a new mode was registered. */
 149     void (*_hook_new_mode)(void *context, const ir_mode *tmpl, ir_mode *mode);
 150   } hook;
 151
 152   /** the context for every hook */
 153   void *context;
 154
 155   /** needed for chaining */
 156   struct hook_entry *next;
 157 } hook_entry_t;
 158
 159 /**
 160  * possible hooks
 161  */
 162 typedef enum {
 163   hook_new_ir_op,
 164   hook_free_ir_op,
 165   hook_new_node,
 166   hook_set_irn_n,
 167   hook_replace,
 168   hook_turn_into_id,
 169   hook_new_graph,
 170   hook_free_graph,
 171   hook_irg_walk,
 172   hook_irg_walk_blkwise,
 173   hook_irg_block_walk,
 174   hook_merge_nodes,
 175   hook_reassociate,
 176   hook_lower,
 177   hook_inline,
 178   hook_tail_rec,
 179   hook_strength_red,
 180   hook_dead_node_elim,
 181   hook_if_conversion,
 182   hook_func_call,
 183   hook_arch_dep_replace_mul_with_shifts,
 184   hook_arch_dep_replace_division_by_const,
 185   hook_new_mode,
 186   hook_last,
 187 } hook_type_t;
 188
 189 /**
 190  * register the hook entry.
 191  *
 192  * @param hook   the hook type
 193  * @param entry  the hook entry
 194  */
 195 void register_hook(hook_type_t hook, hook_entry_t *entry);
 196
 197 #ifdef FIRM_ENABLE_HOOKS
 198
 199 extern hook_entry_t *hooks[hook_last];
 200
 201 /**
 202  * execute the hook what with the args args
 203  * Do not use this macro directly.
 204  */
 205 #define hook_exec(what, args) do {       \
 206   hook_entry_t *p;                       \
 207   for (p = hooks[what]; p; p = p->next){ \
 208     void *ctx = p->context;              \
 209     p->hook._##what args;                \
 210   }                                      \
 211 } while (0)
 212
 213 #else
 214
 215 #define hook_exec(what, args)
 216
 217 #endif /* FIRM_ENABLE_HOOKS */
 218
 219 #define hook_new_ir_op(op)                hook_exec(hook_new_ir_op, (ctx, op))
 220 #define hook_free_ir_op(op)               hook_exec(hook_free_ir_op, (ctx, op))
 221 #define hook_new_node(graph, node)        hook_exec(hook_new_node, (ctx, graph, node))
 222 #define hook_set_irn_n(src, pos, tgt, old_tgt) \
 223   hook_exec(hook_set_irn_n, (ctx, src, pos, tgt, old_tgt))
 224 #define hook_replace(old, nw)             hook_exec(hook_replace, (ctx, old, nw))
 225 #define hook_turn_into_id(node)           hook_exec(hook_turn_into_id, (ctx, node))
 226 #define hook_new_graph(irg, ent)          hook_exec(hook_new_graph, (ctx, irg, ent))
 227 #define hook_free_graph(irg)              hook_exec(hook_free_graph, (ctx, irg))
 228 #define hook_irg_walk(irg, pre, post)     hook_exec(hook_irg_walk, (ctx, irg, pre, post))
 229 #define hook_irg_walk_blkwise(irg, pre, post) \
 230   hook_exec(hook_irg_walk_blkwise, (ctx, irg, pre, post))
 231 #define hook_irg_block_walk(irg, node, pre, post) \
 232   hook_exec(hook_irg_block_walk, (ctx, irg, node, pre, post))
 233 #define hook_merge_nodes(new_node_array, new_num_entries, old_node_array, old_num_entries, opt) \
 234   hook_exec(hook_merge_nodes, (ctx, new_node_array, new_num_entries, old_node_array, old_num_entries, opt))
 235 #define hook_reassociate(start)           hook_exec(hook_reassociate, (ctx, start))
 236 #define hook_lower(node)                  hook_exec(hook_lower, (ctx, node))
 237 #define hook_inline(call, irg)            hook_exec(hook_inline, (ctx, call, irg))
 238 #define hook_tail_rec(irg, n_calls)       hook_exec(hook_tail_rec, (ctx, irg, n_calls))
 239 #define hook_strength_red(irg, strong, cmp) \
 240   hook_exec(hook_strength_red, (ctx, irg, strong, cmp))
 241 #define hook_dead_node_elim(irg, start)   hook_exec(hook_dead_node_elim, (ctx, irg, start))
 242 #define hook_if_conversion(irg, phi, pos, mux, reason) \
 243   hook_exec(hook_if_conversion, (ctx, irg, phi, pos, mux, reason))
 244 #define hook_func_call(irg, call) \
 245   hook_exec(hook_func_call, (ctx, irg, call))
 246 #define hook_arch_dep_replace_mul_with_shifts(irn) \
 247   hook_exec(hook_arch_dep_replace_mul_with_shifts, (ctx, irn))
 248 #define hook_arch_dep_replace_division_by_const(irn) \
 249   hook_exec(hook_arch_dep_replace_division_by_const, (ctx, irn))
 250 #define hook_new_mode(tmpl, mode)         hook_exec(hook_new_mode, (ctx, tmpl, mode))
 251
 252 /* the initializer, move to hooks_t.h some day */
 253 int init_hooks(void);
 254
 255 #endif /* __IRHOOKS_H__ */