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 typedef void *lc_opt_entry_t;
  40 #endif  /* WITH_LIBCORE */
  41
  42 typedef struct {
  43         void (*register_options)(lc_opt_entry_t *grp);
  44         be_ra_timer_t *(*allocate)(const be_irg_t *bi);
  45 } be_ra_t;
  46
  47
  48 /**
  49  * Check, if two values interfere.
  50  * @param lv Liveness information.
  51  * @param a The first value.
  52  * @param b The second value.
  53  * @return 1, if @p a and @p b interfere, 0 if not.
  54  */
  55 int values_interfere(const be_lv_t *lv, const ir_node *a, const ir_node *b);
  56
  57 /**
  58  * Check, if a value dominates the other one.
  59  * Note, that this function also considers the schedule and does thus
  60  * more than block_dominates().
  61  *
  62  * @param a The first.
  63  * @param b The second value.
  64  * @return 1 if a dominates b, 0 else.
  65  */
  66 int value_dominates(const ir_node *a, const ir_node *b);
  67
  68 #endif /* _BERA_H */