1 /* Output xcoff-format symbol table information from GNU compiler.
2 Copyright (C) 1992, 1994, 1995, 1997, 1998, 1999, 2000, 2002, 2003, 2004,
3 2007 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* Output xcoff-format symbol table data. The main functionality is contained
22 in dbxout.c. This file implements the sdbout-like parts of the xcoff
23 interface. Many functions are very similar to their counterparts in
28 #include "coretypes.h"
38 #ifdef XCOFF_DEBUGGING_INFO
40 /* This defines the C_* storage classes. */
46 /* Line number of beginning of current function, minus one.
47 Negative means not in a function or not using xcoff. */
49 static int xcoff_begin_function_line
= -1;
50 static int xcoff_inlining
= 0;
52 /* Name of the current include file. */
54 const char *xcoff_current_include_file
;
56 /* Name of the current function file. This is the file the `.bf' is
57 emitted from. In case a line is emitted from a different file,
58 (by including that file of course), then the line number will be
61 static const char *xcoff_current_function_file
;
63 /* Names of bss and data sections. These should be unique names for each
66 char *xcoff_bss_section_name
;
67 char *xcoff_private_data_section_name
;
68 char *xcoff_read_only_section_name
;
70 /* Last source file name mentioned in a NOTE insn. */
72 const char *xcoff_lastfile
;
74 /* Macro definitions used below. */
76 #define ABS_OR_RELATIVE_LINENO(LINENO) \
77 ((xcoff_inlining) ? (LINENO) : (LINENO) - xcoff_begin_function_line)
79 /* Output source line numbers via ".line". */
80 #define ASM_OUTPUT_LINE(FILE,LINENUM) \
83 if (xcoff_begin_function_line >= 0) \
84 fprintf (FILE, "\t.line\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM)); \
88 #define ASM_OUTPUT_LFB(FILE,LINENUM) \
90 if (xcoff_begin_function_line == -1) \
92 xcoff_begin_function_line = (LINENUM) - 1;\
93 fprintf (FILE, "\t.bf\t%d\n", (LINENUM)); \
95 xcoff_current_function_file \
96 = (xcoff_current_include_file \
97 ? xcoff_current_include_file : main_input_filename); \
100 #define ASM_OUTPUT_LFE(FILE,LINENUM) \
103 fprintf (FILE, "\t.ef\t%d\n", (LINENUM)); \
104 xcoff_begin_function_line = -1; \
108 #define ASM_OUTPUT_LBB(FILE,LINENUM,BLOCKNUM) \
109 fprintf (FILE, "\t.bb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM))
111 #define ASM_OUTPUT_LBE(FILE,LINENUM,BLOCKNUM) \
112 fprintf (FILE, "\t.eb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM))
114 static void xcoffout_block (tree
, int, tree
);
115 static void xcoffout_source_file (FILE *, const char *, int);
117 /* Support routines for XCOFF debugging info. */
119 struct xcoff_type_number
124 static const struct xcoff_type_number xcoff_type_numbers
[] = {
128 { "long int", -4 }, /* fiddled to -31 if 64 bits */
129 { "unsigned char", -5 },
130 { "signed char", -6 },
131 { "short unsigned int", -7 },
132 { "unsigned int", -8 },
133 /* No such type "unsigned". */
134 { "long unsigned int", -10 }, /* fiddled to -32 if 64 bits */
138 { "long double", -14 },
139 /* Pascal and Fortran types run from -15 to -29. */
140 { "wchar", -30 }, /* XXX Should be "wchar_t" ? */
141 { "long long int", -31 },
142 { "long long unsigned int", -32 },
143 /* Additional Fortran types run from -33 to -37. */
145 /* ??? Should also handle built-in C++ and Obj-C types. There perhaps
146 aren't any that C doesn't already have. */
149 /* Returns an XCOFF fundamental type number for DECL (assumed to be a
150 TYPE_DECL), or 0 if dbxout.c should assign a type number normally. */
152 xcoff_assign_fundamental_type_number (tree decl
)
157 /* Do not waste time searching the list for non-intrinsic types. */
158 if (DECL_NAME (decl
) == 0 || ! DECL_IS_BUILTIN (decl
))
161 name
= IDENTIFIER_POINTER (DECL_NAME (decl
));
163 /* Linear search, blech, but the list is too small to bother
164 doing anything else. */
165 for (i
= 0; i
< ARRAY_SIZE (xcoff_type_numbers
); i
++)
166 if (!strcmp (xcoff_type_numbers
[i
].name
, name
))
171 /* -4 and -10 should be replaced with -31 and -32, respectively,
172 when used for a 64-bit type. */
173 if (int_size_in_bytes (TREE_TYPE (decl
)) == 8)
175 if (xcoff_type_numbers
[i
].number
== -4)
177 if (xcoff_type_numbers
[i
].number
== -10)
180 return xcoff_type_numbers
[i
].number
;
183 /* Print an error message for unrecognized stab codes. */
185 #define UNKNOWN_STAB(STR) \
186 internal_error ("no sclass for %s stab (0x%x)", STR, stab)
188 /* Conversion routine from BSD stabs to AIX storage classes. */
191 stab_to_sclass (int stab
)
199 UNKNOWN_STAB ("N_FNAME");
209 UNKNOWN_STAB ("N_MAIN");
215 UNKNOWN_STAB ("N_SSYM");
230 UNKNOWN_STAB ("N_SO");
233 UNKNOWN_STAB ("N_SOL");
236 UNKNOWN_STAB ("N_SLINE");
239 UNKNOWN_STAB ("N_DSLINE");
242 UNKNOWN_STAB ("N_BSLINE");
245 UNKNOWN_STAB ("N_BINCL");
248 UNKNOWN_STAB ("N_EINCL");
251 UNKNOWN_STAB ("N_EXCL");
254 UNKNOWN_STAB ("N_LBRAC");
257 UNKNOWN_STAB ("N_RBRAC");
267 UNKNOWN_STAB ("N_LENG");
270 UNKNOWN_STAB ("N_PC");
273 UNKNOWN_STAB ("N_M2C");
276 UNKNOWN_STAB ("N_SCOPE");
279 UNKNOWN_STAB ("N_CATCH");
282 UNKNOWN_STAB ("N_OPT");
289 /* Output debugging info to FILE to switch to sourcefile FILENAME.
290 INLINE_P is true if this is from an inlined function. */
293 xcoffout_source_file (FILE *file
, const char *filename
, int inline_p
)
296 && (xcoff_lastfile
== 0 || strcmp (filename
, xcoff_lastfile
)
297 || (inline_p
&& ! xcoff_inlining
)
298 || (! inline_p
&& xcoff_inlining
)))
300 if (xcoff_current_include_file
)
302 fprintf (file
, "\t.ei\t");
303 output_quoted_string (file
, xcoff_current_include_file
);
304 fprintf (file
, "\n");
305 xcoff_current_include_file
= NULL
;
307 xcoff_inlining
= inline_p
;
308 if (strcmp (main_input_filename
, filename
) || inline_p
)
310 fprintf (file
, "\t.bi\t");
311 output_quoted_string (file
, filename
);
312 fprintf (file
, "\n");
313 xcoff_current_include_file
= filename
;
315 xcoff_lastfile
= filename
;
319 /* Output a line number symbol entry for location (FILENAME, LINE). */
322 xcoffout_source_line (unsigned int line
, const char *filename
)
324 bool inline_p
= (strcmp (xcoff_current_function_file
, filename
) != 0
325 || (int) line
< xcoff_begin_function_line
);
327 xcoffout_source_file (asm_out_file
, filename
, inline_p
);
329 ASM_OUTPUT_LINE (asm_out_file
, line
);
332 /* Output the symbols defined in block number DO_BLOCK.
334 This function works by walking the tree structure of blocks,
335 counting blocks until it finds the desired block. */
337 static int do_block
= 0;
340 xcoffout_block (tree block
, int depth
, tree args
)
344 /* Ignore blocks never expanded or otherwise marked as real. */
345 if (TREE_USED (block
))
347 /* When we reach the specified block, output its symbols. */
348 if (BLOCK_NUMBER (block
) == do_block
)
350 /* Output the syms of the block. */
351 if (debug_info_level
!= DINFO_LEVEL_TERSE
|| depth
== 0)
352 dbxout_syms (BLOCK_VARS (block
));
354 dbxout_reg_parms (args
);
356 /* We are now done with the block. Don't go to inner blocks. */
359 /* If we are past the specified block, stop the scan. */
360 else if (BLOCK_NUMBER (block
) >= do_block
)
363 /* Output the subblocks. */
364 xcoffout_block (BLOCK_SUBBLOCKS (block
), depth
+ 1, NULL_TREE
);
366 block
= BLOCK_CHAIN (block
);
370 /* Describe the beginning of an internal block within a function.
371 Also output descriptions of variables defined in this block.
373 N is the number of the block, by order of beginning, counting from 1,
374 and not counting the outermost (function top-level) block.
375 The blocks match the BLOCKs in DECL_INITIAL (current_function_decl),
376 if the count starts at 0 for the outermost one. */
379 xcoffout_begin_block (unsigned int line
, unsigned int n
)
381 tree decl
= current_function_decl
;
383 /* The IBM AIX compiler does not emit a .bb for the function level scope,
384 so we avoid it here also. */
386 ASM_OUTPUT_LBB (asm_out_file
, line
, n
);
389 xcoffout_block (DECL_INITIAL (decl
), 0, DECL_ARGUMENTS (decl
));
392 /* Describe the end line-number of an internal block within a function. */
395 xcoffout_end_block (unsigned int line
, unsigned int n
)
398 ASM_OUTPUT_LBE (asm_out_file
, line
, n
);
401 /* Called at beginning of function (before prologue).
402 Declare function as needed for debugging. */
405 xcoffout_declare_function (FILE *file
, tree decl
, const char *name
)
412 if (name
[len
- 1] == ']')
414 char *n
= alloca (len
- 3);
415 memcpy (n
, name
, len
- 4);
420 /* Any pending .bi or .ei must occur before the .function pseudo op.
421 Otherwise debuggers will think that the function is in the previous
422 file and/or at the wrong line number. */
423 xcoffout_source_file (file
, DECL_SOURCE_FILE (decl
), 0);
424 dbxout_symbol (decl
, 0);
426 /* .function NAME, TOP, MAPPING, TYPE, SIZE
427 16 and 044 are placeholders for backwards compatibility */
428 fprintf (file
, "\t.function .%s,.%s,16,044,FE..%s-.%s\n",
429 name
, name
, name
, name
);
432 /* Called at beginning of function body (at start of prologue).
433 Record the function's starting line number, so we can output
434 relative line numbers for the other lines.
435 Record the file name that this function is contained in. */
438 xcoffout_begin_prologue (unsigned int line
,
439 const char *file ATTRIBUTE_UNUSED
)
441 ASM_OUTPUT_LFB (asm_out_file
, line
);
442 dbxout_parms (DECL_ARGUMENTS (current_function_decl
));
444 /* Emit the symbols for the outermost BLOCK's variables. sdbout.c does this
445 in sdbout_begin_block, but there is no guarantee that there will be any
446 inner block 1, so we must do it here. This gives a result similar to
447 dbxout, so it does make some sense. */
448 do_block
= BLOCK_NUMBER (DECL_INITIAL (current_function_decl
));
449 xcoffout_block (DECL_INITIAL (current_function_decl
), 0,
450 DECL_ARGUMENTS (current_function_decl
));
452 ASM_OUTPUT_LINE (asm_out_file
, line
);
455 /* Called at end of function (before epilogue).
456 Describe end of outermost block. */
459 xcoffout_end_function (unsigned int last_linenum
)
461 ASM_OUTPUT_LFE (asm_out_file
, last_linenum
);
464 /* Output xcoff info for the absolute end of a function.
465 Called after the epilogue is output. */
468 xcoffout_end_epilogue (unsigned int line ATTRIBUTE_UNUSED
,
469 const char *file ATTRIBUTE_UNUSED
)
471 /* We need to pass the correct function size to .function, otherwise,
472 the xas assembler can't figure out the correct size for the function
473 aux entry. So, we emit a label after the last instruction which can
474 be used by the .function pseudo op to calculate the function size. */
476 const char *fname
= XSTR (XEXP (DECL_RTL (current_function_decl
), 0), 0);
479 fprintf (asm_out_file
, "FE..");
480 ASM_OUTPUT_LABEL (asm_out_file
, fname
);
482 #endif /* XCOFF_DEBUGGING_INFO */