-/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe
-* All rights reserved.
-*
-* Authors: Martin Trapp, Christian Schaefer
-*
-* irdump.h: dumping of an intermediate representation graph
-*/
+/*
+ * Project: libFIRM
+ * File name: ir/ir/irdump.c
+ * Purpose: Write vcg representation of firm to file.
+ * Author: Martin Trapp, Christian Schaefer
+ * Modified by: Goetz Lindenmaier, Hubert Schmidt
+ * Created:
+ * CVS-ID: $Id$
+ * Copyright: (c) 1998-2003 Universität Karlsruhe
+ * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ */
-/* $Id$ */
#ifdef HAVE_CONFIG_H
# include <config.h>
# include "irgwalk.h"
# include "typewalk.h"
# include "irprog.h"
-# include "tv.h"
+# include "tv_t.h"
# include "type_or_entity.h"
# include "irouts.h"
# include "irdom.h"
/* Attributes of nodes */
-#define DEFAULT_NODE_ATTR ""
-#define DEFAULT_TYPE_ATTRIBUTE ""
+#define PRINT_DEFAULT_NODE_ATTR
+#define DEFAULT_NODE_ATTR " "
+#define DEFAULT_TYPE_ATTRIBUTE " "
/* Attributes of edges between Firm nodes */
#define BLOCK_EDGE_ATTR "class: 2 priority: 2 linestyle: dotted"
#if DEBUG_libfirm && NODEID_AS_LABEL
#define PRINT_NODEID(X) fprintf(F, "n%ld", get_irn_node_nr(X))
-#define PRINT_TYPEID(X) fprintf(F, "t%ld", get_type_nr(X))
-#define PRINT_ENTID(X) fprintf(F, "e%ld", get_entity_nr(X))
-#define PRINT_IRGID(X) fprintf(F,"g%ld", get_irg_graph_nr(X))
+#define PRINT_TYPEID(X) fprintf(F, "\"t%ld\"", get_type_nr(X))
+#define PRINT_ENTID(X) fprintf(F, "e%ld", get_entity_nr(X))
+#define PRINT_IRGID(X) fprintf(F, "g%ld", get_irg_graph_nr(X))
+#define PRINT_CONSTID(X,Y) fprintf(F, "\"n%ldn%ld\"", get_irn_node_nr(X),get_irn_node_nr(Y))
+
#else
-#define PRINT_NODEID(X) fprintf(F, "%p", X)
-#define PRINT_TYPEID(X) fprintf(F, "%p", X)
-#define PRINT_ENTID(X) fprintf(F, "%p", X)
-#define PRINT_IRGID(X) fprintf(F,"%p",X)
+#define PRINT_NODEID(X) fprintf(F, "n%p", (void*) X)
+#define PRINT_TYPEID(X) fprintf(F, "\"t%p\"", (void *) X)
+#define PRINT_ENTID(X) fprintf(F, "e%p", (void*) X)
+#define PRINT_IRGID(X) fprintf(F, "g%p",(void*) X)
+#define PRINT_CONSTID(X,Y) fprintf(F, "\"%p%p\"", (void*) X, (void*) Y)
#endif
-#define PRINT_TYPE_TYPE_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_TYPEID(S); fprintf (F, "\" targetname: \""); PRINT_TYPEID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
-#define PRINT_TYPE_ENT_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_TYPEID(S); fprintf (F, "\" targetname: \""); PRINT_ENTID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
-#define PRINT_ENT_ENT_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_ENTID(S); fprintf (F, "\" targetname: \""); PRINT_ENTID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
-#define PRINT_ENT_TYPE_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_ENTID(S); fprintf (F, "\" targetname: \""); PRINT_TYPEID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
-#define PRINT_NODE_TYPE_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_NODEID(S); fprintf (F, "\" targetname: \""); PRINT_TYPEID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
-#define PRINT_NODE_ENT_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_NODEID(S); fprintf (F, "\" targetname: \""); PRINT_ENTID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
-#define PRINT_ENT_NODE_EDGE(S,T,ATR,...) {fprintf (F, "edge: { sourcename:\""); PRINT_ENTID(S); fprintf (F, "\" targetname: \""); PRINT_NODEID(T); fprintf (F,"\" " ATR "}\n",##__VA_ARGS__);}
+#define PRINT_TYPE_TYPE_EDGE(S,T,...){fprintf (F, "edge: { sourcename: "); PRINT_TYPEID(S); fprintf (F, " targetname: "); PRINT_TYPEID(T); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
+#define PRINT_TYPE_ENT_EDGE(S,T,...) {fprintf (F, "edge: { sourcename: "); PRINT_TYPEID(S); fprintf (F, " targetname: \""); PRINT_ENTID(T); fprintf(F, "\""); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
+#define PRINT_ENT_ENT_EDGE(S,T,...) {fprintf (F, "edge: { sourcename: \""); PRINT_ENTID(S); fprintf (F, "\" targetname: \""); PRINT_ENTID(T); fprintf(F, "\""); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
+#define PRINT_ENT_TYPE_EDGE(S,T,...) {fprintf (F, "edge: { sourcename: \""); PRINT_ENTID(S); fprintf (F, "\" targetname: "); PRINT_TYPEID(T); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
+#define PRINT_NODE_TYPE_EDGE(S,T,...){fprintf (F, "edge: { sourcename: \""); PRINT_NODEID(S); fprintf (F, "\" targetname: "); PRINT_TYPEID(T); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
+#define PRINT_NODE_ENT_EDGE(S,T,...) {fprintf (F, "edge: { sourcename: \""); PRINT_NODEID(S); fprintf (F, "\" targetname: \""); PRINT_ENTID(T); fprintf(F, "\""); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
+#define PRINT_ENT_NODE_EDGE(S,T,...) {fprintf (F, "edge: { sourcename: \""); PRINT_ENTID(S); fprintf (F, "\" targetname: \""); PRINT_NODEID(T); fprintf(F, "\""); fprintf (F, ##__VA_ARGS__); fprintf(F,"}\n"); }
/* A suffix to manipulate the file name. */
int dump_dominator_information_flag = 0;
int dump_loop_information_flag = 0;
int dump_const_local = 0;
+bool opt_dump_analysed_type_info = 1;
-static INLINE bool dump_const_local_set(void) {
+INLINE bool get_opt_dump_const_local(void) {
if (!dump_out_edge_flag && !dump_loop_information_flag)
return dump_const_local;
else
static INLINE void
dump_node_opcode (ir_node *n)
{
- assert(n && n->op);
+ char buf[1024];
+ int res;
/* Const */
- if (n->op->code == iro_Const) {
- xfprintf (F, "%v", n->attr.con);
+ if (get_irn_opcode(n) == iro_Const) { res = tarval_snprintf(buf, sizeof(buf), get_Const_tarval(n));
+ assert(res < sizeof(buf) && "buffer to small for tarval_snprintf");
+ fprintf(F, buf);
/* SymConst */
- } else if (n->op->code == iro_SymConst) {
+ } else if (get_irn_opcode(n) == iro_SymConst) {
if (get_SymConst_kind(n) == linkage_ptr_info) {
/* don't use get_SymConst_ptr_info as it mangles the name. */
- xfprintf (F, "SymC %I", n->attr.i.tori.ptrinfo);
+ fprintf (F, "SymC %s", get_id_str(get_SymConst_ptrinfo(n)));
} else {
assert(get_kind(get_SymConst_type(n)) == k_type);
assert(get_type_ident(get_SymConst_type(n)));
- xfprintf (F, "SymC %I ", get_type_ident(get_SymConst_type(n)));
+ fprintf (F, "SymC %s ", get_type_name(get_SymConst_type(n)));
if (get_SymConst_kind(n) == type_tag)
fprintf (F, "tag");
else
}
/* Filter */
- } else if (n->op->code == iro_Filter && !interprocedural_view) {
+ } else if (get_irn_opcode(n) == iro_Filter && !interprocedural_view) {
fprintf(F, "Proj'");
/* all others */
} else {
- xfprintf (F, "%I", get_irn_opident(n));
+ fprintf (F, "%s", get_id_str(get_irn_opident(n)));
}
}
static INLINE void
dump_node_mode (ir_node *n)
{
- switch (n->op->code) {
+ switch (get_irn_opcode(n)) {
case iro_Phi:
case iro_Const:
case iro_Id:
case iro_Shr:
case iro_Abs:
case iro_Cmp:
- xfprintf (F, "%I", get_mode_ident(n->mode));
+ fprintf (F, "%s", get_mode_name(get_irn_mode(n)));
break;
default:
;
}
}
+static void dump_node_typeinfo(ir_node *n) {
+ if (!opt_dump_analysed_type_info) return;
+ if (get_irg_typeinfo_state(current_ir_graph) == irg_typeinfo_consistent ||
+ get_irg_typeinfo_state(current_ir_graph) == irg_typeinfo_inconsistent ) {
+ type *tp = get_irn_type(n);
+ if (tp != none_type)
+ fprintf (F, " [%s]", get_type_name(tp));
+ else
+ fprintf (F, " []");
+ }
+}
+
static INLINE void
dump_node_nodeattr (ir_node *n)
{
- switch (n->op->code) {
+ switch (get_irn_opcode(n)) {
case iro_Start:
if (false && interprocedural_view) {
- xfprintf (F, "%I", get_entity_ident(get_irg_ent(current_ir_graph)));
+ fprintf (F, "%s", get_entity_name(get_irg_ent(current_ir_graph)));
}
break;
case iro_Proj:
- if (n->in[1]->op->code == iro_Cmp) {
- fprintf (F, "%s", get_pnc_string(n->attr.proj));
+ if (get_irn_opcode(get_Proj_pred(n)) == iro_Cmp) {
+ fprintf (F, "%s", get_pnc_string(get_Proj_proj(n)));
} else {
- xfprintf (F, "%ld", n->attr.proj);
+ fprintf (F, "%ld", get_Proj_proj(n));
}
break;
case iro_Filter:
- xfprintf (F, "%ld", n->attr.filter.proj);
+ fprintf (F, "%ld", get_Filter_proj(n));
break;
case iro_Sel: {
assert(get_kind(get_Sel_entity(n)) == k_entity);
- xfprintf (F, "%I", get_entity_ident(get_Sel_entity(n)));
+ fprintf (F, "%s", get_entity_name(get_Sel_entity(n)));
+ } break;
+ case iro_Cast: {
+ fprintf (F, "(%s)", get_type_name(get_Cast_type(n)));
} break;
default:
;
static INLINE void
dump_node_vcgattr (ir_node *n)
{
- switch (n->op->code) {
+ switch (get_irn_opcode(n)) {
case iro_Start:
case iro_EndReg:
/* fall through */
fprintf (F, "color: yellow");
break;
default:
- xfprintf (F, DEFAULT_NODE_ATTR);
+ PRINT_DEFAULT_NODE_ATTR;
}
}
+static INLINE void
+dump_node_info (ir_node *n) {
+ int i;
+ fprintf (F, " info1: \"");
+ fprintf (F, "visited: %ld \n", get_irn_visited(n));
+
+ /* Source types */
+ switch(get_irn_opcode(n)) {
+ case iro_Start: {
+ type *tp = get_entity_type(get_irg_ent(get_Start_irg(n)));
+ fprintf(F, "start of method of type %s \n", get_type_name(tp));
+ for (i = 0; i < get_method_n_params(tp); ++i)
+ fprintf(F, " param %d type: %s \n", i, get_type_name(get_method_param_type(tp, i)));
+ } break;
+ case iro_Alloc: {
+ fprintf(F, "allocating entity of type %s \n", get_type_name(get_Alloc_type(n)));
+ } break;
+ case iro_Free: {
+ fprintf(F, "freeing entity of type %s \n", get_type_name(get_Free_type(n)));
+ } break;
+ case iro_Sel: {
+ fprintf(F, "Selecting entity of type %s \n", get_type_name(get_entity_type(get_Sel_entity(n))));
+ fprintf(F, " from entity of type %s \n", get_type_name(get_entity_owner(get_Sel_entity(n))));
+ } break;
+ case iro_Call: {
+ type *tp = get_Call_type(n);
+ fprintf(F, "calling method of type %s \n", get_type_name(tp));
+ for (i = 0; i < get_method_n_params(tp); ++i)
+ fprintf(F, " param %d type: %s \n", i, get_type_name(get_method_param_type(tp, i)));
+ for (i = 0; i < get_method_n_ress(tp); ++i)
+ fprintf(F, " resul %d type: %s \n", i, get_type_name(get_method_res_type(tp, i)));
+ } break;
+ case iro_Return: {
+ if (!interprocedural_view) {
+ type *tp = get_entity_type(get_irg_ent(current_ir_graph));
+ fprintf(F, "return in method of type %s \n", get_type_name(tp));
+ for (i = 0; i < get_method_n_ress(tp); ++i)
+ fprintf(F, " res %d type: %s \n", i, get_type_name(get_method_res_type(tp, i)));
+ }
+ } break;
+ case iro_Const: {
+ type *tp = get_Const_type(n);
+ assert(tp != none_type);
+ fprintf(F, "Const of type %s \n", get_type_name(get_Const_type(n)));
+ } break;
+ default: ;
+ }
+
+ if (get_irg_typeinfo_state(current_ir_graph) == irg_typeinfo_consistent ||
+ get_irg_typeinfo_state(current_ir_graph) == irg_typeinfo_inconsistent )
+ if (get_irn_type(n) != none_type)
+ fprintf (F, "\nAnalysed type: %s", get_type_name(get_irn_type(n)));
+
+ fprintf (F, "\"");
+
+}
+
static bool pred_in_wrong_graph(ir_node *n, int pos, pmap *irgmap) {
ir_node *block = (is_Block(n)) ? n : get_nodes_Block(n);
static void dump_const_node_local(ir_node *n, pmap *irgmap) {
int i;
- if (!dump_const_local_set()) return;
+ if (!get_opt_dump_const_local()) return;
/* Use visited flag to avoid outputting nodes twice.
initialize it first. */
for (i = 0; i < get_irn_arity(n); i++) {
mark_irn_visited(con);
/* Generate a new name for the node by appending the names of
n and const. */
- fprintf (F, "node: {title: \""); PRINT_NODEID(n); PRINT_NODEID(con);
- fprintf(F, "\" label: \"");
+ fprintf (F, "node: {title: "); PRINT_CONSTID(n,con);
+ fprintf(F, " label: \"");
dump_node_opcode(con);
dump_node_mode (con);
+ dump_node_typeinfo(con);
fprintf (F, " ");
dump_node_nodeattr(con);
#ifdef DEBUG_libfirm
- xfprintf (F, " %ld", get_irn_node_nr(con));
+ fprintf (F, " %ld", get_irn_node_nr(con));
#endif
fprintf (F, "\" ");
dump_node_vcgattr(con);
+ dump_node_info(con);
fprintf (F, "}\n");
}
}
static void
dump_node (ir_node *n, pmap * map) {
- if (dump_const_local_set() && is_constlike_node(n)) return;
+ if (get_opt_dump_const_local() && is_constlike_node(n)) return;
/* dump this node */
fprintf (F, "node: {title: \""); PRINT_NODEID(n); fprintf(F, "\" label: \"");
dump_node_opcode(n);
dump_node_mode (n);
+ dump_node_typeinfo(n);
fprintf (F, " ");
dump_node_nodeattr(n);
#ifdef DEBUG_libfirm
- xfprintf (F, " %ld", get_irn_node_nr(n));
+ fprintf (F, " %ld", get_irn_node_nr(n));
#endif
fprintf (F, "\" ");
dump_node_vcgattr(n);
+ dump_node_info(n);
fprintf (F, "}\n");
dump_const_node_local(n, map);
}
-static void
-dump_ir_node (ir_node *n)
-{
- /* dump this node */
- fprintf (F, "node: {title: \""); PRINT_NODEID(n); fprintf(F, "\" label: ");
-
- switch (n->op->code) { /* node label */
- case iro_Start:
- xfprintf (F, "\"%I\" color: blue ", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_EndReg:
- /* fall through */
- case iro_EndExcept:
- /* fall through */
- case iro_End:
- xfprintf (F, "\"%I\" color: blue ", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Block:
- xfprintf (F, "\"%I\" color: lightyellow ", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Phi:
- xfprintf (F, "\"%I%I\" color: green", get_irn_opident(n), get_irn_modeident(n));
- if (get_irn_modecode(n) == irm_M)
- xfprintf (F, DEFAULT_NODE_ATTR " color: green");
- else
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Const:
- xfprintf (F, "\"%v%I\" color: yellow ", n->attr.con, get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Id:
- xfprintf (F, "\"%I%I\" ", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Proj:
- if (n->in[1]->op->code == iro_Cmp) {
- xfprintf (F, "\"%I%I %s\" color: yellow", get_irn_opident(n), get_irn_modeident(n),
- get_pnc_string(n->attr.proj));
- } else {
- xfprintf (F, "\"%I%I %ld\"", get_irn_opident(n), get_irn_modeident(n), n->attr.proj);
- }
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Filter:
- xfprintf (F, "\"%I%I %ld\"", get_irn_opident(n), get_irn_modeident(n), n->attr.filter.proj);
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Conv:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Tuple:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Add:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Sub:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Mul:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Quot:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_DivMod:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Div:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Mod:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_And:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Or:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Eor:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Shl:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Shr:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Abs:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Cmp:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Jmp:
- xfprintf (F, "\"%I\"", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Break:
- xfprintf (F, "\"%I\"", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Cond:
- xfprintf (F, "\"%I\"", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Call:
- xfprintf (F, "\"%I\"", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_CallBegin:
- xfprintf (F, "\"%I\"", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Return:
- xfprintf (F, "\"%I\"", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Raise:
- xfprintf (F, "\"%I%I\"", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Load:
- case iro_Store:
- xfprintf (F, "\"%R\"", n);
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Alloc:
- xfprintf (F, "\"%I\" ", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Sel:
- assert(get_kind(get_Sel_entity(n)) == k_entity);
- xfprintf (F, "\"%I ", get_irn_opident(n));
- xfprintf (F, "%I", get_entity_ident(get_Sel_entity(n)));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_SymConst:
- assert(get_kind(get_SymConst_type(n)) == k_type);
- assert(get_type_ident(get_SymConst_type(n)));
- fprintf (F, "\"%s ", get_type_name(get_SymConst_type(n)));
- switch (n->attr.i.num){
- case type_tag:
- fprintf (F, "tag\" ");
- break;
- case size:
- fprintf (F, "size\" ");
- break;
- default:
- assert(0);
- break;
- }
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Sync:
- xfprintf (F, "\"%I\" ", get_irn_opident(n));
- xfprintf (F, DEFAULT_NODE_ATTR " color: green");
- break;
- case iro_Bad:
- xfprintf (F, "\"%I%I\" ", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- case iro_Unknown:
- xfprintf (F, "\"%I%I\" ", get_irn_opident(n), get_irn_modeident(n));
- xfprintf (F, DEFAULT_NODE_ATTR);
- break;
- default:
- xfprintf (F, "\"%I%I\" ", get_irn_opident(n), get_irn_modeident(n));
- }
- fprintf (F, "}\n"); /* footer */
-}
-
-
/* dump the edge to the block this node belongs to */
static void
dump_ir_block_edge(ir_node *n) {
- if (dump_const_local_set() && is_constlike_node(n)) return;
+ if (get_opt_dump_const_local() && is_constlike_node(n)) return;
if (is_no_Block(n)) {
fprintf (F, "edge: { sourcename: \"");
PRINT_NODEID(n);
fprintf (F, "\" targetname: \"");
PRINT_NODEID(get_nodes_Block(n));
- xfprintf (F, "\" " BLOCK_EDGE_ATTR "}\n");
+ fprintf (F, "\" " BLOCK_EDGE_ATTR "}\n");
}
}
static void print_edge_vcgattr(ir_node *from, int to) {
assert(from);
- if (is_backedge(from, to)) xfprintf (F, BACK_EDGE_ATTR);
+ if (is_backedge(from, to)) fprintf (F, BACK_EDGE_ATTR);
switch (get_irn_opcode(from)) {
case iro_Block:
- xfprintf (F, CF_EDGE_ATTR);
+ fprintf (F, CF_EDGE_ATTR);
break;
case iro_Start: break;
case iro_End:
if (to >= 0) {
if (get_irn_mode(get_End_keepalive(from, to)) == mode_BB)
- xfprintf (F, CF_EDGE_ATTR);
+ fprintf (F, CF_EDGE_ATTR);
if (get_irn_mode(get_End_keepalive(from, to)) == mode_X)
- xfprintf (F, MEM_EDGE_ATTR);
+ fprintf (F, MEM_EDGE_ATTR);
}
break;
case iro_EndReg: break;
case iro_Cond: break;
case iro_Return:
case iro_Raise:
- if (to == 0) xfprintf (F, MEM_EDGE_ATTR);
+ if (to == 0) fprintf (F, MEM_EDGE_ATTR);
break;
case iro_Const: break;
case iro_SymConst:break;
case iro_Sel:
case iro_Call:
- if (to == 0) xfprintf (F, MEM_EDGE_ATTR);
+ if (to == 0) fprintf (F, MEM_EDGE_ATTR);
break;
case iro_CallBegin: break;
case iro_Add: break;
case iro_DivMod:
case iro_Div:
case iro_Mod:
- if (to == 0) xfprintf (F, MEM_EDGE_ATTR);
+ if (to == 0) fprintf (F, MEM_EDGE_ATTR);
break;
case iro_Abs: break;
case iro_And: break;
case iro_Cmp: break;
case iro_Conv: break;
case iro_Phi:
- if (get_irn_modecode(from) == irm_M) xfprintf (F, MEM_EDGE_ATTR);
+ if (get_irn_modecode(from) == irm_M) fprintf (F, MEM_EDGE_ATTR);
break;
case iro_Load:
case iro_Store:
case iro_Alloc:
case iro_Free:
- if (to == 0) xfprintf (F, MEM_EDGE_ATTR);
+ if (to == 0) fprintf (F, MEM_EDGE_ATTR);
break;
case iro_Sync:
- xfprintf (F, MEM_EDGE_ATTR);
+ fprintf (F, MEM_EDGE_ATTR);
break;
case iro_Tuple: break;
case iro_Proj:
case iro_Filter:
switch (get_irn_modecode(from)) {
case irm_X:
- xfprintf (F, CF_EDGE_ATTR);
+ fprintf (F, CF_EDGE_ATTR);
break;
case irm_M:
- xfprintf (F, MEM_EDGE_ATTR);
+ fprintf (F, MEM_EDGE_ATTR);
break;
default: break;
}
else
fprintf (F, "edge: {sourcename: \"");
PRINT_NODEID(n);
- fprintf (F, "\" targetname: \"");
- if ((dump_const_local_set()) && is_constlike_node(pred))
- PRINT_NODEID(n);
- PRINT_NODEID(pred);
- fprintf (F, "\"");
+ fprintf (F, "\" targetname: ");
+ if ((get_opt_dump_const_local()) && is_constlike_node(pred))
+ {
+ PRINT_CONSTID(n,pred);
+ }
+ else
+ {fprintf(F, "\""); PRINT_NODEID(pred); fprintf(F, "\"");
+ }
fprintf (F, " label: \"%d\" ", i);
print_edge_vcgattr(n, i);
fprintf (F, "}\n");
static INLINE void
dump_loop_node_edge (ir_loop *loop, int i) {
assert(loop);
- fprintf (F, "edge: {sourcename: \"%p\" targetname: \"", loop);
+ fprintf (F, "edge: {sourcename: \"%p\" targetname: \"", (void*) loop);
PRINT_NODEID(get_loop_node(loop, i));
fprintf (F, "\" color: green");
fprintf (F, "}\n");
int i;
/* dump this loop node */
fprintf (F, "node: {title: \"%p\" label: \"loop %d, %d sons, %d nodes\" }\n",
- loop, get_loop_depth(loop), get_loop_n_sons(loop), get_loop_n_nodes(loop));
+ (void*)loop, get_loop_depth(loop), get_loop_n_sons(loop), get_loop_n_nodes(loop));
/* dump edges to nodes in loop -- only if it is a real loop */
if (get_loop_depth(loop) != 0) {
for (i = 0; i < get_loop_n_nodes(loop); i++) {
case iro_SymConst:
if ( (get_SymConst_kind(n) == type_tag)
|| (get_SymConst_kind(n) == size))
- {
- PRINT_NODE_TYPE_EDGE(n,get_SymConst_type(n),NODE2TYPE_EDGE_ATTR);
- }
+ {
+ PRINT_NODE_TYPE_EDGE(n,get_SymConst_type(n),NODE2TYPE_EDGE_ATTR);
+ }
break;
case iro_Sel: {
- PRINT_NODE_ENT_EDGE(n,get_Sel_entity(n),NODE2TYPE_EDGE_ATTR);
+ PRINT_NODE_ENT_EDGE(n,get_Sel_entity(n),NODE2TYPE_EDGE_ATTR);
} break;
case iro_Call: {
- PRINT_NODE_TYPE_EDGE(n,get_Call_type(n),NODE2TYPE_EDGE_ATTR);
+ PRINT_NODE_TYPE_EDGE(n,get_Call_type(n),NODE2TYPE_EDGE_ATTR);
} break;
case iro_Alloc: {
- PRINT_NODE_TYPE_EDGE(n,get_Alloc_type(n),NODE2TYPE_EDGE_ATTR);
+ PRINT_NODE_TYPE_EDGE(n,get_Alloc_type(n),NODE2TYPE_EDGE_ATTR);
} break;
case iro_Free: {
- PRINT_NODE_TYPE_EDGE(n,get_Free_type(n),NODE2TYPE_EDGE_ATTR);
+ PRINT_NODE_TYPE_EDGE(n,get_Free_type(n),NODE2TYPE_EDGE_ATTR);
+ } break;
+ case iro_Cast: {
+ PRINT_NODE_TYPE_EDGE(n,get_Cast_type(n),NODE2TYPE_EDGE_ATTR);
} break;
default:
break;
fprintf(F, "state: layout_fixed,\n");
}
if (get_type_mode(tp))
- xfprintf(F, "mode: %I,\n", get_mode_ident(get_type_mode(tp)));
+ fprintf(F, "mode: %s,\n", get_mode_name(get_type_mode(tp)));
fprintf(F, "size: %dB,\n", get_type_size(tp));
}
switch (get_type_tpop_code(tp)) {
case tpo_class:
{
- if(existent == get_class_peculiarity(tp))
- xfprintf (F, " " TYPE_CLASS_NODE_ATTR);
+ if (peculiarity_existent == get_class_peculiarity(tp))
+ fprintf (F, " " TYPE_CLASS_NODE_ATTR);
else
- xfprintf (F, " " TYPE_DESCRIPTION_NODE_ATTR);
+ fprintf (F, " " TYPE_DESCRIPTION_NODE_ATTR);
} break;
case tpo_struct:
{
- xfprintf (F, " " TYPE_METH_NODE_ATTR);
+ fprintf (F, " " TYPE_METH_NODE_ATTR);
} break;
case tpo_method:
{
} /* switch type */
}
-static void print_type_node(type *tp) {
- xfprintf (F, "node: {title: \"");
+static void print_type_node(type *tp)
+{
+ fprintf (F, "node: {title: ");
PRINT_TYPEID(tp);
- xfprintf (F, "\" label: \"%I %I\"", get_type_tpop_nameid(tp), get_type_ident(tp));
- xfprintf (F, "info1: \"");
+ fprintf (F, " label: \"%s %s\"", get_type_tpop_name(tp), get_type_name(tp));
+ fprintf (F, " info1: \"");
print_type_info(tp);
- xfprintf (F, "\"");
+ fprintf (F, "\"");
print_typespecific_info(tp);
- xfprintf (F, "}\n");
+ fprintf (F, "}\n");
}
-void dump_entity_node(entity *ent) {
- xfprintf (F, "node: {title: \"");
- PRINT_ENTID(ent);
- xfprintf (F, "\"" DEFAULT_TYPE_ATTRIBUTE);
- xfprintf (F, "label: ");
- xfprintf (F, "\"ent %I\" " ENTITY_NODE_ATTR , get_entity_ident(ent));
- fprintf (F, "\n info1:\"\nallocation: ");
+#define X(a) case a: fprintf(F, #a); break
+void dump_entity_node(entity *ent)
+{
+ fprintf (F, "node: {title: \"");
+ PRINT_ENTID(ent); fprintf(F, "\"");
+ fprintf (F, DEFAULT_TYPE_ATTRIBUTE);
+ fprintf (F, "label: ");
+ fprintf (F, "\"ent %s\" " ENTITY_NODE_ATTR , get_entity_name(ent));
+ fprintf (F, "\n info1: \"\nid: "); PRINT_ENTID(ent);
+
+ fprintf (F, "\nallocation: ");
switch (get_entity_allocation(ent)) {
- case dynamic_allocated: fprintf (F, "dynamic allocated"); break;
- case automatic_allocated: fprintf (F, "automatic allocated"); break;
- case static_allocated: fprintf (F, "static allocated"); break;
- case parameter_allocated: fprintf (F, "parameter allocated"); break;
+ X(allocation_dynamic);
+ X(allocation_automatic);
+ X(allocation_static);
+ X(allocation_parameter);
}
+
fprintf (F, "\nvisibility: ");
switch (get_entity_visibility(ent)) {
- case local: fprintf (F, "local"); break;
- case external_visible: fprintf (F, "external_visible"); break;
- case external_allocated: fprintf (F, "external_allocate"); break;
+ X(visibility_local);
+ X(visibility_external_visible);
+ X(visibility_external_allocated);
}
+
fprintf (F, "\nvariability: ");
switch (get_entity_variability(ent)) {
- case uninitialized: fprintf (F, "uninitialized");break;
- case initialized: fprintf (F, "initialized"); break;
- case part_constant: fprintf (F, "part_constant");break;
- case constant: fprintf (F, "constant"); break;
+ X(variability_uninitialized);
+ X(variability_initialized);
+ X(variability_part_constant);
+ X(variability_constant);
}
+
fprintf (F, "\nvolatility: ");
switch (get_entity_volatility(ent)) {
- case non_volatile: fprintf (F, "non_volatile"); break;
- case is_volatile: fprintf (F, "is_volatile"); break;
+ X(volatility_non_volatile);
+ X(volatility_is_volatile);
}
+
fprintf (F, "\npeculiarity: ");
switch (get_entity_peculiarity(ent)) {
- case description: fprintf (F, "description"); break;
- case inherited: fprintf (F, "inherited"); break;
- case existent: fprintf (F, "existent"); break;
+ X(peculiarity_description);
+ X(peculiarity_inherited);
+ X(peculiarity_existent);
}
- xfprintf(F, "\nname: %I\nld_name: %I", get_entity_ident(ent), get_entity_ld_ident(ent));
+ fprintf(F, "\nname: %s\nld_name: %s",
+ get_entity_name(ent), get_entity_ld_name(ent));
fprintf(F, "\noffset: %d", get_entity_offset(ent));
if (is_method_type(get_entity_type(ent))) {
if (get_entity_irg(ent)) /* can be null */
}
fprintf(F, "\"\n}\n");
}
+#undef X
/* dumps a type or entity and it's edges. */
static void
}
}
/* attached subgraphs */
- if (const_entities && (get_entity_variability(ent) != uninitialized)) {
+ if (const_entities && (get_entity_variability(ent) != variability_uninitialized)) {
if (is_atomic_entity(ent)) {
value = get_atomic_ent_value(ent);
if (value) {
PRINT_ENT_NODE_EDGE(ent, value, ENT_VALUE_EDGE_ATTR, i);
- /*
- fprintf (F, "edge: { sourcename: \"%p\" targetname: \"", GET_ENTID(ent));
- PRINT_NODEID(value);
- fprintf(F, "\" " ENT_VALUE_EDGE_ATTR "\"}\n");
- */
+ /* DDMN(value); $$$ */
dump_const_expression(value);
}
}
{
PRINT_TYPE_TYPE_EDGE(tp,get_array_element_type(tp),ARR_ELT_TYPE_EDGE_ATTR);
PRINT_TYPE_ENT_EDGE(tp,get_array_element_entity(tp),ARR_ENT_EDGE_ATTR);
+ for (i = 0; i < get_array_n_dimensions(tp); i++) {
+ ir_node *upper = get_array_upper_bound(tp, i);
+ ir_node *lower = get_array_lower_bound(tp, i);
+ PRINT_NODE_TYPE_EDGE(upper, tp, "label: \"upper %d\"", get_array_order(tp, i));
+ PRINT_NODE_TYPE_EDGE(lower, tp, "label: \"lower %d\"", get_array_order(tp, i));
+ dump_const_expression(upper);
+ dump_const_expression(lower);
+ }
+
} break;
case tpo_enumeration:
{
ent = get_irg_ent(irg);
id = ent->ld_name ? ent->ld_name : ent->name;
/* Don't use get_entity_ld_ident (ent) as it computes the mangled name! */
- len = id_to_strlen (id);
- cp = id_to_str (id);
+ len = get_id_strlen (id);
+ cp = get_id_str (id);
if (dump_file_suffix)
fname = malloc (len + 5 + strlen(suffix) + strlen(dump_file_suffix));
else
"orientation: bottom_to_top\n"
"classname 1: \"Data\"\n"
"classname 2: \"Block\"\n"
- "classname 3: \"Entity type\""
- "classname 4: \"Entity owner\""
- "classname 5: \"Method Param\""
- "classname 6: \"Method Res\""
- "classname 7: \"Super\""
- "classname 8: \"Union\""
- "classname 9: \"Points-to\""
- "classname 10: \"Array Element Type\""
- "classname 11: \"Overwrites\""
- "classname 12: \"Member\""
+ "classname 3: \"Entity type\"\n"
+ "classname 4: \"Entity owner\"\n"
+ "classname 5: \"Method Param\"\n"
+ "classname 6: \"Method Res\"\n"
+ "classname 7: \"Super\"\n"
+ "classname 8: \"Union\"\n"
+ "classname 9: \"Points-to\"\n"
+ "classname 10: \"Array Element Type\"\n"
+ "classname 11: \"Overwrites\"\n"
+ "classname 12: \"Member\"\n"
, cp, label);
fprintf (F, "\n"); /* a separator */
/* walk over the graph */
/* dump_whole_node must be called in post visiting predecessors */
- irg_walk(irg->end, NULL, dump_whole_node, NULL);
+ irg_walk(get_irg_end(irg), NULL, dump_whole_node, NULL);
/* dump the out edges in a separate walk */
if ((dump_out_edge_flag) && (get_irg_outs_state(irg) != no_outs)) {
- irg_out_walk(irg->start, dump_out_edge, NULL, NULL);
+ irg_out_walk(get_irg_start(irg), dump_out_edge, NULL, NULL);
}
vcg_close();
/* This is a block. So dump the vcg information to make a block. */
fprintf(F, "graph: { title: \"");
PRINT_NODEID(block);
- fprintf(F, "\" label: \"");
+ fprintf(F, "\" label: \"");
#ifdef DEBUG_libfirm
fprintf (F, "%ld", get_irn_node_nr(block));
#else
- xfprintf (F, "%I", block->op->name);
+ fprintf (F, "%s", get_op_name(get_irn_op(block)));
#endif
if (exc_normal != get_Block_exc (block))
fprintf (F, " (%s)", exc_to_string (get_Block_exc (block)));
dump_ir_data_edges(block);
/* dump the nodes that go into the block */
- irg_walk(irg->end, dump_ir_blocks_nodes, NULL, block);
+ irg_walk(get_irg_end(irg), dump_ir_blocks_nodes, NULL, block);
/* Close the vcg information for the block */
fprintf(F, "}\n\n");
{
Bad_dumped = 0;
/* walk over the blocks in the graph */
- irg_block_walk(irg->end, dump_ir_block, NULL, irg);
+ irg_block_walk(get_irg_end(irg), dump_ir_block, NULL, irg);
/* dump all nodes that are not in a Block */
- irg_walk(irg->end, dump_blockless_nodes, NULL, NULL);
+ irg_walk(get_irg_end(irg), dump_blockless_nodes, NULL, NULL);
/* dump the Bad node */
if (!Bad_dumped)
if (get_irn_opcode(block) == iro_Block) {
/* This is a block. Dump a node for the block. */
- fprintf (F, "node: {title:\""); PRINT_NODEID(block);
- xfprintf (F, "\" label: \"%I ", block->op->name); PRINT_NODEID(block);
+ fprintf (F, "node: {title: \""); PRINT_NODEID(block);
+ fprintf (F, "\" label: \"%s ", get_op_name(get_irn_op(block)));
+#ifdef DEBUG_libfirm
+ fprintf (F, "%ld", get_irn_node_nr(block));
+#else
+ fprintf (F, "%p", (void*) block);
+#endif
- if (exc_normal != get_Block_exc (block))
- fprintf (F, " (%s)", exc_to_string (get_Block_exc (block)));
+ if (exc_normal != get_Block_exc (block))
+ fprintf (F, " (%s)", exc_to_string (get_Block_exc (block)));
fprintf (F, "\" ");
if (dump_dominator_information_flag)
- fprintf(F, "info1:\"dom depth %d\"", get_Block_dom_depth(block));
+ fprintf(F, "info1:dom depth %d", get_Block_dom_depth(block));
fprintf (F, "}\n");
/* Dump the edges */
for ( i = 0; i < get_Block_n_cfgpreds(block); i++)
PRINT_NODEID(block);
fprintf (F, "\" targetname: \"");
PRINT_NODEID(pred);
- fprintf (F, "\" }\n");
+ fprintf (F, "\"}\n");
}
/* Dump dominator edge */
dump_dominator_information_flag = 0;
/* walk over the blocks in the graph */
- irg_block_walk(irg->end, dump_block_to_cfg, NULL, NULL);
- dump_ir_node (irg->bad);
+ irg_block_walk(get_irg_end(irg), dump_block_to_cfg, NULL, NULL);
+ dump_node (get_irg_bad(irg), NULL);
dump_dominator_information_flag = ddif;
vcg_close();
vcg_open (irg, "-all");
/* dump common ir graph */
- irg_walk(irg->end, dump_whole_node, NULL, NULL);
+ irg_walk(get_irg_end(irg), dump_whole_node, NULL, NULL);
/* dump type info */
type_walk_irg(irg, dump_type_info, NULL, NULL);
inc_irg_visited(get_const_code_irg());
/* dump edges from graph to type info */
- irg_walk(irg->end, dump_node2type_edges, NULL, NULL);
+ irg_walk(get_irg_end(irg), dump_node2type_edges, NULL, NULL);
vcg_close();
current_ir_graph = rem;
type_walk_irg(irg, dump_type_info, NULL, NULL);
inc_irg_visited(get_const_code_irg());
/* dump edges from graph to type info */
- irg_walk(irg->end, dump_node2type_edges, NULL, NULL);
+ irg_walk(get_irg_end(irg), dump_node2type_edges, NULL, NULL);
vcg_close();
current_ir_graph = rem;
dump_keepalive = b;
}
+bool get_opt_dump_keepalive_edges(void) {
+ return dump_keepalive;
+}
+
void dump_out_edges(void) {
dump_out_edge_flag = 1;
}
}
static void collect_blocks_floats_cg(ir_node * node, pmap * map) {
+ assert(node); assert(map);
if (is_Block(node)
|| node_floats(node)
|| get_irn_op(node) == op_Bad
|| get_irn_op(node) == op_Unknown) {
pmap_entry * entry = pmap_find(map, current_ir_graph);
- if (entry) {
- ARR_APP1(ir_node *, (ir_node **) entry->value, node);
+ if (entry)
+ {
+ ir_node ** arr;
+ arr = entry->value;
+ assert(arr);
+ ARR_APP1(ir_node *, arr, node);
+ entry->value = (void *)arr;
} else {
ir_node ** arr = NEW_ARR_F(ir_node *, 1);
+ assert(arr);
arr[0] = node;
pmap_insert(map, current_ir_graph, arr);
}
fprintf(F, "graph: { title: \"");
PRINT_NODEID(block);
fprintf(F, "\" label: \"");
+ fprintf (F, "%s ", get_op_name(get_irn_op(block)));
#ifdef DEBUG_libfirm
fprintf (F, "%ld", get_irn_node_nr(block));
#else
- xfprintf (F, "%I", block->op->name);
+ fprintf (F, "%p", (void*) block);
#endif
if (exc_normal != get_Block_exc(block)) {
fprintf (F, " (%s)", exc_to_string (get_Block_exc(block)));
static void d_cg_block_graph(ir_graph *irg, ir_node **arr, pmap *irgmap) {
int i;
- xfprintf(F, "graph: { title: \"%p\" label: \"%I\" status:clustered color:white \n",
- irg, get_entity_ident(get_irg_ent(irg)));
+ fprintf(F, "graph: { title: %p label: %s status:clustered color:white \n",
+ (void*) irg, get_entity_name(get_irg_ent(irg)));
for (i = ARR_LEN(arr) - 1; i >= 0; --i) {
ir_node * node = arr[i];
int i;
ident * irg_ident = get_entity_ident(get_irg_ent(entry->key));
- xfprintf(F, "graph: { title: \"%I\" label: \"%I\" status:clustered color:white \n",
- irg_ident, irg_ident);
+ fprintf(F, "graph: { title: %s label: %s status:clustered color:white \n",
+ get_id_str(irg_ident), get_id_str(irg_ident));
for (i = ARR_LEN(arr) - 1; i >= 0; --i) {
ir_node * node = arr[i];
vcg_close();
}
+
+/* Dump the information of type field specified in ana/irtypeinfo.h.
+ * If the flag is set, the type name is output in [] in the node label,
+ * else it is output as info.
+ */
+void dump_analysed_type_info(bool b) {
+ opt_dump_analysed_type_info = b;
+}