Improve uninit pass dumping

This produces less redundancy and more complete info dumping
the control dependence chains.

	* gimple-predicate-analysis.cc (format_edge_vec): Dump
	both source and destination.
	(dump_dep_chains): Remove.
	(uninit_analysis::init_use_preds): Remove redundant
	dumping of chains.
This commit is contained in:
Richard Biener 2022-08-30 14:36:39 +02:00
parent fe915f35b7
commit 28b5311203

View file

@ -122,10 +122,10 @@ format_edge_vec (const vec<edge> &ev)
{
char es[32];
const_edge e = ev[i];
sprintf (es, "%u", e->src->index);
sprintf (es, "%u -> %u", e->src->index, e->dest->index);
str += es;
if (i + 1 < n)
str += " -> ";
str += ", ";
}
return str;
}
@ -180,28 +180,6 @@ dump_pred_chain (const pred_chain &chain)
}
}
/* Dump the first NCHAINS elements of the DEP_CHAINS array into DUMP_FILE. */
static void
dump_dep_chains (const auto_vec<edge> dep_chains[], unsigned nchains)
{
if (!dump_file)
return;
for (unsigned i = 0; i != nchains; ++i)
{
const auto_vec<edge> &v = dep_chains[i];
unsigned n = v.length ();
for (unsigned j = 0; j != n; ++j)
{
fprintf (dump_file, "%u", v[j]->src->index);
if (j + 1 < n)
fprintf (dump_file, " -> ");
}
fputc ('\n', dump_file);
}
}
/* Return the 'normalized' conditional code with operand swapping
and condition inversion controlled by SWAP_COND and INVERT. */
@ -1940,12 +1918,8 @@ uninit_analysis::init_use_preds (predicate &use_preds, basic_block def_bb,
}
if (DEBUG_PREDICATE_ANALYZER && dump_file)
{
fprintf (dump_file, "predicate::predicate (def_bb = %u, use_bb = %u, func_t) "
"initialized from %u dep_chains:\n\t",
def_bb->index, use_bb->index, num_chains);
dump_dep_chains (dep_chains, num_chains);
}
fprintf (dump_file, "init_use_preds (def_bb = %u, use_bb = %u)\n",
def_bb->index, use_bb->index);
/* From the set of edges computed above initialize *THIS as the OR
condition under which the definition in DEF_BB is used in USE_BB.