some fixes for xml dumper / still buggy.
[libfirm] / ir / ir / irdump.c
index b301db0..b769b8b 100644 (file)
 # include <config.h>
 #endif
 
+# include <string.h>
+# include <stdlib.h>
+
 # include "irnode_t.h"
 # include "irgraph_t.h"
-# include "irprog.h"
-# include "irdump.h"
-# include "panic.h"
-# include <string.h>
 # include "entity_t.h"
-# include <stdlib.h>
-# include "array.h"
 # include "irop_t.h"
-# include "tv.h"
-# include "type_or_entity.h"
+# include "firm_common_t.h"
+
+# include "irdump.h"
+
 # include "irgwalk.h"
 # include "typewalk.h"
+# include "irprog.h"
+# include "tv_t.h"
+# include "type_or_entity.h"
 # include "irouts.h"
 # include "irdom.h"
-# include "firm_common_t.h"
-# include  "irloop.h"
+# include "irloop.h"
+
+# include "panic.h"
+# include "array.h"
+# include "pmap.h"
 
 # include "exc.h"
 
-# include "pmap.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"
 #define ARR_ELT_TYPE_EDGE_ATTR "class: 10 label: \"arr elt tp\" color:green"
 #define ARR_ENT_EDGE_ATTR    "class: 10 label: \"arr ent\" color: green"
 #define ENT_OVERWRITES_EDGE_ATTR "class: 11 label: \"overwrites\" color:red"
-#define ENT_VALUE_EDGE_ATTR "label: \"value "
+#define ENT_VALUE_EDGE_ATTR "label: \"value %d\""
 #define ENT_CORR_EDGE_ATTR "label: \"value %d corresponds to \" "
 #define TYPE_MEMBER_EDGE_ATTR "class: 12 label: \"member\" color:blue"
 
 
 #if DEBUG_libfirm && NODEID_AS_LABEL
-#define PRINT_NODEID(X) fprintf(F, "%ld", get_irn_node_nr(X))
+#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_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_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,...){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. */
 char *dump_file_suffix = NULL;
 
@@ -93,7 +116,8 @@ int dump_out_edge_flag = 0;
 int dump_dominator_information_flag = 0;
 int dump_loop_information_flag = 0;
 int dump_const_local = 0;
-static INLINE bool dump_const_local_set() {
+
+INLINE bool get_opt_dump_const_local(void) {
   if (!dump_out_edge_flag && !dump_loop_information_flag)
     return dump_const_local;
   else
@@ -115,41 +139,43 @@ static void dump_whole_node(ir_node *n, void* env);
 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", id_to_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 ", id_to_str(get_type_ident(get_SymConst_type(n))));
       if (get_SymConst_kind(n) == type_tag)
-        xfprintf (F, "tag");
+        fprintf (F, "tag");
       else
-        xfprintf (F, "size");
+        fprintf (F, "size");
     }
 
   /* 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", id_to_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:
@@ -167,7 +193,7 @@ dump_node_mode (ir_node *n)
   case iro_Shr:
   case iro_Abs:
   case iro_Cmp:
-    xfprintf (F, "%I", get_mode_ident(n->mode));
+    fprintf (F, "%s", id_to_str(get_mode_ident(get_irn_mode(n))));
     break;
   default:
     ;
@@ -177,25 +203,25 @@ dump_node_mode (ir_node *n)
 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", id_to_str(get_entity_ident(get_irg_ent(current_ir_graph))));
     }
     break;
   case iro_Proj:
-    if (n->in[1]->op->code == iro_Cmp) {
-      xfprintf (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", id_to_str(get_entity_ident(get_Sel_entity(n))));
     } break;
   default:
     ;
@@ -205,32 +231,37 @@ dump_node_nodeattr (ir_node *n)
 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 */
   case iro_EndExcept:
     /* fall through */
   case iro_End:
-    xfprintf (F, "color: blue");
+    fprintf (F, "color: blue");
     break;
   case iro_Block:
