diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2021-11-09 10:43:25 +0100 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2021-11-09 14:29:22 +0100 |
commit | 2fc9b4d7b0cbc88e9986486329abe899a07729de (patch) | |
tree | 575743d6bae948a68e0d943033d63e70fc253738 /gcc | |
parent | 47c2cf3ac684fab21ec31c72462b7b21845a41f2 (diff) | |
download | gcc-2fc9b4d7b0cbc88e9986486329abe899a07729de.zip gcc-2fc9b4d7b0cbc88e9986486329abe899a07729de.tar.gz gcc-2fc9b4d7b0cbc88e9986486329abe899a07729de.tar.bz2 |
Cleanup path solver dumps.
This patch makes the path solver dumps a bit more consistent.
Tested on x86-64 Linux.
gcc/ChangeLog:
* gimple-range-path.cc (path_range_query::dump): Clean up.
(path_range_query::compute_ranges): Same.
* value-relation.cc (path_oracle::dump): Same.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/gimple-range-path.cc | 11 | ||||
-rw-r--r-- | gcc/value-relation.cc | 6 |
2 files changed, 9 insertions, 8 deletions
diff --git a/gcc/gimple-range-path.cc b/gcc/gimple-range-path.cc index 52de103..99ac947 100644 --- a/gcc/gimple-range-path.cc +++ b/gcc/gimple-range-path.cc @@ -98,7 +98,6 @@ path_range_query::dump (FILE *dump_file) unsigned i; bitmap_iterator bi; - fprintf (dump_file, "\nPath is (length=%d):\n", m_path->length ()); dump_ranger (dump_file, *m_path); fprintf (dump_file, "Imports:\n"); @@ -505,7 +504,7 @@ path_range_query::compute_ranges (const vec<basic_block> &path, const bitmap_head *imports) { if (DEBUG_SOLVER) - fprintf (dump_file, "\n*********** path_range_query ******************\n"); + fprintf (dump_file, "\n==============================================\n"); set_path (path); bitmap_copy (m_imports, imports); @@ -519,13 +518,13 @@ path_range_query::compute_ranges (const vec<basic_block> &path, if (DEBUG_SOLVER) { - fprintf (dump_file, "\npath_range_query: compute_ranges for path: "); + fprintf (dump_file, "path_range_query: compute_ranges for path: "); for (unsigned i = path.length (); i > 0; --i) { basic_block bb = path[i - 1]; - fprintf (dump_file, "BB %d", bb->index); + fprintf (dump_file, "%d", bb->index); if (i > 1) - fprintf (dump_file, ", "); + fprintf (dump_file, "->"); } fprintf (dump_file, "\n"); } @@ -557,9 +556,7 @@ path_range_query::compute_ranges (const vec<basic_block> &path, if (DEBUG_SOLVER) { - fprintf (dump_file, "\npath_oracle:\n"); get_path_oracle ()->dump (dump_file); - fprintf (dump_file, "\n"); dump (dump_file); } } diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index a010548..9c3ecd9 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -1448,10 +1448,14 @@ void path_oracle::dump (FILE *f) const { equiv_chain *ptr = m_equiv.m_next; + relation_chain *ptr2 = m_relations.m_head; + + if (ptr || ptr2) + fprintf (f, "\npath_oracle:\n"); + for (; ptr; ptr = ptr->m_next) ptr->dump (f); - relation_chain *ptr2 = m_relations.m_head; for (; ptr2; ptr2 = ptr2->m_next) { fprintf (f, "Relational : "); |