nsz Git - libfirm/blob - ir/ir/irargs.c

   1 /*
   2  * Project:     libFIRM
   3  * File name:   ir/ir/irargs.c
   4  * Purpose:     Support for libcore IR object output.
   5  * Author:      Sebastian Hack
   6  * Modified by:
   7  * Created:
   8  * CVS-ID:      $Id$
   9  * Copyright:   (c) 1998-2005 Universitaet Karlsruhe
  10  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  11  */
  12
  13 #ifdef HAVE_CONFIG_H
  14 # include "config.h"
  15 #endif
  16
  17 #ifdef WITH_LIBCORE
  18
  19 #include "bitset.h"
  20
  21 #include <ctype.h>
  22 #include <libcore/lc_printf.h>
  23
  24 #include "firm_common.h"
  25 #include "irnode_t.h"
  26 #include "entity_t.h"
  27 #include "irloop_t.h"
  28 #include "tv_t.h"
  29 #include "dbginfo_t.h"
  30
  31 /**
  32  * identify a firm object type
  33  */
  34 static int firm_get_arg_type(const lc_arg_occ_t *occ) {
  35   /* Firm objects are always pointer */
  36   return lc_arg_type_ptr;
  37 }
  38
  39 static int firm_get_arg_type_int(const lc_arg_occ_t *occ) {
  40   return lc_arg_type_int;
  41 }
  42
  43
  44 static int bitset_get_arg_type(const lc_arg_occ_t *occ) {
  45   return lc_arg_type_ptr;
  46 }
  47
  48 static int bitset_emit(lc_appendable_t *app,
  49     const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
  50 {
  51   int res = 2;
  52   bitset_t *b = arg->v_ptr;
  53   bitset_pos_t p;
  54   char buf[32];
  55   const char *prefix = "";
  56
  57   lc_arg_append(app, occ, "[", 1);
  58   bitset_foreach(b, p) {
  59     int n;
  60
  61     n = snprintf(buf, sizeof(buf), "%s%d", prefix, (int) p);
  62     lc_arg_append(app, occ, buf, n);
  63     prefix = ", ";
  64     res += n;
  65   }
  66   lc_arg_append(app, occ, "]", 1);
  67
  68   return res;
  69 }
  70
  71 /**
  72  * emit an opaque Firm dbg_info object
  73  */
  74 static int firm_emit_dbg(lc_appendable_t *app,
  75     const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
  76 {
  77   char buf[1024];
  78   ir_node *irn = arg->v_ptr;
  79   dbg_info *dbg = get_irn_dbg_info(irn);
  80
  81   buf[0] = '\0';
  82   if (dbg && __dbg_info_snprint) {
  83     if (__dbg_info_snprint(buf, sizeof(buf), dbg) <= 0)
  84       buf[0] = '\0';
  85   }
  86   return lc_arg_append(app, occ, buf, strlen(buf));
  87 }
  88
  89 /**
  90  * Beware: do not set the entity ld_name
  91  */
  92 static const char *get_entity_ld_name_ex(entity *ent) {
  93   if (ent->ld_name)
  94     return get_entity_ld_name(ent);
  95   return get_entity_name(ent);
  96 }
  97
  98 /**
  99  * emit a Firm object
 100  */
 101 static int firm_emit(lc_appendable_t *app,
 102     const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 103 {
 104 #define A(s)    occ->flag_hash ? s " ": ""
 105
 106   void *X = arg->v_ptr;
 107   firm_kind *obj = X;
 108   int i, n;
 109   ir_node *block;
 110   char add[64];
 111   char buf[256];
 112   char tv_buf[256];
 113   entity *ent;
 114
 115   buf[0] = '\0';
 116   add[0] = '\0';
 117
 118   if (! X)
 119     strncpy(buf, "(null)", sizeof(buf));
 120   else {
 121     switch (*obj) {
 122     case k_BAD:
 123       snprintf(buf, sizeof(buf), "BAD");
 124       snprintf(add, sizeof(add), "[%p]", X);
 125       break;
 126     case k_entity:
 127       snprintf(buf, sizeof(buf), "%s%s", A("ent"),
 128           isupper(occ->conversion) ? get_entity_ld_name_ex(X): get_entity_name(X));
 129       snprintf(add, sizeof(add), "[%ld]", get_entity_nr(X));
 130       break;
 131     case k_type:
 132       snprintf(buf, sizeof(buf), "%s%s:%s", A("type"), get_type_tpop_name(X), get_type_name(X));
 133       snprintf(add, sizeof(add), "[%ld]", get_type_nr(X));
 134       break;
 135     case k_ir_graph:
 136       if (irg == get_const_code_irg())
 137         snprintf(buf, sizeof(buf), "%s<ConstCodeIrg>", A("irg"), get_entity_name(get_irg_entity(X)));
 138       else
 139         snprintf(buf, sizeof(buf), "%s%s", A("irg"), get_entity_name(get_irg_entity(X)));
 140       snprintf(add, sizeof(add), "[%ld]", get_irg_graph_nr(X));
 141       break;
 142     case k_ir_node:
 143       switch (occ->conversion) {
 144       case 'B':
 145         block = is_no_Block(X) ? get_nodes_block(X) : X;
 146         snprintf(buf, sizeof(buf), "%s%s%s", A("irn"), get_irn_opname(block),
 147             get_mode_name(get_irn_mode(block)));
 148         snprintf(add, sizeof(add), "[%ld]", get_irn_node_nr(block));
 149         break;
 150       case 'N':
 151         snprintf(buf, sizeof(buf), "%ld", get_irn_node_nr(X));
 152         break;
 153       default:
 154         if (is_Const(X)) {
 155           tarval *tv = get_Const_tarval(X);
 156           if (tv)
 157             tarval_snprintf(tv_buf, sizeof(tv_buf), tv);
 158           else
 159             strncpy(tv_buf, "(NULL)", sizeof(tv_buf));
 160           snprintf(buf, sizeof(buf), "%s%s%s<%s>", A("irn"), get_irn_opname(X),
 161             get_mode_name(get_irn_mode(X)), tv_buf);
 162         }
 163         else
 164           snprintf(buf, sizeof(buf), "%s%s%s", A("irn"), get_irn_opname(X),
 165             get_mode_name(get_irn_mode(X)));
 166         snprintf(add, sizeof(add), "[%ld:%d]", get_irn_node_nr(X), get_irn_idx(X));
 167       }
 168       break;
 169     case k_ir_mode:
 170       snprintf(buf, sizeof(buf), "%s%s", A("mode"), get_mode_name(X));
 171       break;
 172     case k_tarval:
 173       tarval_snprintf(tv_buf, sizeof(tv_buf), X);
 174       snprintf(buf, sizeof(buf), "%s%s", A("tv"), tv_buf);
 175       break;
 176     case k_ir_loop:
 177       snprintf(buf, sizeof(buf), "loop[%d:%d]", get_loop_loop_nr(X), get_loop_depth(X));
 178       break;
 179     case k_ir_op:
 180       snprintf(buf, sizeof(buf), "%s%s", A("op"), get_op_name(X));
 181       break;
 182     case k_ir_compound_graph_path:
 183       n = get_compound_graph_path_length(X);
 184
 185       for (i = 0; i < n; ++i) {
 186         ent = get_compound_graph_path_node(X, i);
 187
 188         strncat(buf, ".", sizeof(buf));
 189         strncat(buf, get_entity_name(ent), sizeof(buf));
 190         if (is_Array_type(get_entity_owner(ent))) {
 191           snprintf(add, sizeof(add), "[%d]",
 192             get_compound_graph_path_array_index(X, i));
 193           strncat(buf, add, sizeof(buf));
 194         }
 195       }
 196       add[0] = '\0';
 197       break;
 198     case k_ir_extblk:
 199       snprintf(buf, sizeof(buf), "ExtBlock");
 200       snprintf(add, sizeof(add), "[%ld]", get_irn_node_nr(get_extbb_leader(X)));
 201       break;
 202
 203     default:
 204       snprintf(buf, sizeof(buf), "UNKWN");
 205       snprintf(add, sizeof(add), "[%p]", X);
 206     }
 207   }
 208
 209   if (occ->flag_plus)
 210         strncat(buf, add, sizeof(buf));
 211
 212   return lc_arg_append(app, occ, buf, strlen(buf));
 213
 214 #undef A
 215 }
 216
 217 /**
 218  * emit an ident
 219  */
 220 static int firm_emit_ident(lc_appendable_t *app,
 221     const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 222 {
 223   ident *id = (ident *)arg->v_ptr;
 224   const char *p = id ? get_id_str(id) : "(null)";
 225
 226   return lc_arg_append(app, occ, p, strlen(p));
 227 }
 228
 229 /**
 230  * Emit indent.
 231  */
 232 static int firm_emit_indent(lc_appendable_t *app,
 233     const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 234 {
 235         int i;
 236         int amount = arg->v_int * (occ->width > 0 ? occ->width : 1);
 237
 238         for(i = 0; i < amount; ++i)
 239                 lc_appendable_chadd(app, ' ');
 240
 241         return amount;
 242 }
 243
 244 /**
 245  * Emit pnc.
 246  */
 247 static int firm_emit_pnc(lc_appendable_t *app,
 248     const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
 249 {
 250   int value = arg->v_int;
 251   const char *p = get_pnc_string(value);
 252
 253   return lc_arg_append(app, occ, p, strlen(p));
 254 }
 255
 256 lc_arg_env_t *firm_get_arg_env(void)
 257 {
 258 #define X(name, letter) {"firm:" name, letter}
 259
 260   static lc_arg_env_t *env = NULL;
 261
 262   static lc_arg_handler_t firm_handler   = { firm_get_arg_type, firm_emit };
 263   static lc_arg_handler_t ident_handler  = { firm_get_arg_type, firm_emit_ident };
 264   static lc_arg_handler_t indent_handler = { firm_get_arg_type_int, firm_emit_indent };
 265   static lc_arg_handler_t pnc_handler    = { firm_get_arg_type_int, firm_emit_pnc };
 266   static lc_arg_handler_t bitset_handler = { bitset_get_arg_type, bitset_emit };
 267   static lc_arg_handler_t debug_handler  = { firm_get_arg_type, firm_emit_dbg };
 268
 269   static struct {
 270     const char *name;
 271     char letter;
 272   } args[] = {
 273     X("type",      't'),
 274     X("entity",    'e'),
 275     X("entity_ld", 'E'),
 276     X("tarval",    'T'),
 277     X("irn",       'n'),
 278     X("op",        'O'),
 279     X("irn_nr",    'N'),
 280     X("mode",      'm'),
 281     X("block",     'B'),
 282     X("cg_path",   'P'),
 283   };
 284
 285   int i;
 286
 287   if(env == NULL) {
 288     env = lc_arg_new_env();
 289     lc_arg_add_std(env);
 290
 291     lc_arg_register(env, "firm", 'F', &firm_handler);
 292     for (i = 0; i < sizeof(args)/sizeof(args[0]); ++i)
 293       lc_arg_register(env, args[i].name, args[i].letter, &firm_handler);
 294
 295     lc_arg_register(env, "firm:ident",    'I', &ident_handler);
 296     lc_arg_register(env, "firm:indent",   '>', &indent_handler);
 297     lc_arg_register(env, "firm:dbg_info", 'G', &debug_handler);
 298     lc_arg_register(env, "firm:bitset",   'B', &bitset_handler);
 299     lc_arg_register(env, "firm:pnc",      '=', &pnc_handler);
 300   }
 301
 302   return env;
 303 }
 304
 305 #endif /* WITH_LIBCORE */