-    xfprintf (F, "color: lightyellow");
+    fprintf (F, "color: lightyellow");
     break;
   case iro_Phi:
-    xfprintf (F, "color: green");
+    fprintf (F, "color: green");
     break;
   case iro_Const:
   case iro_Proj:
   case iro_Filter:
   case iro_Tuple:
-    xfprintf (F, "color: yellow");
+    fprintf (F, "color: yellow");
     break;
   default:
-    xfprintf (F, DEFAULT_NODE_ATTR);
+    PRINT_DEFAULT_NODE_ATTR;
   }
 }
 
+static INLINE void
+dump_node_info (ir_node *n) {
+  fprintf (F, " info1: \"visited: %ld\n\"", get_irn_visited(n));
+}
+
 static bool pred_in_wrong_graph(ir_node *n, int pos, pmap *irgmap) {
   ir_node *block = (is_Block(n)) ? n : get_nodes_Block(n);
 
@@ -256,7 +287,7 @@ bool is_constlike_node(ir_node *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++) {
@@ -273,265 +304,73 @@ static void dump_const_node_local(ir_node *n, pmap *irgmap) {
       mark_irn_visited(con);
       /* Generate a new name for the node by appending the names of
         n and const. */
-      xfprintf (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);
-      xfprintf (F, " ");
+      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
-      xfprintf (F, "\" ");
+      fprintf (F, "\" ");
       dump_node_vcgattr(con);
-      xfprintf (F, "}\n");
+      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 */
-  xfprintf (F, "node: {title: \""); PRINT_NODEID(n); fprintf(F, "\" label: \"");
+  fprintf (F, "node: {title: \""); PRINT_NODEID(n); fprintf(F, "\" label: \"");
 
   dump_node_opcode(n);
   dump_node_mode (n);
-  xfprintf (F, " ");
+  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
-  xfprintf (F, "\" ");
+  fprintf (F, "\" ");
   dump_node_vcgattr(n);
-  xfprintf (F, "}\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)));
-    xfprintf (F, "\"%s ", get_type_name(get_SymConst_type(n)));
-    switch (n->attr.i.num){
-    case type_tag:
-      xfprintf (F, "tag\" ");
-      break;
-    case size:
-      xfprintf (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));
-  }
-  xfprintf (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)) {
-    xfprintf (F, "edge: { sourcename: \"");
+    fprintf (F, "edge: { sourcename: \"");
     PRINT_NODEID(n);
-    xfprintf (F, "\" targetname: \"");
+    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;
@@ -541,13 +380,13 @@ static void print_edge_vcgattr(ir_node *from, int to) {
   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;
@@ -558,7 +397,7 @@ static void print_edge_vcgattr(ir_node *from, int to) {
   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;
@@ -571,26 +410,26 @@ static void print_edge_vcgattr(ir_node *from, int to) {
   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;
     }
@@ -617,15 +456,18 @@ dump_ir_data_edges(ir_node *n)  {
     if ((interprocedural_view && get_irn_visited(pred) < visited))
       continue; /* pred not dumped */
     if (is_backedge(n, i))
-      fprintf (F, "backedge: {sourcename: \"");
+      fprintf (F, "backedge: {sourcename: ");
     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");
@@ -650,7 +492,7 @@ dump_out_edge (ir_node *n, void* env) {
 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");
@@ -660,8 +502,8 @@ static
 void dump_loops (ir_loop *loop) {
   int i;
   /* dump this loop node */
-  xfprintf (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));
+  fprintf (F, "node: {title: \"%p\" label: \"loop %d, %d sons, %d nodes\" }\n",
+           (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++) {
@@ -696,36 +538,22 @@ static void dump_node2type_edges (ir_node *n, void *env)
     break;
   case iro_SymConst:
     if (   (get_SymConst_kind(n) == type_tag)
-          || (get_SymConst_kind(n) == size)) {
-      xfprintf (F, "edge: { sourcename: \"");
-      PRINT_NODEID(n);
-      fprintf (F, "\" targetname: \"%p\" "
-              NODE2TYPE_EDGE_ATTR "}\n", get_SymConst_type(n));
+          || (get_SymConst_kind(n) == size))
+    {
+           PRINT_NODE_TYPE_EDGE(n,get_SymConst_type(n),NODE2TYPE_EDGE_ATTR);
     }
     break;
   case iro_Sel: {
-    xfprintf (F, "edge: { sourcename: \"");
-    PRINT_NODEID(n);
-    fprintf (F, "\" targetname: \"%p\" "
-            NODE2TYPE_EDGE_ATTR "}\n", get_Sel_entity(n));
+           PRINT_NODE_ENT_EDGE(n,get_Sel_entity(n),NODE2TYPE_EDGE_ATTR);
     } break;
   case iro_Call: {
-    xfprintf (F, "edge: { sourcename: \"");
-    PRINT_NODEID(n);
-    fprintf (F, "\" targetname: \"%p\" "
-            NODE2TYPE_EDGE_ATTR "}\n", get_Call_type(n));
+           PRINT_NODE_TYPE_EDGE(n,get_Call_type(n),NODE2TYPE_EDGE_ATTR);
     } break;
   case iro_Alloc: {
-    xfprintf (F, "edge: { sourcename: \"");
-    PRINT_NODEID(n);
-    fprintf (F, "\" targetname: \"%p\" "
-            NODE2TYPE_EDGE_ATTR "}\n", get_Alloc_type(n));
+           PRINT_NODE_TYPE_EDGE(n,get_Alloc_type(n),NODE2TYPE_EDGE_ATTR);
     } break;
   case iro_Free: {
-    xfprintf (F, "edge: { sourcename: \"");
-    PRINT_NODEID(n);
-    fprintf (F, "\" targetname: \"%p\" "
-            NODE2TYPE_EDGE_ATTR "}\n", get_Free_type(n));
+           PRINT_NODE_TYPE_EDGE(n,get_Free_type(n),NODE2TYPE_EDGE_ATTR);
     } break;
   default:
     break;
@@ -733,12 +561,16 @@ static void dump_node2type_edges (ir_node *n, void *env)
 }
 
 
+/* @@@@ Does not work as someone kills the visited flag. */
 static void dump_const_expression(ir_node *value) {
   ir_graph *rem = current_ir_graph;
   int rem_dump_const_local = dump_const_local;
   dump_const_local = 0;
   current_ir_graph = get_const_code_irg();
   irg_walk(value, dump_ir_blocks_nodes, NULL, get_nodes_Block(value));
+  /* Decrease visited flag so that we walk with the same flag for the next
+     expresssion.  This guarantees that we don't dump the same node twice,
+     as for const expressions cse is performed to save memory. */
   set_irg_visited(current_ir_graph, get_irg_visited(current_ir_graph) -1);
   current_ir_graph = rem;
   dump_const_local = rem_dump_const_local;
@@ -747,13 +579,13 @@ static void dump_const_expression(ir_node *value) {
 
 static void print_type_info(type *tp) {
   if (get_type_state(tp) == layout_undefined) {
-    xfprintf(F, "state: layout_undefined\n");
+    fprintf(F, "state: layout_undefined\n");
   } else {
-    xfprintf(F, "state: layout_fixed,\n");
+    fprintf(F, "state: layout_fixed,\n");
   }
   if (get_type_mode(tp))
-    xfprintf(F, "mode: %I,\n", get_mode_ident(get_type_mode(tp)));
-  xfprintf(F, "size: %dB,\n", get_type_size(tp));
+    fprintf(F, "mode: %s,\n", id_to_str(get_mode_ident(get_type_mode(tp))));
+  fprintf(F, "size: %dB,\n", get_type_size(tp));
 }
 
 
@@ -762,13 +594,13 @@ static void print_typespecific_info(type *tp) {
   case tpo_class:
     {
       if(existent == get_class_peculiarity(tp))
-       xfprintf (F, " " TYPE_CLASS_NODE_ATTR);
+       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:
     {
@@ -793,21 +625,24 @@ static void print_typespecific_info(type *tp) {
 }
 
 static void print_type_node(type *tp) {
-  xfprintf (F, "node: {title: \"%p\" ", tp);
-  xfprintf (F, "label: \"%I %I\"", get_type_tpop_nameid(tp), get_type_ident(tp));
-  xfprintf (F, "info1: \"");
+  fprintf (F, "node: {title: ");
+  PRINT_TYPEID(tp);
+  fprintf (F, " label: \"%s %s\"", id_to_str(get_type_tpop_nameid(tp)), id_to_str(get_type_ident(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: \"%p\" ", 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:  ");
+  fprintf (F, "node: {title: \"");
+  PRINT_ENTID(ent); fprintf(F, "\"");
+  fprintf (F, DEFAULT_TYPE_ATTRIBUTE);
+  fprintf (F, "label: ");
+  fprintf (F, "\"ent %s\" " ENTITY_NODE_ATTR , id_to_str(get_entity_ident(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;
@@ -817,8 +652,8 @@ void dump_entity_node(entity *ent) {
   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;
+    case external_visible:   fprintf (F, "external visible");  break;
+    case external_allocated: fprintf (F, "external allocated"); break;
   }
   fprintf (F, "\nvariability: ");
   switch (get_entity_variability(ent)) {
@@ -838,11 +673,17 @@ void dump_entity_node(entity *ent) {
     case inherited:   fprintf (F, "inherited");   break;
     case existent:    fprintf (F, "existent");    break;
   }
-  xfprintf(F, "\nname:    %I\nld_name: %I", get_entity_ident(ent), get_entity_ld_ident(ent));
+  fprintf(F, "\nname:    %s\nld_name: %s",
+         id_to_str(get_entity_ident(ent)),
+         id_to_str(get_entity_ld_ident(ent)));
   fprintf(F, "\noffset:  %d", get_entity_offset(ent));
-  if (is_method_type(get_entity_type(ent)))
-    xfprintf (F, "\nirg = %p ", get_entity_irg(ent));
-  xfprintf(F, "\"\n}\n");
+  if (is_method_type(get_entity_type(ent))) {
+    if (get_entity_irg(ent))   /* can be null */
+      { fprintf (F, "\nirg = "); PRINT_IRGID(get_entity_irg(ent)); }
+    else
+      { fprintf (F, "\nirg = NULL"); }
+  }
+  fprintf(F, "\"\n}\n");
 }
 
 /* dumps a type or entity and it's edges. */
@@ -861,35 +702,37 @@ dump_type_info (type_or_ent *tore, void *env) {
       dump_entity_node(ent);
       /* The Edges */
       /* skip this to reduce graph.  Member edge of type is parallel to this edge. *
-      xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
+      fprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
                 ENT_OWN_EDGE_ATTR "}\n", ent, get_entity_owner(ent));*/
-      xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                ENT_TYPE_EDGE_ATTR "}\n", ent, get_entity_type(ent));
+      PRINT_ENT_TYPE_EDGE(ent, get_entity_type(ent), ENT_TYPE_EDGE_ATTR);
       if(is_class_type(get_entity_owner(ent))) {
-       for(i = 0; i < get_entity_n_overwrites(ent); i++)
-         xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                   ENT_OVERWRITES_EDGE_ATTR "}\n",
-                   ent, get_entity_overwrites(ent, i));
+       for(i = 0; i < get_entity_n_overwrites(ent); i++){
+         PRINT_ENT_ENT_EDGE(ent, get_entity_overwrites(ent, i), ENT_OVERWRITES_EDGE_ATTR);
+       }
       }
       /* attached subgraphs */
       if (const_entities && (get_entity_variability(ent) != uninitialized)) {
        if (is_atomic_entity(ent)) {
          value = get_atomic_ent_value(ent);
-         xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"", ent);
-         PRINT_NODEID(value);
-         fprintf(F, "\" " ENT_VALUE_EDGE_ATTR "\"}\n");
-         dump_const_expression(value);
+         if (value) {
+            PRINT_ENT_NODE_EDGE(ent, value, ENT_VALUE_EDGE_ATTR, i);
+           /* DDMN(value);  $$$ */
+           dump_const_expression(value);
+         }
        }
        if (is_compound_entity(ent)) {
          for (i = 0; i < get_compound_ent_n_values(ent); i++) {
            value = get_compound_ent_value(ent, i);
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"", ent);
-           PRINT_NODEID(value);
-           fprintf(F, "\" " ENT_VALUE_EDGE_ATTR " %d \"}\n", i);
-           dump_const_expression(value);
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     ENT_CORR_EDGE_ATTR  "}\n", ent,
-                     get_compound_ent_value_member(ent, i), i);
+           if (value) {
+              PRINT_ENT_NODE_EDGE(ent,value,ENT_VALUE_EDGE_ATTR,i);
+             dump_const_expression(value);
+             PRINT_ENT_ENT_EDGE(ent, get_compound_ent_value_member(ent, i), ENT_CORR_EDGE_ATTR, i);
+             /*
+               fprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
+               ENT_CORR_EDGE_ATTR  "}\n", GET_ENTID(ent),
+               get_compound_ent_value_member(ent, i), i);
+             */
+           }
          }
        }
       }
@@ -902,55 +745,49 @@ dump_type_info (type_or_ent *tore, void *env) {
       switch (get_type_tpop_code(tp)) {
       case tpo_class:
        {
-         for (i=0; i < get_class_n_supertypes(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     TYPE_SUPER_EDGE_ATTR "}\n",
-                     tp, get_class_supertype(tp, i));
-         for (i=0; i < get_class_n_members(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     TYPE_MEMBER_EDGE_ATTR "}\n",
-                     tp, get_class_member(tp, i));
+         for (i=0; i < get_class_n_supertypes(tp); i++) {
+           PRINT_TYPE_TYPE_EDGE(tp,get_class_supertype(tp, i),TYPE_SUPER_EDGE_ATTR);
+         }
+
+         for (i=0; i < get_class_n_members(tp); i++) {
+           PRINT_TYPE_ENT_EDGE(tp,get_class_member(tp, i),TYPE_MEMBER_EDGE_ATTR);
+         }
        } break;
       case tpo_struct:
        {
-         for (i=0; i < get_struct_n_members(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     TYPE_MEMBER_EDGE_ATTR "}\n",
-                     tp, get_struct_member(tp, i));
+         for (i=0; i < get_struct_n_members(tp); i++) {
+           PRINT_TYPE_ENT_EDGE(tp,get_struct_member(tp, i),TYPE_MEMBER_EDGE_ATTR);
+         }
        } break;
       case tpo_method:
        {
          for (i = 0; i < get_method_n_params(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     METH_PAR_EDGE_ATTR "}\n",
-                     tp, get_method_param_type(tp, i), i);
+         {
+                 PRINT_TYPE_TYPE_EDGE(tp,get_method_param_type(tp, i),METH_PAR_EDGE_ATTR,i);
+         }
          for (i = 0; i < get_method_n_ress(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     METH_RES_EDGE_ATTR "}\n",
-                     tp, get_method_res_type(tp, i), i);
+         {
+                 PRINT_TYPE_TYPE_EDGE(tp,get_method_res_type(tp, i),METH_RES_EDGE_ATTR,i);
+         }
        } break;
       case tpo_union:
        {
          for (i = 0; i < get_union_n_members(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     "label: \"\"f" UNION_EDGE_ATTR "}\n",
-                     tp, get_union_member(tp, i));
+         {
+                 PRINT_TYPE_ENT_EDGE(tp,get_union_member(tp, i),UNION_EDGE_ATTR);
+         }
        } break;
       case tpo_array:
        {
-         xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                   ARR_ELT_TYPE_EDGE_ATTR "}\n", tp, get_array_element_type(tp), i);
-         xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                   ARR_ENT_EDGE_ATTR "}\n", tp, get_array_element_entity(tp), i);
+                 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);
        } break;
       case tpo_enumeration:
        {
        } break;
       case tpo_pointer:
        {
-         xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                   PTR_PTS_TO_EDGE_ATTR "}\n", tp,
-                   get_pointer_points_to_type(tp), i);
+                 PRINT_TYPE_TYPE_EDGE(tp,get_pointer_points_to_type(tp), PTR_PTS_TO_EDGE_ATTR);
        } break;
       case tpo_primitive:
        {
@@ -981,12 +818,11 @@ dump_class_hierarchy_node (type_or_ent *tore, void *env) {
       /* The node */
       dump_entity_node(ent);
       /* The edges */
-      xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                TYPE_MEMBER_EDGE_ATTR "}\n", get_entity_owner(ent), ent);
+      PRINT_TYPE_ENT_EDGE(get_entity_owner(ent),ent,TYPE_MEMBER_EDGE_ATTR);
       for(i = 0; i < get_entity_n_overwrites(ent); i++)
-       xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                 ENT_OVERWRITES_EDGE_ATTR "}\n",
-                 ent, get_entity_overwrites(ent, i));
+      {
+      PRINT_ENT_ENT_EDGE(get_entity_overwrites(ent, i),ent, ENT_OVERWRITES_EDGE_ATTR);
+      }
     }
   } break; /* case k_entity */
   case k_type:
@@ -998,9 +834,9 @@ dump_class_hierarchy_node (type_or_ent *tore, void *env) {
          print_type_node(tp);
          /* and now the edges */
          for (i=0; i < get_class_n_supertypes(tp); i++)
-           xfprintf (F, "edge: { sourcename: \"%p\" targetname: \"%p\" "
-                     TYPE_SUPER_EDGE_ATTR "}\n",
-                     tp, get_class_supertype(tp, i));
+         {
+                 PRINT_TYPE_TYPE_EDGE(tp,get_class_supertype(tp, i),TYPE_SUPER_EDGE_ATTR);
+         }
         } break;
         default: break;
       } /* switch type */
@@ -1052,7 +888,7 @@ static void vcg_open (ir_graph *irg, char *suffix) {
   }
 
   /* print header */
-  xfprintf (F,
+  fprintf (F,
            "graph: { title: \"ir graph of %s\"\n"
            "display_edge_labels: %s\n"
            "layoutalgorithm: mindepth\n"
@@ -1073,7 +909,7 @@ static void vcg_open (ir_graph *irg, char *suffix) {
            "classname 12: \"Member\""
            , cp, label);
 
-  xfprintf (F, "\n");          /* a separator */
+  fprintf (F, "\n");           /* a separator */
 }
 
 static void vcg_open_name (const char *name) {
@@ -1103,7 +939,7 @@ static void vcg_open_name (const char *name) {
   }
 
   /* print header */
-  xfprintf (F,
+  fprintf (F,
            "graph: { title: \"ir graph of %s\"\n"
            "display_edge_labels: %s\n"
            "layoutalgorithm: mindepth\n"
@@ -1124,12 +960,12 @@ static void vcg_open_name (const char *name) {
            "classname 12: \"Member\"\n"
            , name, label);
 
-  xfprintf (F, "\n");          /* a separator */
+  fprintf (F, "\n");           /* a separator */
 }
 
 static void
-vcg_close () {
-  xfprintf (F, "}\n");  /* print footer */
+vcg_close (void) {
+  fprintf (F, "}\n");  /* print footer */
   fclose (F);           /* close vcg file */
 }
 
@@ -1160,11 +996,11 @@ dump_ir_graph (ir_graph *irg)
 
   /* 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();
@@ -1195,27 +1031,27 @@ dump_ir_block (ir_node *block, void *env) {
   if (get_irn_opcode(block) == iro_Block) {
 
     /* This is a block. So dump the vcg information to make a block. */
-    xfprintf(F, "graph: { title: \"");
+    fprintf(F, "graph: { title: \"");
        PRINT_NODEID(block);
-       fprintf(F, "\"  label: \"");
+       fprintf(F, "\" label: \"");
 #ifdef DEBUG_libfirm
-    xfprintf (F, "%ld", get_irn_node_nr(block));
+    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)));
 
-    xfprintf(F, "\" status:clustered color:%s \n",
+    fprintf(F, "\" status:clustered color:%s \n",
             get_Block_matured (block) ? "yellow" : "red");
     /* dump the blocks edges */
     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 */
-    xfprintf(F, "}\n\n");
+    fprintf(F, "}\n\n");
     dump_const_node_local(block, NULL);
   }
 }
@@ -1241,10 +1077,10 @@ static void dump_ir_block_graph_2  (ir_graph *irg)
 {
   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)
@@ -1281,31 +1117,36 @@ dump_block_to_cfg (ir_node *block, void *env) {
 
   if (get_irn_opcode(block) == iro_Block) {
     /* This is a block. Dump a node for the block. */
-    xfprintf (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))
-         xfprintf (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)));
 
-    xfprintf (F, "\" ");
+    fprintf (F, "\" ");
     if (dump_dominator_information_flag)
-      xfprintf(F, "info1:\"dom depth %d\"", get_Block_dom_depth(block));
-    xfprintf (F, "}\n");
+      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++)
       if (get_irn_op(skip_Proj(get_Block_cfgpred(block, i))) != op_Bad) {
        pred = get_nodes_Block(skip_Proj(get_Block_cfgpred(block, i)));
-       xfprintf (F, "edge: { sourcename: \"");
+       fprintf (F, "edge: { sourcename: \"");
        PRINT_NODEID(block);
        fprintf (F, "\" targetname: \"");
        PRINT_NODEID(pred);
-       fprintf (F, "\" }\n");
+       fprintf (F, "\"}\n");
       }
 
     /* Dump dominator edge */
     if (dump_dominator_information_flag && get_Block_idom(block)) {
       pred = get_Block_idom(block);
-      xfprintf (F, "edge: { sourcename: \"");
+      fprintf (F, "edge: { sourcename: \"");
       PRINT_NODEID(block);
       fprintf (F, "\" targetname: \"");
       PRINT_NODEID(pred);
@@ -1326,8 +1167,8 @@ dump_cfg (ir_graph *irg)
     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();
@@ -1402,12 +1243,12 @@ dump_ir_graph_w_types (ir_graph *irg)
   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;
@@ -1428,7 +1269,7 @@ dump_ir_block_graph_w_types (ir_graph *irg)
   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;
@@ -1452,7 +1293,7 @@ void dump_all_ir_graphs (dump_graph_func *dump_graph) {
 
 /* To turn off display of edge labels.  Edge labels offen cause xvcg to
    abort with a segmentation fault. */
-void turn_off_edge_labels() {
+void turn_off_edge_labels(void) {
   edge_label = 0;
 }
 
@@ -1461,7 +1302,7 @@ void dump_consts_local(bool b) {
   dump_const_local = b;
 }
 
-void turn_off_constant_entity_values() {
+void turn_off_constant_entity_values(void) {
   const_entities = 0;
 }
 
@@ -1469,19 +1310,23 @@ void dump_keepalive_edges(bool b) {
   dump_keepalive = b;
 }
 
-void dump_out_edges() {
+bool get_opt_dump_keepalive_edges(void) {
+  return dump_keepalive;
+}
+
+void dump_out_edges(void) {
   dump_out_edge_flag = 1;
 }
 
-void dump_dominator_information() {
+void dump_dominator_information(void) {
   dump_dominator_information_flag = 1;
 }
 
-void dump_loop_information() {
+void dump_loop_information(void) {
   dump_loop_information_flag = 1;
 }
 
-void dont_dump_loop_information() {
+void dont_dump_loop_information(void) {
   dump_loop_information_flag = 0;
 }
 
@@ -1490,15 +1335,21 @@ static void clear_link(ir_node * node, void * env) {
 }
 
 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);
     } else {
       ir_node ** arr = NEW_ARR_F(ir_node *, 1);
+      assert(arr);
       arr[0] = node;
       pmap_insert(map, current_ir_graph, arr);
     }
@@ -1514,19 +1365,20 @@ static void dump_cg_ir_block(ir_node * block, void * env) {
   ir_node *node;
   pmap *irgmap = (pmap *)env;
   assert(is_Block(block));
-  xfprintf(F, "graph: { title: \"");
+  fprintf(F, "graph: { title: \"");
   PRINT_NODEID(block);
   fprintf(F, "\"  label: \"");
+  fprintf (F, "%s ", get_op_name(get_irn_op(block)));
 #ifdef DEBUG_libfirm
-  xfprintf (F, "%ld", get_irn_node_nr(block));
+  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)));
   }
 
-  xfprintf(F, "\" status:clustered color:%s \n",
+  fprintf(F, "\" status:clustered color:%s \n",
           get_Block_matured(block) ? "yellow" : "red");
 
   /* dump the blocks edges */
@@ -1539,14 +1391,14 @@ static void dump_cg_ir_block(ir_node * block, void * env) {
   }
 
   /* Close the vcg information for the block */
-  xfprintf(F, "}\n\n");
+  fprintf(F, "}\n\n");
 }
 
 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, id_to_str(get_entity_ident(get_irg_ent(irg))));
 
   for (i = ARR_LEN(arr) - 1; i >= 0; --i) {
     ir_node * node = arr[i];
@@ -1561,7 +1413,7 @@ static void d_cg_block_graph(ir_graph *irg, ir_node **arr, pmap *irgmap) {
     }
   }
   /* Close the vcg information for the irg */
-  xfprintf(F, "}\n\n");
+  fprintf(F, "}\n\n");
 }
 
 /* dump interprocedural graph with surrounding methods */
@@ -1605,14 +1457,14 @@ static void collect_node(ir_node * node, void *env) {
 /* Links all nodes that have the block field set in the link field of
    the block.  Adds all blocks and nodes not associated with a block
    in a array in irg->link. */
-static void collect_nodes() {
+static void collect_nodes(void) {
   int i;
   for (i = 0; i < get_irp_n_irgs(); i++)
     set_irg_link(get_irp_irg(i), NEW_ARR_F(ir_node *, 0));
   cg_walk(clear_link, collect_node, NULL);
 }
 
-static void dump_graphs() {
+static void dump_graphs(void) {
   int i;
   for (i = 0; i < get_irp_n_irgs(); i++) {
     current_ir_graph = get_irp_irg(i);
@@ -1621,7 +1473,7 @@ static void dump_graphs() {
 }
 
 /* Dump all irgs in interprocedural view to a single file. */
-void dump_all_cg_block_graph() {
+void dump_all_cg_block_graph(void) {
   int i;
   int rem_view = interprocedural_view;
   interprocedural_view = 1;
@@ -1653,8 +1505,8 @@ void dump_cg_graph(ir_graph * irg) {
     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",
+            id_to_str(irg_ident), id_to_str(irg_ident));
 
     for (i = ARR_LEN(arr) - 1; i >= 0; --i) {
       ir_node * node = arr[i];
@@ -1672,7 +1524,7 @@ void dump_cg_graph(ir_graph * irg) {
     DEL_ARR_F(arr);
 
     /* Close the vcg information for the irg */
-    xfprintf(F, "}\n\n");
+    fprintf(F, "}\n\n");
   }
 
   pmap_destroy(map);