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

   1 /*
   2  * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
   3  *
   4  * This file is part of libFirm.
   5  *
   6  * This file may be distributed and/or modified under the terms of the
   7  * GNU General Public License version 2 as published by the Free Software
   8  * Foundation and appearing in the file LICENSE.GPL included in the
   9  * packaging of this file.
  10  *
  11  * Licensees holding valid libFirm Professional Edition licenses may use
  12  * this file in accordance with the libFirm Commercial License.
  13  * Agreement provided with the Software.
  14  *
  15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
  16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  17  * PURPOSE.
  18  */
  19
  20 /**
  21  * @file
  22  * @brief       Base routines for register allocation.
  23  * @author      Sebastian Hack
  24  * @date        13.01.2005
  25  * @version     $Id$
  26  */
  27 #ifndef FIRM_BE_BERA_H
  28 #define FIRM_BE_BERA_H
  29
  30 #include <libcore/lc_timing.h>
  31
  32 #include "irnode.h"
  33
  34 #include "belive.h"
  35 #include "beirg.h"
  36
  37 typedef struct {
  38         lc_timer_t *t_prolog;      /**< timer for prolog */
  39         lc_timer_t *t_epilog;      /**< timer for epilog */
  40         lc_timer_t *t_live;        /**< timer for liveness calculation */
  41         lc_timer_t *t_spill;       /**< timer for spilling */
  42         lc_timer_t *t_spillslots;  /**< spillslot coalescing */
  43         lc_timer_t *t_color;       /**< timer for graph coloring */
  44         lc_timer_t *t_ifg;         /**< timer for building interference graph */
  45         lc_timer_t *t_copymin;     /**< timer for copy minimization */
  46         lc_timer_t *t_ssa;         /**< timer for ssa destruction */
  47         lc_timer_t *t_verify;      /**< timer for verification runs */
  48         lc_timer_t *t_other;       /**< timer for remaining stuff */
  49 } be_ra_timer_t;
  50
  51 extern be_ra_timer_t *global_ra_timer;
  52
  53 typedef struct be_ra_t {
  54         void (*allocate)(be_irg_t *bi);   /**< allocate registers on a graph */
  55 } be_ra_t;
  56
  57 void be_register_allocator(const char *name, be_ra_t *allocator);
  58
  59 /**
  60  * Do register allocation with currently selected register allocator
  61  */
  62 void be_allocate_registers(be_irg_t *birg);
  63
  64 /**
  65  * Check, if two values interfere.
  66  * @param lv Liveness information.
  67  * @param a The first value.
  68  * @param b The second value.
  69  * @return 1, if @p a and @p b interfere, 0 if not.
  70  */
  71 int values_interfere(const be_lv_t *lv, const ir_node *a, const ir_node *b);
  72
  73 /**
  74  * Check, if a value dominates the other one.
  75  * Note, that this function also considers the schedule and does thus
  76  * more than block_dominates().
  77  *
  78  * @param a The first.
  79  * @param b The second value.
  80  * @return 1 if a dominates b, 0 else.
  81  */
  82 int value_dominates(const ir_node *a, const ir_node *b);
  83
  84 /**
  85  * Like value_dominates(), but the nodes have to be in the same block
  86  */
  87 int value_dominates_intrablock(const ir_node *a, const ir_node *b);
  88
  89 #endif /* FIRM_BE_BERA_H */