/* Control flow graph manipulation code for GNU compiler.
Copyright (C) 1987, 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
- 1999, 2000, 2001 Free Software Foundation, Inc.
+ 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
This file is part of GCC.
dump_flow_info, debug_flow_info, dump_edge_info
- Allocation of AUX fields for basic blocks
alloc_aux_for_blocks, free_aux_for_blocks, alloc_aux_for_block
+ - clear_bb_flags
*/
\f
#include "config.h"
edge e;
{
n_edges--;
- memset (e, 0, sizeof (*e));
+ memset (e, 0, sizeof *e);
e->succ_next = first_deleted_edge;
first_deleted_edge = e;
}
free_edge (e);
e = next;
}
+
bb->succ = NULL;
bb->pred = NULL;
}
free_edge (e);
e = next;
}
+
EXIT_BLOCK_PTR->pred = NULL;
ENTRY_BLOCK_PTR->succ = NULL;
}
else
{
- bb = (basic_block) obstack_alloc (&flow_obstack, sizeof (*bb));
- memset (bb, 0, sizeof (*bb));
+ bb = (basic_block) obstack_alloc (&flow_obstack, sizeof *bb);
+ memset (bb, 0, sizeof *bb);
}
return bb;
}
/* Remove block B from the basic block array and compact behind it. */
void
+expunge_block_nocompact (b)
+ basic_block b;
+{
+ /* Invalidate data to make bughunting easier. */
+ memset (b, 0, sizeof *b);
+ b->index = -3;
+ b->succ = (edge) first_deleted_block;
+ first_deleted_block = (basic_block) b;
+}
+
+void
expunge_block (b)
basic_block b;
{
x->index = i;
}
- /* Invalidate data to make bughunting easier. */
- memset (b, 0, sizeof (*b));
- b->index = -3;
- basic_block_info->num_elements--;
n_basic_blocks--;
- b->succ = (edge) first_deleted_block;
- first_deleted_block = (basic_block) b;
+ basic_block_info->num_elements--;
+
+ expunge_block_nocompact (b);
}
\f
/* Create an edge connecting SRC and DST with FLAGS optionally using
int use_edge_cache;
edge e;
- /* Don't bother with edge cache for ENTRY or EXIT; there aren't that
- many edges to them, and we didn't allocate memory for it. */
+ /* Don't bother with edge cache for ENTRY or EXIT, if there aren't that
+ many edges to them, or we didn't allocate memory for it. */
use_edge_cache = (edge_cache
- && src != ENTRY_BLOCK_PTR
- && dst != EXIT_BLOCK_PTR);
+ && src != ENTRY_BLOCK_PTR && dst != EXIT_BLOCK_PTR);
/* Make sure we don't add duplicate edges. */
switch (use_edge_cache)
}
else
{
- e = (edge) obstack_alloc (&flow_obstack, sizeof (*e));
- memset (e, 0, sizeof (*e));
+ e = (edge) obstack_alloc (&flow_obstack, sizeof *e);
+ memset (e, 0, sizeof *e);
}
n_edges++;
edge last_succ = NULL;
edge tmp;
basic_block src, dest;
+
src = e->src;
dest = e->dest;
for (tmp = src->succ; tmp && tmp != e; tmp = tmp->succ_next)
basic_block new_succ;
{
edge s;
+
/* Check whether the edge is already present. */
for (s = e->src->succ; s; s = s->succ_next)
if (s->dest == new_succ && s != e)
break;
+
if (s)
{
s->flags |= e->flags;
}
else
redirect_edge_succ (e, new_succ);
+
return e;
}
/* Disconnect the edge from the old predecessor block. */
for (pe = &e->src->succ; *pe != e; pe = &(*pe)->succ_next)
continue;
+
*pe = (*pe)->succ_next;
/* Reconnect the edge to the new predecessor block. */
new_pred->succ = e;
e->src = new_pred;
}
+
+void
+clear_bb_flags ()
+{
+ int i;
+ ENTRY_BLOCK_PTR->flags = 0;
+ EXIT_BLOCK_PTR->flags = 0;
+ for (i = 0; i < n_basic_blocks; i++)
+ BASIC_BLOCK (i)->flags = 0;
+}
\f
void
dump_flow_info (file)
if (REG_N_REFS (i))
{
enum reg_class class, altclass;
+
fprintf (file, "\nRegister %d used %d times across %d insns",
i, REG_N_REFS (i), REG_LIVE_LENGTH (i));
if (REG_BASIC_BLOCK (i) >= 0)
if (REG_N_SETS (i))
fprintf (file, "; set %d time%s", REG_N_SETS (i),
(REG_N_SETS (i) == 1) ? "" : "s");
- if (REG_USERVAR_P (regno_reg_rtx[i]))
+ if (regno_reg_rtx[i] != NULL && REG_USERVAR_P (regno_reg_rtx[i]))
fprintf (file, "; user var");
if (REG_N_DEATHS (i) != 1)
fprintf (file, "; dies in %d places", REG_N_DEATHS (i));
fprintf (file, "; crosses 1 call");
else if (REG_N_CALLS_CROSSED (i))
fprintf (file, "; crosses %d calls", REG_N_CALLS_CROSSED (i));
- if (PSEUDO_REGNO_BYTES (i) != UNITS_PER_WORD)
+ if (regno_reg_rtx[i] != NULL
+ && PSEUDO_REGNO_BYTES (i) != UNITS_PER_WORD)
fprintf (file, "; %d bytes", PSEUDO_REGNO_BYTES (i));
+
class = reg_preferred_class (i);
altclass = reg_alternate_class (i);
if (class != GENERAL_REGS || altclass != ALL_REGS)
reg_class_names[(int) class],
reg_class_names[(int) altclass]);
}
- if (REG_POINTER (regno_reg_rtx[i]))
+
+ if (regno_reg_rtx[i] != NULL && REG_POINTER (regno_reg_rtx[i]))
fprintf (file, "; pointer");
fprintf (file, ".\n");
}
{
basic_block bb = BASIC_BLOCK (i);
edge e;
+ int sum;
+ gcov_type lsum;
- fprintf (file, "\nBasic block %d: first insn %d, last %d, loop_depth %d, count ",
- i, INSN_UID (bb->head), INSN_UID (bb->end), bb->loop_depth);
- fprintf (file, HOST_WIDEST_INT_PRINT_DEC, (HOST_WIDEST_INT) bb->count);
+ fprintf (file, "\nBasic block %d: first insn %d, last %d, ",
+ i, INSN_UID (bb->head), INSN_UID (bb->end));
+ fprintf (file, "loop_depth %d, count ", bb->loop_depth);
+ fprintf (file, HOST_WIDEST_INT_PRINT_DEC, bb->count);
fprintf (file, ", freq %i.\n", bb->frequency);
fprintf (file, "Predecessors: ");
dump_regset (bb->global_live_at_end, file);
putc ('\n', file);
+
+ /* Check the consistency of profile information. We can't do that
+ in verify_flow_info, as the counts may get invalid for incompletely
+ solved graphs, later elliminating of conditionals or roundoff errors.
+ It is still practical to have them reported for debugging of simple
+ testcases. */
+ sum = 0;
+ for (e = bb->succ; e; e = e->succ_next)
+ sum += e->probability;
+ if (bb->succ && abs (sum - REG_BR_PROB_BASE) > 100)
+ fprintf (file, "Invalid sum of outgoing probabilities %.1f%%\n",
+ sum * 100.0 / REG_BR_PROB_BASE);
+ sum = 0;
+ for (e = bb->pred; e; e = e->pred_next)
+ sum += EDGE_FREQUENCY (e);
+ if (abs (sum - bb->frequency) > 100)
+ fprintf (file,
+ "Invalid sum of incomming frequencies %i, should be %i\n",
+ sum, bb->frequency);
+ lsum = 0;
+ for (e = bb->pred; e; e = e->pred_next)
+ lsum += e->count;
+ if (lsum - bb->count > 100 || lsum - bb->count < -100)
+ fprintf (file, "Invalid sum of incomming counts %i, should be %i\n",
+ (int)lsum, (int)bb->count);
+ lsum = 0;
+ for (e = bb->succ; e; e = e->succ_next)
+ lsum += e->count;
+ if (bb->succ && (lsum - bb->count > 100 || lsum - bb->count < -100))
+ fprintf (file, "Invalid sum of incomming counts %i, should be %i\n",
+ (int)lsum, (int)bb->count);
}
putc ('\n', file);
if (e->count)
{
fprintf (file, " count:");
- fprintf (file, HOST_WIDEST_INT_PRINT_DEC, (HOST_WIDEST_INT) e->count);
+ fprintf (file, HOST_WIDEST_INT_PRINT_DEC, e->count);
}
if (e->flags)
{
- static const char * const bitnames[] = {
- "fallthru", "ab", "abcall", "eh", "fake", "dfs_back"
- };
+ static const char * const bitnames[]
+ = {"fallthru", "ab", "abcall", "eh", "fake", "dfs_back"};
int comma = 0;
int i, flags = e->flags;
- fputc (' ', file);
- fputc ('(', file);
+ fputs (" (", file);
for (i = 0; flags; i++)
if (flags & (1 << i))
{
fprintf (file, "%d", i);
comma = 1;
}
+
fputc (')', file);
}
}
\f
/* Simple routines to easily allocate AUX fields of basic blocks. */
+
static struct obstack block_aux_obstack;
static void *first_block_aux_obj = 0;
static struct obstack edge_aux_obstack;
gcc_obstack_init (&block_aux_obstack);
initialized = 1;
}
+
/* Check whether AUX data are still allocated. */
else if (first_block_aux_obj)
abort ();
if (size)
{
int i;
+
for (i = 0; i < n_basic_blocks; i++)
alloc_aux_for_block (BASIC_BLOCK (i), size);
+
alloc_aux_for_block (ENTRY_BLOCK_PTR, size);
alloc_aux_for_block (EXIT_BLOCK_PTR, size);
}
for (i = 0; i < n_basic_blocks; i++)
BASIC_BLOCK (i)->aux = NULL;
+
ENTRY_BLOCK_PTR->aux = NULL;
EXIT_BLOCK_PTR->aux = NULL;
}
gcc_obstack_init (&edge_aux_obstack);
initialized = 1;
}
+
/* Check whether AUX data are still allocated. */
else if (first_edge_aux_obj)
abort ();
+
first_edge_aux_obj = (char *) obstack_alloc (&edge_aux_obstack, 0);
if (size)
{
bb = BASIC_BLOCK (i);
else
bb = ENTRY_BLOCK_PTR;
+
for (e = bb->succ; e; e = e->succ_next)
alloc_aux_for_edge (e, size);
}
bb = BASIC_BLOCK (i);
else
bb = ENTRY_BLOCK_PTR;
+
for (e = bb->succ; e; e = e->succ_next)
e->aux = NULL;
}