1 /* Output xcoff-format symbol table information from GNU compiler.
2 Copyright (C) 1992, 1994, 1995, 1997, 1998,
3 1999, 2000 Free Software Foundation, Inc.
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
23 /* Output xcoff-format symbol table data. The main functionality is contained
24 in dbxout.c. This file implements the sdbout-like parts of the xcoff
25 interface. Many functions are very similar to their counterparts in
37 #ifdef XCOFF_DEBUGGING_INFO
39 /* This defines the C_* storage classes. */
40 #include <dbxstclass.h>
45 #if defined (USG) || !defined (HAVE_STAB_H)
50 /* This is a GNU extension we need to reference in this file. */
56 /* Line number of beginning of current function, minus one.
57 Negative means not in a function or not using xcoff. */
59 static int xcoff_begin_function_line
= -1;
60 static int xcoff_inlining
= 0;
62 /* Name of the current include file. */
64 const char *xcoff_current_include_file
;
66 /* Name of the current function file. This is the file the `.bf' is
67 emitted from. In case a line is emitted from a different file,
68 (by including that file of course), then the line number will be
71 static const char *xcoff_current_function_file
;
73 /* Names of bss and data sections. These should be unique names for each
76 char *xcoff_bss_section_name
;
77 char *xcoff_private_data_section_name
;
78 char *xcoff_read_only_section_name
;
80 /* Last source file name mentioned in a NOTE insn. */
82 const char *xcoff_lastfile
;
84 /* Macro definitions used below. */
86 #define ABS_OR_RELATIVE_LINENO(LINENO) \
87 ((xcoff_inlining) ? (LINENO) : (LINENO) - xcoff_begin_function_line)
89 /* Output source line numbers via ".line" rather than ".stabd". */
90 #define ASM_OUTPUT_SOURCE_LINE(FILE,LINENUM) \
92 if (xcoff_begin_function_line >= 0) \
93 fprintf (FILE, "\t.line\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM)); \
96 #define ASM_OUTPUT_LFB(FILE,LINENUM) \
98 if (xcoff_begin_function_line == -1) \
100 xcoff_begin_function_line = (LINENUM) - 1;\
101 fprintf (FILE, "\t.bf\t%d\n", (LINENUM)); \
103 xcoff_current_function_file \
104 = (xcoff_current_include_file \
105 ? xcoff_current_include_file : main_input_filename); \
108 #define ASM_OUTPUT_LFE(FILE,LINENUM) \
110 fprintf (FILE, "\t.ef\t%d\n", (LINENUM)); \
111 xcoff_begin_function_line = -1; \
114 #define ASM_OUTPUT_LBB(FILE,LINENUM,BLOCKNUM) \
115 fprintf (FILE, "\t.bb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM))
117 #define ASM_OUTPUT_LBE(FILE,LINENUM,BLOCKNUM) \
118 fprintf (FILE, "\t.eb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM))
120 static void assign_type_number
PARAMS ((tree
, const char *, int));
121 static void xcoffout_block
PARAMS ((tree
, int, tree
));
122 static void xcoffout_source_file
PARAMS ((FILE *, const char *, int));
124 /* Support routines for XCOFF debugging info. */
126 /* Assign NUMBER as the stabx type number for the type described by NAME.
127 Search all decls in the list SYMS to find the type NAME. */
130 assign_type_number (syms
, name
, number
)
137 for (decl
= syms
; decl
; decl
= TREE_CHAIN (decl
))
139 && strcmp (IDENTIFIER_POINTER (DECL_NAME (decl
)), name
) == 0)
141 TREE_ASM_WRITTEN (decl
) = 1;
142 TYPE_SYMTAB_ADDRESS (TREE_TYPE (decl
)) = number
;
146 /* Setup gcc primitive types to use the XCOFF built-in type numbers where
150 xcoff_output_standard_types (syms
)
153 /* Handle built-in C types here. */
155 assign_type_number (syms
, "int", -1);
156 assign_type_number (syms
, "char", -2);
157 assign_type_number (syms
, "short int", -3);
158 assign_type_number (syms
, "long int", (TARGET_64BIT
? -31 : -4));
159 assign_type_number (syms
, "unsigned char", -5);
160 assign_type_number (syms
, "signed char", -6);
161 assign_type_number (syms
, "short unsigned int", -7);
162 assign_type_number (syms
, "unsigned int", -8);
163 /* No such type "unsigned". */
164 assign_type_number (syms
, "long unsigned int", (TARGET_64BIT
? -32 : -10));
165 assign_type_number (syms
, "void", -11);
166 assign_type_number (syms
, "float", -12);
167 assign_type_number (syms
, "double", -13);
168 assign_type_number (syms
, "long double", -14);
169 /* Pascal and Fortran types run from -15 to -29. */
170 assign_type_number (syms
, "wchar", -30);
171 assign_type_number (syms
, "long long int", -31);
172 assign_type_number (syms
, "long long unsigned int", -32);
173 /* Additional Fortran types run from -33 to -37. */
175 /* ??? Should also handle built-in C++ and Obj-C types. There perhaps
176 aren't any that C doesn't already have. */
179 /* Print an error message for unrecognized stab codes. */
181 #define UNKNOWN_STAB(STR) \
183 error ("Unknown stab %s: : 0x%x\n", STR, stab); \
187 /* Conversion routine from BSD stabs to AIX storage classes. */
190 stab_to_sclass (stab
)
199 UNKNOWN_STAB ("N_FNAME");
211 UNKNOWN_STAB ("N_MAIN");
219 UNKNOWN_STAB ("N_SSYM");
235 UNKNOWN_STAB ("N_SO");
239 UNKNOWN_STAB ("N_SOL");
243 UNKNOWN_STAB ("N_SLINE");
248 UNKNOWN_STAB ("N_DSLINE");
254 UNKNOWN_STAB ("N_BSLINE");
258 /* This has the same value as N_BSLINE. */
260 UNKNOWN_STAB ("N_BROWS");
266 UNKNOWN_STAB ("N_BINCL");
272 UNKNOWN_STAB ("N_EINCL");
278 UNKNOWN_STAB ("N_EXCL");
283 UNKNOWN_STAB ("N_LBRAC");
287 UNKNOWN_STAB ("N_RBRAC");
298 UNKNOWN_STAB ("N_LENG");
302 UNKNOWN_STAB ("N_PC");
307 UNKNOWN_STAB ("N_M2C");
313 UNKNOWN_STAB ("N_SCOPE");
318 UNKNOWN_STAB ("N_CATCH");
322 UNKNOWN_STAB ("default");
327 /* Output debugging info to FILE to switch to sourcefile FILENAME.
328 INLINE_P is true if this is from an inlined function. */
331 xcoffout_source_file (file
, filename
, inline_p
)
333 const char *filename
;
337 && (xcoff_lastfile
== 0 || strcmp (filename
, xcoff_lastfile
)
338 || (inline_p
&& ! xcoff_inlining
)
339 || (! inline_p
&& xcoff_inlining
)))
341 if (xcoff_current_include_file
)
343 fprintf (file
, "\t.ei\t");
344 output_quoted_string (file
, xcoff_current_include_file
);
345 fprintf (file
, "\n");
346 xcoff_current_include_file
= NULL
;
348 xcoff_inlining
=inline_p
;
349 if (strcmp (main_input_filename
, filename
) || inline_p
)
351 fprintf (file
, "\t.bi\t");
352 output_quoted_string (file
, filename
);
353 fprintf (file
, "\n");
354 xcoff_current_include_file
= filename
;
358 ggc_add_string_root ((char **) &xcoff_lastfile
, 1);
360 xcoff_lastfile
= filename
;
364 /* Output a line number symbol entry into output stream FILE,
365 for source file FILENAME and line number NOTE. */
368 xcoffout_source_line (file
, filename
, note
)
370 const char *filename
;
373 xcoffout_source_file (file
, filename
, RTX_INTEGRATED_P (note
));
375 ASM_OUTPUT_SOURCE_LINE (file
, NOTE_LINE_NUMBER (note
));
378 /* Output the symbols defined in block number DO_BLOCK.
380 This function works by walking the tree structure of blocks,
381 counting blocks until it finds the desired block. */
383 static int do_block
= 0;
386 xcoffout_block (block
, depth
, args
)
393 /* Ignore blocks never expanded or otherwise marked as real. */
394 if (TREE_USED (block
))
396 /* When we reach the specified block, output its symbols. */
397 if (BLOCK_NUMBER (block
) == do_block
)
399 /* Output the syms of the block. */
400 if (debug_info_level
!= DINFO_LEVEL_TERSE
|| depth
== 0)
401 dbxout_syms (BLOCK_VARS (block
));
403 dbxout_reg_parms (args
);
405 /* We are now done with the block. Don't go to inner blocks. */
408 /* If we are past the specified block, stop the scan. */
409 else if (BLOCK_NUMBER (block
) >= do_block
)
412 /* Output the subblocks. */
413 xcoffout_block (BLOCK_SUBBLOCKS (block
), depth
+ 1, NULL_TREE
);
415 block
= BLOCK_CHAIN (block
);
419 /* Describe the beginning of an internal block within a function.
420 Also output descriptions of variables defined in this block.
422 N is the number of the block, by order of beginning, counting from 1,
423 and not counting the outermost (function top-level) block.
424 The blocks match the BLOCKs in DECL_INITIAL (current_function_decl),
425 if the count starts at 0 for the outermost one. */
428 xcoffout_begin_block (file
, line
, n
)
433 tree decl
= current_function_decl
;
436 /* The IBM AIX compiler does not emit a .bb for the function level scope,
437 so we avoid it here also. */
439 ASM_OUTPUT_LBB (file
, line
, n
);
442 xcoffout_block (DECL_INITIAL (decl
), 0, DECL_ARGUMENTS (decl
));
445 /* Describe the end line-number of an internal block within a function. */
448 xcoffout_end_block (file
, line
, n
)
454 ASM_OUTPUT_LBE (file
, line
, n
);
457 /* Called at beginning of function (before prologue).
458 Declare function as needed for debugging. */
461 xcoffout_declare_function (file
, decl
, name
)
471 for (i
= 0; name
[i
]; ++i
)
475 char *n
= (char *) alloca (i
+ 1);
476 strncpy (n
, name
, i
);
483 /* Any pending .bi or .ei must occur before the .function pseudo op.
484 Otherwise debuggers will think that the function is in the previous
485 file and/or at the wrong line number. */
486 xcoffout_source_file (file
, DECL_SOURCE_FILE (decl
), 0);
487 dbxout_symbol (decl
, 0);
489 /* .function NAME, TOP, MAPPING, TYPE, SIZE
490 16 and 044 are placeholders for backwards compatibility */
491 fprintf (file
, "\t.function .%s,.%s,16,044,FE..%s-.%s\n",
492 name
, name
, name
, name
);
495 /* Called at beginning of function body (after prologue).
496 Record the function's starting line number, so we can output
497 relative line numbers for the other lines.
498 Record the file name that this function is contained in. */
501 xcoffout_begin_function (file
, last_linenum
)
505 ASM_OUTPUT_LFB (file
, last_linenum
);
506 dbxout_parms (DECL_ARGUMENTS (current_function_decl
));
508 /* Emit the symbols for the outermost BLOCK's variables. sdbout.c does this
509 in sdbout_begin_block, but there is no guarantee that there will be any
510 inner block 1, so we must do it here. This gives a result similar to
511 dbxout, so it does make some sense. */
512 do_block
= BLOCK_NUMBER (DECL_INITIAL (current_function_decl
));
513 xcoffout_block (DECL_INITIAL (current_function_decl
), 0,
514 DECL_ARGUMENTS (current_function_decl
));
516 ASM_OUTPUT_SOURCE_LINE (file
, last_linenum
);
519 /* Called at end of function (before epilogue).
520 Describe end of outermost block. */
523 xcoffout_end_function (file
, last_linenum
)
527 ASM_OUTPUT_LFE (file
, last_linenum
);
530 /* Output xcoff info for the absolute end of a function.
531 Called after the epilogue is output. */
534 xcoffout_end_epilogue (file
)
537 /* We need to pass the correct function size to .function, otherwise,
538 the xas assembler can't figure out the correct size for the function
539 aux entry. So, we emit a label after the last instruction which can
540 be used by the .function pseudo op to calculate the function size. */
542 const char *fname
= XSTR (XEXP (DECL_RTL (current_function_decl
), 0), 0);
545 fprintf (file
, "FE..");
546 ASM_OUTPUT_LABEL (file
, fname
);
548 #endif /* XCOFF_DEBUGGING_INFO */