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
, char *, int));
121 static void xcoffout_block
PARAMS ((tree
, int, tree
));
123 /* Support routines for XCOFF debugging info. */
125 /* Assign NUMBER as the stabx type number for the type described by NAME.
126 Search all decls in the list SYMS to find the type NAME. */
129 assign_type_number (syms
, name
, number
)
136 for (decl
= syms
; decl
; decl
= TREE_CHAIN (decl
))
138 && strcmp (IDENTIFIER_POINTER (DECL_NAME (decl
)), name
) == 0)
140 TREE_ASM_WRITTEN (decl
) = 1;
141 TYPE_SYMTAB_ADDRESS (TREE_TYPE (decl
)) = number
;
145 /* Setup gcc primitive types to use the XCOFF built-in type numbers where
149 xcoff_output_standard_types (syms
)
152 /* Handle built-in C types here. */
154 assign_type_number (syms
, "int", -1);
155 assign_type_number (syms
, "char", -2);
156 assign_type_number (syms
, "short int", -3);
157 assign_type_number (syms
, "long int", (TARGET_64BIT
? -31 : -4));
158 assign_type_number (syms
, "unsigned char", -5);
159 assign_type_number (syms
, "signed char", -6);
160 assign_type_number (syms
, "short unsigned int", -7);
161 assign_type_number (syms
, "unsigned int", -8);
162 /* No such type "unsigned". */
163 assign_type_number (syms
, "long unsigned int", (TARGET_64BIT
? -32 : -10));
164 assign_type_number (syms
, "void", -11);
165 assign_type_number (syms
, "float", -12);
166 assign_type_number (syms
, "double", -13);
167 assign_type_number (syms
, "long double", -14);
168 /* Pascal and Fortran types run from -15 to -29. */
169 assign_type_number (syms
, "wchar", -30);
170 assign_type_number (syms
, "long long int", -31);
171 assign_type_number (syms
, "long long unsigned int", -32);
172 /* Additional Fortran types run from -33 to -37. */
174 /* ??? Should also handle built-in C++ and Obj-C types. There perhaps
175 aren't any that C doesn't already have. */
178 /* Print an error message for unrecognized stab codes. */
180 #define UNKNOWN_STAB(STR) \
182 error ("Unknown stab %s: : 0x%x\n", STR, stab); \
186 /* Conversion routine from BSD stabs to AIX storage classes. */
189 stab_to_sclass (stab
)
198 UNKNOWN_STAB ("N_FNAME");
210 UNKNOWN_STAB ("N_MAIN");
218 UNKNOWN_STAB ("N_SSYM");
234 UNKNOWN_STAB ("N_SO");
238 UNKNOWN_STAB ("N_SOL");
242 UNKNOWN_STAB ("N_SLINE");
247 UNKNOWN_STAB ("N_DSLINE");
253 UNKNOWN_STAB ("N_BSLINE");
257 /* This has the same value as N_BSLINE. */
259 UNKNOWN_STAB ("N_BROWS");
265 UNKNOWN_STAB ("N_BINCL");
271 UNKNOWN_STAB ("N_EINCL");
277 UNKNOWN_STAB ("N_EXCL");
282 UNKNOWN_STAB ("N_LBRAC");
286 UNKNOWN_STAB ("N_RBRAC");
297 UNKNOWN_STAB ("N_LENG");
301 UNKNOWN_STAB ("N_PC");
306 UNKNOWN_STAB ("N_M2C");
312 UNKNOWN_STAB ("N_SCOPE");
317 UNKNOWN_STAB ("N_CATCH");
321 UNKNOWN_STAB ("default");
326 /* Output debugging info to FILE to switch to sourcefile FILENAME.
327 INLINE_P is true if this is from an inlined function. */
330 xcoffout_source_file (file
, filename
, inline_p
)
332 const char *filename
;
336 && (xcoff_lastfile
== 0 || strcmp (filename
, xcoff_lastfile
)
337 || (inline_p
&& ! xcoff_inlining
)
338 || (! inline_p
&& xcoff_inlining
)))
340 if (xcoff_current_include_file
)
342 fprintf (file
, "\t.ei\t");
343 output_quoted_string (file
, xcoff_current_include_file
);
344 fprintf (file
, "\n");
345 xcoff_current_include_file
= NULL
;
347 xcoff_inlining
=inline_p
;
348 if (strcmp (main_input_filename
, filename
) || inline_p
)
350 fprintf (file
, "\t.bi\t");
351 output_quoted_string (file
, filename
);
352 fprintf (file
, "\n");
353 xcoff_current_include_file
= filename
;
357 ggc_add_string_root ((char **) &xcoff_lastfile
, 1);
359 xcoff_lastfile
= filename
;
363 /* Output a line number symbol entry into output stream FILE,
364 for source file FILENAME and line number NOTE. */
367 xcoffout_source_line (file
, filename
, note
)
369 const char *filename
;
372 xcoffout_source_file (file
, filename
, RTX_INTEGRATED_P (note
));
374 ASM_OUTPUT_SOURCE_LINE (file
, NOTE_LINE_NUMBER (note
));
377 /* Output the symbols defined in block number DO_BLOCK.
379 This function works by walking the tree structure of blocks,
380 counting blocks until it finds the desired block. */
382 static int do_block
= 0;
385 xcoffout_block (block
, depth
, args
)
392 /* Ignore blocks never expanded or otherwise marked as real. */
393 if (TREE_USED (block
))
395 /* When we reach the specified block, output its symbols. */
396 if (BLOCK_NUMBER (block
) == do_block
)
398 /* Output the syms of the block. */
399 if (debug_info_level
!= DINFO_LEVEL_TERSE
|| depth
== 0)
400 dbxout_syms (BLOCK_VARS (block
));
402 dbxout_reg_parms (args
);
404 /* We are now done with the block. Don't go to inner blocks. */
407 /* If we are past the specified block, stop the scan. */
408 else if (BLOCK_NUMBER (block
) >= do_block
)
411 /* Output the subblocks. */
412 xcoffout_block (BLOCK_SUBBLOCKS (block
), depth
+ 1, NULL_TREE
);
414 block
= BLOCK_CHAIN (block
);
418 /* Describe the beginning of an internal block within a function.
419 Also output descriptions of variables defined in this block.
421 N is the number of the block, by order of beginning, counting from 1,
422 and not counting the outermost (function top-level) block.
423 The blocks match the BLOCKs in DECL_INITIAL (current_function_decl),
424 if the count starts at 0 for the outermost one. */
427 xcoffout_begin_block (file
, line
, n
)
432 tree decl
= current_function_decl
;
435 /* The IBM AIX compiler does not emit a .bb for the function level scope,
436 so we avoid it here also. */
438 ASM_OUTPUT_LBB (file
, line
, n
);
441 xcoffout_block (DECL_INITIAL (decl
), 0, DECL_ARGUMENTS (decl
));
444 /* Describe the end line-number of an internal block within a function. */
447 xcoffout_end_block (file
, line
, n
)
453 ASM_OUTPUT_LBE (file
, line
, n
);
456 /* Called at beginning of function (before prologue).
457 Declare function as needed for debugging. */
460 xcoffout_declare_function (file
, decl
, name
)
465 char *n
= (char *) name
;
471 for (i
= 0; name
[i
]; ++i
)
475 n
= (char *) alloca (i
+ 1);
476 strncpy (n
, name
, i
);
482 /* Any pending .bi or .ei must occur before the .function pseudo op.
483 Otherwise debuggers will think that the function is in the previous
484 file and/or at the wrong line number. */
485 xcoffout_source_file (file
, DECL_SOURCE_FILE (decl
), 0);
486 dbxout_symbol (decl
, 0);
488 /* .function NAME, TOP, MAPPING, TYPE, SIZE
489 16 and 044 are placeholders for backwards compatibility */
490 fprintf (file
, "\t.function .%s,.%s,16,044,FE..%s-.%s\n", n
, n
, n
, n
);
493 /* Called at beginning of function body (after prologue).
494 Record the function's starting line number, so we can output
495 relative line numbers for the other lines.
496 Record the file name that this function is contained in. */
499 xcoffout_begin_function (file
, last_linenum
)
503 ASM_OUTPUT_LFB (file
, last_linenum
);
504 dbxout_parms (DECL_ARGUMENTS (current_function_decl
));
506 /* Emit the symbols for the outermost BLOCK's variables. sdbout.c does this
507 in sdbout_begin_block, but there is no guarantee that there will be any
508 inner block 1, so we must do it here. This gives a result similar to
509 dbxout, so it does make some sense. */
510 do_block
= BLOCK_NUMBER (DECL_INITIAL (current_function_decl
));
511 xcoffout_block (DECL_INITIAL (current_function_decl
), 0,
512 DECL_ARGUMENTS (current_function_decl
));
514 ASM_OUTPUT_SOURCE_LINE (file
, last_linenum
);
517 /* Called at end of function (before epilogue).
518 Describe end of outermost block. */
521 xcoffout_end_function (file
, last_linenum
)
525 ASM_OUTPUT_LFE (file
, last_linenum
);
528 /* Output xcoff info for the absolute end of a function.
529 Called after the epilogue is output. */
532 xcoffout_end_epilogue (file
)
535 /* We need to pass the correct function size to .function, otherwise,
536 the xas assembler can't figure out the correct size for the function
537 aux entry. So, we emit a label after the last instruction which can
538 be used by the .function pseudo op to calculate the function size. */
540 const char *fname
= XSTR (XEXP (DECL_RTL (current_function_decl
), 0), 0);
543 fprintf (file
, "FE..");
544 ASM_OUTPUT_LABEL (file
, fname
);
546 #endif /* XCOFF_DEBUGGING_INFO */