Machine-readable RTL dumps: print_rtx_function

gcc/ChangeLog:
	* Makefile.in (OBJS): Add print-rtl-function.o.
	* print-rtl-function.c: New file.
	* print-rtl.h (print_rtx_function): New decl.

From-SVN: r240634

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d9f7844..7264cff 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-09-29  David Malcolm  <dmalcolm@redhat.com>
+
+       * Makefile.in (OBJS): Add print-rtl-function.o.
+       * print-rtl-function.c: New file.
+       * print-rtl.h (print_rtx_function): New decl.
+
 2016-09-29  Uros Bizjak  <ubizjak@gmail.com>
 
        PR target/77756

diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index ff12908..15c48bc 100644 (file)
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -1405,6 +1405,7 @@ OBJS = \
        postreload.o \
        predict.o \
        print-rtl.o \
+       print-rtl-function.o \
        print-tree.o \
        profile.o \
        real.o \

diff --git a/gcc/print-rtl-function.c b/gcc/print-rtl-function.c
new file mode 100644 (file)
index 0000000..c4b99c0
--- /dev/null
+++ b/gcc/print-rtl-function.c
@@ -0,0 +1,131 @@
+/* Print RTL functions for GCC.
+   Copyright (C) 2016 Free Software Foundation, Inc.
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation; either version 3, or (at your option) any later
+version.
+
+GCC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
+
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
+#include "rtl.h"
+#include "alias.h"
+#include "tree.h"
+#include "cfg.h"
+#include "flags.h"
+#include "predict.h"
+#include "function.h"
+#include "basic-block.h"
+#include "print-rtl.h"
+#include "langhooks.h"
+#include "emit-rtl.h"
+
+/* Write FN to OUTFILE in a form suitable for parsing, with indentation
+   and comments to make the structure easy for a human to grok.
+
+   Example output:
+
+     (function "times_two"
+       (insn-chain
+        (note 1 0 4 (nil) NOTE_INSN_DELETED)
+        (note 4 1 2 2 [bb 2] NOTE_INSN_BASIC_BLOCK)
+        (insn 2 4 3 2 (set (mem/c:SI (plus:DI (reg/f:DI 82 virtual-stack-vars)
+                            (const_int -4 [0xfffffffffffffffc])) [1 i+0 S4 A32])
+                    (reg:SI 5 di [ i ])) t.c:2 -1
+                 (nil))
+        (note 3 2 6 2 NOTE_INSN_FUNCTION_BEG)
+        (insn 6 3 7 2 (set (reg:SI 89)
+                    (mem/c:SI (plus:DI (reg/f:DI 82 virtual-stack-vars)
+                            (const_int -4 [0xfffffffffffffffc])) [1 i+0 S4 A32])) t.c:3 -1
+                 (nil))
+        (insn 7 6 10 2 (parallel [
+                        (set (reg:SI 87 [ _2 ])
+                            (ashift:SI (reg:SI 89)
+                                (const_int 1 [0x1])))
+                        (clobber (reg:CC 17 flags))
+                    ]) t.c:3 -1
+                 (expr_list:REG_EQUAL (ashift:SI (mem/c:SI (plus:DI (reg/f:DI 82 virtual-stack-vars)
+                                (const_int -4 [0xfffffffffffffffc])) [1 i+0 S4 A32])
+                        (const_int 1 [0x1]))
+                    (nil)))
+        (insn 10 7 14 2 (set (reg:SI 88 [ <retval> ])
+                    (reg:SI 87 [ _2 ])) t.c:3 -1
+                 (nil))
+        (insn 14 10 15 2 (set (reg/i:SI 0 ax)
+                    (reg:SI 88 [ <retval> ])) t.c:4 -1
+                 (nil))
+        (insn 15 14 0 2 (use (reg/i:SI 0 ax)) t.c:4 -1
+                 (nil))
+       ) ;; insn-chain
+       (cfg
+        (bb 0
+          (edge 0 2 (flags 0x1))
+        ) ;; bb
+        (bb 2
+          (edge 2 1 (flags 0x1))
+        ) ;; bb
+        (bb 1
+        ) ;; bb
+       ) ;; cfg
+       (crtl
+        (return_rtx
+          (reg/i:SI 0 ax)
+        ) ;; return_rtx
+       ) ;; crtl
+     ) ;; function "times_two"
+*/
+
+DEBUG_FUNCTION void
+print_rtx_function (FILE *outfile, function *fn)
+{
+  tree fdecl = fn->decl;
+
+  const char *dname = lang_hooks.decl_printable_name (fdecl, 2);
+
+  fprintf (outfile, "(function \"%s\"\n", dname);
+
+  /* The instruction chain.  */
+  fprintf (outfile, "  (insn-chain\n");
+  for (rtx_insn *insn = get_insns (); insn; insn = NEXT_INSN (insn))
+    print_rtl_single_with_indent (outfile, insn, 4);
+  fprintf (outfile, "  ) ;; insn-chain\n");
+
+  /* The CFG.  */
+  fprintf (outfile, "  (cfg\n");
+  {
+    basic_block bb;
+    FOR_ALL_BB_FN (bb, fn)
+      {
+       fprintf (outfile, "    (bb %i\n", bb->index);
+       edge e;
+       edge_iterator ei;
+       FOR_EACH_EDGE (e, ei, bb->succs)
+         fprintf (outfile, "      (edge %i %i (flags 0x%x))\n",
+                  e->src->index, e->dest->index, e->flags);
+       fprintf (outfile, "    ) ;; bb\n");
+      }
+  }
+  fprintf (outfile, "  ) ;; cfg\n");
+
+  /* Additional RTL state.  */
+  fprintf (outfile, "  (crtl\n");
+  fprintf (outfile, "    (return_rtx \n");
+  print_rtl_single_with_indent (outfile, crtl->return_rtx, 6);
+  fprintf (outfile, "    ) ;; return_rtx\n");
+  fprintf (outfile, "  ) ;; crtl\n");
+
+  fprintf (outfile, ") ;; function \"%s\"\n", dname);
+}

diff --git a/gcc/print-rtl.h b/gcc/print-rtl.h
index e585a63..9cad683 100644 (file)
--- a/gcc/print-rtl.h
+++ b/gcc/print-rtl.h
@@ -36,4 +36,6 @@ 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);
 
+extern void print_rtx_function (FILE *file, function *fn);
+
 #endif  // GCC_PRINT_RTL_H