binutils-gdb/gprof/sym_ids.c

368 lines
9.0 KiB
C
Raw Normal View History

/* sym_ids.c
Copyright (C) 2000 Free Software Foundation, Inc.
This file is part of GNU Binutils.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
02111-1307, USA. */
1999-05-03 09:29:11 +02:00
#include <ctype.h>
#include "libiberty.h"
#include "cg_arcs.h"
#include "sym_ids.h"
struct sym_id
{
struct sym_id *next;
char *spec; /* Parsing modifies this. */
1999-05-03 09:29:11 +02:00
Table_Id which_table;
bool has_right;
1999-05-03 09:29:11 +02:00
struct match
{
int prev_index; /* Index of prev match. */
Sym *prev_match; /* Previous match. */
Sym *first_match; /* Chain of all matches. */
1999-05-03 09:29:11 +02:00
Sym sym;
}
left, right;
}
*id_list;
Sym_Table syms[NUM_TABLES];
#ifdef DEBUG
const char *table_name[] =
{
"INCL_GRAPH", "EXCL_GRAPH",
"INCL_ARCS", "EXCL_ARCS",
"INCL_FLAT", "EXCL_FLAT",
"INCL_TIME", "EXCL_TIME",
"INCL_ANNO", "EXCL_ANNO",
"INCL_EXEC", "EXCL_EXEC"
};
#endif /* DEBUG */
/* This is the table in which we keep all the syms that match
the right half of an arc id. It is NOT sorted according
to the addresses, because it is accessed only through
the left half's CHILDREN pointers (so it's crucial not
to reorder this table once pointers into it exist). */
1999-05-03 09:29:11 +02:00
static Sym_Table right_ids;
static Source_File non_existent_file =
{
0, "<non-existent-file>", 0, 0, 0, NULL
1999-05-03 09:29:11 +02:00
};
void
DEFUN (sym_id_add, (spec, which_table),
const char *spec AND Table_Id which_table)
{
struct sym_id *id;
int len = strlen (spec);
id = (struct sym_id *) xmalloc (sizeof (*id) + len + 1);
memset (id, 0, sizeof (*id));
id->spec = (char *) id + sizeof (*id);
strcpy (id->spec, spec);
id->which_table = which_table;
id->next = id_list;
id_list = id;
}
/* A spec has the syntax FILENAME:(FUNCNAME|LINENUM). As a convenience
to the user, a spec without a colon is interpreted as:
(i) a FILENAME if it contains a dot
(ii) a FUNCNAME if it starts with a non-digit character
(iii) a LINENUM if it starts with a digit
A FUNCNAME containing a dot can be specified by :FUNCNAME, a
FILENAME not containing a dot can be specified by FILENAME. */
1999-05-03 09:29:11 +02:00
static void
DEFUN (parse_spec, (spec, sym), char *spec AND Sym * sym)
{
char *colon;
sym_init (sym);
colon = strrchr (spec, ':');
1999-05-03 09:29:11 +02:00
if (colon)
{
*colon = '\0';
1999-05-03 09:29:11 +02:00
if (colon > spec)
{
sym->file = source_file_lookup_name (spec);
1999-05-03 09:29:11 +02:00
if (!sym->file)
sym->file = &non_existent_file;
1999-05-03 09:29:11 +02:00
}
1999-05-03 09:29:11 +02:00
spec = colon + 1;
1999-05-03 09:29:11 +02:00
if (strlen (spec))
{
if (isdigit ((unsigned char) spec[0]))
sym->line_num = atoi (spec);
1999-05-03 09:29:11 +02:00
else
sym->name = spec;
1999-05-03 09:29:11 +02:00
}
}
else if (strlen (spec))
{
/* No colon: spec is a filename if it contains a dot. */
1999-05-03 09:29:11 +02:00
if (strchr (spec, '.'))
{
sym->file = source_file_lookup_name (spec);
1999-05-03 09:29:11 +02:00
if (!sym->file)
sym->file = &non_existent_file;
1999-05-03 09:29:11 +02:00
}
else if (isdigit ((unsigned char) *spec))
{
sym->line_num = atoi (spec);
}
else if (strlen (spec))
{
sym->name = spec;
}
}
}
/* A symbol id has the syntax SPEC[/SPEC], where SPEC is is defined
by parse_spec(). */
1999-05-03 09:29:11 +02:00
static void
DEFUN (parse_id, (id), struct sym_id *id)
{
char *slash;
DBG (IDDEBUG, printf ("[parse_id] %s -> ", id->spec));
slash = strchr (id->spec, '/');
if (slash)
{
parse_spec (slash + 1, &id->right.sym);
*slash = '\0';
id->has_right = TRUE;
}
parse_spec (id->spec, &id->left.sym);
#ifdef DEBUG
if (debug_level & IDDEBUG)
{
printf ("%s:", id->left.sym.file ? id->left.sym.file->name : "*");
1999-05-03 09:29:11 +02:00
if (id->left.sym.name)
printf ("%s", id->left.sym.name);
1999-05-03 09:29:11 +02:00
else if (id->left.sym.line_num)
printf ("%d", id->left.sym.line_num);
1999-05-03 09:29:11 +02:00
else
printf ("*");
1999-05-03 09:29:11 +02:00
if (id->has_right)
{
printf ("/%s:",
id->right.sym.file ? id->right.sym.file->name : "*");
1999-05-03 09:29:11 +02:00
if (id->right.sym.name)
printf ("%s", id->right.sym.name);
1999-05-03 09:29:11 +02:00
else if (id->right.sym.line_num)
printf ("%d", id->right.sym.line_num);
1999-05-03 09:29:11 +02:00
else
printf ("*");
1999-05-03 09:29:11 +02:00
}
1999-05-03 09:29:11 +02:00
printf ("\n");
}
#endif
}
/* Return TRUE iff PATTERN matches SYM. */
1999-05-03 09:29:11 +02:00
static bool
DEFUN (match, (pattern, sym), Sym * pattern AND Sym * sym)
{
return (pattern->file ? pattern->file == sym->file : TRUE)
&& (pattern->line_num ? pattern->line_num == sym->line_num : TRUE)
&& (pattern->name
? strcmp (pattern->name,
sym->name+(discard_underscores && sym->name[0] == '_')) == 0
: TRUE);
1999-05-03 09:29:11 +02:00
}
static void
DEFUN (extend_match, (m, sym, tab, second_pass),
struct match *m AND Sym * sym AND Sym_Table * tab AND bool second_pass)
{
if (m->prev_match != sym - 1)
{
/* Discontinuity: add new match to table. */
1999-05-03 09:29:11 +02:00
if (second_pass)
{
tab->base[tab->len] = *sym;
m->prev_index = tab->len;
/* Link match into match's chain. */
1999-05-03 09:29:11 +02:00
tab->base[tab->len].next = m->first_match;
m->first_match = &tab->base[tab->len];
}
1999-05-03 09:29:11 +02:00
++tab->len;
}
/* Extend match to include this symbol. */
1999-05-03 09:29:11 +02:00
if (second_pass)
tab->base[m->prev_index].end_addr = sym->end_addr;
1999-05-03 09:29:11 +02:00
m->prev_match = sym;
}
/* Go through sym_id list produced by option processing and fill
in the various symbol tables indicating what symbols should
be displayed or suppressed for the various kinds of outputs.
This can potentially produce huge tables and in particulars
tons of arcs, but this happens only if the user makes silly
requests---you get what you ask for! */
1999-05-03 09:29:11 +02:00
void
DEFUN_VOID (sym_id_parse)
{
Sym *sym, *left, *right;
struct sym_id *id;
Sym_Table *tab;
/* Convert symbol ids into Syms, so we can deal with them more easily. */
1999-05-03 09:29:11 +02:00
for (id = id_list; id; id = id->next)
parse_id (id);
1999-05-03 09:29:11 +02:00
/* First determine size of each table. */
1999-05-03 09:29:11 +02:00
for (sym = symtab.base; sym < symtab.limit; ++sym)
{
for (id = id_list; id; id = id->next)
{
if (match (&id->left.sym, sym))
extend_match (&id->left, sym, &syms[id->which_table], FALSE);
1999-05-03 09:29:11 +02:00
if (id->has_right && match (&id->right.sym, sym))
extend_match (&id->right, sym, &right_ids, FALSE);
1999-05-03 09:29:11 +02:00
}
}
/* Create tables of appropriate size and reset lengths. */
1999-05-03 09:29:11 +02:00
for (tab = syms; tab < &syms[NUM_TABLES]; ++tab)
{
if (tab->len)
{
tab->base = (Sym *) xmalloc (tab->len * sizeof (Sym));
tab->limit = tab->base + tab->len;
tab->len = 0;
}
}
1999-05-03 09:29:11 +02:00
if (right_ids.len)
{
right_ids.base = (Sym *) xmalloc (right_ids.len * sizeof (Sym));
right_ids.limit = right_ids.base + right_ids.len;
right_ids.len = 0;
}
/* Make a second pass through symtab, creating syms as necessary. */
1999-05-03 09:29:11 +02:00
for (sym = symtab.base; sym < symtab.limit; ++sym)
{
for (id = id_list; id; id = id->next)
{
if (match (&id->left.sym, sym))
extend_match (&id->left, sym, &syms[id->which_table], TRUE);
1999-05-03 09:29:11 +02:00
if (id->has_right && match (&id->right.sym, sym))
extend_match (&id->right, sym, &right_ids, TRUE);
1999-05-03 09:29:11 +02:00
}
}
/* Go through ids creating arcs as needed. */
1999-05-03 09:29:11 +02:00
for (id = id_list; id; id = id->next)
{
if (id->has_right)
{
for (left = id->left.first_match; left; left = left->next)
{
for (right = id->right.first_match; right; right = right->next)
{
DBG (IDDEBUG,
printf (
"[sym_id_parse]: arc %s:%s(%lx-%lx) -> %s:%s(%lx-%lx) to %s\n",
left->file ? left->file->name : "*",
left->name ? left->name : "*",
(unsigned long) left->addr,
(unsigned long) left->end_addr,
1999-05-03 09:29:11 +02:00
right->file ? right->file->name : "*",
right->name ? right->name : "*",
(unsigned long) right->addr,
(unsigned long) right->end_addr,
1999-05-03 09:29:11 +02:00
table_name[id->which_table]));
1999-05-03 09:29:11 +02:00
arc_add (left, right, (unsigned long) 0);
}
}
}
}
/* Finally, we can sort the tables and we're done. */
1999-05-03 09:29:11 +02:00
for (tab = &syms[0]; tab < &syms[NUM_TABLES]; ++tab)
{
DBG (IDDEBUG, printf ("[sym_id_parse] syms[%s]:\n",
table_name[tab - &syms[0]]));
symtab_finalize (tab);
}
}
/* Symbol tables storing the FROM symbols of arcs do not necessarily
have distinct address ranges. For example, somebody might request
-k /_mcount to suppress any arcs into _mcount, while at the same
time requesting -k a/b. Fortunately, those symbol tables don't get
very big (the user has to type them!), so a linear search is probably
tolerable. */
1999-05-03 09:29:11 +02:00
bool
DEFUN (sym_id_arc_is_present, (symtab, from, to),
Sym_Table * symtab AND Sym * from AND Sym * to)
{
Sym *sym;
for (sym = symtab->base; sym < symtab->limit; ++sym)
{
if (from->addr >= sym->addr && from->addr <= sym->end_addr
&& arc_lookup (sym, to))
return TRUE;
1999-05-03 09:29:11 +02:00
}
1999-05-03 09:29:11 +02:00
return FALSE;
}