nsz Git - libfirm/blob - ir/be/beirg.c

   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       Backend irg - a ir_graph with additional analysis information.
  23  * @author      Matthias Braun
  24  * @date        13.12.2006
  25  * @version     $Id$
  26  */
  27 #ifdef HAVE_CONFIG_H
  28 #include "config.h"
  29 #endif
  30
  31 #include "execfreq.h"
  32 #include "beirg_t.h"
  33
  34 void be_assure_liveness_chk(be_irg_t *birg)
  35 {
  36         if (birg->lv_chk != NULL)
  37                 return;
  38
  39         birg->lv_chk = lv_chk_new(birg->irg);
  40 }
  41
  42 void be_assure_liveness(be_irg_t *birg)
  43 {
  44         if (birg->lv != NULL)
  45                 return;
  46
  47         birg->lv = be_liveness(birg->irg);
  48 }
  49
  50 void be_invalidate_liveness(be_irg_t *birg)
  51 {
  52         if (birg->lv == NULL)
  53                 return;
  54
  55         be_liveness_free(birg->lv);
  56         birg->lv = NULL;
  57 }
  58
  59 void be_assure_dom_front(be_irg_t *birg)
  60 {
  61         if (birg->dom_front != NULL)
  62                 return;
  63
  64         birg->dom_front = be_compute_dominance_frontiers(birg->irg);
  65 }
  66
  67 void be_invalidate_dom_front(be_irg_t *birg)
  68 {
  69         if (birg->dom_front == NULL)
  70                 return;
  71
  72         be_free_dominance_frontiers(birg->dom_front);
  73         birg->dom_front = NULL;
  74 }
  75
  76 void be_free_birg(be_irg_t *birg)
  77 {
  78         free_execfreq(birg->exec_freq);
  79         birg->exec_freq = NULL;
  80
  81         if (birg->dom_front != NULL) {
  82                 be_free_dominance_frontiers(birg->dom_front);
  83                 birg->dom_front = NULL;
  84         }
  85         if (birg->lv != NULL) {
  86                 be_liveness_free(birg->lv);
  87                 birg->lv = NULL;
  88         }
  89 }
  90
  91 ir_graph *(be_get_birg_irg)(const be_irg_t *birg)
  92 {
  93         return _be_get_birg_irg(birg);
  94 }
  95
  96 ir_exec_freq *(be_get_birg_exec_freq)(const be_irg_t *birg)
  97 {
  98         return _be_get_birg_exec_freq(birg);
  99 }
 100
 101 be_lv_t *(be_get_birg_liveness)(const be_irg_t *birg)
 102 {
 103         return _be_get_birg_liveness(birg);
 104 }
 105
 106 lv_chk_t *(be_get_birg_liveness_chk)(const be_irg_t *birg)
 107 {
 108         return _be_get_birg_liveness_chk(birg);
 109 }
 110
 111 be_dom_front_info_t *(be_get_birg_dom_front)(const be_irg_t *birg)
 112 {
 113         return _be_get_birg_dom_front(birg);
 114 }
 115
 116 const arch_env_t *(be_get_birg_arch_env)(const be_irg_t *birg)
 117 {
 118         return _be_get_birg_arch_env(birg);
 119 }