[sched] Dump dependency graph to a dot file

	* sched-int.h (dump_rgn_dependencies_dot): Declare
	* sched-rgn.c (dump_rgn_dependencies_dot): New function
	* print-rtl.h (print_insn): Add prototype

From-SVN: r230062

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dc2b11df49f60e809a0167372a6a5421351efeb7..bf1f13aff789cec15c3cb8ee94560e69582cb06f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2015-11-09  Nikolai Bozhenov  <n.bozhenov@samsung.com>
 
+       * sched-int.h (dump_rgn_dependencies_dot): Declare
+       * sched-rgn.c (dump_rgn_dependencies_dot): New function
+       * print-rtl.h (print_insn): Add prototype
+
        * haifa-sched.c (setup_sched_dump): Don't redirect output to stderr.
        * common.opt (-fsched-verbose): Set default value to 1.
        * invoke.texi (-fsched-verbose): Update the option's description.

diff --git a/gcc/print-rtl.h b/gcc/print-rtl.h
index eb079afaa3c115bf0430f5ece69334aa8c54f241..f601d338cfba3fce3077ff69d67c0f8c89eca4ba 100644 (file)
--- a/gcc/print-rtl.h
+++ b/gcc/print-rtl.h
@@ -30,6 +30,8 @@ extern void dump_rtl_slim (FILE *, const rtx_insn *, const rtx_insn *,
                           int, int);
 extern void print_value (pretty_printer *, const_rtx, int);
 extern void print_pattern (pretty_printer *, const_rtx, int);
+extern void print_insn (pretty_printer *pp, const rtx_insn *x, int verbose);
+
 extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block);
 extern const char *str_pattern_slim (const_rtx);
 

diff --git a/gcc/sched-int.h b/gcc/sched-int.h
index 86f582105f8eb89d5ca29a4a1afe8f0586281de2..460034777206eb1b4bf7667b86a8a486123c3d0b 100644 (file)
--- a/gcc/sched-int.h
+++ b/gcc/sched-int.h
@@ -1497,6 +1497,9 @@ extern void compute_priorities (void);
 extern void increase_insn_priority (rtx_insn *, int);
 extern void debug_rgn_dependencies (int);
 extern void debug_dependencies (rtx_insn *, rtx_insn *);
+extern void dump_rgn_dependencies_dot (FILE *);
+extern void dump_rgn_dependencies_dot (const char *);
+
 extern void free_rgn_deps (void);
 extern int contributes_to_priority (rtx_insn *, rtx_insn *);
 extern void extend_rgns (int *, int *, sbitmap, int *);

diff --git a/gcc/sched-rgn.c b/gcc/sched-rgn.c
index eafb3fda6c7953fd8491d7eeb4233a280a9dfc1d..83bb58afdee4188c962d8c5aba2f6580c0d45c72 100644 (file)
--- a/gcc/sched-rgn.c
+++ b/gcc/sched-rgn.c
@@ -63,6 +63,8 @@ along with GCC; see the file COPYING3.  If not see
 #include "sel-sched.h"
 #include "tree-pass.h"
 #include "dbgcnt.h"
+#include "pretty-print.h"
+#include "print-rtl.h"
 
 #ifdef INSN_SCHEDULING
 
@@ -2860,6 +2862,108 @@ void debug_dependencies (rtx_insn *head, rtx_insn *tail)
 
   fprintf (sched_dump, "\n");
 }
+
+/* Dump dependency graph for the current region to a file using dot syntax.  */
+
+void
+dump_rgn_dependencies_dot (FILE *file)
+{
+  rtx_insn *head, *tail, *con, *pro;
+  sd_iterator_def sd_it;
+  dep_t dep;
+  int bb;
+  pretty_printer pp;
+
+  pp.buffer->stream = file;
+  pp_printf (&pp, "digraph SchedDG {\n");
+
+  for (bb = 0; bb < current_nr_blocks; ++bb)
+    {
+      /* Begin subgraph (basic block).  */
+      pp_printf (&pp, "subgraph cluster_block_%d {\n", bb);
+      pp_printf (&pp, "\t" "color=blue;" "\n");
+      pp_printf (&pp, "\t" "style=bold;" "\n");
+      pp_printf (&pp, "\t" "label=\"BB #%d\";\n", BB_TO_BLOCK (bb));
+
+      /* Setup head and tail (no support for EBBs).  */
+      gcc_assert (EBB_FIRST_BB (bb) == EBB_LAST_BB (bb));
+      get_ebb_head_tail (EBB_FIRST_BB (bb), EBB_LAST_BB (bb), &head, &tail);
+      tail = NEXT_INSN (tail);
+
+      /* Dump all insns.  */
+      for (con = head; con != tail; con = NEXT_INSN (con))
+       {
+         if (!INSN_P (con))
+           continue;
+
+         /* Pretty print the insn.  */
+         pp_printf (&pp, "\t%d [label=\"{", INSN_UID (con));
+         pp_write_text_to_stream (&pp);
+         print_insn (&pp, con, /*verbose=*/false);
+         pp_write_text_as_dot_label_to_stream (&pp, /*for_record=*/true);
+         pp_write_text_to_stream (&pp);
+
+         /* Dump instruction attributes.  */
+         pp_printf (&pp, "|{ uid:%d | luid:%d | prio:%d }}\",shape=record]\n",
+                    INSN_UID (con), INSN_LUID (con), INSN_PRIORITY (con));
+
+         /* Dump all deps.  */
+         FOR_EACH_DEP (con, SD_LIST_BACK, sd_it, dep)
+           {
+             int weight = 0;
+             const char *color;
+             pro = DEP_PRO (dep);
+
+             switch (DEP_TYPE (dep))
+               {
+               case REG_DEP_TRUE:
+                 color = "black";
+                 weight = 1;
+                 break;
+               case REG_DEP_OUTPUT:
+               case REG_DEP_ANTI:
+                 color = "orange";
+                 break;
+               case REG_DEP_CONTROL:
+                 color = "blue";
+                 break;
+               default:
+                 gcc_unreachable ();
+               }
+
+             pp_printf (&pp, "\t%d -> %d [color=%s",
+                        INSN_UID (pro), INSN_UID (con), color);
+             if (int cost = dep_cost (dep))
+               pp_printf (&pp, ",label=%d", cost);
+             pp_printf (&pp, ",weight=%d", weight);
+             pp_printf (&pp, "];\n");
+           }
+       }
+      pp_printf (&pp, "}\n");
+    }
+
+  pp_printf (&pp, "}\n");
+  pp_flush (&pp);
+}
+
+/* Dump dependency graph for the current region to a file using dot syntax.  */
+
+DEBUG_FUNCTION void
+dump_rgn_dependencies_dot (const char *fname)
+{
+  FILE *fp;
+
+  fp = fopen (fname, "w");
+  if (!fp)
+    {
+      perror ("fopen");
+      return;
+    }
+
+  dump_rgn_dependencies_dot (fp);
+  fclose (fp);
+}
+
 \f
 /* Returns true if all the basic blocks of the current region have
    NOTE_DISABLE_SCHED_OF_BLOCK which means not to schedule that region.  */