[v1,02/18] graph: add debugging for (reverse) postorder traversal

Commit Message

Luc Van Oostenryck March 20, 2018, 12:52 a.m. UTC

Just use the flag '-vpostorder' to dump the links once calculated.

Signed-off-by: Luc Van Oostenryck <[e-mail]>
---
 Documentation/dev-options.md |  1 +
 flowgraph.c                  | 13 +++++++++++++
 lib.c                        |  2 ++
 lib.h                        |  1 +
 4 files changed, 17 insertions(+)

Patch

diff --git a/Documentation/dev-options.md b/Documentation/dev-options.md
index 7c278135a..b288d904c 100644
--- a/Documentation/dev-options.md
+++ b/Documentation/dev-options.md
@@ -32,3 +32,4 @@  document options only useful for development on sparse itself.
   Add or display some debug info. The flag can be one of:
   * 'dead': annotate dead pseudos.
   * 'entry': dump the IR after all optimization passes.
+  * 'postorder': dump the reverse postorder traversal of the CFG.
diff --git a/flowgraph.c b/flowgraph.c
index 89897fa48..40a75e825 100644
--- a/flowgraph.c
+++ b/flowgraph.c
@@ -8,6 +8,7 @@ 
 #include "flowgraph.h"
 #include "linearize.h"
 #include "flow.h"			// for bb_generation
+#include <stdio.h>
 
 
 struct cfg_info {
@@ -41,6 +42,16 @@  static void reverse_bbs(struct basic_block_list **dst, struct basic_block_list *
 	} END_FOR_EACH_PTR_REVERSE(bb);
 }
 
+static void debug_postorder(struct entrypoint *ep)
+{
+	struct basic_block *bb;
+
+	printf("%s's reverse postorder:\n", show_ident(ep->name->ident));
+	FOR_EACH_PTR(ep->bbs, bb) {
+		printf("\t.L%u: %u\n", bb->nr, bb->postorder_nr);
+	} END_FOR_EACH_PTR(bb);
+}
+
 //
 // cfg_postorder - Set the BB's reverse postorder links
 //
@@ -61,5 +72,7 @@  int cfg_postorder(struct entrypoint *ep)
 	ep->bbs = NULL;
 	reverse_bbs(&ep->bbs, info.list);
 	free_ptr_list(&info.list);
+	if (dbg_postorder)
+		debug_postorder(ep);
 	return info.nr;
 }
diff --git a/lib.c b/lib.c
index 73d372c36..26645b156 100644
--- a/lib.c
+++ b/lib.c
@@ -258,6 +258,7 @@  int dump_macro_defs = 0;
 
 int dbg_entry = 0;
 int dbg_dead = 0;
+int dbg_postorder = 0;
 
 unsigned long fdump_ir;
 int fmem_report = 0;
@@ -717,6 +718,7 @@  static char **handle_switch_W(char *arg, char **next)
 static struct flag debugs[] = {
 	{ "entry", &dbg_entry},
 	{ "dead", &dbg_dead},
+	{ "postorder", &dbg_postorder},
 };
 
 
diff --git a/lib.h b/lib.h
index 3050b5577..321655485 100644
--- a/lib.h
+++ b/lib.h
@@ -167,6 +167,7 @@  extern int dump_macro_defs;
 
 extern int dbg_entry;
 extern int dbg_dead;
+extern int dbg_postorder;
 
 extern unsigned int fmax_warnings;
 extern int fmem_report;