analyzer: show BBs in .dot dumps

gcc/analyzer/ChangeLog:
	* engine.cc (supernode_cluster::dump_dot): Show BB index as
	well as SN index.
	* supergraph.cc (supernode::dump_dot): Likewise.

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 9229bb1e74a6eab5aee7ddfe314a2a4a3f62cb4e..9b8820ede033515939bef8e43870872e114c2fb4 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,9 @@
+2020-02-03  David Malcolm  <dmalcolm@redhat.com>
+
+       * engine.cc (supernode_cluster::dump_dot): Show BB index as
+       well as SN index.
+       * supergraph.cc (supernode::dump_dot): Likewise.
+
 2020-02-03  David Malcolm  <dmalcolm@redhat.com>
 
        PR analyzer/93546

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index 9acec704224e8408a984700ec7cb3776ede60220..66ca37ea33b4211fd5759ae9f0ba0d75276643cb 100644 (file)
--- a/gcc/analyzer/engine.cc
+++ b/gcc/analyzer/engine.cc
@@ -2811,7 +2811,8 @@ public:
                 (const void *)this);
     gv->indent ();
     gv->println ("style=\"dashed\";");
-    gv->println ("label=\"SN: %i\";", m_supernode->m_index);
+    gv->println ("label=\"SN: %i (bb: %i)\";",
+                m_supernode->m_index, m_supernode->m_bb->index);
 
     int i;
     exploded_node *enode;

diff --git a/gcc/analyzer/supergraph.cc b/gcc/analyzer/supergraph.cc
index a5bf52d8aca17c687f114564741866a56d53cd65..b20daa081d2430a9e3ba6de439398581164b9fcc 100644 (file)
--- a/gcc/analyzer/supergraph.cc
+++ b/gcc/analyzer/supergraph.cc
@@ -437,7 +437,7 @@ supernode::dump_dot (graphviz_out *gv, const dump_args_t &args) const
   gv->println("style=\"solid\";");
   gv->println("color=\"black\";");
   gv->println("fillcolor=\"lightgrey\";");
-  gv->println("label=\"sn: %i\";", m_index);
+  gv->println("label=\"sn: %i (bb: %i)\";", m_index, m_bb->index);
 
   pretty_printer *pp = gv->get_pp ();