7932a3db21
* bitmap.h (struct bitmap_obstack): New obstack type. (struct bitmap_head_def): Replace using_obstack with obstack pointer. (bitmap_default_obstack): New. (bitmap_initialize): Make inline, does not do allocation. (bitmap_release_memory): Remove. (bitmap_obstack_initialize, bitmap_obstack_release): Declare. (bitmap_obstack_alloc, bitmap_malloc_alloc, bitmap_gc_alloc, bitmap_obstack_free, bitmap_malloc_free): Declare. (BITMAP_OBSTACK_ALLOC, BITMAP_GGC_ALLOC, BITMAP_XMALLOC): Adjust. (BITMAP_FREE): Replace with ... (BITMAP_OBSTACK_FREE): ... this. (BITMAP_XFREE): Adjust. (BITMAP_INIT_ONCE): Remove. * bitmap.c (bitmap_obstack, bitmap_obstack_init, bitmap_free: Remove. (bitmap_default_obstack): New. (bitmap_elem_to_freelist): Adjust. (bitmap_element_allocate): Adjust. Break initialization into ... (bitmap_obstack_initialize): ... here. (bitmap_release_memory): Replace with ... (bitmap_obstack_release): ... this. (bitmap_obstack_alloc, bitmap_malloc_alloc, bitmap_gc_alloc, bitmap_obstack_free, bitmap_malloc_free): New. (bitmap_ior_and_compl, bitmap_ior_and_compl_into): Use bitmap_initialize. (bitmap_initialize): Move to bitmap.h. * gengtype.c (open_base_files): Add obstack.h to ifiles. * Makefile.in (BASIC_BLOCK_H, REGS_H): Add obstack.h. * basic-block.h (INIT_REG_SET): Allocate from reg_obstack. (INITIALIZE_REG_SET): Remove. (FREE_REG_SET): Use BITMAP_OBSTACK_FREE. (INIT_ONCE_REG_SET, MAX_REGNO_REG_SET): Remove. (flow_obstack): Do not declare. (reg_obstack): Declare. * regs.h: Include obstack.h. * tree-optimize.c (tree_rest_of_compilation): Initialize and release bitmap obstack here. * bb-reorder.c: #include regs, not basic-block. (fix_crossing_conditional_branches): Allocate regsets from reg_obstack. * bt-load.c: Do not inlude bitmap.h, sbitmap.h, basic-block.h or obstack.h. * caller-save.c: Include regs.h earlier. * cfg.c: Do not include basic-block.h or obstack.h. (reg_obstack): Define. * cfganal.c: Include obstack.h * cfgcleanyp.c: Do not include basic-block.h. Include regs.h earlier. * cfglayout.c: Do not include obstack.h. (flow_obstack): Remove declaration. (cfg_layout_duplicate_bb): Use reg_obstack. * cfgloop.c, cfgloopanal.c, cfgloopmanip.c: Include obstack.h. * cfgrtl.c (rtl_split_block): Use reg_obstack. (force_nonfallthru_and_redirect, rtl_split_edge): Likewise. (safe_insert_insn_on_edge): Use OBSTACK_ALLOC_REG_SET, adjust. (cfg_layout_split_edge): Use reg_obstack. * cse.c: Include regs.h earlier. * ddg.c: Do not include basic-block.h. * dominance.c: Inlude obstack.h. * flow.c (update_life_info): Use OBSTACK_ALLOC_REG_SET, adjust. (calculate_global_regs_live): Likewise. (allocate_bb_life_data): Use reg_obstack. (init_propagate_block_info): Use OBSTACK_ALLOC_REGSET. * global.c: Do not include basic-block.h. (build_insn_chain): Use OBSTACK_ALLOC_REG_SET, adjust. * graph.c: Include obstack.h. * haifa-sched.c: Do not include basic-block.h. * ifcvt.c: Use OBSTACK_ALLOC_REG_SET, adjust. * local-alloc.c: Do not include basic-block.h. * loop-init.c, loop-invariant.c: Include obstack.h. * loop-iv.c: Likewise. (simplify_using_initial_values): Use OBSTACK_ALLOC_REG_SET, adjust. * loop-unroll.c, loop-unswitch.c: Inlude obstack.h. * modulo-sched.c: Do not include basic-block.h. * passes.c (rest_of_handle_final): Do not call regset_release_memory. * ra-debug.c: Include regs.h earlier. Do not include basic-block.h. * recog.c (peephole2_optimize): Use OBSTACK_ALLOC_REG_SET, adjust. * regclass.c (init_reg_sets): Do not call INIT_ONCE_REG_SET. (allocate_reg_info): Do not call MAX_REGNO_REG_SET. (regset_release_memory): Remove. * resource.c: Do not include basic-block.h. * rtlanal.c: Do not include basic-block.h. * sbitmap.c: Include obstack.h. * sched-deps.c: Do not include basic-block.h. (reg_pending_sets_head, reg_pending_clobbers_head, reg_pending_uses_head): Remove. (init_deps_global): Use OBSTACK_ALLOC_REG_SET. * sched-ebb.c: Do not include basic-block.h. * sched-rgn.c: Likewise. * tree-if-conv.c (get_loop_body_in_if_conv_order): Use BITMAP_XFREE. * tree-outof-ssa.c (perform_edge_inserts): Use BITMAP_XFREE. * tree-sra.c (decide_instantiations): Adjust bitmap initialization. * tree-ssa-dce.c: Include obstack.h. * tree-ssa-pre.c (grand_bitmap_obstack): Make a bitmap_obstack. (value_insert_into_set_bitmap): Remove useless bitmap_clear. (bitmap_set_new): Likewise. (init_pre): Initialize bitmap obstack. (fini_pre): Release bitmap obstack. * tree-ssanames.c (ssa_names_to_rewrite): Make static. (marked_for_rewrite_p): ssa_names_to_rewrite is never NULL. (mark_for_rewrite, unmark_for_rewrite): Likewise. (marked_ssa_names): Likewise. (init_ssanames): Use BITMAP_XMALLOC. (fini_ssanames): Use BITMAP_XFREE. * web.c: Include obstack.h From-SVN: r91009
432 lines
9.7 KiB
C
432 lines
9.7 KiB
C
/* Output routines for graphical representation.
|
||
Copyright (C) 1998, 1999, 2000, 2001, 2003, 2004
|
||
Free Software Foundation, Inc.
|
||
Contributed by Ulrich Drepper <drepper@cygnus.com>, 1998.
|
||
|
||
This file is part of GCC.
|
||
|
||
GCC is free software; you can redistribute it and/or modify it under
|
||
the terms of the GNU General Public License as published by the Free
|
||
Software Foundation; either version 2, or (at your option) any later
|
||
version.
|
||
|
||
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
||
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||
for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with GCC; see the file COPYING. If not, write to the Free
|
||
Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
||
02111-1307, USA. */
|
||
|
||
#include <config.h>
|
||
#include "system.h"
|
||
#include "coretypes.h"
|
||
#include "tm.h"
|
||
#include "rtl.h"
|
||
#include "flags.h"
|
||
#include "output.h"
|
||
#include "function.h"
|
||
#include "hard-reg-set.h"
|
||
#include "obstack.h"
|
||
#include "basic-block.h"
|
||
#include "toplev.h"
|
||
#include "graph.h"
|
||
|
||
static const char *const graph_ext[] =
|
||
{
|
||
/* no_graph */ "",
|
||
/* vcg */ ".vcg",
|
||
};
|
||
|
||
static void start_fct (FILE *);
|
||
static void start_bb (FILE *, int);
|
||
static void node_data (FILE *, rtx);
|
||
static void draw_edge (FILE *, int, int, int, int);
|
||
static void end_fct (FILE *);
|
||
static void end_bb (FILE *);
|
||
|
||
/* Output text for new basic block. */
|
||
static void
|
||
start_fct (FILE *fp)
|
||
{
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fprintf (fp, "\
|
||
graph: { title: \"%s\"\nfolding: 1\nhidden: 2\nnode: { title: \"%s.0\" }\n",
|
||
current_function_name (), current_function_name ());
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
start_bb (FILE *fp, int bb)
|
||
{
|
||
#if 0
|
||
reg_set_iterator rsi;
|
||
#endif
|
||
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fprintf (fp, "\
|
||
graph: {\ntitle: \"%s.BB%d\"\nfolding: 1\ncolor: lightblue\n\
|
||
label: \"basic block %d",
|
||
current_function_name (), bb, bb);
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
|
||
#if 0
|
||
/* FIXME Should this be printed? It makes the graph significantly larger. */
|
||
|
||
/* Print the live-at-start register list. */
|
||
fputc ('\n', fp);
|
||
EXECUTE_IF_SET_IN_REG_SET (basic_block_live_at_start[bb], 0, i, rsi)
|
||
{
|
||
fprintf (fp, " %d", i);
|
||
if (i < FIRST_PSEUDO_REGISTER)
|
||
fprintf (fp, " [%s]", reg_names[i]);
|
||
}
|
||
#endif
|
||
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fputs ("\"\n\n", fp);
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
node_data (FILE *fp, rtx tmp_rtx)
|
||
{
|
||
if (PREV_INSN (tmp_rtx) == 0)
|
||
{
|
||
/* This is the first instruction. Add an edge from the starting
|
||
block. */
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fprintf (fp, "\
|
||
edge: { sourcename: \"%s.0\" targetname: \"%s.%d\" }\n",
|
||
current_function_name (),
|
||
current_function_name (), XINT (tmp_rtx, 0));
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fprintf (fp, "node: {\n title: \"%s.%d\"\n color: %s\n \
|
||
label: \"%s %d\n",
|
||
current_function_name (), XINT (tmp_rtx, 0),
|
||
NOTE_P (tmp_rtx) ? "lightgrey"
|
||
: NONJUMP_INSN_P (tmp_rtx) ? "green"
|
||
: JUMP_P (tmp_rtx) ? "darkgreen"
|
||
: CALL_P (tmp_rtx) ? "darkgreen"
|
||
: LABEL_P (tmp_rtx) ? "\
|
||
darkgrey\n shape: ellipse" : "white",
|
||
GET_RTX_NAME (GET_CODE (tmp_rtx)), XINT (tmp_rtx, 0));
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
|
||
/* Print the RTL. */
|
||
if (NOTE_P (tmp_rtx))
|
||
{
|
||
const char *name = "";
|
||
if (NOTE_LINE_NUMBER (tmp_rtx) < 0)
|
||
name = GET_NOTE_INSN_NAME (NOTE_LINE_NUMBER (tmp_rtx));
|
||
fprintf (fp, " %s", name);
|
||
}
|
||
else if (INSN_P (tmp_rtx))
|
||
print_rtl_single (fp, PATTERN (tmp_rtx));
|
||
else
|
||
print_rtl_single (fp, tmp_rtx);
|
||
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fputs ("\"\n}\n", fp);
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
draw_edge (FILE *fp, int from, int to, int bb_edge, int class)
|
||
{
|
||
const char * color;
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
color = "";
|
||
if (class == 2)
|
||
color = "color: red ";
|
||
else if (bb_edge)
|
||
color = "color: blue ";
|
||
else if (class == 3)
|
||
color = "color: green ";
|
||
fprintf (fp,
|
||
"edge: { sourcename: \"%s.%d\" targetname: \"%s.%d\" %s",
|
||
current_function_name (), from,
|
||
current_function_name (), to, color);
|
||
if (class)
|
||
fprintf (fp, "class: %d ", class);
|
||
fputs ("}\n", fp);
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
end_bb (FILE *fp)
|
||
{
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fputs ("}\n", fp);
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
end_fct (FILE *fp)
|
||
{
|
||
switch (graph_dump_format)
|
||
{
|
||
case vcg:
|
||
fprintf (fp, "node: { title: \"%s.999999\" label: \"END\" }\n}\n",
|
||
current_function_name ());
|
||
break;
|
||
case no_graph:
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* Like print_rtl, but also print out live information for the start of each
|
||
basic block. */
|
||
void
|
||
print_rtl_graph_with_bb (const char *base, rtx rtx_first)
|
||
{
|
||
rtx tmp_rtx;
|
||
size_t namelen = strlen (base);
|
||
size_t extlen = strlen (graph_ext[graph_dump_format]) + 1;
|
||
char *buf = alloca (namelen + extlen);
|
||
FILE *fp;
|
||
|
||
if (basic_block_info == NULL)
|
||
return;
|
||
|
||
memcpy (buf, base, namelen);
|
||
memcpy (buf + namelen, graph_ext[graph_dump_format], extlen);
|
||
|
||
fp = fopen (buf, "a");
|
||
if (fp == NULL)
|
||
return;
|
||
|
||
if (rtx_first == 0)
|
||
fprintf (fp, "(nil)\n");
|
||
else
|
||
{
|
||
enum bb_state { NOT_IN_BB, IN_ONE_BB, IN_MULTIPLE_BB };
|
||
int max_uid = get_max_uid ();
|
||
int *start = xmalloc (max_uid * sizeof (int));
|
||
int *end = xmalloc (max_uid * sizeof (int));
|
||
enum bb_state *in_bb_p = xmalloc (max_uid * sizeof (enum bb_state));
|
||
basic_block bb;
|
||
int i;
|
||
|
||
for (i = 0; i < max_uid; ++i)
|
||
{
|
||
start[i] = end[i] = -1;
|
||
in_bb_p[i] = NOT_IN_BB;
|
||
}
|
||
|
||
FOR_EACH_BB_REVERSE (bb)
|
||
{
|
||
rtx x;
|
||
start[INSN_UID (BB_HEAD (bb))] = bb->index;
|
||
end[INSN_UID (BB_END (bb))] = bb->index;
|
||
for (x = BB_HEAD (bb); x != NULL_RTX; x = NEXT_INSN (x))
|
||
{
|
||
in_bb_p[INSN_UID (x)]
|
||
= (in_bb_p[INSN_UID (x)] == NOT_IN_BB)
|
||
? IN_ONE_BB : IN_MULTIPLE_BB;
|
||
if (x == BB_END (bb))
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* Tell print-rtl that we want graph output. */
|
||
dump_for_graph = 1;
|
||
|
||
/* Start new function. */
|
||
start_fct (fp);
|
||
|
||
for (tmp_rtx = NEXT_INSN (rtx_first); NULL != tmp_rtx;
|
||
tmp_rtx = NEXT_INSN (tmp_rtx))
|
||
{
|
||
int edge_printed = 0;
|
||
rtx next_insn;
|
||
|
||
if (start[INSN_UID (tmp_rtx)] < 0 && end[INSN_UID (tmp_rtx)] < 0)
|
||
{
|
||
if (BARRIER_P (tmp_rtx))
|
||
continue;
|
||
if (NOTE_P (tmp_rtx)
|
||
&& (1 || in_bb_p[INSN_UID (tmp_rtx)] == NOT_IN_BB))
|
||
continue;
|
||
}
|
||
|
||
if ((i = start[INSN_UID (tmp_rtx)]) >= 0)
|
||
{
|
||
/* We start a subgraph for each basic block. */
|
||
start_bb (fp, i);
|
||
|
||
if (i == 0)
|
||
draw_edge (fp, 0, INSN_UID (tmp_rtx), 1, 0);
|
||
}
|
||
|
||
/* Print the data for this node. */
|
||
node_data (fp, tmp_rtx);
|
||
next_insn = next_nonnote_insn (tmp_rtx);
|
||
|
||
if ((i = end[INSN_UID (tmp_rtx)]) >= 0)
|
||
{
|
||
edge e;
|
||
edge_iterator ei;
|
||
|
||
bb = BASIC_BLOCK (i);
|
||
|
||
/* End of the basic block. */
|
||
end_bb (fp);
|
||
|
||
/* Now specify the edges to all the successors of this
|
||
basic block. */
|
||
FOR_EACH_EDGE (e, ei, bb->succs)
|
||
{
|
||
if (e->dest != EXIT_BLOCK_PTR)
|
||
{
|
||
rtx block_head = BB_HEAD (e->dest);
|
||
|
||
draw_edge (fp, INSN_UID (tmp_rtx),
|
||
INSN_UID (block_head),
|
||
next_insn != block_head,
|
||
(e->flags & EDGE_ABNORMAL ? 2 : 0));
|
||
|
||
if (block_head == next_insn)
|
||
edge_printed = 1;
|
||
}
|
||
else
|
||
{
|
||
draw_edge (fp, INSN_UID (tmp_rtx), 999999,
|
||
next_insn != 0,
|
||
(e->flags & EDGE_ABNORMAL ? 2 : 0));
|
||
|
||
if (next_insn == 0)
|
||
edge_printed = 1;
|
||
}
|
||
}
|
||
}
|
||
|
||
if (!edge_printed)
|
||
{
|
||
/* Don't print edges to barriers. */
|
||
if (next_insn == 0
|
||
|| !BARRIER_P (next_insn))
|
||
draw_edge (fp, XINT (tmp_rtx, 0),
|
||
next_insn ? INSN_UID (next_insn) : 999999, 0, 0);
|
||
else
|
||
{
|
||
/* We draw the remaining edges in class 3. We have
|
||
to skip over the barrier since these nodes are
|
||
not printed at all. */
|
||
do
|
||
next_insn = NEXT_INSN (next_insn);
|
||
while (next_insn
|
||
&& (NOTE_P (next_insn)
|
||
|| BARRIER_P (next_insn)));
|
||
|
||
draw_edge (fp, XINT (tmp_rtx, 0),
|
||
next_insn ? INSN_UID (next_insn) : 999999, 0, 3);
|
||
}
|
||
}
|
||
}
|
||
|
||
dump_for_graph = 0;
|
||
|
||
end_fct (fp);
|
||
|
||
/* Clean up. */
|
||
free (start);
|
||
free (end);
|
||
free (in_bb_p);
|
||
}
|
||
|
||
fclose (fp);
|
||
}
|
||
|
||
|
||
/* Similar as clean_dump_file, but this time for graph output files. */
|
||
|
||
void
|
||
clean_graph_dump_file (const char *base)
|
||
{
|
||
size_t namelen = strlen (base);
|
||
size_t extlen = strlen (graph_ext[graph_dump_format]) + 1;
|
||
char *buf = alloca (namelen + extlen);
|
||
FILE *fp;
|
||
|
||
memcpy (buf, base, namelen);
|
||
memcpy (buf + namelen, graph_ext[graph_dump_format], extlen);
|
||
|
||
fp = fopen (buf, "w");
|
||
|
||
if (fp == NULL)
|
||
fatal_error ("can't open %s: %m", buf);
|
||
|
||
gcc_assert (graph_dump_format == vcg);
|
||
fputs ("graph: {\nport_sharing: no\n", fp);
|
||
|
||
fclose (fp);
|
||
}
|
||
|
||
|
||
/* Do final work on the graph output file. */
|
||
void
|
||
finish_graph_dump_file (const char *base)
|
||
{
|
||
size_t namelen = strlen (base);
|
||
size_t extlen = strlen (graph_ext[graph_dump_format]) + 1;
|
||
char *buf = alloca (namelen + extlen);
|
||
FILE *fp;
|
||
|
||
memcpy (buf, base, namelen);
|
||
memcpy (buf + namelen, graph_ext[graph_dump_format], extlen);
|
||
|
||
fp = fopen (buf, "a");
|
||
if (fp != NULL)
|
||
{
|
||
gcc_assert (graph_dump_format == vcg);
|
||
fputs ("}\n", fp);
|
||
fclose (fp);
|
||
}
|
||
}
|