local_optimize() now kills unrteachable code if dominance info is available.
[libfirm] / ir / ir / irargs.c
index 0e01f79..80d9404 100644 (file)
@@ -6,7 +6,7 @@
  * Modified by:
  * Created:
  * CVS-ID:      $Id$
- * Copyright:   (c) 1998-2005 Universitt Karlsruhe
+ * Copyright:   (c) 1998-2005 Universitaet Karlsruhe
  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  */
 
 #include "bitset.h"
 
 #include <ctype.h>
-#include <libcore/xprintf.h>
+#include <libcore/lc_printf.h>
 
 #include "firm_common.h"
 #include "irnode_t.h"
 #include "entity_t.h"
 #include "irloop_t.h"
 #include "tv_t.h"
+#include "dbginfo_t.h"
 
 /**
  * identify a firm object type
  */
-static int firm_get_arg_type(const arg_occ_t *occ) {
+static int firm_get_arg_type(const lc_arg_occ_t *occ) {
   /* Firm objects are always pointer */
-  return arg_type_ptr;
+  return lc_arg_type_ptr;
 }
 
-static int firm_get_arg_type_int(const arg_occ_t *occ) {
-  return arg_type_int;
+static int firm_get_arg_type_int(const lc_arg_occ_t *occ) {
+  return lc_arg_type_int;
 }
 
 
-static int bitset_get_arg_type(const arg_occ_t *occ) {
-  return arg_type_ptr;
+static int bitset_get_arg_type(const lc_arg_occ_t *occ) {
+  return lc_arg_type_ptr;
 }
 
-static int bitset_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_t *arg)
+static int bitset_emit(lc_appendable_t *app,
+    const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 {
   int res = 2;
   bitset_t *b = arg->v_ptr;
@@ -50,24 +52,43 @@ static int bitset_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_
   char buf[32];
   const char *prefix = "";
 
-  arg_append(app, occ, "[", 1);
+  lc_arg_append(app, occ, "[", 1);
   for(p = bitset_next_set(b, 0); p != -1; p = bitset_next_set(b, p)) {
     int n;
 
     n = snprintf(buf, sizeof(buf), "%s%d", prefix, (int) p);
-    arg_append(app, occ, buf, n);
+    lc_arg_append(app, occ, buf, n);
     prefix = ", ";
     res += n;
   }
-  arg_append(app, occ, "]", 1);
+  lc_arg_append(app, occ, "]", 1);
 
   return res;
 }
 
+/**
+ * emit an opaque Firm dbg_info object
+ */
+static int firm_emit_dbg(lc_appendable_t *app,
+    const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
+{
+  char buf[1024];
+  ir_node *irn = arg->v_ptr;
+  dbg_info *dbg = get_irn_dbg_info(irn);
+
+  buf[0] = '\0';
+  if (dbg && __dbg_info_snprint) {
+    if (__dbg_info_snprint(buf, sizeof(buf), dbg) <= 0)
+      buf[0] = '\0';
+  }
+  return lc_arg_append(app, occ, buf, strlen(buf));
+}
+
 /**
  * emit a Firm object
  */
-static int firm_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_t *arg)
+static int firm_emit(lc_appendable_t *app,
+    const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 {
 #define A(s)    occ->flag_hash ? s " ": ""
 
@@ -75,9 +96,10 @@ static int firm_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_t
   firm_kind *obj = X;
   int i, n;
   ir_node *block;
-       char add[64];
+  char add[64];
   char buf[256];
   char tv[256];
+  entity *ent;
 
   buf[0] = '\0';
   add[0] = '\0';
@@ -115,7 +137,13 @@ static int firm_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_t
         snprintf(buf, sizeof(buf), "%ld", get_irn_node_nr(X));
         break;
       default:
-        snprintf(buf, sizeof(buf), "%s%s%s", A("irn"), get_irn_opname(X),
+        if (is_Const(X)) {
+          tarval_snprintf(tv, sizeof(tv), get_Const_tarval(X));
+          snprintf(buf, sizeof(buf), "%s%s%s<%s>", A("irn"), get_irn_opname(X),
+            get_mode_name(get_irn_mode(X)), tv);
+        }
+        else
+          snprintf(buf, sizeof(buf), "%s%s%s", A("irn"), get_irn_opname(X),
             get_mode_name(get_irn_mode(X)));
         snprintf(add, sizeof(add), "[%ld]", get_irn_node_nr(X));
       }
@@ -134,26 +162,32 @@ static int firm_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_t
       snprintf(buf, sizeof(buf), "%s%s", A("op"), get_op_name(X));
       break;
     case k_ir_compound_graph_path:
-      strncat(buf, A("cgp"), sizeof(buf));
-
       n = get_compound_graph_path_length(X);
+
       for (i = 0; i < n; ++i) {
-        entity *ent = get_compound_graph_path_node(X, i);
+        ent = get_compound_graph_path_node(X, i);
+
+        strncat(buf, ".", sizeof(buf));
         strncat(buf, get_entity_name(ent), sizeof(buf));
-        if (i < n - 1)
-          strncat(buf, ".", sizeof(buf));
+        if (is_Array_type(get_entity_owner(ent))) {
+          snprintf(add, sizeof(add), "[%d]",
+            get_compound_graph_path_array_index(X, i));
+          strncat(buf, add, sizeof(buf));
+        }
       }
+      add[0] = '\0';
       break;
+
     default:
       snprintf(buf, sizeof(buf), "UNKWN");
       snprintf(add, sizeof(add), "[%p]", X);
     }
   }
 
-  if(occ->flag_plus)
+  if (occ->flag_plus)
        strncat(buf, add, sizeof(buf));
 
-  return arg_append(app, occ, buf, strlen(buf));
+  return lc_arg_append(app, occ, buf, strlen(buf));
 
 #undef A
 }
@@ -161,40 +195,54 @@ static int firm_emit(appendable_t *app, const arg_occ_t *occ, const arg_value_t
 /**
  * emit an ident
  */
-static int firm_emit_ident(appendable_t *app, const arg_occ_t *occ, const arg_value_t *arg)
+static int firm_emit_ident(lc_appendable_t *app,
+    const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 {
   ident *id = (ident *)arg->v_ptr;
   const char *p = id ? get_id_str(id) : "(null)";
 
-  return arg_append(app, occ, p, strlen(p));
+  return lc_arg_append(app, occ, p, strlen(p));
 }
 
-
-
 /**
  * Emit indent.
  */
-static int firm_emit_indent(appendable_t *app, const arg_occ_t *occ, const arg_value_t *arg)
+static int firm_emit_indent(lc_appendable_t *app,
+    const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 {
        int i;
        int amount = arg->v_int;
 
        for(i = 0; i < amount; ++i)
-               appendable_chadd(app, ' ');
+               lc_appendable_chadd(app, ' ');
 
        return amount;
 }
 
-arg_env_t *firm_get_arg_env(void)
+/**
+ * Emit pnc.
+ */
+static int firm_emit_pnc(lc_appendable_t *app,
+    const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
+{
+  int value = arg->v_int;
+  const char *p = get_pnc_string(value);
+
+  return lc_arg_append(app, occ, p, strlen(p));
+}
+
+lc_arg_env_t *firm_get_arg_env(void)
 {
 #define X(name, letter) {"firm:" name, letter}
 
-  static arg_env_t *env = NULL;
+  static lc_arg_env_t *env = NULL;
 
-  static arg_handler_t firm_handler   = { firm_get_arg_type, firm_emit };
-  static arg_handler_t ident_handler  = { firm_get_arg_type, firm_emit_ident };
-  static arg_handler_t indent_handler = { firm_get_arg_type_int, firm_emit_indent };
-  static arg_handler_t bitset_handler = { bitset_get_arg_type, bitset_emit };
+  static lc_arg_handler_t firm_handler   = { firm_get_arg_type, firm_emit };
+  static lc_arg_handler_t ident_handler  = { firm_get_arg_type, firm_emit_ident };
+  static lc_arg_handler_t indent_handler = { firm_get_arg_type_int, firm_emit_indent };
+  static lc_arg_handler_t pnc_handler    = { firm_get_arg_type_int, firm_emit_pnc };
+  static lc_arg_handler_t bitset_handler = { bitset_get_arg_type, bitset_emit };
+  static lc_arg_handler_t debug_handler  = { firm_get_arg_type, firm_emit_dbg };
 
   static struct {
     const char *name;
@@ -209,21 +257,25 @@ arg_env_t *firm_get_arg_env(void)
     X("irn_nr",    'N'),
     X("mode",      'm'),
     X("block",     'B'),
+    X("pnc",       '='),
+    X("cg_path",   'P'),
   };
 
   int i;
 
   if(env == NULL) {
-    env = arg_new_env();
-    arg_add_std(env);
+    env = lc_arg_new_env();
+    lc_arg_add_std(env);
 
-               arg_register(env, "firm", 'F', &firm_handler);
+    lc_arg_register(env, "firm", 'F', &firm_handler);
     for (i = 0; i < sizeof(args)/sizeof(args[0]); ++i)
-      arg_register(env, args[i].name, args[i].letter, &firm_handler);
+      lc_arg_register(env, args[i].name, args[i].letter, &firm_handler);
 
-    arg_register(env, "firm:ident", 'I', &ident_handler);
-               arg_register(env, "firm:indent", 'D', &indent_handler);
-               /* arg_register(env, "firm:bitset", 'b', &bitset_handler); */
+    lc_arg_register(env, "firm:ident", 'I', &ident_handler);
+    lc_arg_register(env, "firm:indent", 'D', &indent_handler);
+    lc_arg_register(env, "firm:pnc",      '=', &pnc_handler);
+    lc_arg_register(env, "firm:dbg_info", 'G', &debug_handler);
+    /* lc_arg_register(env, "firm:bitset", 'b', &bitset_handler); */
   }
 
   return env;