nsz Git - libfirm/blob - ir/be/bera.h

   1 /**
   2  * Register allocation functions.
   3  * @author Sebastian Hack
   4  * @date 13.1.2005
   5  */
   6
   7 #ifndef _BERA_H
   8 #define _BERA_H
   9
  10 #include "firm_config.h"
  11
  12 #ifdef WITH_LIBCORE
  13 #include <libcore/lc_opts.h>
  14 #include <libcore/lc_timing.h>
  15 #endif
  16
  17 #include "firm_types.h"
  18
  19 #include "be.h"
  20 #include "belive.h"
  21
  22 #ifdef WITH_LIBCORE
  23
  24 typedef struct {
  25         lc_timer_t *t_prolog;      /**< timer for prolog */
  26         lc_timer_t *t_epilog;      /**< timer for epilog */
  27         lc_timer_t *t_live;        /**< timer for liveness calculation */
  28         lc_timer_t *t_spill;       /**< timer for spilling */
  29         lc_timer_t *t_spillslots;  /**< spillslot coalescing */
  30         lc_timer_t *t_color;       /**< timer for graph coloring */
  31         lc_timer_t *t_ifg;         /**< timer for building interference graph */
  32         lc_timer_t *t_copymin;     /**< timer for copy minimization */
  33         lc_timer_t *t_ssa;         /**< timer for ssa destruction */
  34         lc_timer_t *t_verify;      /**< timer for verification runs */
  35         lc_timer_t *t_other;       /**< timer for remaining stuff */
  36 } be_ra_timer_t;
  37 #else
  38 typedef void be_ra_timer_t;
  39 #endif  /* WITH_LIBCORE */
  40
  41 typedef struct {
  42 #ifdef WITH_LIBCORE
  43         void (*register_options)(lc_opt_entry_t *grp);
  44         be_ra_timer_t *(*allocate)(const be_irg_t *bi);
  45 #else
  46         int dummy;
  47 #endif  /* WITH_LIBCORE */
  48 } be_ra_t;
  49
  50
  51 /**
  52  * Check, if two values interfere.
  53  * @param lv Liveness information.
  54  * @param a The first value.
  55  * @param b The second value.
  56  * @return 1, if @p a and @p b interfere, 0 if not.
  57  */
  58 int values_interfere(const be_lv_t *lv, const ir_node *a, const ir_node *b);
  59
  60 /**
  61  * Check, if a value dominates the other one.
  62  * Note, that this function also considers the schedule and does thus
  63  * more than block_dominates().
  64  *
  65  * @param a The first.
  66  * @param b The second value.
  67  * @return 1 if a dominates b, 0 else.
  68  */
  69 int value_dominates(const ir_node *a, const ir_node *b);
  70
  71 #endif /* _BERA_H */