487 lines
13 KiB
C
487 lines
13 KiB
C
/* Output xcoff-format symbol table information from GNU compiler.
|
||
Copyright (C) 1992, 1994, 1995, 1997, 1998, 1999, 2000, 2002, 2003, 2004,
|
||
2007, 2008 Free Software Foundation, Inc.
|
||
|
||
This file is part of GCC.
|
||
|
||
GCC 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 3, or (at your option) any later
|
||
version.
|
||
|
||
GCC 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 GCC; see the file COPYING3. If not see
|
||
<http://www.gnu.org/licenses/>. */
|
||
|
||
/* Output xcoff-format symbol table data. The main functionality is contained
|
||
in dbxout.c. This file implements the sdbout-like parts of the xcoff
|
||
interface. Many functions are very similar to their counterparts in
|
||
sdbout.c. */
|
||
|
||
#include "config.h"
|
||
#include "system.h"
|
||
#include "coretypes.h"
|
||
#include "tm.h"
|
||
#include "tree.h"
|
||
#include "rtl.h"
|
||
#include "flags.h"
|
||
#include "diagnostic-core.h"
|
||
#include "output.h"
|
||
#include "ggc.h"
|
||
#include "target.h"
|
||
#include "debug.h"
|
||
|
||
#ifdef XCOFF_DEBUGGING_INFO
|
||
|
||
/* This defines the C_* storage classes. */
|
||
#include "xcoff.h"
|
||
#include "xcoffout.h"
|
||
#include "dbxout.h"
|
||
#include "gstab.h"
|
||
|
||
/* Line number of beginning of current function, minus one.
|
||
Negative means not in a function or not using xcoff. */
|
||
|
||
static int xcoff_begin_function_line = -1;
|
||
static int xcoff_inlining = 0;
|
||
|
||
/* Name of the current include file. */
|
||
|
||
const char *xcoff_current_include_file;
|
||
|
||
/* Name of the current function file. This is the file the `.bf' is
|
||
emitted from. In case a line is emitted from a different file,
|
||
(by including that file of course), then the line number will be
|
||
absolute. */
|
||
|
||
static const char *xcoff_current_function_file;
|
||
|
||
/* Names of bss and data sections. These should be unique names for each
|
||
compilation unit. */
|
||
|
||
char *xcoff_bss_section_name;
|
||
char *xcoff_private_data_section_name;
|
||
char *xcoff_read_only_section_name;
|
||
|
||
/* Last source file name mentioned in a NOTE insn. */
|
||
|
||
const char *xcoff_lastfile;
|
||
|
||
/* Macro definitions used below. */
|
||
|
||
#define ABS_OR_RELATIVE_LINENO(LINENO) \
|
||
((xcoff_inlining) ? (LINENO) : (LINENO) - xcoff_begin_function_line)
|
||
|
||
/* Output source line numbers via ".line". */
|
||
#define ASM_OUTPUT_LINE(FILE,LINENUM) \
|
||
do \
|
||
{ \
|
||
if (xcoff_begin_function_line >= 0) \
|
||
fprintf (FILE, "\t.line\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM)); \
|
||
} \
|
||
while (0)
|
||
|
||
#define ASM_OUTPUT_LFB(FILE,LINENUM) \
|
||
{ \
|
||
if (xcoff_begin_function_line == -1) \
|
||
{ \
|
||
xcoff_begin_function_line = (LINENUM) - 1;\
|
||
fprintf (FILE, "\t.bf\t%d\n", (LINENUM)); \
|
||
} \
|
||
xcoff_current_function_file \
|
||
= (xcoff_current_include_file \
|
||
? xcoff_current_include_file : main_input_filename); \
|
||
}
|
||
|
||
#define ASM_OUTPUT_LFE(FILE,LINENUM) \
|
||
do \
|
||
{ \
|
||
fprintf (FILE, "\t.ef\t%d\n", (LINENUM)); \
|
||
xcoff_begin_function_line = -1; \
|
||
} \
|
||
while (0)
|
||
|
||
#define ASM_OUTPUT_LBB(FILE,LINENUM,BLOCKNUM) \
|
||
fprintf (FILE, "\t.bb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM))
|
||
|
||
#define ASM_OUTPUT_LBE(FILE,LINENUM,BLOCKNUM) \
|
||
fprintf (FILE, "\t.eb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM))
|
||
|
||
static void xcoffout_block (tree, int, tree);
|
||
static void xcoffout_source_file (FILE *, const char *, int);
|
||
|
||
/* Support routines for XCOFF debugging info. */
|
||
|
||
struct xcoff_type_number
|
||
{
|
||
const char *name;
|
||
int number;
|
||
};
|
||
static const struct xcoff_type_number xcoff_type_numbers[] = {
|
||
{ "int", -1 },
|
||
{ "char", -2 },
|
||
{ "short int", -3 },
|
||
{ "long int", -4 }, /* fiddled to -31 if 64 bits */
|
||
{ "unsigned char", -5 },
|
||
{ "signed char", -6 },
|
||
{ "short unsigned int", -7 },
|
||
{ "unsigned int", -8 },
|
||
/* No such type "unsigned". */
|
||
{ "long unsigned int", -10 }, /* fiddled to -32 if 64 bits */
|
||
{ "void", -11 },
|
||
{ "float", -12 },
|
||
{ "double", -13 },
|
||
{ "long double", -14 },
|
||
/* Pascal and Fortran types run from -15 to -29. */
|
||
{ "wchar", -30 }, /* XXX Should be "wchar_t" ? */
|
||
{ "long long int", -31 },
|
||
{ "long long unsigned int", -32 },
|
||
/* Additional Fortran types run from -33 to -37. */
|
||
|
||
/* ??? Should also handle built-in C++ and Obj-C types. There perhaps
|
||
aren't any that C doesn't already have. */
|
||
};
|
||
|
||
/* Returns an XCOFF fundamental type number for DECL (assumed to be a
|
||
TYPE_DECL), or 0 if dbxout.c should assign a type number normally. */
|
||
int
|
||
xcoff_assign_fundamental_type_number (tree decl)
|
||
{
|
||
const char *name;
|
||
size_t i;
|
||
|
||
/* Do not waste time searching the list for non-intrinsic types. */
|
||
if (DECL_NAME (decl) == 0 || ! DECL_IS_BUILTIN (decl))
|
||
return 0;
|
||
|
||
name = IDENTIFIER_POINTER (DECL_NAME (decl));
|
||
|
||
/* Linear search, blech, but the list is too small to bother
|
||
doing anything else. */
|
||
for (i = 0; i < ARRAY_SIZE (xcoff_type_numbers); i++)
|
||
if (!strcmp (xcoff_type_numbers[i].name, name))
|
||
goto found;
|
||
return 0;
|
||
|
||
found:
|
||
/* -4 and -10 should be replaced with -31 and -32, respectively,
|
||
when used for a 64-bit type. */
|
||
if (int_size_in_bytes (TREE_TYPE (decl)) == 8)
|
||
{
|
||
if (xcoff_type_numbers[i].number == -4)
|
||
return -31;
|
||
if (xcoff_type_numbers[i].number == -10)
|
||
return -32;
|
||
}
|
||
return xcoff_type_numbers[i].number;
|
||
}
|
||
|
||
/* Print an error message for unrecognized stab codes. */
|
||
|
||
#define UNKNOWN_STAB(STR) \
|
||
internal_error ("no sclass for %s stab (0x%x)", STR, stab)
|
||
|
||
/* Conversion routine from BSD stabs to AIX storage classes. */
|
||
|
||
int
|
||
stab_to_sclass (int stab)
|
||
{
|
||
switch (stab)
|
||
{
|
||
case N_GSYM:
|
||
return C_GSYM;
|
||
|
||
case N_FNAME:
|
||
UNKNOWN_STAB ("N_FNAME");
|
||
|
||
case N_FUN:
|
||
return C_FUN;
|
||
|
||
case N_STSYM:
|
||
case N_LCSYM:
|
||
return C_STSYM;
|
||
|
||
case N_MAIN:
|
||
UNKNOWN_STAB ("N_MAIN");
|
||
|
||
case N_RSYM:
|
||
return C_RSYM;
|
||
|
||
case N_SSYM:
|
||
UNKNOWN_STAB ("N_SSYM");
|
||
|
||
case N_RPSYM:
|
||
return C_RPSYM;
|
||
|
||
case N_PSYM:
|
||
return C_PSYM;
|
||
case N_LSYM:
|
||
return C_LSYM;
|
||
case N_DECL:
|
||
return C_DECL;
|
||
case N_ENTRY:
|
||
return C_ENTRY;
|
||
|
||
case N_SO:
|
||
UNKNOWN_STAB ("N_SO");
|
||
|
||
case N_SOL:
|
||
UNKNOWN_STAB ("N_SOL");
|
||
|
||
case N_SLINE:
|
||
UNKNOWN_STAB ("N_SLINE");
|
||
|
||
case N_DSLINE:
|
||
UNKNOWN_STAB ("N_DSLINE");
|
||
|
||
case N_BSLINE:
|
||
UNKNOWN_STAB ("N_BSLINE");
|
||
|
||
case N_BINCL:
|
||
UNKNOWN_STAB ("N_BINCL");
|
||
|
||
case N_EINCL:
|
||
UNKNOWN_STAB ("N_EINCL");
|
||
|
||
case N_EXCL:
|
||
UNKNOWN_STAB ("N_EXCL");
|
||
|
||
case N_LBRAC:
|
||
UNKNOWN_STAB ("N_LBRAC");
|
||
|
||
case N_RBRAC:
|
||
UNKNOWN_STAB ("N_RBRAC");
|
||
|
||
case N_BCOMM:
|
||
return C_BCOMM;
|
||
case N_ECOMM:
|
||
return C_ECOMM;
|
||
case N_ECOML:
|
||
return C_ECOML;
|
||
|
||
case N_LENG:
|
||
UNKNOWN_STAB ("N_LENG");
|
||
|
||
case N_PC:
|
||
UNKNOWN_STAB ("N_PC");
|
||
|
||
case N_M2C:
|
||
UNKNOWN_STAB ("N_M2C");
|
||
|
||
case N_SCOPE:
|
||
UNKNOWN_STAB ("N_SCOPE");
|
||
|
||
case N_CATCH:
|
||
UNKNOWN_STAB ("N_CATCH");
|
||
|
||
case N_OPT:
|
||
UNKNOWN_STAB ("N_OPT");
|
||
|
||
default:
|
||
UNKNOWN_STAB ("?");
|
||
}
|
||
}
|
||
|
||
/* Output debugging info to FILE to switch to sourcefile FILENAME.
|
||
INLINE_P is true if this is from an inlined function. */
|
||
|
||
static void
|
||
xcoffout_source_file (FILE *file, const char *filename, int inline_p)
|
||
{
|
||
if (filename
|
||
&& (xcoff_lastfile == 0 || strcmp (filename, xcoff_lastfile)
|
||
|| (inline_p && ! xcoff_inlining)
|
||
|| (! inline_p && xcoff_inlining)))
|
||
{
|
||
if (xcoff_current_include_file)
|
||
{
|
||
fprintf (file, "\t.ei\t");
|
||
output_quoted_string (file,
|
||
remap_debug_filename (xcoff_current_include_file));
|
||
fprintf (file, "\n");
|
||
xcoff_current_include_file = NULL;
|
||
}
|
||
xcoff_inlining = inline_p;
|
||
if (strcmp (main_input_filename, filename) || inline_p)
|
||
{
|
||
fprintf (file, "\t.bi\t");
|
||
output_quoted_string (file, remap_debug_filename (filename));
|
||
fprintf (file, "\n");
|
||
xcoff_current_include_file = filename;
|
||
}
|
||
xcoff_lastfile = filename;
|
||
}
|
||
}
|
||
|
||
/* Output a line number symbol entry for location (FILENAME, LINE). */
|
||
|
||
void
|
||
xcoffout_source_line (unsigned int line, const char *filename,
|
||
int discriminator ATTRIBUTE_UNUSED,
|
||
bool is_stmt ATTRIBUTE_UNUSED)
|
||
{
|
||
bool inline_p = (strcmp (xcoff_current_function_file, filename) != 0
|
||
|| (int) line < xcoff_begin_function_line);
|
||
|
||
xcoffout_source_file (asm_out_file, filename, inline_p);
|
||
|
||
ASM_OUTPUT_LINE (asm_out_file, line);
|
||
}
|
||
|
||
/* Output the symbols defined in block number DO_BLOCK.
|
||
|
||
This function works by walking the tree structure of blocks,
|
||
counting blocks until it finds the desired block. */
|
||
|
||
static int do_block = 0;
|
||
|
||
static void
|
||
xcoffout_block (tree block, int depth, tree args)
|
||
{
|
||
while (block)
|
||
{
|
||
/* Ignore blocks never expanded or otherwise marked as real. */
|
||
if (TREE_USED (block))
|
||
{
|
||
/* When we reach the specified block, output its symbols. */
|
||
if (BLOCK_NUMBER (block) == do_block)
|
||
{
|
||
/* Output the syms of the block. */
|
||
if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0)
|
||
dbxout_syms (BLOCK_VARS (block));
|
||
if (args)
|
||
dbxout_reg_parms (args);
|
||
|
||
/* We are now done with the block. Don't go to inner blocks. */
|
||
return;
|
||
}
|
||
/* If we are past the specified block, stop the scan. */
|
||
else if (BLOCK_NUMBER (block) >= do_block)
|
||
return;
|
||
|
||
/* Output the subblocks. */
|
||
xcoffout_block (BLOCK_SUBBLOCKS (block), depth + 1, NULL_TREE);
|
||
}
|
||
block = BLOCK_CHAIN (block);
|
||
}
|
||
}
|
||
|
||
/* Describe the beginning of an internal block within a function.
|
||
Also output descriptions of variables defined in this block.
|
||
|
||
N is the number of the block, by order of beginning, counting from 1,
|
||
and not counting the outermost (function top-level) block.
|
||
The blocks match the BLOCKs in DECL_INITIAL (current_function_decl),
|
||
if the count starts at 0 for the outermost one. */
|
||
|
||
void
|
||
xcoffout_begin_block (unsigned int line, unsigned int n)
|
||
{
|
||
tree decl = current_function_decl;
|
||
|
||
/* The IBM AIX compiler does not emit a .bb for the function level scope,
|
||
so we avoid it here also. */
|
||
if (n != 1)
|
||
ASM_OUTPUT_LBB (asm_out_file, line, n);
|
||
|
||
do_block = n;
|
||
xcoffout_block (DECL_INITIAL (decl), 0, DECL_ARGUMENTS (decl));
|
||
}
|
||
|
||
/* Describe the end line-number of an internal block within a function. */
|
||
|
||
void
|
||
xcoffout_end_block (unsigned int line, unsigned int n)
|
||
{
|
||
if (n != 1)
|
||
ASM_OUTPUT_LBE (asm_out_file, line, n);
|
||
}
|
||
|
||
/* Called at beginning of function (before prologue).
|
||
Declare function as needed for debugging. */
|
||
|
||
void
|
||
xcoffout_declare_function (FILE *file, tree decl, const char *name)
|
||
{
|
||
size_t len;
|
||
|
||
if (*name == '*')
|
||
name++;
|
||
len = strlen (name);
|
||
if (name[len - 1] == ']')
|
||
{
|
||
char *n = XALLOCAVEC (char, len - 3);
|
||
memcpy (n, name, len - 4);
|
||
n[len - 4] = '\0';
|
||
name = n;
|
||
}
|
||
|
||
/* Any pending .bi or .ei must occur before the .function pseudo op.
|
||
Otherwise debuggers will think that the function is in the previous
|
||
file and/or at the wrong line number. */
|
||
xcoffout_source_file (file, DECL_SOURCE_FILE (decl), 0);
|
||
dbxout_symbol (decl, 0);
|
||
|
||
/* .function NAME, TOP, MAPPING, TYPE, SIZE
|
||
16 and 044 are placeholders for backwards compatibility */
|
||
fprintf (file, "\t.function .%s,.%s,16,044,FE..%s-.%s\n",
|
||
name, name, name, name);
|
||
}
|
||
|
||
/* Called at beginning of function body (at start of prologue).
|
||
Record the function's starting line number, so we can output
|
||
relative line numbers for the other lines.
|
||
Record the file name that this function is contained in. */
|
||
|
||
void
|
||
xcoffout_begin_prologue (unsigned int line,
|
||
const char *file ATTRIBUTE_UNUSED)
|
||
{
|
||
ASM_OUTPUT_LFB (asm_out_file, line);
|
||
dbxout_parms (DECL_ARGUMENTS (current_function_decl));
|
||
|
||
/* Emit the symbols for the outermost BLOCK's variables. sdbout.c does this
|
||
in sdbout_begin_block, but there is no guarantee that there will be any
|
||
inner block 1, so we must do it here. This gives a result similar to
|
||
dbxout, so it does make some sense. */
|
||
do_block = BLOCK_NUMBER (DECL_INITIAL (current_function_decl));
|
||
xcoffout_block (DECL_INITIAL (current_function_decl), 0,
|
||
DECL_ARGUMENTS (current_function_decl));
|
||
|
||
ASM_OUTPUT_LINE (asm_out_file, line);
|
||
}
|
||
|
||
/* Called at end of function (before epilogue).
|
||
Describe end of outermost block. */
|
||
|
||
void
|
||
xcoffout_end_function (unsigned int last_linenum)
|
||
{
|
||
ASM_OUTPUT_LFE (asm_out_file, last_linenum);
|
||
}
|
||
|
||
/* Output xcoff info for the absolute end of a function.
|
||
Called after the epilogue is output. */
|
||
|
||
void
|
||
xcoffout_end_epilogue (unsigned int line ATTRIBUTE_UNUSED,
|
||
const char *file ATTRIBUTE_UNUSED)
|
||
{
|
||
/* We need to pass the correct function size to .function, otherwise,
|
||
the xas assembler can't figure out the correct size for the function
|
||
aux entry. So, we emit a label after the last instruction which can
|
||
be used by the .function pseudo op to calculate the function size. */
|
||
|
||
const char *fname = XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0);
|
||
if (*fname == '*')
|
||
++fname;
|
||
fprintf (asm_out_file, "FE..");
|
||
ASM_OUTPUT_LABEL (asm_out_file, fname);
|
||
}
|
||
#endif /* XCOFF_DEBUGGING_INFO */
|