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_STG,         /**< straightening optimization */
  32   HOOK_OPT_IFSIM,       /**< if simplification */
  33   HOOK_OPT_CONST_EVAL,  /**< constant evaluation */
  34   HOOK_OPT_ALGSIM,      /**< algebraic simplification */
  35   HOOK_OPT_PHI,         /**< Phi optmization */
  36   HOOK_OPT_WAW,         /**< Write-After-Write optimization */
  37   HOOK_OPT_WAR,         /**< Write-After-Read optimization */
  38   HOOK_OPT_RAW,         /**< Read-After-Write optimization */
  39   HOOK_OPT_RAR,         /**< Read-After-Read optimization */
  40   HOOK_OPT_RC,          /**< Read-a-Const optimization */
  41   HOOK_OPT_TUPLE,                               /**< Tuple optimization */
  42   HOOK_OPT_ID,          /**< ID optimization */
  43   HOOK_OPT_CSE,         /**< common subexpression elimination */
  44   HOOK_OPT_STRENGTH_RED,/**< strength reduction */
  45   HOOK_OPT_ARCH_DEP,    /**< architecture dependent optimization */
  46   HOOK_OPT_REASSOC,     /**< reassociation */
  47   HOOK_OPT_POLY_CALL,   /**< polymorphic call optimization */
  48   HOOK_LOWERED,         /**< lowered */
  49   HOOK_OPT_LAST
  50 } hook_opt_kind;
  51
  52 /**
  53  * a hook entry
  54  */
  55 typedef struct hook_entry {
  56   /** a union of all possible hook types */
  57   union {
  58     void (*_hook_new_ir_op)(void *context, ir_op *op);
  59     void (*_hook_free_ir_op)(void *context, ir_op *op);
  60     void (*_hook_new_node)(void *context, ir_graph *graph, ir_node *node);
  61                 void (*_hook_set_irn_n)(void *context, ir_node *src,
  62                                 int pos, ir_node *tgt, ir_node *old_tgt);
  63                 void (*_hook_replaced)(void *context, ir_node *old_node, ir_node *new_node);
  64     void (*_hook_turn_into_id)(void *context, ir_node *node);
  65     void (*_hook_new_graph)(void *context, ir_graph *irg, entity *ent);
  66     void (*_hook_free_graph)(void *context, ir_graph *irg);
  67     void (*_hook_irg_walk)(void *context, ir_graph *irg, void *pre, void *post);
  68     void (*_hook_irg_walk_blkwise)(void *context, ir_graph *irg, void *pre, void *post);
  69     void (*_hook_irg_block_walk)(void *context, ir_graph *irg, ir_node *node, void *pre, void *post);
  70     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);
  71     void (*_hook_reassociate)(void *context, int start);
  72     void (*_hook_lower)(void *context, ir_node *node);
  73     void (*_hook_inline)(void *context, ir_node *call, ir_graph *irg);
  74     void (*_hook_tail_rec)(void *context, ir_graph *irg);
  75     void (*_hook_strength_red)(void *context, ir_graph *irg, ir_node *strong, ir_node *cmp);
  76     void (*_hook_dead_node_elim_start)(void *context, ir_graph *irg);
  77     void (*_hook_dead_node_elim_stop)(void *context, ir_graph *irg);
  78     void (*_hook_arch_dep_replace_mul_with_shifts)(void *context, ir_node *irn);
  79     void (*_hook_arch_dep_replace_div_by_const)(void *context, ir_node *irn);
  80     void (*_hook_arch_dep_replace_mod_by_const)(void *context, ir_node *irn);
  81     void (*_hook_arch_dep_replace_DivMod_by_const)(void *context, ir_node *irn);
  82   } hook;
  83
  84   /** the context for every hook */
  85   void *context;
  86
  87   /** needed for chaining */
  88   struct hook_entry *next;
  89 } hook_entry_t;
  90
  91 /**
  92  * possible hooks
  93  */
  94 typedef enum {
  95   hook_new_ir_op,
  96   hook_free_ir_op,
  97   hook_new_node,
  98         hook_set_irn_n,
  99         hook_replaced,
 100   hook_turn_into_id,
 101   hook_new_graph,
 102   hook_free_graph,
 103   hook_irg_walk,
 104   hook_irg_walk_blkwise,
 105   hook_irg_block_walk,
 106   hook_merge_nodes,
 107   hook_reassociate,
 108   hook_lower,
 109   hook_inline,
 110   hook_tail_rec,
 111   hook_strength_red,
 112   hook_dead_node_elim_start,
 113   hook_dead_node_elim_stop,
 114   hook_arch_dep_replace_mul_with_shifts,
 115   hook_arch_dep_replace_div_by_const,
 116   hook_arch_dep_replace_mod_by_const,
 117   hook_arch_dep_replace_DivMod_by_const,
 118   hook_last,
 119 } hook_type_t;
 120
 121 /**
 122  * register the hook entry.
 123  *
 124  * @param hook   the hook type
 125  * @rapam entry  the hook entry
 126  */
 127 void register_hook(hook_type_t hook, hook_entry_t *entry);
 128
 129 #ifdef FIRM_ENABLE_HOOKS
 130
 131 extern hook_entry_t *hooks[hook_last];
 132
 133 /**
 134  * execute the hook what with the args args
 135  * Do not use this macro directly.
 136  */
 137 #define hook_exec(what, args) do {       \
 138   hook_entry_t *p;                       \
 139   for (p = hooks[what]; p; p = p->next){ \
 140     void *ctx = p->context;              \
 141     p->hook._##what args;                \
 142   }                                      \
 143 } while (0)
 144
 145 #else
 146
 147 #define hook_exec(what, args)
 148
 149 #endif /* FIRM_ENABLE_HOOKS */
 150
 151 #define hook_new_ir_op(op)                hook_exec(hook_new_ir_op, (ctx, op))
 152 #define hook_free_ir_op(op)               hook_exec(hook_free_ir_op, (ctx, op))
 153 #define hook_new_node(graph, node)        hook_exec(hook_new_node, (ctx, graph, node))
 154 #define hook_set_irn_n(src, pos, tgt, old_tgt) \
 155         hook_exec(hook_set_irn_n, (ctx, src, pos, tgt, old_tgt))
 156 #define hook_replaced(old, nw)                                          hook_exec(hook_replaced, (ctx, old, nw))
 157 #define hook_turn_into_id(node)           hook_exec(hook_turn_into_id, (ctx, node))
 158 #define hook_new_graph(irg, ent)          hook_exec(hook_new_graph, (ctx, irg, ent))
 159 #define hook_free_graph(irg)              hook_exec(hook_free_graph, (ctx, irg))
 160 #define hook_irg_walk(irg, pre, post)     hook_exec(hook_irg_walk, (ctx, irg, pre, post))
 161 #define hook_irg_walk_blkwise(irg, pre, post) \
 162   hook_exec(hook_irg_walk_blkwise, (ctx, irg, pre, post))
 163 #define hook_irg_block_walk(irg, node, pre, post) \
 164   hook_exec(hook_irg_block_walk, (ctx, irg, node, pre, post))
 165 #define hook_merge_nodes(new_node_array, new_num_entries, old_node_array, old_num_entries, opt) \
 166   hook_exec(hook_merge_nodes, (ctx, new_node_array, new_num_entries, old_node_array, old_num_entries, opt))
 167 #define hook_reassociate(start)           hook_exec(hook_reassociate, (ctx, start))
 168 #define hook_lower(node)                  hook_exec(hook_lower, (ctx, node))
 169 #define hook_inline(call, irg)            hook_exec(hook_inline, (ctx, call, irg))
 170 #define hook_tail_rec(irg)                hook_exec(hook_tail_rec, (ctx, irg))
 171 #define hook_strength_red(irg, strong, cmp) \
 172   hook_exec(hook_strength_red, (ctx, irg, strong, cmp))
 173 #define hook_dead_node_elim_start(irg)    hook_exec(hook_dead_node_elim_start, (ctx, irg))
 174 #define hook_dead_node_elim_stop(irg)     hook_exec(hook_dead_node_elim_stop, (ctx, irg))
 175 #define hook_arch_dep_replace_mul_with_shifts(irn) \
 176   hook_exec(hook_arch_dep_replace_mul_with_shifts, (ctx, irn))
 177 #define hook_arch_dep_replace_div_by_const(irn) \
 178   hook_exec(hook_arch_dep_replace_div_by_const, (ctx, irn))
 179 #define hook_arch_dep_replace_mod_by_const(irn) \
 180   hook_exec(hook_arch_dep_replace_mod_by_const, (ctx, irn))
 181 #define hook_arch_dep_replace_DivMod_by_const(irn) \
 182   hook_exec(hook_arch_dep_replace_DivMod_by_const, (ctx, irn))
 183
 184 /* the initializer, move to hooks_t.h some day */
 185 int init_hooks(void);
 186
 187 #endif /* __IRHOOKS_H__ */