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         DUMP_NODE_EDGE_FUNC old = get_dump_node_edge_hook();
  79
  80         dump_consts_local(0);
  81         if (have_sched_info(irg))
  82                 set_dump_node_edge_hook(sched_edge_hook);
  83         dump_ir_block_graph(irg, suffix);
  84         set_dump_node_edge_hook(old);
  85 }
  86
  87 void dump_ir_extblock_graph_sched(ir_graph *irg, const char *suffix) {
  88         DUMP_NODE_EDGE_FUNC old = get_dump_node_edge_hook();
  89
  90         dump_consts_local(0);
  91         if (have_sched_info(irg))
  92                 set_dump_node_edge_hook(sched_edge_hook);
  93         dump_ir_extblock_graph(irg, suffix);
  94         set_dump_node_edge_hook(old);
  95 }
  96
  97 /**
  98  * Dumps a graph and numbers all dumps.
  99  * @param irg    The graph
 100  * @param suffix A suffix to its file name.
 101  * @param dumper The dump function
 102  */
 103 void be_dump(ir_graph *irg, const char *suffix, void (*dumper)(ir_graph *, const char *)) {
 104         static ir_graph *last_irg = NULL;
 105         static int       nr       = 0;
 106         char             buf[128];
 107
 108         if (irg != last_irg) {
 109                 last_irg = irg;
 110                 nr       = strcmp(suffix, "-abi") ? 0 : 1;
 111         }
 112
 113         snprintf(buf, sizeof(buf), "-%02d%s", nr++, suffix);
 114         buf[sizeof(buf) - 1] = '\0';
 115         dumper(irg, buf);
 116 }
 117
 118 void be_clear_links(ir_graph *irg)
 119 {
 120         irg_walk_graph(irg, firm_clear_link, NULL, NULL);
 121 }
 122
 123 static void count_num_reachable_nodes(ir_node *irn, void *env)
 124 {
 125         int *num = env;
 126         (*num)++;
 127         (void) irn;
 128 }
 129
 130 unsigned get_num_reachable_nodes(ir_graph *irg) {
 131         int num = 0;
 132         irg_walk_graph(irg, count_num_reachable_nodes, NULL, &num);
 133         return num;
 134 }
 135
 136 /**
 137  * Gets the Proj with number pn from irn.
 138  */
 139 ir_node *be_get_Proj_for_pn(const ir_node *irn, long pn) {
 140         const ir_edge_t *edge;
 141         ir_node         *proj;
 142         assert(get_irn_mode(irn) == mode_T && "need mode_T");
 143
 144         foreach_out_edge(irn, edge) {
 145                 proj = get_edge_src_irn(edge);
 146
 147                 if (is_Proj(proj) && get_Proj_proj(proj) == pn)
 148                         return proj;
 149         }
 150
 151         return NULL;
 152 }
 153
 154 FILE *be_ffopen(const char *base, const char *ext, const char *mode) {
 155         FILE *out;
 156         char buf[1024];
 157
 158         snprintf(buf, sizeof(buf), "%s.%s", base, ext);
 159         buf[sizeof(buf) - 1] = '\0';
 160         if (! (out = fopen(buf, mode))) {
 161                 fprintf(stderr, "Cannot open file %s in mode %s\n", buf, mode);
 162                 return NULL;
 163         }
 164         return out;
 165 }
 166
 167 static void add_to_postorder(ir_node *block, void *data)
 168 {
 169         ir_node ***list = (ir_node***) data;
 170         ARR_APP1(ir_node*, *list, block);
 171 }
 172
 173 ir_node **be_get_cfgpostorder(ir_graph *irg)
 174 {
 175         ir_node **list      = NEW_ARR_F(ir_node*, 0);
 176         ir_node  *end_block = get_irg_end_block(irg);
 177
 178         /* end block may be unreachable in case of endless loops */
 179         if (get_Block_n_cfgpreds(end_block) == 0)
 180                 ARR_APP1(ir_node*, list, end_block);
 181
 182         /* walk blocks */
 183         irg_block_edges_walk(get_irg_start_block(irg), NULL, add_to_postorder,
 184                              &list);
 185
 186         return list;
 187 }