X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firprintf.c;h=bbd968ad9d1210675db671e275d6bd76ba214fe2;hb=694e43d5c03f5ac9ae82373fb54baf01c5678bf0;hp=fc9e58f63c782010cf43712700df199d005ca3c8;hpb=a855b8f68c97cf18d2c7308bbc6157be9b72096f;p=libfirm diff --git a/ir/ir/irprintf.c b/ir/ir/irprintf.c index fc9e58f63..bbd968ad9 100644 --- a/ir/ir/irprintf.c +++ b/ir/ir/irprintf.c @@ -10,7 +10,7 @@ */ /** - * @file irprinf.c + * @file irprintf.c * * A little printf helper unterstanding firm types. * @author Sebastian Hack @@ -21,179 +21,382 @@ #include "config.h" #endif -#include -#include - #ifdef HAVE_STRING_H #include #endif +#ifdef HAVE_INTTYPES_H +#include +#endif + +#include +#include +#include #include +#include "firm_config.h" #include "ident.h" #include "irmode_t.h" #include "irnode_t.h" #include "entity_t.h" -#include "tv.h" +#include "type_t.h" +#include "tv_t.h" #include "irprintf.h" +#include "obst.h" #include "pset.h" #include "iterator.h" +#include "bitset.h" +#include "dbginfo_t.h" +#define STRNIL "(nil)" /** - * append a char to a string buffer + * Init the string. + */ +static void str_init(void *object, size_t n) +{ + strcpy(object, ""); +} + +/** + * append a char to a string buffer. */ static void str_append_char(void *object, size_t n, char ch) { - char buf[2]; + char buf[2]; - buf[0] = ch; - buf[1] = 0; + buf[0] = ch; + buf[1] = 0; - strncat(object, buf, n); + strncat(object, buf, n); } /** - * append a string to a string buffer + * append a string to a string buffer. */ static void str_append_str(void *object, size_t n, const char *str) { - strncat(object, str, n); + strncat(object, str, n); +} + + +/** + * Init the file. i.e. do nothing. + */ +static void file_init(void *object, size_t n) +{ } /** - * append a char to a file + * append a char to a file. */ static void file_append_char(void *object, size_t n, char ch) { - fputc(ch, object); + fputc(ch, object); } /** - * append a string to a file + * append a string to a file. */ static void file_append_str(void *object, size_t n, const char *str) { - fputs(str, object); + fputs(str, object); +} + +/** + * Init the obstack. i.e. do nothing. + */ +static void obst_init(void *object, size_t n) +{ } +/** + * append a char to a obstack. + */ +static void obst_append_char(void *object, size_t n, char ch) +{ + struct obstack *obst = object; + obstack_1grow(obst, ch); +} + +/** + * append a string to a obstack. + */ +static void obst_append_str(void *object, size_t n, const char *str) +{ + struct obstack *obst = object; + obstack_grow(obst, str, strlen(str)); +} + + /** * the file appender */ static const appender_t file_appender = { - file_append_char, - file_append_str + file_init, + file_append_char, + file_append_str }; /** * the string buffer appender */ static const appender_t str_appender = { - str_append_char, - str_append_str + str_init, + str_append_char, + str_append_str +}; + +/** + * the obstack appender. + */ +static const appender_t obst_appender = { + obst_init, + obst_append_char, + obst_append_str }; +#ifndef WITH_LIBCORE + static void ir_common_vprintf(const appender_t *app, void *object, size_t limit, const char *fmt, va_list args); static INLINE void ir_common_printf(const appender_t *app, void *object, size_t limit, const char *fmt, ...) { - va_list args; + va_list args; - va_start(args, fmt); - ir_common_vprintf(app, object, limit, fmt, args); - va_end(args); + va_start(args, fmt); + ir_common_vprintf(app, object, limit, fmt, args); + va_end(args); } #if 0 static int is_std_fmt(const char *fmt) { - static const char *fmt_re_str = - "^[0 -+#']?[1-9]*(\\.[1-9]*)?[hlLqjzt]?[diouxXeEfFgGaAc]"; + static const char *fmt_re_str = + "^[0 -+#']?[1-9]*(\\.[1-9]*)?[hlLqjzt]?[diouxXeEfFgGaAc]"; - static regex_t fmt_re; - static int preapred_re = 0; + static regex_t fmt_re; + static int preapred_re = 0; - regmatch_t match[1]; - int res; + regmatch_t match[1]; + int res; - if(!preapred_re) { - int res = regcomp(&fmt_re, fmt_re_str, REG_EXTENDED); - assert(res == 0 && "Could not prepare regex"); - preapred_re = 1; - } + if(!preapred_re) { + int res = regcomp(&fmt_re, fmt_re_str, REG_EXTENDED); + assert(res == 0 && "Could not prepare regex"); + preapred_re = 1; + } - res = regexec(&fmt_re, fmt, 1, &match[0], 0); + res = regexec(&fmt_re, fmt, 1, &match[0], 0); #if 0 - if(res != 0) { - char buf[256]; - regerror(res, &fmt_re, buf, sizeof(buf)); - printf("%s ", buf); - } - - printf("res: %d, start: %d, end: %d\n", - res, match[0].rm_so, match[0].rm_eo); + if(res != 0) { + char buf[256]; + regerror(res, &fmt_re, buf, sizeof(buf)); + printf("%s ", buf); + } + + printf("res: %d, start: %d, end: %d\n", + res, match[0].rm_so, match[0].rm_eo); #endif - return res == 0 ? match[0].rm_eo : -1; + return res == 0 ? match[0].rm_eo : -1; } #endif struct settings { - char pad; - int width; - int left_just; - int put_plus; - int alternate; + char flag_zero; + int width; + int flag_minus; + int flag_plus; + int flag_hash; }; +/* Length specifiers. */ +enum { + len_char, + len_short, + len_int, + len_long, + len_long_long +}; + + #define MIN(x,y) ((x) < (y) ? (x) : (y)) #define MAX(x,y) ((x) > (y) ? (x) : (y)) - static void dump_with_settings(const appender_t *app, void *object, size_t limit, const struct settings *settings, const char *str) { - if(settings->width >= 0) { - int i; - size_t n = strlen(str); - int lim = MIN(settings->width, limit); - int to_print = MIN(lim, n); - int to_pad = to_print - lim; - - if(!settings->left_just) - for(i = 0; i < to_pad; ++i) - app->append_char(object, lim, settings->pad); - - app->append_str(object, to_print, str); - - if(!settings->left_just) - for(i = 0; i < to_pad; ++i) - app->append_char(object, lim, settings->pad); - } - - else - app->append_str(object, limit, str); + if (settings->width >= 0) { + int i; + size_t n = strlen(str); + int lim = MIN(settings->width, (int)limit); + int to_print = MIN(lim, (int)n); + int to_pad = to_print - lim; + + if (!settings->flag_minus) + for(i = 0; i < to_pad; ++i) + app->append_char(object, lim, settings->flag_zero); + + app->append_str(object, to_print, str); + + if (!settings->flag_minus) + for(i = 0; i < to_pad; ++i) + app->append_char(object, lim, settings->flag_zero); + } + + else + app->append_str(object, limit, str); } +/** + * Beware: do not set the entity ld_name + */ +static const char *get_entity_ld_name_ex(entity *ent) { + if (ent->ld_name) + return get_entity_ld_name(ent); + return get_entity_name(ent); +} - -/* Length specifiers. */ -enum { - len_char, - len_short, - len_int, - len_long, - len_long_long -}; - +/** + * emit a Firm object. Backported from irargs. + */ +static void firm_emit(char *buf, int buflen, char conversion, + const struct settings *occ, void *X) +{ +#define A(s) occ->flag_hash ? s " ": "" + + firm_kind *obj = X; + int i, n; + ir_node *block; + char add[64]; + char tv_buf[256]; + entity *ent; + + buf[0] = '\0'; + add[0] = '\0'; + + if (! X) + strncpy(buf, "(null)", buflen); + else { + switch (*obj) { + case k_BAD: + snprintf(buf, buflen, "BAD"); + snprintf(add, sizeof(add), "[%p]", X); + break; + case k_entity: + snprintf(buf, buflen, "%s%s", A("ent"), + isupper(conversion) ? get_entity_ld_name_ex(X): get_entity_name(X)); + snprintf(add, sizeof(add), "[%ld]", get_entity_nr(X)); + break; + case k_type: + snprintf(buf, buflen, "%s%s:%s", A("type"), get_type_tpop_name(X), get_type_name(X)); + snprintf(add, sizeof(add), "[%ld]", get_type_nr(X)); + break; + case k_ir_graph: + if (X == get_const_code_irg()) + snprintf(buf, buflen, "const_code_irg "); + else + snprintf(buf, buflen, "%s%s", A("irg"), get_entity_name(get_irg_entity(X))); + snprintf(add, sizeof(add), "[%ld]", get_irg_graph_nr(X)); + break; + case k_ir_node: + switch (conversion) { + case 'B': + block = is_no_Block(X) ? get_nodes_block(X) : X; + snprintf(buf, buflen, "%s%s%s", A("irn"), get_irn_opname(block), + get_mode_name(get_irn_mode(block))); + snprintf(add, sizeof(add), "[%ld]", get_irn_node_nr(block)); + break; + case 'N': + snprintf(buf, buflen, "%ld", get_irn_node_nr(X)); + break; + default: + if (is_Const(X)) { + tarval *tv = get_Const_tarval(X); + + if (tv) + tarval_snprintf(tv_buf, sizeof(tv_buf), tv); + snprintf(buf, buflen, "%s%s%s<%s>", A("irn"), get_irn_opname(X), + get_mode_name(get_irn_mode(X)), tv ? tv_buf : ">NULL<"); + } + else if (get_irn_op(X) == op_SymConst) { + switch (get_SymConst_kind(X)) { + case symconst_type_tag: /* type tag */ + snprintf(tv_buf, sizeof(tv_buf), "", get_type_name(get_SymConst_type(X))); + break; + case symconst_type_size: /* type size */ + snprintf(tv_buf, sizeof(tv_buf), "", get_type_name(get_SymConst_type(X))); + break; + case symconst_type_align: /* type alignment */ + snprintf(tv_buf, sizeof(tv_buf), "", get_type_name(get_SymConst_type(X))); + break; + case symconst_addr_name: /* linker name */ + snprintf(tv_buf, sizeof(tv_buf), "", get_id_str(get_SymConst_name(X))); + break; + case symconst_addr_ent: /* entity name */ + snprintf(tv_buf, sizeof(tv_buf), "<%s>", get_entity_name(get_SymConst_entity(X))); + break; + default: + tv_buf[0] = '\0'; + } + snprintf(buf, buflen, "%s%s%s%s", A("irn"), get_irn_opname(X), + get_mode_name(get_irn_mode(X)), tv_buf); + } + else + snprintf(buf, buflen, "%s%s%s", A("irn"), get_irn_opname(X), + get_mode_name(get_irn_mode(X))); + snprintf(add, sizeof(add), "[%ld:%d]", get_irn_node_nr(X), get_irn_idx(X)); + } + break; + case k_ir_mode: + snprintf(buf, buflen, "%s%s", A("mode"), get_mode_name(X)); + break; + case k_tarval: + tarval_snprintf(tv_buf, sizeof(tv_buf), X); + snprintf(buf, buflen, "%s%s", A("tv"), tv_buf); + break; + case k_ir_loop: + snprintf(buf, sizeof(buf), "loop[%d:%d]", get_loop_loop_nr(X), get_loop_depth(X)); + break; + case k_ir_op: + snprintf(buf, buflen, "%s%s", A("op"), get_op_name(X)); + break; + case k_ir_compound_graph_path: + n = get_compound_graph_path_length(X); + + for (i = 0; i < n; ++i) { + ent = get_compound_graph_path_node(X, i); + + strncat(buf, ".", buflen); + strncat(buf, get_entity_name(ent), buflen); + if (is_Array_type(get_entity_owner(ent))) { + snprintf(add, sizeof(add), "[%d]", + get_compound_graph_path_array_index(X, i)); + strncat(buf, add, buflen); + } + } + add[0] = '\0'; + break; + + default: + snprintf(buf, buflen, "UNKWN"); + snprintf(add, sizeof(add), "[%p]", X); + } + } + + if (occ->flag_plus) + strncat(buf, add, buflen); + +#undef A +} /** * A small printf helper routine for ir nodes. - * @param app An appender (this determines where the stuff is dumped - * to). + * @param app An appender (this determines where the stuff is dumped to). * @param object A target passed to the appender. * @param limit The maximum number of characters to dump. * @param fmt The format string. @@ -209,20 +412,22 @@ static void ir_common_vprintf(const appender_t *app, void *object, #define DUMP_STR(s) app->append_str(object, limit, s) #define DUMP_CH(ch) app->append_char(object, limit, ch) - for(i = 0, n = strlen(fmt); i < n; ++i) { + app->init(object, limit); + + for (i = 0, n = strlen(fmt); i < n; ++i) { char ch = fmt[i]; - if(ch == '%') { + if (ch == '%') { int len; const char *len_str = ""; struct settings settings; - settings.alternate = 0; - settings.pad = ' '; + settings.flag_hash = 0; + settings.flag_zero = ' '; settings.width = -1; - settings.left_just = 0; - settings.put_plus = 0; + settings.flag_minus = 0; + settings.flag_plus = 0; ch = fmt[++i]; @@ -232,19 +437,19 @@ static void ir_common_vprintf(const appender_t *app, void *object, /* Set the string to print to the buffer by default. */ str = buf; - while(strchr("#0-+", ch)) { + while (strchr("#0-+", ch)) { switch(ch) { case '#': - settings.alternate = 1; + settings.flag_hash = 1; break; case '0': - settings.pad = '0'; + settings.flag_zero = '0'; break; case '-': - settings.left_just = 1; + settings.flag_minus = 1; break; case '+': - settings.put_plus = 1; + settings.flag_plus = 1; break; } @@ -265,7 +470,7 @@ static void ir_common_vprintf(const appender_t *app, void *object, } /* Ignore the precision */ - if(ch == '.') + if (ch == '.') while(isdigit(ch = fmt[++i])); /* read the length modifier. */ @@ -293,7 +498,7 @@ static void ir_common_vprintf(const appender_t *app, void *object, } /* Do the conversion specifier. */ - switch(ch) { + switch (ch) { /* The percent itself */ case '%': @@ -301,6 +506,17 @@ static void ir_common_vprintf(const appender_t *app, void *object, buf[1] = '\0'; break; + /* Indent */ + case '>': + { + int i, n = va_arg(args, int); + for(i = 0; i < n && i < sizeof(buf) - 1; ++i) + buf[i] = ' '; + + buf[i] = '\0'; + } + break; + case 'c': buf[0] = va_arg(args, int); buf[1] = '\0'; @@ -314,14 +530,40 @@ static void ir_common_vprintf(const appender_t *app, void *object, snprintf(buf, sizeof(buf), "%p", va_arg(args, void *)); break; + case 'i': case 'd': + case 'u': case 'x': case 'X': case 'o': { char fmt_str[16]; snprintf(fmt_str, sizeof(fmt_str), "%%%s%c", len_str, ch); - vsnprintf(buf, sizeof(buf), fmt_str, args); + + switch(len) { + case len_char: + case len_short: + case len_int: + { + int arg = va_arg(args, int); + snprintf(buf, sizeof(buf), fmt_str, arg); + } + break; + + case len_long: + { + long arg = va_arg(args, long); + snprintf(buf, sizeof(buf), fmt_str, arg); + } + break; + + case len_long_long: + { + int64_t arg = va_arg(args, int64_t); + snprintf(buf, sizeof(buf), fmt_str, arg); + } + break; + } } break; @@ -329,41 +571,36 @@ static void ir_common_vprintf(const appender_t *app, void *object, str = get_id_str(va_arg(args, ident *)); break; - case 'e': - str = get_entity_name(va_arg(args, entity *)); - break; - - case 'E': - str = get_entity_ld_name(va_arg(args, entity *)); - break; - case 't': - tarval_snprintf(buf, sizeof(buf), va_arg(args, tarval *)); + case 'e': + case 'E': + case 'T': + case 'n': + case 'O': + case 'm': + case 'B': + case 'P': + case 'F': + case 'f': + firm_emit(buf, sizeof(buf), ch, &settings, va_arg(args, void *)); break; - case 'n': + case 'b': { - ir_node *irn = va_arg(args, ir_node *); - snprintf(buf, sizeof(buf), "%s%s:%ld", - get_irn_opname(irn), get_mode_name(get_irn_mode(irn)), get_irn_node_nr(irn)); - } - break; - - case 'O': - str = get_irn_opname(va_arg(args, ir_node *)); - break; - - case 'N': - snprintf(buf, sizeof(buf), "%ld", get_irn_node_nr(va_arg(args, ir_node *))); - break; - - case 'm': - str = get_mode_name(va_arg(args, ir_mode *)); - break; + const bitset_t *bs = va_arg(args, const bitset_t *); + const char *prefix = ""; + unsigned long i; - case 'b': - snprintf(buf, sizeof(buf), "%ld", - get_irn_node_nr(get_nodes_block(va_arg(args, ir_node *)))); + DUMP_CH('['); + for(i = bitset_next_set(bs, 0); i != -1; i = bitset_next_set(bs, i + 1)) { + snprintf(buf, sizeof(buf), "%ld", i); + DUMP_STR(prefix); + DUMP_STR(buf); + prefix = ", "; + } + DUMP_CH(']'); + buf[0] = '\0'; + } break; case '*': @@ -398,11 +635,25 @@ static void ir_common_vprintf(const appender_t *app, void *object, /* clean the buffer again */ buf[0] = '\0'; break; + + case '=': + str = get_pnc_string(va_arg(args, int)); + break; + case 'G': + { + ir_node *irn = va_arg(args, ir_node *); + 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'; + } + break; + } } dump_with_settings(app, object, limit, &settings, str); } - else DUMP_CH(ch); } @@ -412,7 +663,7 @@ static void ir_common_vprintf(const appender_t *app, void *object, } /** - * Convencience for stdout dumping. + * Convenience for stdout dumping. */ void ir_printf(const char *fmt, ...) { @@ -423,7 +674,7 @@ void ir_printf(const char *fmt, ...) } /** - * Convencience for file dumping. + * Convenience for file dumping. */ void ir_fprintf(FILE *f, const char *fmt, ...) { @@ -434,7 +685,7 @@ void ir_fprintf(FILE *f, const char *fmt, ...) } /** - * Convencience for string dumping. + * Convenience for string dumping. */ void ir_snprintf(char *buf, size_t len, const char *fmt, ...) { @@ -443,3 +694,87 @@ void ir_snprintf(char *buf, size_t len, const char *fmt, ...) ir_common_vprintf(&str_appender, buf, len, fmt, args); va_end(args); } + +/** + * Convenience for string dumping. + */ +void ir_obst_printf(struct obstack *obst, const char *fmt, ...) +{ + va_list args; + va_start(args, fmt); + ir_common_vprintf(&obst_appender, obst, 0, fmt, args); + va_end(args); +} + +void ir_vprintf(const char *fmt, va_list args) +{ + ir_common_vprintf(&file_appender, stdout, 0, fmt, args); +} + +void ir_vfprintf(FILE *f, const char *fmt, va_list args) +{ + ir_common_vprintf(&file_appender, f, 0, fmt, args); +} + +void ir_vsnprintf(char *buf, size_t len, const char *fmt, va_list args) +{ + ir_common_vprintf(&str_appender, buf, len, fmt, args); +} + +void ir_obst_vprintf(struct obstack *obst, const char *fmt, va_list args) +{ + ir_common_vprintf(&obst_appender, obst, 0, fmt, args); +} + +#else /* WITH_LIBCORE */ + +#include "irargs_t.h" + +void ir_printf(const char *fmt, ...) +{ + va_list args; + + va_start(args, fmt); + lc_evprintf(firm_get_arg_env(), fmt, args); + va_end(args); +} + +void ir_fprintf(FILE *f, const char *fmt, ...) +{ + va_list args; + + va_start(args, fmt); + lc_evfprintf(firm_get_arg_env(), f, fmt, args); + va_end(args); +} + +void ir_snprintf(char *buf, size_t n, const char *fmt, ...) +{ + va_list args; + + va_start(args, fmt); + lc_evsnprintf(firm_get_arg_env(), buf, n, fmt, args); + va_end(args); +} + +void ir_vprintf(const char *fmt, va_list args) +{ + lc_evprintf(firm_get_arg_env(), fmt, args); +} + +void ir_vfprintf(FILE *f, const char *fmt, va_list args) +{ + lc_evfprintf(firm_get_arg_env(), f, fmt, args); +} + +void ir_vsnprintf(char *buf, size_t len, const char *fmt, va_list args) +{ + lc_evsnprintf(firm_get_arg_env(), buf, len, fmt, args); +} + +void ir_obst_vprintf(struct obstack *obst, const char *fmt, va_list args) +{ + lc_evoprintf(firm_get_arg_env(), obst, fmt, args); +} + +#endif