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

   1 /*
   2  * Copyright (C) 1995-2008 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       Contains some useful function for the backend.
  23  * @author      Sebastian Hack
  24  * @version     $Id$
  25  */
  26 #include "config.h"
  27
  28 #include <stdio.h>
  29
  30 #include "pset.h"
  31
  32 #include "irgraph.h"
  33 #include "irgwalk.h"
  34 #include "irdump_t.h"
  35 #include "irdom_t.h"
  36 #include "ircons.h"
  37 #include "iropt.h"
  38 #include "irgopt.h"
  39 #include "irtools.h"
  40 #include "irprintf.h"
  41 #include "iredges.h"
  42
  43 #include "beutil.h"
  44 #include "besched.h"
  45 #include "bearch.h"
  46
  47 /* Get an always empty set. */
  48 pset *be_empty_set(void)
  49 {
  50         static pset *empty_set = NULL;
  51
  52         if (!empty_set)
  53                 empty_set = pset_new_ptr(1);
  54
  55         assert(pset_count(empty_set) == 0);
  56         return empty_set;
  57 }
  58
  59 /**
  60  * Edge hook to dump the schedule edges.
  61  */
  62 static int sched_edge_hook(FILE *F, ir_node *irn)
  63 {
  64         if (is_Proj(irn))
  65                 return 1;
  66         if (sched_is_scheduled(irn) && sched_has_prev(irn)) {
  67                 ir_node *prev = sched_prev(irn);
  68                 fprintf(F, "edge:{sourcename:\"");
  69                 PRINT_NODEID(irn);
  70                 fprintf(F, "\" targetname:\"");
  71                 PRINT_NODEID(prev);
  72                 fprintf(F, "\" color:magenta}\n");
  73         }
  74         return 1;
  75 }
  76
  77 void dump_ir_block_graph_sched(ir_graph *irg, const char *suffix)
  78 {
  79         DUMP_NODE_EDGE_FUNC old = get_dump_node_edge_hook();
  80
  81         dump_consts_local(0);
  82         if (have_sched_info(irg))
  83                 set_dump_node_edge_hook(sched_edge_hook);
  84         dump_ir_block_graph(irg, suffix);
  85         set_dump_node_edge_hook(old);
  86 }
  87
  88 void dump_ir_extblock_graph_sched(ir_graph *irg, const char *suffix)
  89 {
  90         DUMP_NODE_EDGE_FUNC old = get_dump_node_edge_hook();
  91
  92         dump_consts_local(0);
  93         if (have_sched_info(irg))
  94                 set_dump_node_edge_hook(sched_edge_hook);
  95         dump_ir_extblock_graph(irg, suffix);
  96         set_dump_node_edge_hook(old);
  97 }
  98
  99 /**
 100  * Dumps a graph and numbers all dumps.
 101  * @param irg    The graph
 102  * @param suffix A suffix to its file name.
 103  * @param dumper The dump function
 104  */
 105 void be_dump(ir_graph *irg, const char *suffix, void (*dumper)(ir_graph *, const char *))
 106 {
 107         static ir_graph *last_irg = NULL;
 108         static int       nr       = 0;
 109         char             buf[128];
 110
 111         if (irg != last_irg) {
 112                 last_irg = irg;
 113                 nr       = strcmp(suffix, "-abi") ? 0 : 1;
 114         }
 115
 116         snprintf(buf, sizeof(buf), "-%02d%s", nr++, suffix);
 117         buf[sizeof(buf) - 1] = '\0';
 118         dumper(irg, buf);
 119 }
 120
 121 void be_clear_links(ir_graph *irg)
 122 {
 123         irg_walk_graph(irg, firm_clear_link, NULL, NULL);
 124 }
 125
 126 static void count_num_reachable_nodes(ir_node *irn, void *env)
 127 {
 128         int *num = env;
 129         (*num)++;
 130         (void) irn;
 131 }
 132
 133 unsigned get_num_reachable_nodes(ir_graph *irg)
 134 {
 135         int num = 0;
 136         irg_walk_graph(irg, count_num_reachable_nodes, NULL, &num);
 137         return num;
 138 }
 139
 140 /**
 141  * Gets the Proj with number pn from irn.
 142  */
 143 ir_node *be_get_Proj_for_pn(const ir_node *irn, long pn)
 144 {
 145         const ir_edge_t *edge;
 146         ir_node         *proj;
 147         assert(get_irn_mode(irn) == mode_T && "need mode_T");
 148
 149         foreach_out_edge(irn, edge) {
 150                 proj = get_edge_src_irn(edge);
 151
 152                 if (is_Proj(proj) && get_Proj_proj(proj) == pn)
 153                         return proj;
 154         }
 155
 156         return NULL;
 157 }
 158
 159 FILE *be_ffopen(const char *base, const char *ext, const char *mode)
 160 {
 161         FILE *out;
 162         char buf[1024];
 163
 164         snprintf(buf, sizeof(buf), "%s.%s", base, ext);
 165         buf[sizeof(buf) - 1] = '\0';
 166         if (! (out = fopen(buf, mode))) {
 167                 fprintf(stderr, "Cannot open file %s in mode %s\n", buf, mode);
 168                 return NULL;
 169         }
 170         return out;
 171 }
 172
 173 static void add_to_postorder(ir_node *block, void *data)
 174 {
 175         ir_node ***list = (ir_node***) data;
 176         ARR_APP1(ir_node*, *list, block);
 177 }
 178
 179 ir_node **be_get_cfgpostorder(ir_graph *irg)
 180 {
 181         ir_node **list      = NEW_ARR_F(ir_node*, 0);
 182         ir_node  *end_block = get_irg_end_block(irg);
 183
 184         /* end block may be unreachable in case of endless loops */
 185         if (get_Block_n_cfgpreds(end_block) == 0)
 186                 ARR_APP1(ir_node*, list, end_block);
 187
 188         /* walk blocks */
 189         irg_block_edges_walk(get_irg_start_block(irg), NULL, add_to_postorder,
 190                              &list);
 191
 192         return list;
 193 }