diff options
author | Ben Cheng <bccheng@google.com> | 2014-03-25 22:37:19 -0700 |
---|---|---|
committer | Ben Cheng <bccheng@google.com> | 2014-03-25 22:37:19 -0700 |
commit | 1bc5aee63eb72b341f506ad058502cd0361f0d10 (patch) | |
tree | c607e8252f3405424ff15bc2d00aa38dadbb2518 /gcc-4.9/gcc/graph.c | |
parent | 283a0bf58fcf333c58a2a92c3ebbc41fb9eb1fdb (diff) | |
download | toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.tar.gz toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.tar.bz2 toolchain_gcc-1bc5aee63eb72b341f506ad058502cd0361f0d10.zip |
Initial checkin of GCC 4.9.0 from trunk (r208799).
Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba
Diffstat (limited to 'gcc-4.9/gcc/graph.c')
-rw-r--r-- | gcc-4.9/gcc/graph.c | 334 |
1 files changed, 334 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/graph.c b/gcc-4.9/gcc/graph.c new file mode 100644 index 000000000..f95a525e9 --- /dev/null +++ b/gcc-4.9/gcc/graph.c @@ -0,0 +1,334 @@ +/* Output routines for graphical representation. + Copyright (C) 1998-2014 Free Software Foundation, Inc. + Contributed by Ulrich Drepper <drepper@cygnus.com>, 1998. + Rewritten for DOT output by Steven Bosscher, 2012. + +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 "diagnostic-core.h" /* for fatal_error */ +#include "sbitmap.h" +#include "basic-block.h" +#include "cfgloop.h" +#include "graph.h" +#include "dumpfile.h" +#include "pretty-print.h" + +/* DOT files with the .dot extension are recognized as document templates + by a well-known piece of word processing software out of Redmond, WA. + Therefore some recommend using the .gv extension instead. Obstinately + ignore that recommendation... */ +static const char *const graph_ext = ".dot"; + +/* Open a file with MODE for dumping our graph to. + Return the file pointer. */ +static FILE * +open_graph_file (const char *base, const char *mode) +{ + size_t namelen = strlen (base); + size_t extlen = strlen (graph_ext) + 1; + char *buf = XALLOCAVEC (char, namelen + extlen); + FILE *fp; + + memcpy (buf, base, namelen); + memcpy (buf + namelen, graph_ext, extlen); + + fp = fopen (buf, mode); + if (fp == NULL) + fatal_error ("can%'t open %s: %m", buf); + + return fp; +} + +/* Draw a basic block BB belonging to the function with FUNCDEF_NO + as its unique number. */ +static void +draw_cfg_node (pretty_printer *pp, int funcdef_no, basic_block bb) +{ + const char *shape; + const char *fillcolor; + + if (bb->index == ENTRY_BLOCK || bb->index == EXIT_BLOCK) + { + shape = "Mdiamond"; + fillcolor = "white"; + } + else + { + shape = "record"; + fillcolor = + BB_PARTITION (bb) == BB_HOT_PARTITION ? "lightpink" + : BB_PARTITION (bb) == BB_COLD_PARTITION ? "lightblue" + : "lightgrey"; + } + + pp_printf (pp, + "\tfn_%d_basic_block_%d " + "[shape=%s,style=filled,fillcolor=%s,label=\"", + funcdef_no, bb->index, shape, fillcolor); + + if (bb->index == ENTRY_BLOCK) + pp_string (pp, "ENTRY"); + else if (bb->index == EXIT_BLOCK) + pp_string (pp, "EXIT"); + else + { + pp_left_brace (pp); + pp_write_text_to_stream (pp); + dump_bb_for_graph (pp, bb); + pp_right_brace (pp); + } + + pp_string (pp, "\"];\n\n"); + pp_flush (pp); +} + +/* Draw all successor edges of a basic block BB belonging to the function + with FUNCDEF_NO as its unique number. */ +static void +draw_cfg_node_succ_edges (pretty_printer *pp, int funcdef_no, basic_block bb) +{ + edge e; + edge_iterator ei; + FOR_EACH_EDGE (e, ei, bb->succs) + { + const char *style = "\"solid,bold\""; + const char *color = "black"; + int weight = 10; + + if (e->flags & EDGE_FAKE) + { + style = "dotted"; + color = "green"; + weight = 0; + } + else if (e->flags & EDGE_DFS_BACK) + { + style = "\"dotted,bold\""; + color = "blue"; + weight = 10; + } + else if (e->flags & EDGE_FALLTHRU) + { + color = "blue"; + weight = 100; + } + + if (e->flags & EDGE_ABNORMAL) + color = "red"; + + pp_printf (pp, + "\tfn_%d_basic_block_%d:s -> fn_%d_basic_block_%d:n " + "[style=%s,color=%s,weight=%d,constraint=%s, label=\"[%i%%]\"];\n", + funcdef_no, e->src->index, + funcdef_no, e->dest->index, + style, color, weight, + (e->flags & (EDGE_FAKE | EDGE_DFS_BACK)) ? "false" : "true", + e->probability * 100 / REG_BR_PROB_BASE); + } + pp_flush (pp); +} + +/* Draw all the basic blocks in the CFG in case loops are not available. + First compute a topological order of the blocks to get a good ranking of + the nodes. Then, if any nodes are not reachable from ENTRY, add them at + the end. */ + +static void +draw_cfg_nodes_no_loops (pretty_printer *pp, struct function *fun) +{ + int *rpo = XNEWVEC (int, n_basic_blocks_for_fn (fun)); + int i, n; + sbitmap visited; + + visited = sbitmap_alloc (last_basic_block_for_fn (cfun)); + bitmap_clear (visited); + + n = pre_and_rev_post_order_compute_fn (fun, NULL, rpo, true); + for (i = n_basic_blocks_for_fn (fun) - n; + i < n_basic_blocks_for_fn (fun); i++) + { + basic_block bb = BASIC_BLOCK_FOR_FN (cfun, rpo[i]); + draw_cfg_node (pp, fun->funcdef_no, bb); + bitmap_set_bit (visited, bb->index); + } + free (rpo); + + if (n != n_basic_blocks_for_fn (fun)) + { + /* Some blocks are unreachable. We still want to dump them. */ + basic_block bb; + FOR_ALL_BB_FN (bb, fun) + if (! bitmap_bit_p (visited, bb->index)) + draw_cfg_node (pp, fun->funcdef_no, bb); + } + + sbitmap_free (visited); +} + +/* Draw all the basic blocks in LOOP. Print the blocks in breath-first + order to get a good ranking of the nodes. This function is recursive: + It first prints inner loops, then the body of LOOP itself. */ + +static void +draw_cfg_nodes_for_loop (pretty_printer *pp, int funcdef_no, + struct loop *loop) +{ + basic_block *body; + unsigned int i; + const char *fillcolors[3] = { "grey88", "grey77", "grey66" }; + + if (loop->header != NULL + && loop->latch != EXIT_BLOCK_PTR_FOR_FN (cfun)) + pp_printf (pp, + "\tsubgraph cluster_%d_%d {\n" + "\tstyle=\"filled\";\n" + "\tcolor=\"darkgreen\";\n" + "\tfillcolor=\"%s\";\n" + "\tlabel=\"loop %d\";\n" + "\tlabeljust=l;\n" + "\tpenwidth=2;\n", + funcdef_no, loop->num, + fillcolors[(loop_depth (loop) - 1) % 3], + loop->num); + + for (struct loop *inner = loop->inner; inner; inner = inner->next) + draw_cfg_nodes_for_loop (pp, funcdef_no, inner); + + if (loop->header == NULL) + return; + + if (loop->latch == EXIT_BLOCK_PTR_FOR_FN (cfun)) + body = get_loop_body (loop); + else + body = get_loop_body_in_bfs_order (loop); + + for (i = 0; i < loop->num_nodes; i++) + { + basic_block bb = body[i]; + if (bb->loop_father == loop) + draw_cfg_node (pp, funcdef_no, bb); + } + + free (body); + + if (loop->latch != EXIT_BLOCK_PTR_FOR_FN (cfun)) + pp_printf (pp, "\t}\n"); +} + +/* Draw all the basic blocks in the CFG in case the loop tree is available. + All loop bodys are printed in clusters. */ + +static void +draw_cfg_nodes (pretty_printer *pp, struct function *fun) +{ + if (loops_for_fn (fun)) + draw_cfg_nodes_for_loop (pp, fun->funcdef_no, get_loop (fun, 0)); + else + draw_cfg_nodes_no_loops (pp, fun); +} + +/* Draw all edges in the CFG. Retreating edges are drawin as not + constraining, this makes the layout of the graph better. + (??? Calling mark_dfs_back may change the compiler's behavior when + dumping, but computing back edges here for ourselves is also not + desirable.) */ + +static void +draw_cfg_edges (pretty_printer *pp, struct function *fun) +{ + basic_block bb; + mark_dfs_back_edges (); + FOR_ALL_BB_FN (bb, cfun) + draw_cfg_node_succ_edges (pp, fun->funcdef_no, bb); + + /* Add an invisible edge from ENTRY to EXIT, to improve the graph layout. */ + pp_printf (pp, + "\tfn_%d_basic_block_%d:s -> fn_%d_basic_block_%d:n " + "[style=\"invis\",constraint=true];\n", + fun->funcdef_no, ENTRY_BLOCK, + fun->funcdef_no, EXIT_BLOCK); + pp_flush (pp); +} + +/* Print a graphical representation of the CFG of function FUN. + First print all basic blocks. Draw all edges at the end to get + subgraphs right for GraphViz, which requires nodes to be defined + before edges to cluster nodes properly. */ + +void +print_graph_cfg (const char *base, struct function *fun) +{ + const char *funcname = function_name (fun); + FILE *fp = open_graph_file (base, "a"); + pretty_printer graph_slim_pp; + graph_slim_pp.buffer->stream = fp; + pretty_printer *const pp = &graph_slim_pp; + pp_printf (pp, "subgraph \"%s\" {\n" + "\tcolor=\"black\";\n" + "\tlabel=\"%s\";\n", + funcname, funcname); + draw_cfg_nodes (pp, fun); + draw_cfg_edges (pp, fun); + pp_printf (pp, "}\n"); + pp_flush (pp); + fclose (fp); +} + +/* Start the dump of a graph. */ +static void +start_graph_dump (FILE *fp, const char *base) +{ + pretty_printer graph_slim_pp; + graph_slim_pp.buffer->stream = fp; + pretty_printer *const pp = &graph_slim_pp; + pp_string (pp, "digraph \""); + pp_write_text_to_stream (pp); + pp_string (pp, base); + pp_write_text_as_dot_label_to_stream (pp, /*for_record=*/false); + pp_string (pp, "\" {\n"); + pp_string (pp, "overlap=false;\n"); + pp_flush (pp); +} + +/* End the dump of a graph. */ +static void +end_graph_dump (FILE *fp) +{ + fputs ("}\n", fp); +} + +/* Similar as clean_dump_file, but this time for graph output files. */ +void +clean_graph_dump_file (const char *base) +{ + FILE *fp = open_graph_file (base, "w"); + start_graph_dump (fp, base); + fclose (fp); +} + + +/* Do final work on the graph output file. */ +void +finish_graph_dump_file (const char *base) +{ + FILE *fp = open_graph_file (base, "a"); + end_graph_dump (fp); + fclose (fp); +} |