2 * This file is part of libFirm.
3 * Copyright (C) 2012 University of Karlsruhe.
8 * @brief Support for libcore IR object output.
9 * @author Sebastian Hack
18 #include "lc_printf.h"
19 #include "firm_common.h"
24 #include "dbginfo_t.h"
28 * identify a firm object type
30 static int firm_get_arg_type(const lc_arg_occ_t *occ)
33 /* Firm objects are always pointer */
34 return lc_arg_type_ptr;
37 static int firm_get_arg_type_int(const lc_arg_occ_t *occ)
40 return lc_arg_type_int;
44 static int bitset_get_arg_type(const lc_arg_occ_t *occ)
47 return lc_arg_type_ptr;
50 static int bitset_emit(lc_appendable_t *app,
51 const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
54 bitset_t *b = (bitset_t*)arg->v_ptr;
56 const char *prefix = "";
58 lc_arg_append(app, occ, "[", 1);
59 bitset_foreach(b, p) {
62 n = snprintf(buf, sizeof(buf), "%s%d", prefix, (int) p);
63 lc_arg_append(app, occ, buf, n);
67 lc_arg_append(app, occ, "]", 1);
73 * emit an opaque Firm dbg_info object
75 static int firm_emit_dbg(lc_appendable_t *app,
76 const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
79 ir_node *irn = (ir_node*)arg->v_ptr;
80 dbg_info *dbg = get_irn_dbg_info(irn);
82 ir_dbg_info_snprint(buf, sizeof(buf), dbg);
83 return lc_arg_append(app, occ, buf, strlen(buf));
87 * Beware: do not set the entity ld_name
89 static const char *get_entity_ld_name_ex(ir_entity *ent)
92 return get_entity_ld_name(ent);
93 return get_entity_name(ent);
99 static int firm_emit(lc_appendable_t *app,
100 const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
102 #define A(s) occ->flag_hash ? s " ": ""
104 void *X = (void*)arg->v_ptr;
105 firm_kind *obj = (firm_kind*)X;
115 return lc_arg_append(app, occ, "(null)", 6);
120 snprintf(buf, sizeof(buf), "BAD");
121 snprintf(add, sizeof(add), "[%p]", X);
124 ir_entity *entity = (ir_entity*)X;
125 snprintf(buf, sizeof(buf), "%s%s", A("ent"),
126 isupper((unsigned char)occ->conversion) ? get_entity_ld_name_ex(entity): get_entity_name(entity));
127 snprintf(add, sizeof(add), "[%ld]", get_entity_nr(entity));
131 ir_type *type = (ir_type*)X;
133 ir_print_type(type_name, sizeof(type_name), type);
134 snprintf(buf, sizeof(buf), "%s%s:%s", A("type"),
135 get_type_tpop_name(type), type_name);
136 snprintf(add, sizeof(add), "[%ld]", get_type_nr(type));
140 ir_graph *irg = (ir_graph*)X;
141 if (irg == get_const_code_irg())
142 snprintf(buf, sizeof(buf), "%s<ConstCodeIrg>", A("irg"));
144 snprintf(buf, sizeof(buf), "%s%s", A("irg"), get_entity_name(get_irg_entity(irg)));
145 snprintf(add, sizeof(add), "[%ld]", get_irg_graph_nr(irg));
149 ir_node *node = (ir_node*)X;
150 switch (occ->conversion) {
152 block = !is_Block(node) ? get_nodes_block(node) : node;
153 snprintf(buf, sizeof(buf), "%s%s %s", A("irn"),
154 get_irn_opname(block), get_mode_name(get_irn_mode(block)));
155 snprintf(add, sizeof(add), "[%ld]", get_irn_node_nr(block));
158 snprintf(buf, sizeof(buf), "%ld", get_irn_node_nr(node));
161 if (is_Const(node)) {
162 ir_tarval *tv = get_Const_tarval(node);
164 tarval_snprintf(tv_buf, sizeof(tv_buf), tv);
166 strncpy(tv_buf, "(NULL)", sizeof(tv_buf));
167 snprintf(buf, sizeof(buf), "%s%s %s<%s>", A("irn"), get_irn_opname(node),
168 get_mode_name(get_irn_mode(node)), tv_buf);
169 } else if (is_SymConst_addr_ent(node)) {
170 snprintf(buf, sizeof(buf), "%s%s %s[%s]", A("irn"), get_irn_opname(node),
171 get_mode_name(get_irn_mode(node)), get_entity_name(get_SymConst_entity(node)));
172 } else if (is_Sel(node)) {
173 ir_entity *entity = get_Sel_entity(node);
174 const char *entity_name = "(null)";
176 entity_name = get_entity_name(entity);
177 snprintf(buf, sizeof(buf), "%s%s %s[%s]", A("irn"), get_irn_opname(node),
178 get_mode_name(get_irn_mode(node)), entity_name);
179 } else if (is_Cmp(node)) {
180 ir_relation relation = get_Cmp_relation(node);
181 snprintf(buf, sizeof(buf), "%s%s %s", A("irn"), get_irn_opname(node), get_relation_string(relation));
183 snprintf(buf, sizeof(buf), "%s%s %s", A("irn"), get_irn_opname(node),
184 get_mode_name(get_irn_mode(node)));
186 snprintf(add, sizeof(add), "[%ld:%u]", get_irn_node_nr(node), get_irn_idx(node));
191 ir_mode *mode = (ir_mode*)X;
192 snprintf(buf, sizeof(buf), "%s%s", A("mode"), get_mode_name(mode));
196 ir_tarval *tarval = (ir_tarval*)X;
197 tarval_snprintf(tv_buf, sizeof(tv_buf), tarval);
198 snprintf(buf, sizeof(buf), "%s%s", A("tv"), tv_buf);
202 ir_loop *loop = (ir_loop*)X;
203 snprintf(buf, sizeof(buf), "loop[%ld:%u]", get_loop_loop_nr(loop), get_loop_depth(loop));
207 ir_op *op = (ir_op*)X;
208 snprintf(buf, sizeof(buf), "%s%s", A("op"), get_op_name(op));
213 snprintf(buf, sizeof(buf), "UNKWN");
214 snprintf(add, sizeof(add), "[%p]", X);
218 strncat(buf, add, sizeof(buf)-strlen(buf)-1);
220 return lc_arg_append(app, occ, buf, strlen(buf));
227 static int firm_emit_ident(lc_appendable_t *app,
228 const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
230 ident *id = (ident *)arg->v_ptr;
231 const char *p = id ? get_id_str(id) : "(null)";
233 return lc_arg_append(app, occ, p, strlen(p));
239 static int firm_emit_indent(lc_appendable_t *app,
240 const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
243 int width = occ->width > 0 ? occ->width : 1;
244 int amount = arg->v_int * width;
246 for (i = 0; i < amount; ++i)
247 lc_appendable_chadd(app, (i % width) == 0 ? '|' : ' ');
255 static int firm_emit_pnc(lc_appendable_t *app,
256 const lc_arg_occ_t *occ, const lc_arg_value_t *arg)
258 ir_relation value = (ir_relation)arg->v_int;
259 const char *p = get_relation_string(value);
261 return lc_arg_append(app, occ, p, strlen(p));
264 lc_arg_env_t *firm_get_arg_env(void)
267 static lc_arg_env_t *env = NULL;
269 static lc_arg_handler_t firm_handler = { firm_get_arg_type, firm_emit };
270 static lc_arg_handler_t ident_handler = { firm_get_arg_type, firm_emit_ident };
271 static lc_arg_handler_t indent_handler = { firm_get_arg_type_int, firm_emit_indent };
272 static lc_arg_handler_t pnc_handler = { firm_get_arg_type_int, firm_emit_pnc };
273 static lc_arg_handler_t bitset_handler = { bitset_get_arg_type, bitset_emit };
274 static lc_arg_handler_t debug_handler = { firm_get_arg_type, firm_emit_dbg };
281 {"firm:entity", 'e'},
282 {"firm:entity_ld", 'E'},
283 {"firm:tarval", 'T'},
286 {"firm:irn_nr", 'N'},
294 env = lc_arg_new_env();
297 lc_arg_register(env, "firm", 'F', &firm_handler);
298 for (i = 0; i != ARRAY_SIZE(args); ++i)
299 lc_arg_register(env, args[i].name, args[i].letter, &firm_handler);
301 lc_arg_register(env, "firm:ident", 'I', &ident_handler);
302 lc_arg_register(env, "firm:indent", 'D', &indent_handler);
303 lc_arg_register(env, "firm:dbg_info", 'G', &debug_handler);
304 lc_arg_register(env, "firm:bitset", 'B', &bitset_handler);
305 lc_arg_register(env, "firm:pnc", '=', &pnc_handler);