* gcc.dg/cpp/sysmac1.c,sysmac2.c: Return to original file.
[official-gcc.git] / gcc / dbxout.c
blobd057c581dc85f77d3eed7a10d5aaf6dc7b35c5b6
1 /* Output dbx-format symbol table information from GNU compiler.
2 Copyright (C) 1987, 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001 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)
10 any later version.
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 dbx-format symbol table data.
24 This consists of many symbol table entries, each of them
25 a .stabs assembler pseudo-op with four operands:
26 a "name" which is really a description of one symbol and its type,
27 a "code", which is a symbol defined in stab.h whose name starts with N_,
28 an unused operand always 0,
29 and a "value" which is an address or an offset.
30 The name is enclosed in doublequote characters.
32 Each function, variable, typedef, and structure tag
33 has a symbol table entry to define it.
34 The beginning and end of each level of name scoping within
35 a function are also marked by special symbol table entries.
37 The "name" consists of the symbol name, a colon, a kind-of-symbol letter,
38 and a data type number. The data type number may be followed by
39 "=" and a type definition; normally this will happen the first time
40 the type number is mentioned. The type definition may refer to
41 other types by number, and those type numbers may be followed
42 by "=" and nested definitions.
44 This can make the "name" quite long.
45 When a name is more than 80 characters, we split the .stabs pseudo-op
46 into two .stabs pseudo-ops, both sharing the same "code" and "value".
47 The first one is marked as continued with a double-backslash at the
48 end of its "name".
50 The kind-of-symbol letter distinguished function names from global
51 variables from file-scope variables from parameters from auto
52 variables in memory from typedef names from register variables.
53 See `dbxout_symbol'.
55 The "code" is mostly redundant with the kind-of-symbol letter
56 that goes in the "name", but not entirely: for symbols located
57 in static storage, the "code" says which segment the address is in,
58 which controls how it is relocated.
60 The "value" for a symbol in static storage
61 is the core address of the symbol (actually, the assembler
62 label for the symbol). For a symbol located in a stack slot
63 it is the stack offset; for one in a register, the register number.
64 For a typedef symbol, it is zero.
66 If DEBUG_SYMS_TEXT is defined, all debugging symbols must be
67 output while in the text section.
69 For more on data type definitions, see `dbxout_type'. */
71 #include "config.h"
72 #include "system.h"
74 #include "tree.h"
75 #include "rtl.h"
76 #include "flags.h"
77 #include "regs.h"
78 #include "insn-config.h"
79 #include "reload.h"
80 #include "output.h" /* ASM_OUTPUT_SOURCE_LINE may refer to sdb functions. */
81 #include "dbxout.h"
82 #include "toplev.h"
83 #include "tm_p.h"
84 #include "ggc.h"
86 #ifdef XCOFF_DEBUGGING_INFO
87 #include "xcoffout.h"
88 #endif
90 #ifndef ASM_STABS_OP
91 #define ASM_STABS_OP "\t.stabs\t"
92 #endif
94 #ifndef ASM_STABN_OP
95 #define ASM_STABN_OP "\t.stabn\t"
96 #endif
98 #ifndef DBX_TYPE_DECL_STABS_CODE
99 #define DBX_TYPE_DECL_STABS_CODE N_LSYM
100 #endif
102 #ifndef DBX_STATIC_CONST_VAR_CODE
103 #define DBX_STATIC_CONST_VAR_CODE N_FUN
104 #endif
106 #ifndef DBX_REGPARM_STABS_CODE
107 #define DBX_REGPARM_STABS_CODE N_RSYM
108 #endif
110 #ifndef DBX_REGPARM_STABS_LETTER
111 #define DBX_REGPARM_STABS_LETTER 'P'
112 #endif
114 /* This is used for parameters passed by invisible reference in a register. */
115 #ifndef GDB_INV_REF_REGPARM_STABS_LETTER
116 #define GDB_INV_REF_REGPARM_STABS_LETTER 'a'
117 #endif
119 #ifndef DBX_MEMPARM_STABS_LETTER
120 #define DBX_MEMPARM_STABS_LETTER 'p'
121 #endif
123 #ifndef FILE_NAME_JOINER
124 #define FILE_NAME_JOINER "/"
125 #endif
127 /* GDB needs to know that the stabs were generated by GCC. We emit an
128 N_OPT stab at the beginning of the source file to indicate this.
129 The string is historical, and different on a very few targets. */
130 #ifndef STABS_GCC_MARKER
131 #define STABS_GCC_MARKER "gcc2_compiled."
132 #endif
134 /* Nonzero means if the type has methods, only output debugging
135 information if methods are actually written to the asm file. This
136 optimization only works if the debugger can detect the special C++
137 marker. */
139 #define MINIMAL_DEBUG 1
141 #ifdef NO_DOLLAR_IN_LABEL
142 #ifdef NO_DOT_IN_LABEL
143 #undef MINIMAL_DEBUG
144 #define MINIMAL_DEBUG 0
145 #endif
146 #endif
148 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
150 static int flag_minimal_debug = MINIMAL_DEBUG;
152 /* Nonzero if we have actually used any of the GDB extensions
153 to the debugging format. The idea is that we use them for the
154 first time only if there's a strong reason, but once we have done that,
155 we use them whenever convenient. */
157 static int have_used_extensions = 0;
159 /* Number for the next N_SOL filename stabs label. The number 0 is reserved
160 for the N_SO filename stabs label. */
162 static int source_label_number = 1;
164 #ifdef DEBUG_SYMS_TEXT
165 #define FORCE_TEXT text_section ();
166 #else
167 #define FORCE_TEXT
168 #endif
170 #include "gstab.h"
172 #define STAB_CODE_TYPE enum __stab_debug_code
174 /* 1 if PARM is passed to this function in memory. */
176 #define PARM_PASSED_IN_MEMORY(PARM) \
177 (GET_CODE (DECL_INCOMING_RTL (PARM)) == MEM)
179 /* A C expression for the integer offset value of an automatic variable
180 (N_LSYM) having address X (an RTX). */
181 #ifndef DEBUGGER_AUTO_OFFSET
182 #define DEBUGGER_AUTO_OFFSET(X) \
183 (GET_CODE (X) == PLUS ? INTVAL (XEXP (X, 1)) : 0)
184 #endif
186 /* A C expression for the integer offset value of an argument (N_PSYM)
187 having address X (an RTX). The nominal offset is OFFSET. */
188 #ifndef DEBUGGER_ARG_OFFSET
189 #define DEBUGGER_ARG_OFFSET(OFFSET, X) (OFFSET)
190 #endif
192 /* Stream for writing to assembler file. */
194 static FILE *asmfile;
196 /* Last source file name mentioned in a NOTE insn. */
198 static const char *lastfile;
200 /* Current working directory. */
202 static const char *cwd;
204 enum typestatus {TYPE_UNSEEN, TYPE_XREF, TYPE_DEFINED};
206 /* Structure recording information about a C data type.
207 The status element says whether we have yet output
208 the definition of the type. TYPE_XREF says we have
209 output it as a cross-reference only.
210 The file_number and type_number elements are used if DBX_USE_BINCL
211 is defined. */
213 struct typeinfo
215 enum typestatus status;
216 #ifdef DBX_USE_BINCL
217 int file_number;
218 int type_number;
219 #endif
222 /* Vector recording information about C data types.
223 When we first notice a data type (a tree node),
224 we assign it a number using next_type_number.
225 That is its index in this vector. */
227 struct typeinfo *typevec;
229 /* Number of elements of space allocated in `typevec'. */
231 static int typevec_len;
233 /* In dbx output, each type gets a unique number.
234 This is the number for the next type output.
235 The number, once assigned, is in the TYPE_SYMTAB_ADDRESS field. */
237 static int next_type_number;
239 #ifdef DBX_USE_BINCL
241 /* When using N_BINCL in dbx output, each type number is actually a
242 pair of the file number and the type number within the file.
243 This is a stack of input files. */
245 struct dbx_file
247 struct dbx_file *next;
248 int file_number;
249 int next_type_number;
252 /* This is the top of the stack. */
254 static struct dbx_file *current_file;
256 /* This is the next file number to use. */
258 static int next_file_number;
260 #endif /* DBX_USE_BINCL */
262 /* These variables are for dbxout_symbol to communicate to
263 dbxout_finish_symbol.
264 current_sym_code is the symbol-type-code, a symbol N_... define in stab.h.
265 current_sym_value and current_sym_addr are two ways to address the
266 value to store in the symtab entry.
267 current_sym_addr if nonzero represents the value as an rtx.
268 If that is zero, current_sym_value is used. This is used
269 when the value is an offset (such as for auto variables,
270 register variables and parms). */
272 static STAB_CODE_TYPE current_sym_code;
273 static int current_sym_value;
274 static rtx current_sym_addr;
276 /* Number of chars of symbol-description generated so far for the
277 current symbol. Used by CHARS and CONTIN. */
279 static int current_sym_nchars;
281 /* Report having output N chars of the current symbol-description. */
283 #define CHARS(N) (current_sym_nchars += (N))
285 /* Break the current symbol-description, generating a continuation,
286 if it has become long. */
288 #ifndef DBX_CONTIN_LENGTH
289 #define DBX_CONTIN_LENGTH 80
290 #endif
292 #if DBX_CONTIN_LENGTH > 0
293 #define CONTIN \
294 do {if (current_sym_nchars > DBX_CONTIN_LENGTH) dbxout_continue ();} while (0)
295 #else
296 #define CONTIN do { } while (0)
297 #endif
299 #if defined(ASM_OUTPUT_SECTION_NAME)
300 static void dbxout_function_end PARAMS ((void));
301 #endif
302 static void dbxout_typedefs PARAMS ((tree));
303 static void dbxout_type_index PARAMS ((tree));
304 #if DBX_CONTIN_LENGTH > 0
305 static void dbxout_continue PARAMS ((void));
306 #endif
307 static void dbxout_type_fields PARAMS ((tree));
308 static void dbxout_type_method_1 PARAMS ((tree, const char *));
309 static void dbxout_type_methods PARAMS ((tree));
310 static void dbxout_range_type PARAMS ((tree));
311 static void dbxout_type PARAMS ((tree, int, int));
312 static void print_int_cst_octal PARAMS ((tree));
313 static void print_octal PARAMS ((unsigned HOST_WIDE_INT, int));
314 static void dbxout_type_name PARAMS ((tree));
315 static int dbxout_symbol_location PARAMS ((tree, tree, const char *, rtx));
316 static void dbxout_symbol_name PARAMS ((tree, const char *, int));
317 static void dbxout_prepare_symbol PARAMS ((tree));
318 static void dbxout_finish_symbol PARAMS ((tree));
319 static void dbxout_block PARAMS ((tree, int, tree));
320 static void dbxout_really_begin_function PARAMS ((tree));
322 #if defined(ASM_OUTPUT_SECTION_NAME)
323 static void
324 dbxout_function_end ()
326 static int scope_labelno = 0;
327 char lscope_label_name[100];
328 /* Convert Ltext into the appropriate format for local labels in case
329 the system doesn't insert underscores in front of user generated
330 labels. */
331 ASM_GENERATE_INTERNAL_LABEL (lscope_label_name, "Lscope", scope_labelno);
332 ASM_OUTPUT_INTERNAL_LABEL (asmfile, "Lscope", scope_labelno);
333 scope_labelno++;
335 /* By convention, GCC will mark the end of a function with an N_FUN
336 symbol and an empty string. */
337 fprintf (asmfile, "%s\"\",%d,0,0,", ASM_STABS_OP, N_FUN);
338 assemble_name (asmfile, lscope_label_name);
339 fputc ('-', asmfile);
340 assemble_name (asmfile, XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0));
341 fprintf (asmfile, "\n");
343 #endif /* ! NO_DBX_FUNCTION_END */
345 /* At the beginning of compilation, start writing the symbol table.
346 Initialize `typevec' and output the standard data types of C. */
348 void
349 dbxout_init (asm_file, input_file_name, syms)
350 FILE *asm_file;
351 const char *input_file_name;
352 tree syms;
354 char ltext_label_name[100];
356 asmfile = asm_file;
358 typevec_len = 100;
359 typevec = (struct typeinfo *) xcalloc (typevec_len, sizeof typevec[0]);
361 /* Convert Ltext into the appropriate format for local labels in case
362 the system doesn't insert underscores in front of user generated
363 labels. */
364 ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext", 0);
366 /* Put the current working directory in an N_SO symbol. */
367 #ifndef DBX_WORKING_DIRECTORY /* Only some versions of DBX want this,
368 but GDB always does. */
369 if (use_gnu_debug_info_extensions)
370 #endif
372 if (!cwd && (cwd = getpwd ()) && (!*cwd || cwd[strlen (cwd) - 1] != '/'))
373 cwd = concat (cwd, FILE_NAME_JOINER, NULL);
374 if (cwd)
376 #ifdef DBX_OUTPUT_MAIN_SOURCE_DIRECTORY
377 DBX_OUTPUT_MAIN_SOURCE_DIRECTORY (asmfile, cwd);
378 #else /* no DBX_OUTPUT_MAIN_SOURCE_DIRECTORY */
379 fprintf (asmfile, "%s", ASM_STABS_OP);
380 output_quoted_string (asmfile, cwd);
381 fprintf (asmfile, ",%d,0,0,%s\n", N_SO, &ltext_label_name[1]);
382 #endif /* no DBX_OUTPUT_MAIN_SOURCE_DIRECTORY */
386 #ifdef DBX_OUTPUT_MAIN_SOURCE_FILENAME
387 /* This should NOT be DBX_OUTPUT_SOURCE_FILENAME. That
388 would give us an N_SOL, and we want an N_SO. */
389 DBX_OUTPUT_MAIN_SOURCE_FILENAME (asmfile, input_file_name);
390 #else /* no DBX_OUTPUT_MAIN_SOURCE_FILENAME */
391 /* We include outputting `Ltext:' here,
392 because that gives you a way to override it. */
393 /* Used to put `Ltext:' before the reference, but that loses on sun 4. */
394 fprintf (asmfile, "%s", ASM_STABS_OP);
395 output_quoted_string (asmfile, input_file_name);
396 fprintf (asmfile, ",%d,0,0,%s\n",
397 N_SO, &ltext_label_name[1]);
398 text_section ();
399 ASM_OUTPUT_INTERNAL_LABEL (asmfile, "Ltext", 0);
400 #endif /* no DBX_OUTPUT_MAIN_SOURCE_FILENAME */
402 #ifdef DBX_OUTPUT_GCC_MARKER
403 DBX_OUTPUT_GCC_MARKER (asmfile);
404 #else
405 /* Emit an N_OPT stab to indicate that this file was compiled by GCC. */
406 fprintf (asmfile, "%s\"%s\",%d,0,0,0\n",
407 ASM_STABS_OP, STABS_GCC_MARKER, N_OPT);
408 #endif
410 lastfile = input_file_name;
412 next_type_number = 1;
414 #ifdef DBX_USE_BINCL
415 current_file = (struct dbx_file *) xmalloc (sizeof *current_file);
416 current_file->next = NULL;
417 current_file->file_number = 0;
418 current_file->next_type_number = 1;
419 next_file_number = 1;
420 #endif
422 /* Make sure that types `int' and `char' have numbers 1 and 2.
423 Definitions of other integer types will refer to those numbers.
424 (Actually it should no longer matter what their numbers are.
425 Also, if any types with tags have been defined, dbxout_symbol
426 will output them first, so the numbers won't be 1 and 2. That
427 happens in C++. So it's a good thing it should no longer matter). */
429 #ifdef DBX_OUTPUT_STANDARD_TYPES
430 DBX_OUTPUT_STANDARD_TYPES (syms);
431 #else
432 dbxout_symbol (TYPE_NAME (integer_type_node), 0);
433 dbxout_symbol (TYPE_NAME (char_type_node), 0);
434 #endif
436 /* Get all permanent types that have typedef names,
437 and output them all, except for those already output. */
439 dbxout_typedefs (syms);
442 /* Output any typedef names for types described by TYPE_DECLs in SYMS,
443 in the reverse order from that which is found in SYMS. */
445 static void
446 dbxout_typedefs (syms)
447 tree syms;
449 if (syms)
451 dbxout_typedefs (TREE_CHAIN (syms));
452 if (TREE_CODE (syms) == TYPE_DECL)
454 tree type = TREE_TYPE (syms);
455 if (TYPE_NAME (type)
456 && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
457 && COMPLETE_TYPE_P (type)
458 && ! TREE_ASM_WRITTEN (TYPE_NAME (type)))
459 dbxout_symbol (TYPE_NAME (type), 0);
464 /* Change to reading from a new source file. Generate a N_BINCL stab. */
466 void
467 dbxout_start_new_source_file (filename)
468 const char *filename ATTRIBUTE_UNUSED;
470 #ifdef DBX_USE_BINCL
471 struct dbx_file *n = (struct dbx_file *) xmalloc (sizeof *n);
473 n->next = current_file;
474 n->file_number = next_file_number++;
475 n->next_type_number = 1;
476 current_file = n;
477 fprintf (asmfile, "%s", ASM_STABS_OP);
478 output_quoted_string (asmfile, filename);
479 fprintf (asmfile, ",%d,0,0,0\n", N_BINCL);
480 #endif
483 /* Revert to reading a previous source file. Generate a N_EINCL stab. */
485 void
486 dbxout_resume_previous_source_file ()
488 #ifdef DBX_USE_BINCL
489 struct dbx_file *next;
491 fprintf (asmfile, "%s%d,0,0,0\n", ASM_STABN_OP, N_EINCL);
492 next = current_file->next;
493 free (current_file);
494 current_file = next;
495 #endif
498 /* Output debugging info to FILE to switch to sourcefile FILENAME. */
500 void
501 dbxout_source_file (file, filename)
502 FILE *file;
503 const char *filename;
505 char ltext_label_name[100];
507 if (filename && (lastfile == 0 || strcmp (filename, lastfile)))
509 #ifdef DBX_OUTPUT_SOURCE_FILENAME
510 DBX_OUTPUT_SOURCE_FILENAME (file, filename);
511 #else
512 ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext",
513 source_label_number);
514 fprintf (file, "%s", ASM_STABS_OP);
515 output_quoted_string (file, filename);
516 fprintf (file, ",%d,0,0,%s\n", N_SOL, &ltext_label_name[1]);
517 if (current_function_decl != NULL_TREE
518 && DECL_SECTION_NAME (current_function_decl) != NULL_TREE)
519 ; /* Don't change section amid function. */
520 else
521 text_section ();
522 ASM_OUTPUT_INTERNAL_LABEL (file, "Ltext", source_label_number);
523 source_label_number++;
524 #endif
525 lastfile = filename;
529 /* Output a line number symbol entry into output stream FILE,
530 for source file FILENAME and line number LINENO. */
532 void
533 dbxout_source_line (file, filename, lineno)
534 FILE *file;
535 const char *filename;
536 int lineno;
538 dbxout_source_file (file, filename);
540 #ifdef ASM_OUTPUT_SOURCE_LINE
541 ASM_OUTPUT_SOURCE_LINE (file, lineno);
542 #else
543 fprintf (file, "%s%d,0,%d\n", ASM_STABD_OP, N_SLINE, lineno);
544 #endif
547 /* At the end of compilation, finish writing the symbol table.
548 Unless you define DBX_OUTPUT_MAIN_SOURCE_FILE_END, the default is
549 to do nothing. */
551 void
552 dbxout_finish (file, filename)
553 FILE *file ATTRIBUTE_UNUSED;
554 const char *filename ATTRIBUTE_UNUSED;
556 #ifdef DBX_OUTPUT_MAIN_SOURCE_FILE_END
557 DBX_OUTPUT_MAIN_SOURCE_FILE_END (file, filename);
558 #endif /* DBX_OUTPUT_MAIN_SOURCE_FILE_END */
561 /* Output the index of a type. */
563 static void
564 dbxout_type_index (type)
565 tree type;
567 #ifndef DBX_USE_BINCL
568 fprintf (asmfile, "%d", TYPE_SYMTAB_ADDRESS (type));
569 CHARS (3);
570 #else
571 struct typeinfo *t = &typevec[TYPE_SYMTAB_ADDRESS (type)];
572 fprintf (asmfile, "(%d,%d)", t->file_number, t->type_number);
573 CHARS (7);
574 #endif
577 #if DBX_CONTIN_LENGTH > 0
578 /* Continue a symbol-description that gets too big.
579 End one symbol table entry with a double-backslash
580 and start a new one, eventually producing something like
581 .stabs "start......\\",code,0,value
582 .stabs "...rest",code,0,value */
584 static void
585 dbxout_continue ()
587 #ifdef DBX_CONTIN_CHAR
588 fprintf (asmfile, "%c", DBX_CONTIN_CHAR);
589 #else
590 fprintf (asmfile, "\\\\");
591 #endif
592 dbxout_finish_symbol (NULL_TREE);
593 fprintf (asmfile, "%s\"", ASM_STABS_OP);
594 current_sym_nchars = 0;
596 #endif /* DBX_CONTIN_LENGTH > 0 */
598 /* Subroutine of `dbxout_type'. Output the type fields of TYPE.
599 This must be a separate function because anonymous unions require
600 recursive calls. */
602 static void
603 dbxout_type_fields (type)
604 tree type;
606 tree tem;
608 /* Output the name, type, position (in bits), size (in bits) of each
609 field that we can support. */
610 for (tem = TYPE_FIELDS (type); tem; tem = TREE_CHAIN (tem))
612 /* Omit here local type decls until we know how to support them. */
613 if (TREE_CODE (tem) == TYPE_DECL
614 /* Omit fields whose position or size are variable or too large to
615 represent. */
616 || (TREE_CODE (tem) == FIELD_DECL
617 && (! host_integerp (bit_position (tem), 0)
618 || ! DECL_SIZE (tem)
619 || ! host_integerp (DECL_SIZE (tem), 1)))
620 /* Omit here the nameless fields that are used to skip bits. */
621 || DECL_IGNORED_P (tem))
622 continue;
624 else if (TREE_CODE (tem) != CONST_DECL)
626 /* Continue the line if necessary,
627 but not before the first field. */
628 if (tem != TYPE_FIELDS (type))
629 CONTIN;
631 if (use_gnu_debug_info_extensions
632 && flag_minimal_debug
633 && TREE_CODE (tem) == FIELD_DECL
634 && DECL_VIRTUAL_P (tem)
635 && DECL_ASSEMBLER_NAME (tem))
637 have_used_extensions = 1;
638 CHARS (3 + IDENTIFIER_LENGTH (DECL_ASSEMBLER_NAME (tem)));
639 fputs (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (tem)), asmfile);
640 dbxout_type (DECL_FCONTEXT (tem), 0, 0);
641 fprintf (asmfile, ":");
642 dbxout_type (TREE_TYPE (tem), 0, 0);
643 fputc (',', asmfile);
644 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
645 int_bit_position (tem));
646 fputc (';', asmfile);
647 continue;
650 if (DECL_NAME (tem))
652 fprintf (asmfile, "%s:", IDENTIFIER_POINTER (DECL_NAME (tem)));
653 CHARS (2 + IDENTIFIER_LENGTH (DECL_NAME (tem)));
655 else
657 fprintf (asmfile, ":");
658 CHARS (2);
661 if (use_gnu_debug_info_extensions
662 && (TREE_PRIVATE (tem) || TREE_PROTECTED (tem)
663 || TREE_CODE (tem) != FIELD_DECL))
665 have_used_extensions = 1;
666 putc ('/', asmfile);
667 putc ((TREE_PRIVATE (tem) ? '0'
668 : TREE_PROTECTED (tem) ? '1' : '2'),
669 asmfile);
670 CHARS (2);
673 dbxout_type ((TREE_CODE (tem) == FIELD_DECL
674 && DECL_BIT_FIELD_TYPE (tem))
675 ? DECL_BIT_FIELD_TYPE (tem) : TREE_TYPE (tem), 0, 0);
677 if (TREE_CODE (tem) == VAR_DECL)
679 if (TREE_STATIC (tem) && use_gnu_debug_info_extensions)
681 const char *name =
682 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (tem));
683 have_used_extensions = 1;
684 fprintf (asmfile, ":%s;", name);
685 CHARS (strlen (name));
687 else
688 /* If TEM is non-static, GDB won't understand it. */
689 fprintf (asmfile, ",0,0;");
691 else
693 fputc (',', asmfile);
694 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
695 int_bit_position (tem));
696 fputc (',', asmfile);
697 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
698 tree_low_cst (DECL_SIZE (tem), 1));
699 fputc (';', asmfile);
700 CHARS (23);
706 /* Subroutine of `dbxout_type_methods'. Output debug info about the
707 method described DECL. DEBUG_NAME is an encoding of the method's
708 type signature. ??? We may be able to do without DEBUG_NAME altogether
709 now. */
711 static void
712 dbxout_type_method_1 (decl, debug_name)
713 tree decl;
714 const char *debug_name;
716 char c1 = 'A', c2;
718 if (TREE_CODE (TREE_TYPE (decl)) == FUNCTION_TYPE)
719 c2 = '?';
720 else /* it's a METHOD_TYPE. */
722 tree firstarg = TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (decl)));
723 /* A for normal functions.
724 B for `const' member functions.
725 C for `volatile' member functions.
726 D for `const volatile' member functions. */
727 if (TYPE_READONLY (TREE_TYPE (firstarg)))
728 c1 += 1;
729 if (TYPE_VOLATILE (TREE_TYPE (firstarg)))
730 c1 += 2;
732 if (DECL_VINDEX (decl))
733 c2 = '*';
734 else
735 c2 = '.';
738 fprintf (asmfile, ":%s;%c%c%c", debug_name,
739 TREE_PRIVATE (decl) ? '0'
740 : TREE_PROTECTED (decl) ? '1' : '2', c1, c2);
741 CHARS (IDENTIFIER_LENGTH (DECL_ASSEMBLER_NAME (decl)) + 6
742 - (debug_name - IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl))));
744 if (DECL_VINDEX (decl) && host_integerp (DECL_VINDEX (decl), 0))
746 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
747 tree_low_cst (DECL_VINDEX (decl), 0));
748 fputc (';', asmfile);
749 dbxout_type (DECL_CONTEXT (decl), 0, 0);
750 fprintf (asmfile, ";");
751 CHARS (8);
755 /* Subroutine of `dbxout_type'. Output debug info about the methods defined
756 in TYPE. */
758 static void
759 dbxout_type_methods (type)
760 register tree type;
762 /* C++: put out the method names and their parameter lists */
763 tree methods = TYPE_METHODS (type);
764 tree type_encoding;
765 register tree fndecl;
766 register tree last;
767 char formatted_type_identifier_length[16];
768 register int type_identifier_length;
770 if (methods == NULL_TREE)
771 return;
773 type_encoding = DECL_NAME (TYPE_NAME (type));
775 #if 0
776 /* C++: Template classes break some assumptions made by this code about
777 the class names, constructor names, and encodings for assembler
778 label names. For now, disable output of dbx info for them. */
780 const char *ptr = IDENTIFIER_POINTER (type_encoding);
781 /* This should use index. (mrs) */
782 while (*ptr && *ptr != '<') ptr++;
783 if (*ptr != 0)
785 static int warned;
786 if (!warned)
787 warned = 1;
788 return;
791 #endif
793 type_identifier_length = IDENTIFIER_LENGTH (type_encoding);
795 sprintf(formatted_type_identifier_length, "%d", type_identifier_length);
797 if (TREE_CODE (methods) != TREE_VEC)
798 fndecl = methods;
799 else if (TREE_VEC_ELT (methods, 0) != NULL_TREE)
800 fndecl = TREE_VEC_ELT (methods, 0);
801 else
802 fndecl = TREE_VEC_ELT (methods, 1);
804 while (fndecl)
806 tree name = DECL_NAME (fndecl);
807 int need_prefix = 1;
809 /* Group together all the methods for the same operation.
810 These differ in the types of the arguments. */
811 for (last = NULL_TREE;
812 fndecl && (last == NULL_TREE || DECL_NAME (fndecl) == DECL_NAME (last));
813 fndecl = TREE_CHAIN (fndecl))
814 /* Output the name of the field (after overloading), as
815 well as the name of the field before overloading, along
816 with its parameter list */
818 /* This is the "mangled" name of the method.
819 It encodes the argument types. */
820 const char *debug_name;
821 int show_arg_types = 0;
823 /* Skip methods that aren't FUNCTION_DECLs. (In C++, these
824 include TEMPLATE_DECLs.) The debugger doesn't know what
825 to do with such entities anyhow. */
826 if (TREE_CODE (fndecl) != FUNCTION_DECL)
827 continue;
829 debug_name =
830 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fndecl));
832 CONTIN;
834 last = fndecl;
836 /* Also ignore abstract methods; those are only interesting to
837 the DWARF backends. */
838 if (DECL_IGNORED_P (fndecl) || DECL_ABSTRACT (fndecl))
839 continue;
841 if (flag_minimal_debug)
843 char marker;
845 /* We can't optimize a method which uses an anonymous
846 class, because the debugger will not be able to
847 associate the arbitrary class name with the actual
848 class. */
849 #ifndef NO_DOLLAR_IN_LABEL
850 marker = '$';
851 #else
852 marker = '.';
853 #endif
854 if (strchr (debug_name, marker))
855 show_arg_types = 1;
856 /* Detect ordinary methods because their mangled names
857 start with the operation name. */
858 else if (!strncmp (IDENTIFIER_POINTER (name), debug_name,
859 IDENTIFIER_LENGTH (name)))
861 debug_name += IDENTIFIER_LENGTH (name);
862 if (debug_name[0] == '_' && debug_name[1] == '_')
864 const char *method_name = debug_name + 2;
865 const char *length_ptr =
866 formatted_type_identifier_length;
867 /* Get past const and volatile qualifiers. */
868 while (*method_name == 'C' || *method_name == 'V')
869 method_name++;
870 /* Skip digits for length of type_encoding. */
871 while (*method_name == *length_ptr && *length_ptr)
872 length_ptr++, method_name++;
873 if (! strncmp (method_name,
874 IDENTIFIER_POINTER (type_encoding),
875 type_identifier_length))
876 method_name += type_identifier_length;
877 debug_name = method_name;
880 /* Detect constructors by their style of name mangling. */
881 else if (debug_name[0] == '_' && debug_name[1] == '_')
883 const char *ctor_name = debug_name + 2;
884 const char *length_ptr = formatted_type_identifier_length;
885 while (*ctor_name == 'C' || *ctor_name == 'V')
886 ctor_name++;
887 /* Skip digits for length of type_encoding. */
888 while (*ctor_name == *length_ptr && *length_ptr)
889 length_ptr++, ctor_name++;
890 if (!strncmp (IDENTIFIER_POINTER (type_encoding), ctor_name,
891 type_identifier_length))
892 debug_name = ctor_name + type_identifier_length;
894 /* The other alternative is a destructor. */
895 else
896 show_arg_types = 1;
898 /* Output the operation name just once, for the first method
899 that we output. */
900 if (need_prefix)
902 fprintf (asmfile, "%s::", IDENTIFIER_POINTER (name));
903 CHARS (IDENTIFIER_LENGTH (name) + 2);
904 need_prefix = 0;
908 dbxout_type (TREE_TYPE (fndecl), 0, show_arg_types);
910 dbxout_type_method_1 (fndecl, debug_name);
912 if (!need_prefix)
914 putc (';', asmfile);
915 CHARS (1);
920 /* Emit a "range" type specification, which has the form:
921 "r<index type>;<lower bound>;<upper bound>;".
922 TYPE is an INTEGER_TYPE. */
924 static void
925 dbxout_range_type (type)
926 tree type;
928 fprintf (asmfile, "r");
929 if (TREE_TYPE (type))
930 dbxout_type (TREE_TYPE (type), 0, 0);
931 else if (TREE_CODE (type) != INTEGER_TYPE)
932 dbxout_type (type, 0, 0); /* E.g. Pascal's ARRAY [BOOLEAN] of INTEGER */
933 else
935 /* Traditionally, we made sure 'int' was type 1, and builtin types
936 were defined to be sub-ranges of int. Unfortunately, this
937 does not allow us to distinguish true sub-ranges from integer
938 types. So, instead we define integer (non-sub-range) types as
939 sub-ranges of themselves. This matters for Chill. If this isn't
940 a subrange type, then we want to define it in terms of itself.
941 However, in C, this may be an anonymous integer type, and we don't
942 want to emit debug info referring to it. Just calling
943 dbxout_type_index won't work anyways, because the type hasn't been
944 defined yet. We make this work for both cases by checked to see
945 whether this is a defined type, referring to it if it is, and using
946 'int' otherwise. */
947 if (TYPE_SYMTAB_ADDRESS (type) != 0)
948 dbxout_type_index (type);
949 else
950 dbxout_type_index (integer_type_node);
953 if (TYPE_MIN_VALUE (type) != 0
954 && host_integerp (TYPE_MIN_VALUE (type), 0))
956 fputc (';', asmfile);
957 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
958 tree_low_cst (TYPE_MIN_VALUE (type), 0));
960 else
961 fprintf (asmfile, ";0");
963 if (TYPE_MAX_VALUE (type) != 0
964 && host_integerp (TYPE_MAX_VALUE (type), 0))
966 fputc (';', asmfile);
967 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
968 tree_low_cst (TYPE_MAX_VALUE (type), 0));
969 fputc (';', asmfile);
971 else
972 fprintf (asmfile, ";-1;");
975 /* Output a reference to a type. If the type has not yet been
976 described in the dbx output, output its definition now.
977 For a type already defined, just refer to its definition
978 using the type number.
980 If FULL is nonzero, and the type has been described only with
981 a forward-reference, output the definition now.
982 If FULL is zero in this case, just refer to the forward-reference
983 using the number previously allocated.
985 If SHOW_ARG_TYPES is nonzero, we output a description of the argument
986 types for a METHOD_TYPE. */
988 static void
989 dbxout_type (type, full, show_arg_types)
990 tree type;
991 int full;
992 int show_arg_types;
994 register tree tem;
995 static int anonymous_type_number = 0;
997 if (TREE_CODE (type) == VECTOR_TYPE)
998 type = TYPE_DEBUG_REPRESENTATION_TYPE (type);
1000 /* If there was an input error and we don't really have a type,
1001 avoid crashing and write something that is at least valid
1002 by assuming `int'. */
1003 if (type == error_mark_node)
1004 type = integer_type_node;
1005 else
1007 /* Try to find the "main variant" with the same name but not const
1008 or volatile. (Since stabs does not distinguish const and volatile,
1009 there is no need to make them separate types. But types with
1010 different names are usefully distinguished.) */
1012 for (tem = TYPE_MAIN_VARIANT (type); tem; tem = TYPE_NEXT_VARIANT (tem))
1013 if (!TYPE_READONLY (tem) && !TYPE_VOLATILE (tem)
1014 && TYPE_NAME (tem) == TYPE_NAME (type))
1016 type = tem;
1017 break;
1019 if (TYPE_NAME (type)
1020 && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1021 && TYPE_DECL_SUPPRESS_DEBUG (TYPE_NAME (type)))
1022 full = 0;
1025 if (TYPE_SYMTAB_ADDRESS (type) == 0)
1027 /* Type has no dbx number assigned. Assign next available number. */
1028 TYPE_SYMTAB_ADDRESS (type) = next_type_number++;
1030 /* Make sure type vector is long enough to record about this type. */
1032 if (next_type_number == typevec_len)
1034 typevec
1035 = (struct typeinfo *) xrealloc (typevec,
1036 typevec_len * 2 * sizeof typevec[0]);
1037 memset ((char *) (typevec + typevec_len), 0,
1038 typevec_len * sizeof typevec[0]);
1039 typevec_len *= 2;
1042 #ifdef DBX_USE_BINCL
1043 typevec[TYPE_SYMTAB_ADDRESS (type)].file_number
1044 = current_file->file_number;
1045 typevec[TYPE_SYMTAB_ADDRESS (type)].type_number
1046 = current_file->next_type_number++;
1047 #endif
1050 /* Output the number of this type, to refer to it. */
1051 dbxout_type_index (type);
1053 #ifdef DBX_TYPE_DEFINED
1054 if (DBX_TYPE_DEFINED (type))
1055 return;
1056 #endif
1058 /* If this type's definition has been output or is now being output,
1059 that is all. */
1061 switch (typevec[TYPE_SYMTAB_ADDRESS (type)].status)
1063 case TYPE_UNSEEN:
1064 break;
1065 case TYPE_XREF:
1066 /* If we have already had a cross reference,
1067 and either that's all we want or that's the best we could do,
1068 don't repeat the cross reference.
1069 Sun dbx crashes if we do. */
1070 if (! full || !COMPLETE_TYPE_P (type)
1071 /* No way in DBX fmt to describe a variable size. */
1072 || TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
1073 return;
1074 break;
1075 case TYPE_DEFINED:
1076 return;
1079 #ifdef DBX_NO_XREFS
1080 /* For systems where dbx output does not allow the `=xsNAME:' syntax,
1081 leave the type-number completely undefined rather than output
1082 a cross-reference. If we have already used GNU debug info extensions,
1083 then it is OK to output a cross reference. This is necessary to get
1084 proper C++ debug output. */
1085 if ((TREE_CODE (type) == RECORD_TYPE || TREE_CODE (type) == UNION_TYPE
1086 || TREE_CODE (type) == QUAL_UNION_TYPE
1087 || TREE_CODE (type) == ENUMERAL_TYPE)
1088 && ! use_gnu_debug_info_extensions)
1089 /* We must use the same test here as we use twice below when deciding
1090 whether to emit a cross-reference. */
1091 if ((TYPE_NAME (type) != 0
1092 && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1093 && DECL_IGNORED_P (TYPE_NAME (type)))
1094 && !full)
1095 || !COMPLETE_TYPE_P (type)
1096 /* No way in DBX fmt to describe a variable size. */
1097 || TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
1099 typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF;
1100 return;
1102 #endif
1104 /* Output a definition now. */
1106 fprintf (asmfile, "=");
1107 CHARS (1);
1109 /* Mark it as defined, so that if it is self-referent
1110 we will not get into an infinite recursion of definitions. */
1112 typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_DEFINED;
1114 if (TYPE_NAME (type) && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1115 && DECL_ORIGINAL_TYPE (TYPE_NAME (type)))
1117 dbxout_type (DECL_ORIGINAL_TYPE (TYPE_NAME (type)), 0, 0);
1118 return;
1121 switch (TREE_CODE (type))
1123 case VOID_TYPE:
1124 case LANG_TYPE:
1125 /* For a void type, just define it as itself; ie, "5=5".
1126 This makes us consider it defined
1127 without saying what it is. The debugger will make it
1128 a void type when the reference is seen, and nothing will
1129 ever override that default. */
1130 dbxout_type_index (type);
1131 break;
1133 case INTEGER_TYPE:
1134 if (type == char_type_node && ! TREE_UNSIGNED (type))
1136 /* Output the type `char' as a subrange of itself!
1137 I don't understand this definition, just copied it
1138 from the output of pcc.
1139 This used to use `r2' explicitly and we used to
1140 take care to make sure that `char' was type number 2. */
1141 fprintf (asmfile, "r");
1142 dbxout_type_index (type);
1143 fprintf (asmfile, ";0;127;");
1146 /* If this is a subtype of another integer type, always prefer to
1147 write it as a subtype. */
1148 else if (TREE_TYPE (type) != 0
1149 && TREE_CODE (TREE_TYPE (type)) == INTEGER_CST)
1150 dbxout_range_type (type);
1152 else
1154 /* If the size is non-standard, say what it is if we can use
1155 GDB extensions. */
1157 if (use_gnu_debug_info_extensions
1158 && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node))
1159 fprintf (asmfile, "@s%d;", TYPE_PRECISION (type));
1161 /* If we can use GDB extensions and the size is wider than a
1162 long (the size used by GDB to read them) or we may have
1163 trouble writing the bounds the usual way, write them in
1164 octal. Note the test is for the *target's* size of "long",
1165 not that of the host. The host test is just to make sure we
1166 can write it out in case the host wide int is narrower than the
1167 target "long". */
1169 /* For unsigned types, we use octal if they are the same size or
1170 larger. This is because we print the bounds as signed decimal,
1171 and hence they can't span same size unsigned types. */
1173 if (use_gnu_debug_info_extensions
1174 && TYPE_MIN_VALUE (type) != 0
1175 && TREE_CODE (TYPE_MIN_VALUE (type)) == INTEGER_CST
1176 && TYPE_MAX_VALUE (type) != 0
1177 && TREE_CODE (TYPE_MAX_VALUE (type)) == INTEGER_CST
1178 && (TYPE_PRECISION (type) > TYPE_PRECISION (integer_type_node)
1179 || (TYPE_PRECISION (type) == TYPE_PRECISION (integer_type_node)
1180 && TREE_UNSIGNED (type))
1181 || TYPE_PRECISION (type) > HOST_BITS_PER_WIDE_INT
1182 || (TYPE_PRECISION (type) == HOST_BITS_PER_WIDE_INT
1183 && TREE_UNSIGNED (type))))
1185 fprintf (asmfile, "r");
1186 dbxout_type_index (type);
1187 fprintf (asmfile, ";");
1188 print_int_cst_octal (TYPE_MIN_VALUE (type));
1189 fprintf (asmfile, ";");
1190 print_int_cst_octal (TYPE_MAX_VALUE (type));
1191 fprintf (asmfile, ";");
1194 else
1195 /* Output other integer types as subranges of `int'. */
1196 dbxout_range_type (type);
1199 CHARS (22);
1200 break;
1202 case REAL_TYPE:
1203 /* This used to say `r1' and we used to take care
1204 to make sure that `int' was type number 1. */
1205 fprintf (asmfile, "r");
1206 dbxout_type_index (integer_type_node);
1207 fputc (';', asmfile);
1208 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC, int_size_in_bytes (type));
1209 fputs (";0;", asmfile);
1210 CHARS (13);
1211 break;
1213 case CHAR_TYPE:
1214 if (use_gnu_debug_info_extensions)
1216 fputs ("@s", asmfile);
1217 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1218 BITS_PER_UNIT * int_size_in_bytes (type));
1219 fputs (";-20;", asmfile);
1221 else
1223 /* Output the type `char' as a subrange of itself.
1224 That is what pcc seems to do. */
1225 fprintf (asmfile, "r");
1226 dbxout_type_index (char_type_node);
1227 fprintf (asmfile, ";0;%d;", TREE_UNSIGNED (type) ? 255 : 127);
1229 CHARS (9);
1230 break;
1232 case BOOLEAN_TYPE:
1233 if (use_gnu_debug_info_extensions)
1235 fputs ("@s", asmfile);
1236 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1237 BITS_PER_UNIT * int_size_in_bytes (type));
1238 fputs (";-16;", asmfile);
1240 else /* Define as enumeral type (False, True) */
1241 fprintf (asmfile, "eFalse:0,True:1,;");
1242 CHARS (17);
1243 break;
1245 case FILE_TYPE:
1246 putc ('d', asmfile);
1247 CHARS (1);
1248 dbxout_type (TREE_TYPE (type), 0, 0);
1249 break;
1251 case COMPLEX_TYPE:
1252 /* Differs from the REAL_TYPE by its new data type number */
1254 if (TREE_CODE (TREE_TYPE (type)) == REAL_TYPE)
1256 fprintf (asmfile, "r");
1257 dbxout_type_index (type);
1258 fputc (';', asmfile);
1259 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1260 2 * int_size_in_bytes (TREE_TYPE (type)));
1261 fputs (";0;", asmfile);
1262 CHARS (12); /* The number is probably incorrect here. */
1264 else
1266 /* Output a complex integer type as a structure,
1267 pending some other way to do it. */
1268 fputc ('s', asmfile);
1269 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC, int_size_in_bytes (type));
1271 fprintf (asmfile, "real:");
1272 CHARS (10);
1273 dbxout_type (TREE_TYPE (type), 0, 0);
1274 fprintf (asmfile, ",%d,%d;",
1275 0, TYPE_PRECISION (TREE_TYPE (type)));
1276 CHARS (8);
1277 fprintf (asmfile, "imag:");
1278 CHARS (5);
1279 dbxout_type (TREE_TYPE (type), 0, 0);
1280 fprintf (asmfile, ",%d,%d;;",
1281 TYPE_PRECISION (TREE_TYPE (type)),
1282 TYPE_PRECISION (TREE_TYPE (type)));
1283 CHARS (9);
1285 break;
1287 case SET_TYPE:
1288 if (use_gnu_debug_info_extensions)
1290 have_used_extensions = 1;
1291 fputs ("@s", asmfile);
1292 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1293 BITS_PER_UNIT * int_size_in_bytes (type));
1294 fputc (';', asmfile);
1295 /* Check if a bitstring type, which in Chill is
1296 different from a [power]set. */
1297 if (TYPE_STRING_FLAG (type))
1298 fprintf (asmfile, "@S;");
1300 putc ('S', asmfile);
1301 CHARS (1);
1302 dbxout_type (TYPE_DOMAIN (type), 0, 0);
1303 break;
1305 case ARRAY_TYPE:
1306 /* Make arrays of packed bits look like bitstrings for chill. */
1307 if (TYPE_PACKED (type) && use_gnu_debug_info_extensions)
1309 have_used_extensions = 1;
1310 fputs ("@s", asmfile);
1311 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1312 BITS_PER_UNIT * int_size_in_bytes (type));
1313 fputc (';', asmfile);
1314 fprintf (asmfile, "@S;");
1315 putc ('S', asmfile);
1316 CHARS (1);
1317 dbxout_type (TYPE_DOMAIN (type), 0, 0);
1318 break;
1320 /* Output "a" followed by a range type definition
1321 for the index type of the array
1322 followed by a reference to the target-type.
1323 ar1;0;N;M for a C array of type M and size N+1. */
1324 /* Check if a character string type, which in Chill is
1325 different from an array of characters. */
1326 if (TYPE_STRING_FLAG (type) && use_gnu_debug_info_extensions)
1328 have_used_extensions = 1;
1329 fprintf (asmfile, "@S;");
1331 tem = TYPE_DOMAIN (type);
1332 if (tem == NULL)
1334 fprintf (asmfile, "ar");
1335 dbxout_type_index (integer_type_node);
1336 fprintf (asmfile, ";0;-1;");
1338 else
1340 fprintf (asmfile, "a");
1341 dbxout_range_type (tem);
1343 CHARS (14);
1344 dbxout_type (TREE_TYPE (type), 0, 0);
1345 break;
1347 case RECORD_TYPE:
1348 case UNION_TYPE:
1349 case QUAL_UNION_TYPE:
1351 int i, n_baseclasses = 0;
1353 if (TYPE_BINFO (type) != 0
1354 && TREE_CODE (TYPE_BINFO (type)) == TREE_VEC
1355 && TYPE_BINFO_BASETYPES (type) != 0)
1356 n_baseclasses = TREE_VEC_LENGTH (TYPE_BINFO_BASETYPES (type));
1358 /* Output a structure type. We must use the same test here as we
1359 use in the DBX_NO_XREFS case above. */
1360 if ((TYPE_NAME (type) != 0
1361 && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1362 && DECL_IGNORED_P (TYPE_NAME (type)))
1363 && !full)
1364 || !COMPLETE_TYPE_P (type)
1365 /* No way in DBX fmt to describe a variable size. */
1366 || TREE_CODE (TYPE_SIZE (type)) != INTEGER_CST)
1368 /* If the type is just a cross reference, output one
1369 and mark the type as partially described.
1370 If it later becomes defined, we will output
1371 its real definition.
1372 If the type has a name, don't nest its definition within
1373 another type's definition; instead, output an xref
1374 and let the definition come when the name is defined. */
1375 fputs ((TREE_CODE (type) == RECORD_TYPE) ? "xs" : "xu", asmfile);
1376 CHARS (3);
1377 #if 0 /* This assertion is legitimately false in C++. */
1378 /* We shouldn't be outputting a reference to a type before its
1379 definition unless the type has a tag name.
1380 A typedef name without a tag name should be impossible. */
1381 if (TREE_CODE (TYPE_NAME (type)) != IDENTIFIER_NODE)
1382 abort ();
1383 #endif
1384 if (TYPE_NAME (type) != 0)
1385 dbxout_type_name (type);
1386 else
1387 fprintf (asmfile, "$$%d", anonymous_type_number++);
1388 fprintf (asmfile, ":");
1389 typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF;
1390 break;
1393 /* Identify record or union, and print its size. */
1394 fputc (((TREE_CODE (type) == RECORD_TYPE) ? 's' : 'u'), asmfile);
1395 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1396 int_size_in_bytes (type));
1398 if (use_gnu_debug_info_extensions)
1400 if (n_baseclasses)
1402 have_used_extensions = 1;
1403 fprintf (asmfile, "!%d,", n_baseclasses);
1404 CHARS (8);
1407 for (i = 0; i < n_baseclasses; i++)
1409 tree child = TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (type)), i);
1411 if (use_gnu_debug_info_extensions)
1413 have_used_extensions = 1;
1414 putc (TREE_VIA_VIRTUAL (child) ? '1' : '0', asmfile);
1415 putc (TREE_VIA_PUBLIC (child) ? '2' : '0', asmfile);
1416 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1417 (tree_low_cst (BINFO_OFFSET (child), 0)
1418 * BITS_PER_UNIT));
1419 fputc (',', asmfile);
1420 CHARS (15);
1421 dbxout_type (BINFO_TYPE (child), 0, 0);
1422 putc (';', asmfile);
1424 else
1426 /* Print out the base class information with fields
1427 which have the same names at the types they hold. */
1428 dbxout_type_name (BINFO_TYPE (child));
1429 putc (':', asmfile);
1430 dbxout_type (BINFO_TYPE (child), full, 0);
1431 fputc (',', asmfile);
1432 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1433 tree_low_cst (BINFO_OFFSET (child), 0)
1434 * BITS_PER_UNIT);
1435 fputc (',', asmfile);
1436 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1437 (tree_low_cst (DECL_SIZE (TYPE_NAME
1438 (BINFO_TYPE (child))), 0)
1439 * BITS_PER_UNIT));
1440 fputc (';', asmfile);
1441 CHARS (20);
1446 CHARS (11);
1448 /* Write out the field declarations. */
1449 dbxout_type_fields (type);
1450 if (use_gnu_debug_info_extensions && TYPE_METHODS (type) != NULL_TREE)
1452 have_used_extensions = 1;
1453 dbxout_type_methods (type);
1456 putc (';', asmfile);
1458 if (use_gnu_debug_info_extensions && TREE_CODE (type) == RECORD_TYPE
1459 /* Avoid the ~ if we don't really need it--it confuses dbx. */
1460 && TYPE_VFIELD (type))
1462 have_used_extensions = 1;
1464 /* Tell GDB+ that it may keep reading. */
1465 putc ('~', asmfile);
1467 /* We need to write out info about what field this class
1468 uses as its "main" vtable pointer field, because if this
1469 field is inherited from a base class, GDB cannot necessarily
1470 figure out which field it's using in time. */
1471 if (TYPE_VFIELD (type))
1473 putc ('%', asmfile);
1474 dbxout_type (DECL_FCONTEXT (TYPE_VFIELD (type)), 0, 0);
1476 putc (';', asmfile);
1477 CHARS (3);
1479 break;
1481 case ENUMERAL_TYPE:
1482 /* We must use the same test here as we use in the DBX_NO_XREFS case
1483 above. We simplify it a bit since an enum will never have a variable
1484 size. */
1485 if ((TYPE_NAME (type) != 0
1486 && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1487 && DECL_IGNORED_P (TYPE_NAME (type)))
1488 && !full)
1489 || !COMPLETE_TYPE_P (type))
1491 fprintf (asmfile, "xe");
1492 CHARS (3);
1493 dbxout_type_name (type);
1494 typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF;
1495 fprintf (asmfile, ":");
1496 return;
1498 #ifdef DBX_OUTPUT_ENUM
1499 DBX_OUTPUT_ENUM (asmfile, type);
1500 #else
1501 if (use_gnu_debug_info_extensions
1502 && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node))
1503 fprintf (asmfile, "@s%d;", TYPE_PRECISION (type));
1504 putc ('e', asmfile);
1505 CHARS (1);
1506 for (tem = TYPE_VALUES (type); tem; tem = TREE_CHAIN (tem))
1508 fprintf (asmfile, "%s:", IDENTIFIER_POINTER (TREE_PURPOSE (tem)));
1509 if (TREE_INT_CST_HIGH (TREE_VALUE (tem)) == 0)
1510 fprintf (asmfile, HOST_WIDE_INT_PRINT_UNSIGNED,
1511 TREE_INT_CST_LOW (TREE_VALUE (tem)));
1512 else if (TREE_INT_CST_HIGH (TREE_VALUE (tem)) == -1
1513 && (HOST_WIDE_INT) TREE_INT_CST_LOW (TREE_VALUE (tem)) < 0)
1514 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC,
1515 TREE_INT_CST_LOW (TREE_VALUE (tem)));
1516 else
1517 print_int_cst_octal (TREE_VALUE (tem));
1518 fprintf (asmfile, ",");
1519 CHARS (20 + IDENTIFIER_LENGTH (TREE_PURPOSE (tem)));
1520 if (TREE_CHAIN (tem) != 0)
1522 CONTIN;
1525 putc (';', asmfile);
1526 CHARS (1);
1527 #endif
1528 break;
1530 case POINTER_TYPE:
1531 putc ('*', asmfile);
1532 CHARS (1);
1533 dbxout_type (TREE_TYPE (type), 0, 0);
1534 break;
1536 case METHOD_TYPE:
1537 if (use_gnu_debug_info_extensions)
1539 have_used_extensions = 1;
1540 putc ('#', asmfile);
1541 CHARS (1);
1542 if (flag_minimal_debug && !show_arg_types)
1544 /* Normally, just output the return type.
1545 The argument types are encoded in the method name. */
1546 putc ('#', asmfile);
1547 CHARS (1);
1548 dbxout_type (TREE_TYPE (type), 0, 0);
1549 putc (';', asmfile);
1550 CHARS (1);
1552 else
1554 /* When outputting destructors, we need to write
1555 the argument types out longhand. */
1556 dbxout_type (TYPE_METHOD_BASETYPE (type), 0, 0);
1557 putc (',', asmfile);
1558 CHARS (1);
1559 dbxout_type (TREE_TYPE (type), 0, 0);
1560 dbxout_args (TYPE_ARG_TYPES (type));
1561 putc (';', asmfile);
1562 CHARS (1);
1565 else
1567 /* Treat it as a function type. */
1568 dbxout_type (TREE_TYPE (type), 0, 0);
1570 break;
1572 case OFFSET_TYPE:
1573 if (use_gnu_debug_info_extensions)
1575 have_used_extensions = 1;
1576 putc ('@', asmfile);
1577 CHARS (1);
1578 dbxout_type (TYPE_OFFSET_BASETYPE (type), 0, 0);
1579 putc (',', asmfile);
1580 CHARS (1);
1581 dbxout_type (TREE_TYPE (type), 0, 0);
1583 else
1585 /* Should print as an int, because it is really
1586 just an offset. */
1587 dbxout_type (integer_type_node, 0, 0);
1589 break;
1591 case REFERENCE_TYPE:
1592 if (use_gnu_debug_info_extensions)
1593 have_used_extensions = 1;
1594 putc (use_gnu_debug_info_extensions ? '&' : '*', asmfile);
1595 CHARS (1);
1596 dbxout_type (TREE_TYPE (type), 0, 0);
1597 break;
1599 case FUNCTION_TYPE:
1600 putc ('f', asmfile);
1601 CHARS (1);
1602 dbxout_type (TREE_TYPE (type), 0, 0);
1603 break;
1605 default:
1606 abort ();
1610 /* Print the value of integer constant C, in octal,
1611 handling double precision. */
1613 static void
1614 print_int_cst_octal (c)
1615 tree c;
1617 unsigned HOST_WIDE_INT high = TREE_INT_CST_HIGH (c);
1618 unsigned HOST_WIDE_INT low = TREE_INT_CST_LOW (c);
1619 int excess = (3 - (HOST_BITS_PER_WIDE_INT % 3));
1620 unsigned int width = TYPE_PRECISION (TREE_TYPE (c));
1622 /* GDB wants constants with no extra leading "1" bits, so
1623 we need to remove any sign-extension that might be
1624 present. */
1625 if (width == HOST_BITS_PER_WIDE_INT * 2)
1627 else if (width > HOST_BITS_PER_WIDE_INT)
1628 high &= (((HOST_WIDE_INT) 1 << (width - HOST_BITS_PER_WIDE_INT)) - 1);
1629 else if (width == HOST_BITS_PER_WIDE_INT)
1630 high = 0;
1631 else
1632 high = 0, low &= (((HOST_WIDE_INT) 1 << width) - 1);
1634 fprintf (asmfile, "0");
1636 if (excess == 3)
1638 print_octal (high, HOST_BITS_PER_WIDE_INT / 3);
1639 print_octal (low, HOST_BITS_PER_WIDE_INT / 3);
1641 else
1643 unsigned HOST_WIDE_INT beg = high >> excess;
1644 unsigned HOST_WIDE_INT middle
1645 = ((high & (((HOST_WIDE_INT) 1 << excess) - 1)) << (3 - excess)
1646 | (low >> (HOST_BITS_PER_WIDE_INT / 3 * 3)));
1647 unsigned HOST_WIDE_INT end
1648 = low & (((unsigned HOST_WIDE_INT) 1
1649 << (HOST_BITS_PER_WIDE_INT / 3 * 3))
1650 - 1);
1652 fprintf (asmfile, "%o%01o", (int) beg, (int) middle);
1653 print_octal (end, HOST_BITS_PER_WIDE_INT / 3);
1657 static void
1658 print_octal (value, digits)
1659 unsigned HOST_WIDE_INT value;
1660 int digits;
1662 int i;
1664 for (i = digits - 1; i >= 0; i--)
1665 fprintf (asmfile, "%01o", (int) ((value >> (3 * i)) & 7));
1668 /* Output the name of type TYPE, with no punctuation.
1669 Such names can be set up either by typedef declarations
1670 or by struct, enum and union tags. */
1672 static void
1673 dbxout_type_name (type)
1674 register tree type;
1676 tree t;
1677 if (TYPE_NAME (type) == 0)
1678 abort ();
1679 if (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE)
1681 t = TYPE_NAME (type);
1683 else if (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL)
1685 t = DECL_NAME (TYPE_NAME (type));
1687 else
1688 abort ();
1690 fprintf (asmfile, "%s", IDENTIFIER_POINTER (t));
1691 CHARS (IDENTIFIER_LENGTH (t));
1694 /* Output a .stabs for the symbol defined by DECL,
1695 which must be a ..._DECL node in the normal namespace.
1696 It may be a CONST_DECL, a FUNCTION_DECL, a PARM_DECL or a VAR_DECL.
1697 LOCAL is nonzero if the scope is less than the entire file.
1698 Return 1 if a stabs might have been emitted. */
1701 dbxout_symbol (decl, local)
1702 tree decl;
1703 int local ATTRIBUTE_UNUSED;
1705 tree type = TREE_TYPE (decl);
1706 tree context = NULL_TREE;
1707 int result = 0;
1709 /* Cast avoids warning in old compilers. */
1710 current_sym_code = (STAB_CODE_TYPE) 0;
1711 current_sym_value = 0;
1712 current_sym_addr = 0;
1714 /* Ignore nameless syms, but don't ignore type tags. */
1716 if ((DECL_NAME (decl) == 0 && TREE_CODE (decl) != TYPE_DECL)
1717 || DECL_IGNORED_P (decl))
1718 return 0;
1720 dbxout_prepare_symbol (decl);
1722 /* The output will always start with the symbol name,
1723 so always count that in the length-output-so-far. */
1725 if (DECL_NAME (decl) != 0)
1726 current_sym_nchars = 2 + IDENTIFIER_LENGTH (DECL_NAME (decl));
1728 switch (TREE_CODE (decl))
1730 case CONST_DECL:
1731 /* Enum values are defined by defining the enum type. */
1732 break;
1734 case FUNCTION_DECL:
1735 if (DECL_RTL (decl) == 0)
1736 return 0;
1737 if (DECL_EXTERNAL (decl))
1738 break;
1739 /* Don't mention a nested function under its parent. */
1740 context = decl_function_context (decl);
1741 if (context == current_function_decl)
1742 break;
1743 if (GET_CODE (DECL_RTL (decl)) != MEM
1744 || GET_CODE (XEXP (DECL_RTL (decl), 0)) != SYMBOL_REF)
1745 break;
1746 FORCE_TEXT;
1748 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
1749 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)),
1750 TREE_PUBLIC (decl) ? 'F' : 'f');
1751 result = 1;
1753 current_sym_code = N_FUN;
1754 current_sym_addr = XEXP (DECL_RTL (decl), 0);
1756 if (TREE_TYPE (type))
1757 dbxout_type (TREE_TYPE (type), 0, 0);
1758 else
1759 dbxout_type (void_type_node, 0, 0);
1761 /* For a nested function, when that function is compiled,
1762 mention the containing function name
1763 as well as (since dbx wants it) our own assembler-name. */
1764 if (context != 0)
1765 fprintf (asmfile, ",%s,%s",
1766 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)),
1767 IDENTIFIER_POINTER (DECL_NAME (context)));
1769 dbxout_finish_symbol (decl);
1770 break;
1772 case TYPE_DECL:
1773 #if 0
1774 /* This seems all wrong. Outputting most kinds of types gives no name
1775 at all. A true definition gives no name; a cross-ref for a
1776 structure can give the tag name, but not a type name.
1777 It seems that no typedef name is defined by outputting a type. */
1779 /* If this typedef name was defined by outputting the type,
1780 don't duplicate it. */
1781 if (typevec[TYPE_SYMTAB_ADDRESS (type)].status == TYPE_DEFINED
1782 && TYPE_NAME (TREE_TYPE (decl)) == decl)
1783 return 0;
1784 #endif
1785 /* Don't output the same typedef twice.
1786 And don't output what language-specific stuff doesn't want output. */
1787 if (TREE_ASM_WRITTEN (decl) || TYPE_DECL_SUPPRESS_DEBUG (decl))
1788 return 0;
1790 FORCE_TEXT;
1791 result = 1;
1793 int tag_needed = 1;
1794 int did_output = 0;
1796 if (DECL_NAME (decl))
1798 /* Nonzero means we must output a tag as well as a typedef. */
1799 tag_needed = 0;
1801 /* Handle the case of a C++ structure or union
1802 where the TYPE_NAME is a TYPE_DECL
1803 which gives both a typedef name and a tag. */
1804 /* dbx requires the tag first and the typedef second. */
1805 if ((TREE_CODE (type) == RECORD_TYPE
1806 || TREE_CODE (type) == UNION_TYPE
1807 || TREE_CODE (type) == QUAL_UNION_TYPE)
1808 && TYPE_NAME (type) == decl
1809 && !(use_gnu_debug_info_extensions && have_used_extensions)
1810 && !TREE_ASM_WRITTEN (TYPE_NAME (type))
1811 /* Distinguish the implicit typedefs of C++
1812 from explicit ones that might be found in C. */
1813 && DECL_ARTIFICIAL (decl))
1815 tree name = TYPE_NAME (type);
1816 if (TREE_CODE (name) == TYPE_DECL)
1817 name = DECL_NAME (name);
1819 current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1820 current_sym_value = 0;
1821 current_sym_addr = 0;
1822 current_sym_nchars = 2 + IDENTIFIER_LENGTH (name);
1824 fprintf (asmfile, "%s\"%s:T", ASM_STABS_OP,
1825 IDENTIFIER_POINTER (name));
1826 dbxout_type (type, 1, 0);
1827 dbxout_finish_symbol (NULL_TREE);
1830 /* Output typedef name. */
1831 fprintf (asmfile, "%s\"%s:", ASM_STABS_OP,
1832 IDENTIFIER_POINTER (DECL_NAME (decl)));
1834 /* Short cut way to output a tag also. */
1835 if ((TREE_CODE (type) == RECORD_TYPE
1836 || TREE_CODE (type) == UNION_TYPE
1837 || TREE_CODE (type) == QUAL_UNION_TYPE)
1838 && TYPE_NAME (type) == decl
1839 /* Distinguish the implicit typedefs of C++
1840 from explicit ones that might be found in C. */
1841 && DECL_ARTIFICIAL (decl))
1843 if (use_gnu_debug_info_extensions && have_used_extensions)
1845 putc ('T', asmfile);
1846 TREE_ASM_WRITTEN (TYPE_NAME (type)) = 1;
1848 #if 0 /* Now we generate the tag for this case up above. */
1849 else
1850 tag_needed = 1;
1851 #endif
1854 putc ('t', asmfile);
1855 current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1857 dbxout_type (type, 1, 0);
1858 dbxout_finish_symbol (decl);
1859 did_output = 1;
1862 /* Don't output a tag if this is an incomplete type (TYPE_SIZE is
1863 zero). This prevents the sun4 Sun OS 4.x dbx from crashing. */
1865 if (tag_needed && TYPE_NAME (type) != 0
1866 && (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE
1867 || (DECL_NAME (TYPE_NAME (type)) != 0))
1868 && COMPLETE_TYPE_P (type)
1869 && !TREE_ASM_WRITTEN (TYPE_NAME (type)))
1871 /* For a TYPE_DECL with no name, but the type has a name,
1872 output a tag.
1873 This is what represents `struct foo' with no typedef. */
1874 /* In C++, the name of a type is the corresponding typedef.
1875 In C, it is an IDENTIFIER_NODE. */
1876 tree name = TYPE_NAME (type);
1877 if (TREE_CODE (name) == TYPE_DECL)
1878 name = DECL_NAME (name);
1880 current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1881 current_sym_value = 0;
1882 current_sym_addr = 0;
1883 current_sym_nchars = 2 + IDENTIFIER_LENGTH (name);
1885 fprintf (asmfile, "%s\"%s:T", ASM_STABS_OP,
1886 IDENTIFIER_POINTER (name));
1887 dbxout_type (type, 1, 0);
1888 dbxout_finish_symbol (NULL_TREE);
1889 did_output = 1;
1892 /* If an enum type has no name, it cannot be referred to,
1893 but we must output it anyway, since the enumeration constants
1894 can be referred to. */
1895 if (!did_output && TREE_CODE (type) == ENUMERAL_TYPE)
1897 current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1898 current_sym_value = 0;
1899 current_sym_addr = 0;
1900 current_sym_nchars = 2;
1902 /* Some debuggers fail when given NULL names, so give this a
1903 harmless name of ` '. */
1904 fprintf (asmfile, "%s\" :T", ASM_STABS_OP);
1905 dbxout_type (type, 1, 0);
1906 dbxout_finish_symbol (NULL_TREE);
1909 /* Prevent duplicate output of a typedef. */
1910 TREE_ASM_WRITTEN (decl) = 1;
1911 break;
1914 case PARM_DECL:
1915 /* Parm decls go in their own separate chains
1916 and are output by dbxout_reg_parms and dbxout_parms. */
1917 abort ();
1919 case RESULT_DECL:
1920 /* Named return value, treat like a VAR_DECL. */
1921 case VAR_DECL:
1922 if (DECL_RTL (decl) == 0)
1923 return 0;
1924 /* Don't mention a variable that is external.
1925 Let the file that defines it describe it. */
1926 if (DECL_EXTERNAL (decl))
1927 break;
1929 /* If the variable is really a constant
1930 and not written in memory, inform the debugger. */
1931 if (TREE_STATIC (decl) && TREE_READONLY (decl)
1932 && DECL_INITIAL (decl) != 0
1933 && host_integerp (DECL_INITIAL (decl), 0)
1934 && ! TREE_ASM_WRITTEN (decl)
1935 && (DECL_CONTEXT (decl) == NULL_TREE
1936 || TREE_CODE (DECL_CONTEXT (decl)) == BLOCK))
1938 if (TREE_PUBLIC (decl) == 0)
1940 /* The sun4 assembler does not grok this. */
1941 const char *name = IDENTIFIER_POINTER (DECL_NAME (decl));
1943 if (TREE_CODE (TREE_TYPE (decl)) == INTEGER_TYPE
1944 || TREE_CODE (TREE_TYPE (decl)) == ENUMERAL_TYPE)
1946 HOST_WIDE_INT ival = tree_low_cst (DECL_INITIAL (decl), 0);
1947 #ifdef DBX_OUTPUT_CONSTANT_SYMBOL
1948 DBX_OUTPUT_CONSTANT_SYMBOL (asmfile, name, ival);
1949 #else
1950 fprintf (asmfile, "%s\"%s:c=i", ASM_STABS_OP, name);
1952 fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC, ival);
1953 fprintf (asmfile, "\",0x%x,0,0,0\n", N_LSYM);
1954 #endif
1955 return 1;
1957 else if (TREE_CODE (TREE_TYPE (decl)) == REAL_TYPE)
1959 /* don't know how to do this yet. */
1961 break;
1963 /* else it is something we handle like a normal variable. */
1966 SET_DECL_RTL (decl, eliminate_regs (DECL_RTL (decl), 0, NULL_RTX));
1967 #ifdef LEAF_REG_REMAP
1968 if (current_function_uses_only_leaf_regs)
1969 leaf_renumber_regs_insn (DECL_RTL (decl));
1970 #endif
1972 result = dbxout_symbol_location (decl, type, 0, DECL_RTL (decl));
1973 break;
1975 default:
1976 break;
1978 return result;
1981 /* Output the stab for DECL, a VAR_DECL, RESULT_DECL or PARM_DECL.
1982 Add SUFFIX to its name, if SUFFIX is not 0.
1983 Describe the variable as residing in HOME
1984 (usually HOME is DECL_RTL (DECL), but not always).
1985 Returns 1 if the stab was really emitted. */
1987 static int
1988 dbxout_symbol_location (decl, type, suffix, home)
1989 tree decl, type;
1990 const char *suffix;
1991 rtx home;
1993 int letter = 0;
1994 int regno = -1;
1996 /* Don't mention a variable at all
1997 if it was completely optimized into nothingness.
1999 If the decl was from an inline function, then its rtl
2000 is not identically the rtl that was used in this
2001 particular compilation. */
2002 if (GET_CODE (home) == REG)
2004 regno = REGNO (home);
2005 if (regno >= FIRST_PSEUDO_REGISTER)
2006 return 0;
2008 else if (GET_CODE (home) == SUBREG)
2010 rtx value = home;
2012 while (GET_CODE (value) == SUBREG)
2013 value = SUBREG_REG (value);
2014 if (GET_CODE (value) == REG)
2016 if (REGNO (value) >= FIRST_PSEUDO_REGISTER)
2017 return 0;
2019 regno = REGNO (alter_subreg (home));
2022 /* The kind-of-variable letter depends on where
2023 the variable is and on the scope of its name:
2024 G and N_GSYM for static storage and global scope,
2025 S for static storage and file scope,
2026 V for static storage and local scope,
2027 for those two, use N_LCSYM if data is in bss segment,
2028 N_STSYM if in data segment, N_FUN otherwise.
2029 (We used N_FUN originally, then changed to N_STSYM
2030 to please GDB. However, it seems that confused ld.
2031 Now GDB has been fixed to like N_FUN, says Kingdon.)
2032 no letter at all, and N_LSYM, for auto variable,
2033 r and N_RSYM for register variable. */
2035 if (GET_CODE (home) == MEM
2036 && GET_CODE (XEXP (home, 0)) == SYMBOL_REF)
2038 if (TREE_PUBLIC (decl))
2040 letter = 'G';
2041 current_sym_code = N_GSYM;
2043 else
2045 current_sym_addr = XEXP (home, 0);
2047 letter = decl_function_context (decl) ? 'V' : 'S';
2049 /* This should be the same condition as in assemble_variable, but
2050 we don't have access to dont_output_data here. So, instead,
2051 we rely on the fact that error_mark_node initializers always
2052 end up in bss for C++ and never end up in bss for C. */
2053 if (DECL_INITIAL (decl) == 0
2054 || (!strcmp (lang_identify (), "cplusplus")
2055 && DECL_INITIAL (decl) == error_mark_node))
2056 current_sym_code = N_LCSYM;
2057 else if (DECL_IN_TEXT_SECTION (decl))
2058 /* This is not quite right, but it's the closest
2059 of all the codes that Unix defines. */
2060 current_sym_code = DBX_STATIC_CONST_VAR_CODE;
2061 else
2063 /* Ultrix `as' seems to need this. */
2064 #ifdef DBX_STATIC_STAB_DATA_SECTION
2065 data_section ();
2066 #endif
2067 current_sym_code = N_STSYM;
2071 else if (regno >= 0)
2073 letter = 'r';
2074 current_sym_code = N_RSYM;
2075 current_sym_value = DBX_REGISTER_NUMBER (regno);
2077 else if (GET_CODE (home) == MEM
2078 && (GET_CODE (XEXP (home, 0)) == MEM
2079 || (GET_CODE (XEXP (home, 0)) == REG
2080 && REGNO (XEXP (home, 0)) != HARD_FRAME_POINTER_REGNUM
2081 && REGNO (XEXP (home, 0)) != STACK_POINTER_REGNUM
2082 #if ARG_POINTER_REGNUM != HARD_FRAME_POINTER_REGNUM
2083 && REGNO (XEXP (home, 0)) != ARG_POINTER_REGNUM
2084 #endif
2086 /* If the value is indirect by memory or by a register
2087 that isn't the frame pointer
2088 then it means the object is variable-sized and address through
2089 that register or stack slot. DBX has no way to represent this
2090 so all we can do is output the variable as a pointer.
2091 If it's not a parameter, ignore it.
2092 (VAR_DECLs like this can be made by integrate.c.) */
2094 if (GET_CODE (XEXP (home, 0)) == REG)
2096 letter = 'r';
2097 current_sym_code = N_RSYM;
2098 current_sym_value = DBX_REGISTER_NUMBER (REGNO (XEXP (home, 0)));
2100 else
2102 current_sym_code = N_LSYM;
2103 /* RTL looks like (MEM (MEM (PLUS (REG...) (CONST_INT...)))).
2104 We want the value of that CONST_INT. */
2105 current_sym_value
2106 = DEBUGGER_AUTO_OFFSET (XEXP (XEXP (home, 0), 0));
2109 /* Effectively do build_pointer_type, but don't cache this type,
2110 since it might be temporary whereas the type it points to
2111 might have been saved for inlining. */
2112 /* Don't use REFERENCE_TYPE because dbx can't handle that. */
2113 type = make_node (POINTER_TYPE);
2114 TREE_TYPE (type) = TREE_TYPE (decl);
2116 else if (GET_CODE (home) == MEM
2117 && GET_CODE (XEXP (home, 0)) == REG)
2119 current_sym_code = N_LSYM;
2120 current_sym_value = DEBUGGER_AUTO_OFFSET (XEXP (home, 0));
2122 else if (GET_CODE (home) == MEM
2123 && GET_CODE (XEXP (home, 0)) == PLUS
2124 && GET_CODE (XEXP (XEXP (home, 0), 1)) == CONST_INT)
2126 current_sym_code = N_LSYM;
2127 /* RTL looks like (MEM (PLUS (REG...) (CONST_INT...)))
2128 We want the value of that CONST_INT. */
2129 current_sym_value = DEBUGGER_AUTO_OFFSET (XEXP (home, 0));
2131 else if (GET_CODE (home) == MEM
2132 && GET_CODE (XEXP (home, 0)) == CONST)
2134 /* Handle an obscure case which can arise when optimizing and
2135 when there are few available registers. (This is *always*
2136 the case for i386/i486 targets). The RTL looks like
2137 (MEM (CONST ...)) even though this variable is a local `auto'
2138 or a local `register' variable. In effect, what has happened
2139 is that the reload pass has seen that all assignments and
2140 references for one such a local variable can be replaced by
2141 equivalent assignments and references to some static storage
2142 variable, thereby avoiding the need for a register. In such
2143 cases we're forced to lie to debuggers and tell them that
2144 this variable was itself `static'. */
2145 current_sym_code = N_LCSYM;
2146 letter = 'V';
2147 current_sym_addr = XEXP (XEXP (home, 0), 0);
2149 else if (GET_CODE (home) == CONCAT)
2151 tree subtype = TREE_TYPE (type);
2153 /* If the variable's storage is in two parts,
2154 output each as a separate stab with a modified name. */
2155 if (WORDS_BIG_ENDIAN)
2156 dbxout_symbol_location (decl, subtype, "$imag", XEXP (home, 0));
2157 else
2158 dbxout_symbol_location (decl, subtype, "$real", XEXP (home, 0));
2160 /* Cast avoids warning in old compilers. */
2161 current_sym_code = (STAB_CODE_TYPE) 0;
2162 current_sym_value = 0;
2163 current_sym_addr = 0;
2164 dbxout_prepare_symbol (decl);
2166 if (WORDS_BIG_ENDIAN)
2167 dbxout_symbol_location (decl, subtype, "$real", XEXP (home, 1));
2168 else
2169 dbxout_symbol_location (decl, subtype, "$imag", XEXP (home, 1));
2170 return 1;
2172 else
2173 /* Address might be a MEM, when DECL is a variable-sized object.
2174 Or it might be const0_rtx, meaning previous passes
2175 want us to ignore this variable. */
2176 return 0;
2178 /* Ok, start a symtab entry and output the variable name. */
2179 FORCE_TEXT;
2181 #ifdef DBX_STATIC_BLOCK_START
2182 DBX_STATIC_BLOCK_START (asmfile, current_sym_code);
2183 #endif
2185 dbxout_symbol_name (decl, suffix, letter);
2186 dbxout_type (type, 0, 0);
2187 dbxout_finish_symbol (decl);
2189 #ifdef DBX_STATIC_BLOCK_END
2190 DBX_STATIC_BLOCK_END (asmfile, current_sym_code);
2191 #endif
2192 return 1;
2195 /* Output the symbol name of DECL for a stabs, with suffix SUFFIX.
2196 Then output LETTER to indicate the kind of location the symbol has. */
2198 static void
2199 dbxout_symbol_name (decl, suffix, letter)
2200 tree decl;
2201 const char *suffix;
2202 int letter;
2204 const char *name;
2206 if (DECL_CONTEXT (decl) && TYPE_P (DECL_CONTEXT (decl)))
2207 /* One slight hitch: if this is a VAR_DECL which is a static
2208 class member, we must put out the mangled name instead of the
2209 DECL_NAME. Note also that static member (variable) names DO NOT begin
2210 with underscores in .stabs directives. */
2211 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2212 else
2213 /* ...but if we're function-local, we don't want to include the junk
2214 added by ASM_FORMAT_PRIVATE_NAME. */
2215 name = IDENTIFIER_POINTER (DECL_NAME (decl));
2217 if (name == 0)
2218 name = "(anon)";
2219 fprintf (asmfile, "%s\"%s%s:", ASM_STABS_OP, name,
2220 (suffix ? suffix : ""));
2222 if (letter) putc (letter, asmfile);
2225 static void
2226 dbxout_prepare_symbol (decl)
2227 tree decl ATTRIBUTE_UNUSED;
2229 #ifdef WINNING_GDB
2230 const char *filename = DECL_SOURCE_FILE (decl);
2232 dbxout_source_file (asmfile, filename);
2233 #endif
2236 static void
2237 dbxout_finish_symbol (sym)
2238 tree sym;
2240 #ifdef DBX_FINISH_SYMBOL
2241 DBX_FINISH_SYMBOL (sym);
2242 #else
2243 int line = 0;
2244 if (use_gnu_debug_info_extensions && sym != 0)
2245 line = DECL_SOURCE_LINE (sym);
2247 fprintf (asmfile, "\",%d,0,%d,", current_sym_code, line);
2248 if (current_sym_addr)
2249 output_addr_const (asmfile, current_sym_addr);
2250 else
2251 fprintf (asmfile, "%d", current_sym_value);
2252 putc ('\n', asmfile);
2253 #endif
2256 /* Output definitions of all the decls in a chain. Return non-zero if
2257 anything was output */
2260 dbxout_syms (syms)
2261 tree syms;
2263 int result = 0;
2264 while (syms)
2266 result += dbxout_symbol (syms, 1);
2267 syms = TREE_CHAIN (syms);
2269 return result;
2272 /* The following two functions output definitions of function parameters.
2273 Each parameter gets a definition locating it in the parameter list.
2274 Each parameter that is a register variable gets a second definition
2275 locating it in the register.
2277 Printing or argument lists in gdb uses the definitions that
2278 locate in the parameter list. But reference to the variable in
2279 expressions uses preferentially the definition as a register. */
2281 /* Output definitions, referring to storage in the parmlist,
2282 of all the parms in PARMS, which is a chain of PARM_DECL nodes. */
2284 void
2285 dbxout_parms (parms)
2286 tree parms;
2288 for (; parms; parms = TREE_CHAIN (parms))
2289 if (DECL_NAME (parms) && TREE_TYPE (parms) != error_mark_node)
2291 dbxout_prepare_symbol (parms);
2293 /* Perform any necessary register eliminations on the parameter's rtl,
2294 so that the debugging output will be accurate. */
2295 DECL_INCOMING_RTL (parms)
2296 = eliminate_regs (DECL_INCOMING_RTL (parms), 0, NULL_RTX);
2297 SET_DECL_RTL (parms, eliminate_regs (DECL_RTL (parms), 0, NULL_RTX));
2298 #ifdef LEAF_REG_REMAP
2299 if (current_function_uses_only_leaf_regs)
2301 leaf_renumber_regs_insn (DECL_INCOMING_RTL (parms));
2302 leaf_renumber_regs_insn (DECL_RTL (parms));
2304 #endif
2306 if (PARM_PASSED_IN_MEMORY (parms))
2308 rtx addr = XEXP (DECL_INCOMING_RTL (parms), 0);
2310 /* ??? Here we assume that the parm address is indexed
2311 off the frame pointer or arg pointer.
2312 If that is not true, we produce meaningless results,
2313 but do not crash. */
2314 if (GET_CODE (addr) == PLUS
2315 && GET_CODE (XEXP (addr, 1)) == CONST_INT)
2316 current_sym_value = INTVAL (XEXP (addr, 1));
2317 else
2318 current_sym_value = 0;
2320 current_sym_code = N_PSYM;
2321 current_sym_addr = 0;
2323 FORCE_TEXT;
2324 if (DECL_NAME (parms))
2326 current_sym_nchars = 2 + IDENTIFIER_LENGTH (DECL_NAME (parms));
2328 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2329 IDENTIFIER_POINTER (DECL_NAME (parms)),
2330 DBX_MEMPARM_STABS_LETTER);
2332 else
2334 current_sym_nchars = 8;
2335 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2336 DBX_MEMPARM_STABS_LETTER);
2339 /* It is quite tempting to use:
2341 dbxout_type (TREE_TYPE (parms), 0, 0);
2343 as the next statement, rather than using DECL_ARG_TYPE(), so
2344 that gcc reports the actual type of the parameter, rather
2345 than the promoted type. This certainly makes GDB's life
2346 easier, at least for some ports. The change is a bad idea
2347 however, since GDB expects to be able access the type without
2348 performing any conversions. So for example, if we were
2349 passing a float to an unprototyped function, gcc will store a
2350 double on the stack, but if we emit a stab saying the type is a
2351 float, then gdb will only read in a single value, and this will
2352 produce an erropneous value. */
2353 dbxout_type (DECL_ARG_TYPE (parms), 0, 0);
2354 current_sym_value = DEBUGGER_ARG_OFFSET (current_sym_value, addr);
2355 dbxout_finish_symbol (parms);
2357 else if (GET_CODE (DECL_RTL (parms)) == REG)
2359 rtx best_rtl;
2360 char regparm_letter;
2361 tree parm_type;
2362 /* Parm passed in registers and lives in registers or nowhere. */
2364 current_sym_code = DBX_REGPARM_STABS_CODE;
2365 regparm_letter = DBX_REGPARM_STABS_LETTER;
2366 current_sym_addr = 0;
2368 /* If parm lives in a register, use that register;
2369 pretend the parm was passed there. It would be more consistent
2370 to describe the register where the parm was passed,
2371 but in practice that register usually holds something else.
2373 If we use DECL_RTL, then we must use the declared type of
2374 the variable, not the type that it arrived in. */
2375 if (REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER)
2377 best_rtl = DECL_RTL (parms);
2378 parm_type = TREE_TYPE (parms);
2380 /* If the parm lives nowhere, use the register where it was
2381 passed. It is also better to use the declared type here. */
2382 else
2384 best_rtl = DECL_INCOMING_RTL (parms);
2385 parm_type = TREE_TYPE (parms);
2387 current_sym_value = DBX_REGISTER_NUMBER (REGNO (best_rtl));
2389 FORCE_TEXT;
2390 if (DECL_NAME (parms))
2392 current_sym_nchars = 2 + IDENTIFIER_LENGTH (DECL_NAME (parms));
2393 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2394 IDENTIFIER_POINTER (DECL_NAME (parms)),
2395 regparm_letter);
2397 else
2399 current_sym_nchars = 8;
2400 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2401 regparm_letter);
2404 dbxout_type (parm_type, 0, 0);
2405 dbxout_finish_symbol (parms);
2407 else if (GET_CODE (DECL_RTL (parms)) == MEM
2408 && GET_CODE (XEXP (DECL_RTL (parms), 0)) == REG
2409 && REGNO (XEXP (DECL_RTL (parms), 0)) != HARD_FRAME_POINTER_REGNUM
2410 && REGNO (XEXP (DECL_RTL (parms), 0)) != STACK_POINTER_REGNUM
2411 #if ARG_POINTER_REGNUM != HARD_FRAME_POINTER_REGNUM
2412 && REGNO (XEXP (DECL_RTL (parms), 0)) != ARG_POINTER_REGNUM
2413 #endif
2416 /* Parm was passed via invisible reference.
2417 That is, its address was passed in a register.
2418 Output it as if it lived in that register.
2419 The debugger will know from the type
2420 that it was actually passed by invisible reference. */
2422 char regparm_letter;
2423 /* Parm passed in registers and lives in registers or nowhere. */
2425 current_sym_code = DBX_REGPARM_STABS_CODE;
2426 if (use_gnu_debug_info_extensions)
2427 regparm_letter = GDB_INV_REF_REGPARM_STABS_LETTER;
2428 else
2429 regparm_letter = DBX_REGPARM_STABS_LETTER;
2431 /* DECL_RTL looks like (MEM (REG...). Get the register number.
2432 If it is an unallocated pseudo-reg, then use the register where
2433 it was passed instead. */
2434 if (REGNO (XEXP (DECL_RTL (parms), 0)) < FIRST_PSEUDO_REGISTER)
2435 current_sym_value = REGNO (XEXP (DECL_RTL (parms), 0));
2436 else
2437 current_sym_value = REGNO (DECL_INCOMING_RTL (parms));
2439 current_sym_addr = 0;
2441 FORCE_TEXT;
2442 if (DECL_NAME (parms))
2444 current_sym_nchars = 2 + strlen (IDENTIFIER_POINTER (DECL_NAME (parms)));
2446 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2447 IDENTIFIER_POINTER (DECL_NAME (parms)),
2448 regparm_letter);
2450 else
2452 current_sym_nchars = 8;
2453 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2454 regparm_letter);
2457 dbxout_type (TREE_TYPE (parms), 0, 0);
2458 dbxout_finish_symbol (parms);
2460 else if (GET_CODE (DECL_RTL (parms)) == MEM
2461 && GET_CODE (XEXP (DECL_RTL (parms), 0)) == MEM)
2463 /* Parm was passed via invisible reference, with the reference
2464 living on the stack. DECL_RTL looks like
2465 (MEM (MEM (PLUS (REG ...) (CONST_INT ...)))) or it
2466 could look like (MEM (MEM (REG))). */
2467 const char *decl_name = (DECL_NAME (parms)
2468 ? IDENTIFIER_POINTER (DECL_NAME (parms))
2469 : "(anon)");
2470 if (GET_CODE (XEXP (XEXP (DECL_RTL (parms), 0), 0)) == REG)
2471 current_sym_value = 0;
2472 else
2473 current_sym_value
2474 = INTVAL (XEXP (XEXP (XEXP (DECL_RTL (parms), 0), 0), 1));
2475 current_sym_addr = 0;
2477 FORCE_TEXT;
2478 fprintf (asmfile, "%s\"%s:v", ASM_STABS_OP, decl_name);
2479 dbxout_type (TREE_TYPE (parms), 0, 0);
2480 dbxout_finish_symbol (parms);
2482 else if (GET_CODE (DECL_RTL (parms)) == MEM
2483 && XEXP (DECL_RTL (parms), 0) != const0_rtx
2484 /* ??? A constant address for a parm can happen
2485 when the reg it lives in is equiv to a constant in memory.
2486 Should make this not happen, after 2.4. */
2487 && ! CONSTANT_P (XEXP (DECL_RTL (parms), 0)))
2489 /* Parm was passed in registers but lives on the stack. */
2491 current_sym_code = N_PSYM;
2492 /* DECL_RTL looks like (MEM (PLUS (REG...) (CONST_INT...))),
2493 in which case we want the value of that CONST_INT,
2494 or (MEM (REG ...)),
2495 in which case we use a value of zero. */
2496 if (GET_CODE (XEXP (DECL_RTL (parms), 0)) == REG)
2497 current_sym_value = 0;
2498 else
2499 current_sym_value
2500 = INTVAL (XEXP (XEXP (DECL_RTL (parms), 0), 1));
2502 current_sym_addr = 0;
2504 /* Make a big endian correction if the mode of the type of the
2505 parameter is not the same as the mode of the rtl. */
2506 if (BYTES_BIG_ENDIAN
2507 && TYPE_MODE (TREE_TYPE (parms)) != GET_MODE (DECL_RTL (parms))
2508 && GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (parms))) < UNITS_PER_WORD)
2510 current_sym_value +=
2511 GET_MODE_SIZE (GET_MODE (DECL_RTL (parms)))
2512 - GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (parms)));
2515 FORCE_TEXT;
2516 if (DECL_NAME (parms))
2518 current_sym_nchars
2519 = 2 + strlen (IDENTIFIER_POINTER (DECL_NAME (parms)));
2521 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2522 IDENTIFIER_POINTER (DECL_NAME (parms)),
2523 DBX_MEMPARM_STABS_LETTER);
2525 else
2527 current_sym_nchars = 8;
2528 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2529 DBX_MEMPARM_STABS_LETTER);
2532 current_sym_value
2533 = DEBUGGER_ARG_OFFSET (current_sym_value,
2534 XEXP (DECL_RTL (parms), 0));
2535 dbxout_type (TREE_TYPE (parms), 0, 0);
2536 dbxout_finish_symbol (parms);
2541 /* Output definitions for the places where parms live during the function,
2542 when different from where they were passed, when the parms were passed
2543 in memory.
2545 It is not useful to do this for parms passed in registers
2546 that live during the function in different registers, because it is
2547 impossible to look in the passed register for the passed value,
2548 so we use the within-the-function register to begin with.
2550 PARMS is a chain of PARM_DECL nodes. */
2552 void
2553 dbxout_reg_parms (parms)
2554 tree parms;
2556 for (; parms; parms = TREE_CHAIN (parms))
2557 if (DECL_NAME (parms) && PARM_PASSED_IN_MEMORY (parms))
2559 dbxout_prepare_symbol (parms);
2561 /* Report parms that live in registers during the function
2562 but were passed in memory. */
2563 if (GET_CODE (DECL_RTL (parms)) == REG
2564 && REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER)
2565 dbxout_symbol_location (parms, TREE_TYPE (parms),
2566 0, DECL_RTL (parms));
2567 else if (GET_CODE (DECL_RTL (parms)) == CONCAT)
2568 dbxout_symbol_location (parms, TREE_TYPE (parms),
2569 0, DECL_RTL (parms));
2570 /* Report parms that live in memory but not where they were passed. */
2571 else if (GET_CODE (DECL_RTL (parms)) == MEM
2572 && ! rtx_equal_p (DECL_RTL (parms), DECL_INCOMING_RTL (parms)))
2573 dbxout_symbol_location (parms, TREE_TYPE (parms),
2574 0, DECL_RTL (parms));
2578 /* Given a chain of ..._TYPE nodes (as come in a parameter list),
2579 output definitions of those names, in raw form */
2581 void
2582 dbxout_args (args)
2583 tree args;
2585 while (args)
2587 putc (',', asmfile);
2588 dbxout_type (TREE_VALUE (args), 0, 0);
2589 CHARS (1);
2590 args = TREE_CHAIN (args);
2594 /* Given a chain of ..._TYPE nodes,
2595 find those which have typedef names and output those names.
2596 This is to ensure those types get output. */
2598 void
2599 dbxout_types (types)
2600 register tree types;
2602 while (types)
2604 if (TYPE_NAME (types)
2605 && TREE_CODE (TYPE_NAME (types)) == TYPE_DECL
2606 && ! TREE_ASM_WRITTEN (TYPE_NAME (types)))
2607 dbxout_symbol (TYPE_NAME (types), 1);
2608 types = TREE_CHAIN (types);
2612 /* Output everything about a symbol block (a BLOCK node
2613 that represents a scope level),
2614 including recursive output of contained blocks.
2616 BLOCK is the BLOCK node.
2617 DEPTH is its depth within containing symbol blocks.
2618 ARGS is usually zero; but for the outermost block of the
2619 body of a function, it is a chain of PARM_DECLs for the function parameters.
2620 We output definitions of all the register parms
2621 as if they were local variables of that block.
2623 If -g1 was used, we count blocks just the same, but output nothing
2624 except for the outermost block.
2626 Actually, BLOCK may be several blocks chained together.
2627 We handle them all in sequence. */
2629 static void
2630 dbxout_block (block, depth, args)
2631 register tree block;
2632 int depth;
2633 tree args;
2635 int blocknum = -1;
2637 #if DBX_BLOCKS_FUNCTION_RELATIVE
2638 const char *begin_label;
2639 if (current_function_func_begin_label != NULL_TREE)
2640 begin_label = IDENTIFIER_POINTER (current_function_func_begin_label);
2641 else
2642 begin_label = XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0);
2643 #endif
2645 while (block)
2647 /* Ignore blocks never expanded or otherwise marked as real. */
2648 if (TREE_USED (block) && TREE_ASM_WRITTEN (block))
2650 int did_output;
2652 #ifdef DBX_LBRAC_FIRST
2653 did_output = 1;
2654 #else
2655 /* In dbx format, the syms of a block come before the N_LBRAC.
2656 If nothing is output, we don't need the N_LBRAC, either. */
2657 did_output = 0;
2658 if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0)
2659 did_output = dbxout_syms (BLOCK_VARS (block));
2660 if (args)
2661 dbxout_reg_parms (args);
2662 #endif
2664 /* Now output an N_LBRAC symbol to represent the beginning of
2665 the block. Use the block's tree-walk order to generate
2666 the assembler symbols LBBn and LBEn
2667 that final will define around the code in this block. */
2668 if (depth > 0 && did_output)
2670 char buf[20];
2671 blocknum = BLOCK_NUMBER (block);
2672 ASM_GENERATE_INTERNAL_LABEL (buf, "LBB", blocknum);
2674 if (BLOCK_HANDLER_BLOCK (block))
2676 /* A catch block. Must precede N_LBRAC. */
2677 tree decl = BLOCK_VARS (block);
2678 while (decl)
2680 #ifdef DBX_OUTPUT_CATCH
2681 DBX_OUTPUT_CATCH (asmfile, decl, buf);
2682 #else
2683 fprintf (asmfile, "%s\"%s:C1\",%d,0,0,", ASM_STABS_OP,
2684 IDENTIFIER_POINTER (DECL_NAME (decl)), N_CATCH);
2685 assemble_name (asmfile, buf);
2686 fprintf (asmfile, "\n");
2687 #endif
2688 decl = TREE_CHAIN (decl);
2692 #ifdef DBX_OUTPUT_LBRAC
2693 DBX_OUTPUT_LBRAC (asmfile, buf);
2694 #else
2695 fprintf (asmfile, "%s%d,0,0,", ASM_STABN_OP, N_LBRAC);
2696 assemble_name (asmfile, buf);
2697 #if DBX_BLOCKS_FUNCTION_RELATIVE
2698 fputc ('-', asmfile);
2699 assemble_name (asmfile, begin_label);
2700 #endif
2701 fprintf (asmfile, "\n");
2702 #endif
2705 #ifdef DBX_LBRAC_FIRST
2706 /* On some weird machines, the syms of a block
2707 come after the N_LBRAC. */
2708 if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0)
2709 dbxout_syms (BLOCK_VARS (block));
2710 if (args)
2711 dbxout_reg_parms (args);
2712 #endif
2714 /* Output the subblocks. */
2715 dbxout_block (BLOCK_SUBBLOCKS (block), depth + 1, NULL_TREE);
2717 /* Refer to the marker for the end of the block. */
2718 if (depth > 0 && did_output)
2720 char buf[20];
2721 ASM_GENERATE_INTERNAL_LABEL (buf, "LBE", blocknum);
2722 #ifdef DBX_OUTPUT_RBRAC
2723 DBX_OUTPUT_RBRAC (asmfile, buf);
2724 #else
2725 fprintf (asmfile, "%s%d,0,0,", ASM_STABN_OP, N_RBRAC);
2726 assemble_name (asmfile, buf);
2727 #if DBX_BLOCKS_FUNCTION_RELATIVE
2728 fputc ('-', asmfile);
2729 assemble_name (asmfile, begin_label);
2730 #endif
2731 fprintf (asmfile, "\n");
2732 #endif
2735 block = BLOCK_CHAIN (block);
2739 /* Output the information about a function and its arguments and result.
2740 Usually this follows the function's code,
2741 but on some systems, it comes before. */
2743 static void
2744 dbxout_really_begin_function (decl)
2745 tree decl;
2747 dbxout_symbol (decl, 0);
2748 dbxout_parms (DECL_ARGUMENTS (decl));
2749 if (DECL_NAME (DECL_RESULT (decl)) != 0)
2750 dbxout_symbol (DECL_RESULT (decl), 1);
2753 /* Called at beginning of output of function definition. */
2755 void
2756 dbxout_begin_function (decl)
2757 tree decl ATTRIBUTE_UNUSED;
2759 #ifdef DBX_FUNCTION_FIRST
2760 dbxout_really_begin_function (decl);
2761 #endif
2764 /* Output dbx data for a function definition.
2765 This includes a definition of the function name itself (a symbol),
2766 definitions of the parameters (locating them in the parameter list)
2767 and then output the block that makes up the function's body
2768 (including all the auto variables of the function). */
2770 void
2771 dbxout_function (decl)
2772 tree decl;
2774 #ifndef DBX_FUNCTION_FIRST
2775 dbxout_really_begin_function (decl);
2776 #endif
2777 dbxout_block (DECL_INITIAL (decl), 0, DECL_ARGUMENTS (decl));
2778 #ifdef DBX_OUTPUT_FUNCTION_END
2779 DBX_OUTPUT_FUNCTION_END (asmfile, decl);
2780 #endif
2781 #if defined(ASM_OUTPUT_SECTION_NAME)
2782 if (use_gnu_debug_info_extensions
2783 #if defined(NO_DBX_FUNCTION_END)
2784 && ! NO_DBX_FUNCTION_END
2785 #endif
2787 dbxout_function_end ();
2788 #endif
2790 #endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */