OSDN Git Service

* dbxout.c (dbxout_symbol_location): Avoid emitting invalid register
[pf3gnuchains/gcc-fork.git] / gcc / dbxout.c
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.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA.  */
21
22
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.
31
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.
36
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.
43
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".
49
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'.
54
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.
59
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.
65
66    If DEBUG_SYMS_TEXT is defined, all debugging symbols must be
67    output while in the text section.
68
69    For more on data type definitions, see `dbxout_type'.  */
70
71 #include "config.h"
72 #include "system.h"
73
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"
85 #include "debug.h"
86 #include "function.h"
87 #include "target.h"
88 #include "langhooks.h"
89
90 #ifdef XCOFF_DEBUGGING_INFO
91 #include "xcoffout.h"
92 #endif
93
94 #ifndef ASM_STABS_OP
95 #define ASM_STABS_OP "\t.stabs\t"
96 #endif
97
98 #ifndef ASM_STABN_OP
99 #define ASM_STABN_OP "\t.stabn\t"
100 #endif
101
102 #ifndef DBX_TYPE_DECL_STABS_CODE
103 #define DBX_TYPE_DECL_STABS_CODE N_LSYM
104 #endif
105
106 #ifndef DBX_STATIC_CONST_VAR_CODE
107 #define DBX_STATIC_CONST_VAR_CODE N_FUN
108 #endif
109
110 #ifndef DBX_REGPARM_STABS_CODE
111 #define DBX_REGPARM_STABS_CODE N_RSYM
112 #endif
113
114 #ifndef DBX_REGPARM_STABS_LETTER
115 #define DBX_REGPARM_STABS_LETTER 'P'
116 #endif
117
118 /* This is used for parameters passed by invisible reference in a register.  */
119 #ifndef GDB_INV_REF_REGPARM_STABS_LETTER
120 #define GDB_INV_REF_REGPARM_STABS_LETTER 'a'
121 #endif
122
123 #ifndef DBX_MEMPARM_STABS_LETTER
124 #define DBX_MEMPARM_STABS_LETTER 'p'
125 #endif
126
127 #ifndef FILE_NAME_JOINER
128 #define FILE_NAME_JOINER "/"
129 #endif
130
131 /* GDB needs to know that the stabs were generated by GCC.  We emit an
132    N_OPT stab at the beginning of the source file to indicate this.
133    The string is historical, and different on a very few targets.  */
134 #ifndef STABS_GCC_MARKER
135 #define STABS_GCC_MARKER "gcc2_compiled."
136 #endif
137
138 /* Typical USG systems don't have stab.h, and they also have
139    no use for DBX-format debugging info.  */
140
141 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
142
143 /* Nonzero if we have actually used any of the GDB extensions
144    to the debugging format.  The idea is that we use them for the
145    first time only if there's a strong reason, but once we have done that,
146    we use them whenever convenient.  */
147
148 static int have_used_extensions = 0;
149
150 /* Number for the next N_SOL filename stabs label.  The number 0 is reserved
151    for the N_SO filename stabs label.  */
152
153 #if defined (DBX_DEBUGGING_INFO) && !defined (DBX_OUTPUT_SOURCE_FILENAME)
154 static int source_label_number = 1;
155 #endif
156
157 #ifdef DEBUG_SYMS_TEXT
158 #define FORCE_TEXT text_section ();
159 #else
160 #define FORCE_TEXT
161 #endif
162
163 #include "gstab.h"
164
165 #define STAB_CODE_TYPE enum __stab_debug_code
166
167 /* 1 if PARM is passed to this function in memory.  */
168
169 #define PARM_PASSED_IN_MEMORY(PARM) \
170  (GET_CODE (DECL_INCOMING_RTL (PARM)) == MEM)
171
172 /* A C expression for the integer offset value of an automatic variable
173    (N_LSYM) having address X (an RTX).  */
174 #ifndef DEBUGGER_AUTO_OFFSET
175 #define DEBUGGER_AUTO_OFFSET(X) \
176   (GET_CODE (X) == PLUS ? INTVAL (XEXP (X, 1)) : 0)
177 #endif
178
179 /* A C expression for the integer offset value of an argument (N_PSYM)
180    having address X (an RTX).  The nominal offset is OFFSET.  */
181 #ifndef DEBUGGER_ARG_OFFSET
182 #define DEBUGGER_ARG_OFFSET(OFFSET, X) (OFFSET)
183 #endif
184
185 /* Stream for writing to assembler file.  */
186
187 static FILE *asmfile;
188
189 /* Last source file name mentioned in a NOTE insn.  */
190
191 static const char *lastfile;
192
193 /* Current working directory.  */
194
195 static const char *cwd;
196
197 enum typestatus {TYPE_UNSEEN, TYPE_XREF, TYPE_DEFINED};
198
199 /* Structure recording information about a C data type.
200    The status element says whether we have yet output
201    the definition of the type.  TYPE_XREF says we have
202    output it as a cross-reference only.
203    The file_number and type_number elements are used if DBX_USE_BINCL
204    is defined.  */
205
206 struct typeinfo
207 {
208   enum typestatus status;
209 #ifdef DBX_USE_BINCL
210   int file_number;
211   int type_number;
212 #endif
213 };
214
215 /* Vector recording information about C data types.
216    When we first notice a data type (a tree node),
217    we assign it a number using next_type_number.
218    That is its index in this vector.  */
219
220 struct typeinfo *typevec;
221
222 /* Number of elements of space allocated in `typevec'.  */
223
224 static int typevec_len;
225
226 /* In dbx output, each type gets a unique number.
227    This is the number for the next type output.
228    The number, once assigned, is in the TYPE_SYMTAB_ADDRESS field.  */
229
230 static int next_type_number;
231
232 #ifdef DBX_USE_BINCL
233
234 /* When using N_BINCL in dbx output, each type number is actually a
235    pair of the file number and the type number within the file.
236    This is a stack of input files.  */
237
238 struct dbx_file
239 {
240   struct dbx_file *next;
241   int file_number;
242   int next_type_number;
243 };
244
245 /* This is the top of the stack.  */
246
247 static struct dbx_file *current_file;
248
249 /* This is the next file number to use.  */
250
251 static int next_file_number;
252
253 #endif /* DBX_USE_BINCL */
254
255 /* These variables are for dbxout_symbol to communicate to
256    dbxout_finish_symbol.
257    current_sym_code is the symbol-type-code, a symbol N_... define in stab.h.
258    current_sym_value and current_sym_addr are two ways to address the
259    value to store in the symtab entry.
260    current_sym_addr if nonzero represents the value as an rtx.
261    If that is zero, current_sym_value is used.  This is used
262    when the value is an offset (such as for auto variables,
263    register variables and parms).  */
264
265 static STAB_CODE_TYPE current_sym_code;
266 static int current_sym_value;
267 static rtx current_sym_addr;
268
269 /* Number of chars of symbol-description generated so far for the
270    current symbol.  Used by CHARS and CONTIN.  */
271
272 static int current_sym_nchars;
273
274 /* Report having output N chars of the current symbol-description.  */
275
276 #define CHARS(N) (current_sym_nchars += (N))
277
278 /* Break the current symbol-description, generating a continuation,
279    if it has become long.  */
280
281 #ifndef DBX_CONTIN_LENGTH
282 #define DBX_CONTIN_LENGTH 80
283 #endif
284
285 #if DBX_CONTIN_LENGTH > 0
286 #define CONTIN  \
287   do {if (current_sym_nchars > DBX_CONTIN_LENGTH) dbxout_continue ();} while (0)
288 #else
289 #define CONTIN do { } while (0)
290 #endif
291
292 static void dbxout_init                 PARAMS ((const char *));
293 static void dbxout_finish               PARAMS ((const char *));
294 static void dbxout_start_source_file    PARAMS ((unsigned, const char *));
295 static void dbxout_end_source_file      PARAMS ((unsigned));
296 static void dbxout_typedefs             PARAMS ((tree));
297 static void dbxout_type_index           PARAMS ((tree));
298 #if DBX_CONTIN_LENGTH > 0
299 static void dbxout_continue             PARAMS ((void));
300 #endif
301 static void dbxout_args                 PARAMS ((tree));
302 static void dbxout_type_fields          PARAMS ((tree));
303 static void dbxout_type_method_1        PARAMS ((tree, const char *));
304 static void dbxout_type_methods         PARAMS ((tree));
305 static void dbxout_range_type           PARAMS ((tree));
306 static void dbxout_type                 PARAMS ((tree, int));
307 static void print_int_cst_octal         PARAMS ((tree));
308 static void print_octal                 PARAMS ((unsigned HOST_WIDE_INT, int));
309 static void print_wide_int              PARAMS ((HOST_WIDE_INT));
310 static void dbxout_type_name            PARAMS ((tree));
311 static int dbxout_symbol_location       PARAMS ((tree, tree, const char *, rtx));
312 static void dbxout_symbol_name          PARAMS ((tree, const char *, int));
313 static void dbxout_prepare_symbol       PARAMS ((tree));
314 static void dbxout_finish_symbol        PARAMS ((tree));
315 static void dbxout_block                PARAMS ((tree, int, tree));
316 static void dbxout_global_decl          PARAMS ((tree));
317 \f
318 /* The debug hooks structure.  */
319 #if defined (DBX_DEBUGGING_INFO)
320
321 static void dbxout_source_line          PARAMS ((unsigned int, const char *));
322 static void dbxout_source_file          PARAMS ((FILE *, const char *));
323 static void dbxout_function_end         PARAMS ((void));
324 static void dbxout_begin_function       PARAMS ((tree));
325 static void dbxout_begin_block          PARAMS ((unsigned, unsigned));
326 static void dbxout_end_block            PARAMS ((unsigned, unsigned));
327 static void dbxout_function_decl        PARAMS ((tree));
328
329 struct gcc_debug_hooks dbx_debug_hooks =
330 {
331   dbxout_init,
332   dbxout_finish,
333   debug_nothing_int_charstar,
334   debug_nothing_int_charstar,
335   dbxout_start_source_file,
336   dbxout_end_source_file,
337   dbxout_begin_block,
338   dbxout_end_block,
339   debug_true_tree,              /* ignore_block */
340   dbxout_source_line,           /* source_line */
341   dbxout_source_line,           /* begin_prologue: just output line info */
342   debug_nothing_int,            /* end_prologue */
343   debug_nothing_void,           /* end_epilogue */
344 #ifdef DBX_FUNCTION_FIRST
345   dbxout_begin_function,
346 #else
347   debug_nothing_tree,           /* begin_function */
348 #endif
349   debug_nothing_int,            /* end_function */
350   dbxout_function_decl,
351   dbxout_global_decl,           /* global_decl */
352   debug_nothing_tree,           /* deferred_inline_function */
353   debug_nothing_tree,           /* outlining_inline_function */
354   debug_nothing_rtx             /* label */
355 };
356 #endif /* DBX_DEBUGGING_INFO  */
357
358 #if defined (XCOFF_DEBUGGING_INFO)
359 struct gcc_debug_hooks xcoff_debug_hooks =
360 {
361   dbxout_init,
362   dbxout_finish,
363   debug_nothing_int_charstar,
364   debug_nothing_int_charstar,
365   dbxout_start_source_file,
366   dbxout_end_source_file,
367   xcoffout_begin_block,
368   xcoffout_end_block,
369   debug_true_tree,              /* ignore_block */
370   xcoffout_source_line,
371   xcoffout_begin_prologue,      /* begin_prologue */
372   debug_nothing_int,            /* end_prologue */
373   xcoffout_end_epilogue,
374   debug_nothing_tree,           /* begin_function */
375   xcoffout_end_function,
376   debug_nothing_tree,           /* function_decl */
377   dbxout_global_decl,           /* global_decl */
378   debug_nothing_tree,           /* deferred_inline_function */
379   debug_nothing_tree,           /* outlining_inline_function */
380   debug_nothing_rtx             /* label */
381 };
382 #endif /* XCOFF_DEBUGGING_INFO  */
383 \f
384 #if defined (DBX_DEBUGGING_INFO)
385 static void
386 dbxout_function_end ()
387 {
388   static int scope_labelno = 0;
389   char lscope_label_name[100];
390   /* Convert Ltext into the appropriate format for local labels in case
391      the system doesn't insert underscores in front of user generated
392      labels.  */
393   ASM_GENERATE_INTERNAL_LABEL (lscope_label_name, "Lscope", scope_labelno);
394   ASM_OUTPUT_INTERNAL_LABEL (asmfile, "Lscope", scope_labelno);
395   scope_labelno++;
396
397   /* By convention, GCC will mark the end of a function with an N_FUN
398      symbol and an empty string.  */
399   fprintf (asmfile, "%s\"\",%d,0,0,", ASM_STABS_OP, N_FUN);
400   assemble_name (asmfile, lscope_label_name);
401   putc ('-', asmfile);
402   assemble_name (asmfile, XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0));
403   fprintf (asmfile, "\n");
404 }
405 #endif /* DBX_DEBUGGING_INFO */
406
407 /* At the beginning of compilation, start writing the symbol table.
408    Initialize `typevec' and output the standard data types of C.  */
409
410 static void
411 dbxout_init (input_file_name)
412      const char *input_file_name;
413 {
414   char ltext_label_name[100];
415   tree syms = getdecls ();
416
417   asmfile = asm_out_file;
418
419   typevec_len = 100;
420   typevec = (struct typeinfo *) xcalloc (typevec_len, sizeof typevec[0]);
421
422   /* Convert Ltext into the appropriate format for local labels in case
423      the system doesn't insert underscores in front of user generated
424      labels.  */
425   ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext", 0);
426
427   /* Put the current working directory in an N_SO symbol.  */
428 #ifndef DBX_WORKING_DIRECTORY /* Only some versions of DBX want this,
429                                  but GDB always does.  */
430   if (use_gnu_debug_info_extensions)
431 #endif
432     {
433       if (!cwd && (cwd = getpwd ()) && (!*cwd || cwd[strlen (cwd) - 1] != '/'))
434         cwd = concat (cwd, FILE_NAME_JOINER, NULL);
435       if (cwd)
436         {
437 #ifdef DBX_OUTPUT_MAIN_SOURCE_DIRECTORY
438           DBX_OUTPUT_MAIN_SOURCE_DIRECTORY (asmfile, cwd);
439 #else /* no DBX_OUTPUT_MAIN_SOURCE_DIRECTORY */
440           fprintf (asmfile, "%s", ASM_STABS_OP);
441           output_quoted_string (asmfile, cwd);
442           fprintf (asmfile, ",%d,0,0,%s\n", N_SO, &ltext_label_name[1]);
443 #endif /* no DBX_OUTPUT_MAIN_SOURCE_DIRECTORY */
444         }
445     }
446
447 #ifdef DBX_OUTPUT_MAIN_SOURCE_FILENAME
448   /* This should NOT be DBX_OUTPUT_SOURCE_FILENAME. That
449      would give us an N_SOL, and we want an N_SO.  */
450   DBX_OUTPUT_MAIN_SOURCE_FILENAME (asmfile, input_file_name);
451 #else /* no DBX_OUTPUT_MAIN_SOURCE_FILENAME */
452   /* We include outputting `Ltext:' here,
453      because that gives you a way to override it.  */
454   /* Used to put `Ltext:' before the reference, but that loses on sun 4.  */
455   fprintf (asmfile, "%s", ASM_STABS_OP);
456   output_quoted_string (asmfile, input_file_name);
457   fprintf (asmfile, ",%d,0,0,%s\n", 
458            N_SO, &ltext_label_name[1]);
459   text_section ();
460   ASM_OUTPUT_INTERNAL_LABEL (asmfile, "Ltext", 0);
461 #endif /* no DBX_OUTPUT_MAIN_SOURCE_FILENAME */
462
463 #ifdef DBX_OUTPUT_GCC_MARKER
464   DBX_OUTPUT_GCC_MARKER (asmfile);
465 #else
466   /* Emit an N_OPT stab to indicate that this file was compiled by GCC.  */
467   fprintf (asmfile, "%s\"%s\",%d,0,0,0\n",
468            ASM_STABS_OP, STABS_GCC_MARKER, N_OPT);
469 #endif
470
471   lastfile = input_file_name;
472
473   next_type_number = 1;
474
475 #ifdef DBX_USE_BINCL
476   current_file = (struct dbx_file *) xmalloc (sizeof *current_file);
477   current_file->next = NULL;
478   current_file->file_number = 0;
479   current_file->next_type_number = 1;
480   next_file_number = 1;
481 #endif
482
483   /* Make sure that types `int' and `char' have numbers 1 and 2.
484      Definitions of other integer types will refer to those numbers.
485      (Actually it should no longer matter what their numbers are.
486      Also, if any types with tags have been defined, dbxout_symbol
487      will output them first, so the numbers won't be 1 and 2.  That
488      happens in C++.  So it's a good thing it should no longer matter).  */
489
490 #ifdef DBX_OUTPUT_STANDARD_TYPES
491   DBX_OUTPUT_STANDARD_TYPES (syms);
492 #else
493   dbxout_symbol (TYPE_NAME (integer_type_node), 0);
494   dbxout_symbol (TYPE_NAME (char_type_node), 0);
495 #endif
496
497   /* Get all permanent types that have typedef names,
498      and output them all, except for those already output.  */
499
500   dbxout_typedefs (syms);
501 }
502
503 /* Output any typedef names for types described by TYPE_DECLs in SYMS,
504    in the reverse order from that which is found in SYMS.  */
505
506 static void
507 dbxout_typedefs (syms)
508      tree syms;
509 {
510   if (syms)
511     {
512       dbxout_typedefs (TREE_CHAIN (syms));
513       if (TREE_CODE (syms) == TYPE_DECL)
514         {
515           tree type = TREE_TYPE (syms);
516           if (TYPE_NAME (type)
517               && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
518               && COMPLETE_TYPE_P (type)
519               && ! TREE_ASM_WRITTEN (TYPE_NAME (type)))
520             dbxout_symbol (TYPE_NAME (type), 0);
521         }
522     }
523 }
524
525 /* Change to reading from a new source file.  Generate a N_BINCL stab.  */
526
527 static void
528 dbxout_start_source_file (line, filename)
529      unsigned int line ATTRIBUTE_UNUSED;
530      const char *filename ATTRIBUTE_UNUSED;
531 {
532 #ifdef DBX_USE_BINCL
533   struct dbx_file *n = (struct dbx_file *) xmalloc (sizeof *n);
534
535   n->next = current_file;
536   n->file_number = next_file_number++;
537   n->next_type_number = 1;
538   current_file = n;
539   fprintf (asmfile, "%s", ASM_STABS_OP);
540   output_quoted_string (asmfile, filename);
541   fprintf (asmfile, ",%d,0,0,0\n", N_BINCL);
542 #endif
543 }
544
545 /* Revert to reading a previous source file.  Generate a N_EINCL stab.  */
546
547 static void
548 dbxout_end_source_file (line)
549      unsigned int line ATTRIBUTE_UNUSED;
550 {
551 #ifdef DBX_USE_BINCL
552   struct dbx_file *next;
553
554   fprintf (asmfile, "%s%d,0,0,0\n", ASM_STABN_OP, N_EINCL);
555   next = current_file->next;
556   free (current_file);
557   current_file = next;
558 #endif
559 }
560
561 #if defined (DBX_DEBUGGING_INFO)
562 /* Output debugging info to FILE to switch to sourcefile FILENAME.  */
563
564 static void
565 dbxout_source_file (file, filename)
566      FILE *file;
567      const char *filename;
568 {
569   char ltext_label_name[100];
570
571   if (filename && (lastfile == 0 || strcmp (filename, lastfile)))
572     {
573 #ifdef DBX_OUTPUT_SOURCE_FILENAME
574       DBX_OUTPUT_SOURCE_FILENAME (file, filename);
575 #else
576       ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext",
577                                    source_label_number);
578       fprintf (file, "%s", ASM_STABS_OP);
579       output_quoted_string (file, filename);
580       fprintf (file, ",%d,0,0,%s\n", N_SOL, &ltext_label_name[1]);
581       if (current_function_decl != NULL_TREE
582           && DECL_SECTION_NAME (current_function_decl) != NULL_TREE)
583         ; /* Don't change section amid function.  */
584       else
585         text_section ();
586       ASM_OUTPUT_INTERNAL_LABEL (file, "Ltext", source_label_number);
587       source_label_number++;
588 #endif
589       lastfile = filename;
590     }
591 }
592
593 /* Output a line number symbol entry for source file FILENAME and line
594    number LINENO.  */
595
596 static void
597 dbxout_source_line (lineno, filename)
598      unsigned int lineno;
599      const char *filename;
600 {
601   dbxout_source_file (asmfile, filename);
602
603 #ifdef ASM_OUTPUT_SOURCE_LINE
604   ASM_OUTPUT_SOURCE_LINE (asmfile, lineno);
605 #else
606   fprintf (asmfile, "%s%d,0,%d\n", ASM_STABD_OP, N_SLINE, lineno);
607 #endif
608 }
609
610 /* Describe the beginning of an internal block within a function.  */
611
612 static void
613 dbxout_begin_block (line, n)
614      unsigned int line ATTRIBUTE_UNUSED;
615      unsigned int n;
616 {
617   ASM_OUTPUT_INTERNAL_LABEL (asmfile, "LBB", n);
618 }
619
620 /* Describe the end line-number of an internal block within a function.  */
621
622 static void
623 dbxout_end_block (line, n)
624      unsigned int line ATTRIBUTE_UNUSED;
625      unsigned int n;
626 {
627   ASM_OUTPUT_INTERNAL_LABEL (asmfile, "LBE", n);
628 }
629
630 /* Output dbx data for a function definition.
631    This includes a definition of the function name itself (a symbol),
632    definitions of the parameters (locating them in the parameter list)
633    and then output the block that makes up the function's body
634    (including all the auto variables of the function).  */
635
636 static void
637 dbxout_function_decl (decl)
638      tree decl;
639 {
640 #ifndef DBX_FUNCTION_FIRST
641   dbxout_begin_function (decl);
642 #endif
643   dbxout_block (DECL_INITIAL (decl), 0, DECL_ARGUMENTS (decl));
644 #ifdef DBX_OUTPUT_FUNCTION_END
645   DBX_OUTPUT_FUNCTION_END (asmfile, decl);
646 #endif
647   if (use_gnu_debug_info_extensions
648 #if defined(NO_DBX_FUNCTION_END)
649       && ! NO_DBX_FUNCTION_END
650 #endif
651       && targetm.have_named_sections)
652     dbxout_function_end ();
653 }
654
655 #endif /* DBX_DEBUGGING_INFO  */
656
657 /* Debug information for a global DECL.  Called from toplev.c after
658    compilation proper has finished.  */
659 static void
660 dbxout_global_decl (decl)
661      tree decl;
662 {
663   if (TREE_CODE (decl) == VAR_DECL
664       && ! DECL_EXTERNAL (decl)
665       && DECL_RTL_SET_P (decl)) /* Not necessary?  */
666     dbxout_symbol (decl, 0);
667
668
669 /* At the end of compilation, finish writing the symbol table.
670    Unless you define DBX_OUTPUT_MAIN_SOURCE_FILE_END, the default is
671    to do nothing.  */
672
673 static void
674 dbxout_finish (filename)
675      const char *filename ATTRIBUTE_UNUSED;
676 {
677 #ifdef DBX_OUTPUT_MAIN_SOURCE_FILE_END
678   DBX_OUTPUT_MAIN_SOURCE_FILE_END (asmfile, filename);
679 #endif /* DBX_OUTPUT_MAIN_SOURCE_FILE_END */
680 }
681
682 /* Output the index of a type.  */
683
684 static void
685 dbxout_type_index (type)
686      tree type;
687 {
688 #ifndef DBX_USE_BINCL
689   fprintf (asmfile, "%d", TYPE_SYMTAB_ADDRESS (type));
690   CHARS (3);
691 #else
692   struct typeinfo *t = &typevec[TYPE_SYMTAB_ADDRESS (type)];
693   fprintf (asmfile, "(%d,%d)", t->file_number, t->type_number);
694   CHARS (9);
695 #endif
696 }
697
698 #if DBX_CONTIN_LENGTH > 0
699 /* Continue a symbol-description that gets too big.
700    End one symbol table entry with a double-backslash
701    and start a new one, eventually producing something like
702    .stabs "start......\\",code,0,value
703    .stabs "...rest",code,0,value   */
704
705 static void
706 dbxout_continue ()
707 {
708 #ifdef DBX_CONTIN_CHAR
709   fprintf (asmfile, "%c", DBX_CONTIN_CHAR);
710 #else
711   fprintf (asmfile, "\\\\");
712 #endif
713   dbxout_finish_symbol (NULL_TREE);
714   fprintf (asmfile, "%s\"", ASM_STABS_OP);
715   current_sym_nchars = 0;
716 }
717 #endif /* DBX_CONTIN_LENGTH > 0 */
718 \f
719 /* Subroutine of `dbxout_type'.  Output the type fields of TYPE.
720    This must be a separate function because anonymous unions require
721    recursive calls.  */
722
723 static void
724 dbxout_type_fields (type)
725      tree type;
726 {
727   tree tem;
728
729   /* Output the name, type, position (in bits), size (in bits) of each
730      field that we can support.  */
731   for (tem = TYPE_FIELDS (type); tem; tem = TREE_CHAIN (tem))
732     {
733       /* Omit here local type decls until we know how to support them.  */
734       if (TREE_CODE (tem) == TYPE_DECL
735           /* Omit fields whose position or size are variable or too large to
736              represent.  */
737           || (TREE_CODE (tem) == FIELD_DECL
738               && (! host_integerp (bit_position (tem), 0)
739                   || ! DECL_SIZE (tem)
740                   || ! host_integerp (DECL_SIZE (tem), 1)))
741           /* Omit here the nameless fields that are used to skip bits.  */
742            || DECL_IGNORED_P (tem))
743         continue;
744
745       else if (TREE_CODE (tem) != CONST_DECL)
746         {
747           /* Continue the line if necessary,
748              but not before the first field.  */
749           if (tem != TYPE_FIELDS (type))
750             CONTIN;
751
752           if (DECL_NAME (tem))
753             {
754               fprintf (asmfile, "%s:", IDENTIFIER_POINTER (DECL_NAME (tem)));
755               CHARS (2 + IDENTIFIER_LENGTH (DECL_NAME (tem)));
756             }
757           else
758             {
759               fprintf (asmfile, ":");
760               CHARS (1);
761             }
762
763           if (use_gnu_debug_info_extensions
764               && (TREE_PRIVATE (tem) || TREE_PROTECTED (tem)
765                   || TREE_CODE (tem) != FIELD_DECL))
766             {
767               have_used_extensions = 1;
768               putc ('/', asmfile);
769               putc ((TREE_PRIVATE (tem) ? '0'
770                      : TREE_PROTECTED (tem) ? '1' : '2'),
771                     asmfile);
772               CHARS (2);
773             }
774
775           dbxout_type ((TREE_CODE (tem) == FIELD_DECL
776                         && DECL_BIT_FIELD_TYPE (tem))
777                        ? DECL_BIT_FIELD_TYPE (tem) : TREE_TYPE (tem), 0);
778
779           if (TREE_CODE (tem) == VAR_DECL)
780             {
781               if (TREE_STATIC (tem) && use_gnu_debug_info_extensions)
782                 {
783                   tree name = DECL_ASSEMBLER_NAME (tem);
784
785                   have_used_extensions = 1;
786                   fprintf (asmfile, ":%s;", IDENTIFIER_POINTER (name));
787                   CHARS (IDENTIFIER_LENGTH (name) + 2);
788                 }
789               else
790                 {
791                   /* If TEM is non-static, GDB won't understand it.  */
792                   fprintf (asmfile, ",0,0;");
793                   CHARS (5);
794                 }
795             }
796           else
797             {
798               putc (',', asmfile);
799               print_wide_int (int_bit_position (tem));
800               putc (',', asmfile);
801               print_wide_int (tree_low_cst (DECL_SIZE (tem), 1));
802               putc (';', asmfile);
803               CHARS (3);
804             }
805         }
806     }
807 }
808 \f
809 /* Subroutine of `dbxout_type_methods'.  Output debug info about the
810    method described DECL.  DEBUG_NAME is an encoding of the method's
811    type signature.  ??? We may be able to do without DEBUG_NAME altogether
812    now.  */
813
814 static void
815 dbxout_type_method_1 (decl, debug_name)
816      tree decl;
817      const char *debug_name;
818 {
819   char c1 = 'A', c2;
820
821   if (TREE_CODE (TREE_TYPE (decl)) == FUNCTION_TYPE)
822     c2 = '?';
823   else /* it's a METHOD_TYPE.  */
824     {
825       tree firstarg = TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (decl)));
826       /* A for normal functions.
827          B for `const' member functions.
828          C for `volatile' member functions.
829          D for `const volatile' member functions.  */
830       if (TYPE_READONLY (TREE_TYPE (firstarg)))
831         c1 += 1;
832       if (TYPE_VOLATILE (TREE_TYPE (firstarg)))
833         c1 += 2;
834
835       if (DECL_VINDEX (decl))
836         c2 = '*';
837       else
838         c2 = '.';
839     }
840
841   fprintf (asmfile, ":%s;%c%c%c", debug_name,
842            TREE_PRIVATE (decl) ? '0'
843            : TREE_PROTECTED (decl) ? '1' : '2', c1, c2);
844   CHARS (IDENTIFIER_LENGTH (DECL_ASSEMBLER_NAME (decl)) + 6
845          - (debug_name - IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl))));
846
847   if (DECL_VINDEX (decl) && host_integerp (DECL_VINDEX (decl), 0))
848     {
849       print_wide_int (tree_low_cst (DECL_VINDEX (decl), 0));
850       putc (';', asmfile);
851       CHARS (1);
852       dbxout_type (DECL_CONTEXT (decl), 0);
853       fprintf (asmfile, ";");
854       CHARS (1);
855     }
856 }
857 \f
858 /* Subroutine of `dbxout_type'.  Output debug info about the methods defined
859    in TYPE.  */
860
861 static void
862 dbxout_type_methods (type)
863      tree type;
864 {
865   /* C++: put out the method names and their parameter lists */
866   tree methods = TYPE_METHODS (type);
867   tree type_encoding;
868   tree fndecl;
869   tree last;
870   char formatted_type_identifier_length[16];
871   int type_identifier_length;
872
873   if (methods == NULL_TREE)
874     return;
875
876   type_encoding = DECL_NAME (TYPE_NAME (type));
877
878 #if 0
879   /* C++: Template classes break some assumptions made by this code about
880      the class names, constructor names, and encodings for assembler
881      label names.  For now, disable output of dbx info for them.  */
882   {
883     const char *ptr = IDENTIFIER_POINTER (type_encoding);
884     /* This should use index.  (mrs) */
885     while (*ptr && *ptr != '<') ptr++;
886     if (*ptr != 0)
887       {
888         static int warned;
889         if (!warned)
890             warned = 1;
891         return;
892       }
893   }
894 #endif
895
896   type_identifier_length = IDENTIFIER_LENGTH (type_encoding);
897
898   sprintf (formatted_type_identifier_length, "%d", type_identifier_length);
899
900   if (TREE_CODE (methods) != TREE_VEC)
901     fndecl = methods;
902   else if (TREE_VEC_ELT (methods, 0) != NULL_TREE)
903     fndecl = TREE_VEC_ELT (methods, 0);
904   else
905     fndecl = TREE_VEC_ELT (methods, 1);
906
907   while (fndecl)
908     {
909       int need_prefix = 1;
910
911       /* Group together all the methods for the same operation.
912          These differ in the types of the arguments.  */
913       for (last = NULL_TREE;
914            fndecl && (last == NULL_TREE || DECL_NAME (fndecl) == DECL_NAME (last));
915            fndecl = TREE_CHAIN (fndecl))
916         /* Output the name of the field (after overloading), as
917            well as the name of the field before overloading, along
918            with its parameter list */
919         {
920           /* This is the "mangled" name of the method.
921              It encodes the argument types.  */
922           const char *debug_name;
923
924           /* Skip methods that aren't FUNCTION_DECLs.  (In C++, these
925              include TEMPLATE_DECLs.)  The debugger doesn't know what
926              to do with such entities anyhow.  */
927           if (TREE_CODE (fndecl) != FUNCTION_DECL)
928             continue;
929
930           debug_name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (fndecl));
931
932           CONTIN;
933
934           last = fndecl;
935
936           /* Also ignore abstract methods; those are only interesting to
937              the DWARF backends.  */
938           if (DECL_IGNORED_P (fndecl) || DECL_ABSTRACT (fndecl))
939             continue;
940
941           /* Redundantly output the plain name, since that's what gdb
942              expects.  */
943           if (need_prefix)
944             {
945               tree name = DECL_NAME (fndecl);
946               fprintf (asmfile, "%s::", IDENTIFIER_POINTER (name));
947               CHARS (IDENTIFIER_LENGTH (name) + 2);
948               need_prefix = 0;
949             }
950
951           dbxout_type (TREE_TYPE (fndecl), 0);
952
953           dbxout_type_method_1 (fndecl, debug_name);
954         }
955       if (!need_prefix)
956         {
957           putc (';', asmfile);
958           CHARS (1);
959         }
960     }
961 }
962
963 /* Emit a "range" type specification, which has the form:
964    "r<index type>;<lower bound>;<upper bound>;".
965    TYPE is an INTEGER_TYPE.  */
966
967 static void
968 dbxout_range_type (type)
969      tree type;
970 {
971   fprintf (asmfile, "r");
972   if (TREE_TYPE (type))
973     dbxout_type (TREE_TYPE (type), 0);
974   else if (TREE_CODE (type) != INTEGER_TYPE)
975     dbxout_type (type, 0); /* E.g. Pascal's ARRAY [BOOLEAN] of INTEGER */
976   else
977     {
978       /* Traditionally, we made sure 'int' was type 1, and builtin types
979          were defined to be sub-ranges of int.  Unfortunately, this
980          does not allow us to distinguish true sub-ranges from integer
981          types.  So, instead we define integer (non-sub-range) types as
982          sub-ranges of themselves.  This matters for Chill.  If this isn't
983          a subrange type, then we want to define it in terms of itself.
984          However, in C, this may be an anonymous integer type, and we don't
985          want to emit debug info referring to it.  Just calling
986          dbxout_type_index won't work anyways, because the type hasn't been
987          defined yet.  We make this work for both cases by checked to see
988          whether this is a defined type, referring to it if it is, and using
989          'int' otherwise.  */
990       if (TYPE_SYMTAB_ADDRESS (type) != 0)
991         dbxout_type_index (type);
992       else
993         dbxout_type_index (integer_type_node);
994     }
995
996   if (TYPE_MIN_VALUE (type) != 0
997       && host_integerp (TYPE_MIN_VALUE (type), 0))
998     {
999       putc (';', asmfile);
1000       CHARS (1);
1001       print_wide_int (tree_low_cst (TYPE_MIN_VALUE (type), 0));
1002     }
1003   else
1004     {
1005       fprintf (asmfile, ";0");
1006       CHARS (2);
1007     }
1008
1009   if (TYPE_MAX_VALUE (type) != 0
1010       && host_integerp (TYPE_MAX_VALUE (type), 0))
1011     {
1012       putc (';', asmfile);
1013       CHARS (1);
1014       print_wide_int (tree_low_cst (TYPE_MAX_VALUE (type), 0));
1015       putc (';', asmfile);
1016       CHARS (1);
1017     }
1018   else
1019     {
1020       fprintf (asmfile, ";-1;");
1021       CHARS (4);
1022     }
1023 }
1024 \f
1025 /* Output a reference to a type.  If the type has not yet been
1026    described in the dbx output, output its definition now.
1027    For a type already defined, just refer to its definition
1028    using the type number.
1029
1030    If FULL is nonzero, and the type has been described only with
1031    a forward-reference, output the definition now.
1032    If FULL is zero in this case, just refer to the forward-reference
1033    using the number previously allocated.  */
1034
1035 static void
1036 dbxout_type (type, full)
1037      tree type;
1038      int full;
1039 {
1040   tree tem;
1041   static int anonymous_type_number = 0;
1042
1043   if (TREE_CODE (type) == VECTOR_TYPE)
1044     type = TYPE_DEBUG_REPRESENTATION_TYPE (type);
1045
1046   /* If there was an input error and we don't really have a type,
1047      avoid crashing and write something that is at least valid
1048      by assuming `int'.  */
1049   if (type == error_mark_node)
1050     type = integer_type_node;
1051   else
1052     {
1053       /* Try to find the "main variant" with the same name but not const
1054          or volatile.  (Since stabs does not distinguish const and volatile,
1055          there is no need to make them separate types.  But types with
1056          different names are usefully distinguished.) */
1057          
1058       for (tem = TYPE_MAIN_VARIANT (type); tem; tem = TYPE_NEXT_VARIANT (tem))
1059         if (!TYPE_READONLY (tem) && !TYPE_VOLATILE (tem)
1060             && TYPE_NAME (tem) == TYPE_NAME (type))
1061           {
1062             type = tem;
1063             break;
1064           }
1065       if (TYPE_NAME (type)
1066           && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1067           && TYPE_DECL_SUPPRESS_DEBUG (TYPE_NAME (type)))
1068         full = 0;
1069     }
1070
1071   if (TYPE_SYMTAB_ADDRESS (type) == 0)
1072     {
1073       /* Type has no dbx number assigned.  Assign next available number.  */
1074       TYPE_SYMTAB_ADDRESS (type) = next_type_number++;
1075
1076       /* Make sure type vector is long enough to record about this type.  */
1077
1078       if (next_type_number == typevec_len)
1079         {
1080           typevec
1081             = (struct typeinfo *) xrealloc (typevec,
1082                                             typevec_len * 2 * sizeof typevec[0]);
1083           memset ((char *) (typevec + typevec_len), 0,
1084                  typevec_len * sizeof typevec[0]);
1085           typevec_len *= 2;
1086         }
1087
1088 #ifdef DBX_USE_BINCL
1089       typevec[TYPE_SYMTAB_ADDRESS (type)].file_number
1090         = current_file->file_number;
1091       typevec[TYPE_SYMTAB_ADDRESS (type)].type_number
1092         = current_file->next_type_number++;
1093 #endif
1094     }
1095
1096   /* Output the number of this type, to refer to it.  */
1097   dbxout_type_index (type);
1098
1099 #ifdef DBX_TYPE_DEFINED
1100   if (DBX_TYPE_DEFINED (type))
1101     return;
1102 #endif
1103
1104   /* If this type's definition has been output or is now being output,
1105      that is all.  */
1106
1107   switch (typevec[TYPE_SYMTAB_ADDRESS (type)].status)
1108     {
1109     case TYPE_UNSEEN:
1110       break;
1111     case TYPE_XREF:
1112       /* If we have already had a cross reference,
1113          and either that's all we want or that's the best we could do,
1114          don't repeat the cross reference.
1115          Sun dbx crashes if we do.  */
1116       if (! full || !COMPLETE_TYPE_P (type)
1117           /* No way in DBX fmt to describe a variable size.  */
1118           || ! host_integerp (TYPE_SIZE (type), 1))
1119         return;
1120       break;
1121     case TYPE_DEFINED:
1122       return;
1123     }
1124
1125 #ifdef DBX_NO_XREFS
1126   /* For systems where dbx output does not allow the `=xsNAME:' syntax,
1127      leave the type-number completely undefined rather than output
1128      a cross-reference.  If we have already used GNU debug info extensions,
1129      then it is OK to output a cross reference.  This is necessary to get
1130      proper C++ debug output.  */
1131   if ((TREE_CODE (type) == RECORD_TYPE || TREE_CODE (type) == UNION_TYPE
1132        || TREE_CODE (type) == QUAL_UNION_TYPE
1133        || TREE_CODE (type) == ENUMERAL_TYPE)
1134       && ! use_gnu_debug_info_extensions)
1135     /* We must use the same test here as we use twice below when deciding
1136        whether to emit a cross-reference.  */
1137     if ((TYPE_NAME (type) != 0
1138          && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1139                && DECL_IGNORED_P (TYPE_NAME (type)))
1140          && !full)
1141         || !COMPLETE_TYPE_P (type)
1142         /* No way in DBX fmt to describe a variable size.  */
1143         || ! host_integerp (TYPE_SIZE (type), 1))
1144       {
1145         typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF;
1146         return;
1147       }
1148 #endif
1149
1150   /* Output a definition now.  */
1151
1152   fprintf (asmfile, "=");
1153   CHARS (1);
1154
1155   /* Mark it as defined, so that if it is self-referent
1156      we will not get into an infinite recursion of definitions.  */
1157
1158   typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_DEFINED;
1159
1160   if (TYPE_NAME (type) && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1161       && DECL_ORIGINAL_TYPE (TYPE_NAME (type)))
1162     { 
1163       dbxout_type (DECL_ORIGINAL_TYPE (TYPE_NAME (type)), 0);
1164       return;
1165     }
1166
1167   switch (TREE_CODE (type))
1168     {
1169     case VOID_TYPE:
1170     case LANG_TYPE:
1171       /* For a void type, just define it as itself; ie, "5=5".
1172          This makes us consider it defined
1173          without saying what it is.  The debugger will make it
1174          a void type when the reference is seen, and nothing will
1175          ever override that default.  */
1176       dbxout_type_index (type);
1177       break;
1178
1179     case INTEGER_TYPE:
1180       if (type == char_type_node && ! TREE_UNSIGNED (type))
1181         {
1182           /* Output the type `char' as a subrange of itself!
1183              I don't understand this definition, just copied it
1184              from the output of pcc.
1185              This used to use `r2' explicitly and we used to
1186              take care to make sure that `char' was type number 2.  */
1187           fprintf (asmfile, "r");
1188           CHARS (1);
1189           dbxout_type_index (type);
1190           fprintf (asmfile, ";0;127;");
1191           CHARS (7);
1192         }
1193
1194       /* If this is a subtype of another integer type, always prefer to
1195          write it as a subtype.  */
1196       else if (TREE_TYPE (type) != 0
1197                && TREE_CODE (TREE_TYPE (type)) == INTEGER_TYPE)
1198         dbxout_range_type (type);
1199
1200       else
1201         {
1202           /* If the size is non-standard, say what it is if we can use
1203              GDB extensions.  */
1204
1205           if (use_gnu_debug_info_extensions
1206               && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node))
1207             {
1208               have_used_extensions = 1;
1209               fprintf (asmfile, "@s%d;", TYPE_PRECISION (type));
1210               CHARS (5);
1211             }
1212
1213           /* If we can use GDB extensions and the size is wider than a
1214              long (the size used by GDB to read them) or we may have
1215              trouble writing the bounds the usual way, write them in
1216              octal.  Note the test is for the *target's* size of "long",
1217              not that of the host.  The host test is just to make sure we
1218              can write it out in case the host wide int is narrower than the
1219              target "long".  */
1220
1221           /* For unsigned types, we use octal if they are the same size or
1222              larger.  This is because we print the bounds as signed decimal,
1223              and hence they can't span same size unsigned types.  */
1224
1225           if (use_gnu_debug_info_extensions
1226               && TYPE_MIN_VALUE (type) != 0
1227               && TREE_CODE (TYPE_MIN_VALUE (type)) == INTEGER_CST
1228               && TYPE_MAX_VALUE (type) != 0
1229               && TREE_CODE (TYPE_MAX_VALUE (type)) == INTEGER_CST
1230               && (TYPE_PRECISION (type) > TYPE_PRECISION (integer_type_node)
1231                   || ((TYPE_PRECISION (type)
1232                        == TYPE_PRECISION (integer_type_node))
1233                       && TREE_UNSIGNED (type))
1234                   || TYPE_PRECISION (type) > HOST_BITS_PER_WIDE_INT
1235                   || (TYPE_PRECISION (type) == HOST_BITS_PER_WIDE_INT
1236                       && TREE_UNSIGNED (type))))
1237             {
1238               fprintf (asmfile, "r");
1239               CHARS (1);
1240               dbxout_type_index (type);
1241               fprintf (asmfile, ";");
1242               CHARS (1);
1243               print_int_cst_octal (TYPE_MIN_VALUE (type));
1244               fprintf (asmfile, ";");
1245               CHARS (1);
1246               print_int_cst_octal (TYPE_MAX_VALUE (type));
1247               fprintf (asmfile, ";");
1248               CHARS (1);
1249             }
1250
1251           else
1252             /* Output other integer types as subranges of `int'.  */
1253             dbxout_range_type (type);
1254         }
1255
1256       break;
1257
1258     case REAL_TYPE:
1259       /* This used to say `r1' and we used to take care
1260          to make sure that `int' was type number 1.  */
1261       fprintf (asmfile, "r");
1262       CHARS (1);
1263       dbxout_type_index (integer_type_node);
1264       putc (';', asmfile);
1265       CHARS (1);
1266       print_wide_int (int_size_in_bytes (type));
1267       fputs (";0;", asmfile);
1268       CHARS (3);
1269       break;
1270
1271     case CHAR_TYPE:
1272       if (use_gnu_debug_info_extensions)
1273         {
1274           have_used_extensions = 1;
1275           fputs ("@s", asmfile);
1276           CHARS (2);
1277           print_wide_int (BITS_PER_UNIT * int_size_in_bytes (type));
1278           fputs (";-20;", asmfile);
1279           CHARS (4);
1280         }
1281       else
1282         {
1283           /* Output the type `char' as a subrange of itself.
1284              That is what pcc seems to do.  */
1285           fprintf (asmfile, "r");
1286           CHARS (1);
1287           dbxout_type_index (char_type_node);
1288           fprintf (asmfile, ";0;%d;", TREE_UNSIGNED (type) ? 255 : 127);
1289           CHARS (7);
1290         }
1291       break;
1292
1293     case BOOLEAN_TYPE:
1294       if (use_gnu_debug_info_extensions)
1295         {
1296           have_used_extensions = 1;
1297           fputs ("@s", asmfile);
1298           CHARS (2);
1299           print_wide_int (BITS_PER_UNIT * int_size_in_bytes (type));
1300           fputs (";-16;", asmfile);
1301           CHARS (4);
1302         }
1303       else /* Define as enumeral type (False, True) */
1304         {
1305           fprintf (asmfile, "eFalse:0,True:1,;");
1306           CHARS (17);
1307         }
1308       break;
1309
1310     case FILE_TYPE:
1311       putc ('d', asmfile);
1312       CHARS (1);
1313       dbxout_type (TREE_TYPE (type), 0);
1314       break;
1315
1316     case COMPLEX_TYPE:
1317       /* Differs from the REAL_TYPE by its new data type number */
1318
1319       if (TREE_CODE (TREE_TYPE (type)) == REAL_TYPE)
1320         {
1321           fprintf (asmfile, "r");
1322           CHARS (1);
1323           dbxout_type_index (type);
1324           putc (';', asmfile);
1325           CHARS (1);
1326           print_wide_int (2 * int_size_in_bytes (TREE_TYPE (type)));
1327           fputs (";0;", asmfile);
1328           CHARS (3);
1329         }
1330       else
1331         {
1332           /* Output a complex integer type as a structure,
1333              pending some other way to do it.  */
1334           putc ('s', asmfile);
1335           CHARS (1);
1336           print_wide_int (int_size_in_bytes (type));
1337           fprintf (asmfile, "real:");
1338           CHARS (5);
1339
1340           dbxout_type (TREE_TYPE (type), 0);
1341           fprintf (asmfile, ",0,%d;", TYPE_PRECISION (TREE_TYPE (type)));
1342           CHARS (7);
1343           fprintf (asmfile, "imag:");
1344           CHARS (5);
1345           dbxout_type (TREE_TYPE (type), 0);
1346           fprintf (asmfile, ",%d,%d;;", TYPE_PRECISION (TREE_TYPE (type)),
1347                    TYPE_PRECISION (TREE_TYPE (type)));
1348           CHARS (10);
1349         }
1350       break;
1351
1352     case SET_TYPE:
1353       if (use_gnu_debug_info_extensions)
1354         {
1355           have_used_extensions = 1;
1356           fputs ("@s", asmfile);
1357           CHARS (2);
1358           print_wide_int (BITS_PER_UNIT * int_size_in_bytes (type));
1359           putc (';', asmfile);
1360           CHARS (1);
1361
1362           /* Check if a bitstring type, which in Chill is
1363              different from a [power]set.  */
1364           if (TYPE_STRING_FLAG (type))
1365             {
1366               fprintf (asmfile, "@S;");
1367               CHARS (3);
1368             }
1369         }
1370       putc ('S', asmfile);
1371       CHARS (1);
1372       dbxout_type (TYPE_DOMAIN (type), 0);
1373       break;
1374
1375     case ARRAY_TYPE:
1376       /* Make arrays of packed bits look like bitstrings for chill.  */
1377       if (TYPE_PACKED (type) && use_gnu_debug_info_extensions)
1378         {
1379           have_used_extensions = 1;
1380           fputs ("@s", asmfile);
1381           CHARS (2);
1382           print_wide_int (BITS_PER_UNIT * int_size_in_bytes (type));
1383           fprintf (asmfile, ";@S;S");
1384           CHARS (5);
1385           dbxout_type (TYPE_DOMAIN (type), 0);
1386           break;
1387         }
1388
1389       /* Output "a" followed by a range type definition
1390          for the index type of the array
1391          followed by a reference to the target-type.
1392          ar1;0;N;M for a C array of type M and size N+1.  */
1393       /* Check if a character string type, which in Chill is
1394          different from an array of characters.  */
1395       if (TYPE_STRING_FLAG (type) && use_gnu_debug_info_extensions)
1396         {
1397           have_used_extensions = 1;
1398           fprintf (asmfile, "@S;");
1399           CHARS (3);
1400         }
1401       tem = TYPE_DOMAIN (type);
1402       if (tem == NULL)
1403         {
1404           fprintf (asmfile, "ar");
1405           CHARS (2);
1406           dbxout_type_index (integer_type_node);
1407           fprintf (asmfile, ";0;-1;");
1408           CHARS (6);
1409         }
1410       else
1411         {
1412           fprintf (asmfile, "a");
1413           CHARS (1);
1414           dbxout_range_type (tem);
1415         }
1416
1417       dbxout_type (TREE_TYPE (type), 0);
1418       break;
1419
1420     case RECORD_TYPE:
1421     case UNION_TYPE:
1422     case QUAL_UNION_TYPE:
1423       {
1424         int i, n_baseclasses = 0;
1425
1426         if (TYPE_BINFO (type) != 0
1427             && TREE_CODE (TYPE_BINFO (type)) == TREE_VEC
1428             && TYPE_BINFO_BASETYPES (type) != 0)
1429           n_baseclasses = TREE_VEC_LENGTH (TYPE_BINFO_BASETYPES (type));
1430
1431         /* Output a structure type.  We must use the same test here as we
1432            use in the DBX_NO_XREFS case above.  */
1433         if ((TYPE_NAME (type) != 0
1434              && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1435                    && DECL_IGNORED_P (TYPE_NAME (type)))
1436              && !full)
1437             || !COMPLETE_TYPE_P (type)
1438             /* No way in DBX fmt to describe a variable size.  */
1439             || ! host_integerp (TYPE_SIZE (type), 1))
1440           {
1441             /* If the type is just a cross reference, output one
1442                and mark the type as partially described.
1443                If it later becomes defined, we will output
1444                its real definition.
1445                If the type has a name, don't nest its definition within
1446                another type's definition; instead, output an xref
1447                and let the definition come when the name is defined.  */
1448             fputs ((TREE_CODE (type) == RECORD_TYPE) ? "xs" : "xu", asmfile);
1449             CHARS (2);
1450 #if 0 /* This assertion is legitimately false in C++.  */
1451             /* We shouldn't be outputting a reference to a type before its
1452                definition unless the type has a tag name.
1453                A typedef name without a tag name should be impossible.  */
1454             if (TREE_CODE (TYPE_NAME (type)) != IDENTIFIER_NODE)
1455               abort ();
1456 #endif
1457             if (TYPE_NAME (type) != 0)
1458               dbxout_type_name (type);
1459             else
1460               {
1461                 fprintf (asmfile, "$$%d", anonymous_type_number++);
1462                 CHARS (5);
1463               }
1464
1465             fprintf (asmfile, ":");
1466             CHARS (1);
1467             typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF;
1468             break;
1469           }
1470
1471         /* Identify record or union, and print its size.  */
1472         putc (((TREE_CODE (type) == RECORD_TYPE) ? 's' : 'u'), asmfile);
1473         CHARS (1);
1474         print_wide_int (int_size_in_bytes (type));
1475
1476         if (use_gnu_debug_info_extensions)
1477           {
1478             if (n_baseclasses)
1479               {
1480                 have_used_extensions = 1;
1481                 fprintf (asmfile, "!%d,", n_baseclasses);
1482                 CHARS (8);
1483               }
1484           }
1485         for (i = 0; i < n_baseclasses; i++)
1486           {
1487             tree child = TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (type)), i);
1488
1489             if (use_gnu_debug_info_extensions)
1490               {
1491                 have_used_extensions = 1;
1492                 putc (TREE_VIA_VIRTUAL (child) ? '1' : '0', asmfile);
1493                 putc (TREE_VIA_PUBLIC (child) ? '2' : '0', asmfile);
1494                 CHARS (2);
1495                 print_wide_int (tree_low_cst (BINFO_OFFSET (child), 0)
1496                                 * BITS_PER_UNIT);
1497                 putc (',', asmfile);
1498                 CHARS (1);
1499                 dbxout_type (BINFO_TYPE (child), 0);
1500                 putc (';', asmfile);
1501                 CHARS (1);
1502               }
1503             else
1504               {
1505                 /* Print out the base class information with fields
1506                    which have the same names at the types they hold.  */
1507                 dbxout_type_name (BINFO_TYPE (child));
1508                 putc (':', asmfile);
1509                 CHARS (1);
1510                 dbxout_type (BINFO_TYPE (child), full);
1511                 putc (',', asmfile);
1512                 CHARS (1);
1513                 print_wide_int (tree_low_cst (BINFO_OFFSET (child), 0)
1514                                 * BITS_PER_UNIT);
1515                 putc (',', asmfile);
1516                 CHARS (1);
1517                 print_wide_int (tree_low_cst (DECL_SIZE
1518                                               (TYPE_NAME
1519                                                (BINFO_TYPE (child))),
1520                                               0)
1521                                 * BITS_PER_UNIT);
1522                 putc (';', asmfile);
1523                 CHARS (1);
1524               }
1525           }
1526       }
1527
1528       /* Write out the field declarations.  */
1529       dbxout_type_fields (type);
1530       if (use_gnu_debug_info_extensions && TYPE_METHODS (type) != NULL_TREE)
1531         {
1532           have_used_extensions = 1;
1533           dbxout_type_methods (type);
1534         }
1535
1536       putc (';', asmfile);
1537       CHARS (1);
1538
1539       if (use_gnu_debug_info_extensions && TREE_CODE (type) == RECORD_TYPE
1540           /* Avoid the ~ if we don't really need it--it confuses dbx.  */
1541           && TYPE_VFIELD (type))
1542         {
1543           have_used_extensions = 1;
1544
1545           /* Tell GDB+ that it may keep reading.  */
1546           putc ('~', asmfile);
1547           CHARS (1);
1548
1549           /* We need to write out info about what field this class
1550              uses as its "main" vtable pointer field, because if this
1551              field is inherited from a base class, GDB cannot necessarily
1552              figure out which field it's using in time.  */
1553           if (TYPE_VFIELD (type))
1554             {
1555               putc ('%', asmfile);
1556               CHARS (1);
1557               dbxout_type (DECL_FCONTEXT (TYPE_VFIELD (type)), 0);
1558             }
1559
1560           putc (';', asmfile);
1561           CHARS (1);
1562         }
1563       break;
1564
1565     case ENUMERAL_TYPE:
1566       /* We must use the same test here as we use in the DBX_NO_XREFS case
1567          above.  We simplify it a bit since an enum will never have a variable
1568          size.  */
1569       if ((TYPE_NAME (type) != 0
1570            && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
1571                  && DECL_IGNORED_P (TYPE_NAME (type)))
1572            && !full)
1573           || !COMPLETE_TYPE_P (type))
1574         {
1575           fprintf (asmfile, "xe");
1576           CHARS (2);
1577           dbxout_type_name (type);
1578           typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF;
1579           putc (':', asmfile);
1580           CHARS (1);
1581           return;
1582         }
1583 #ifdef DBX_OUTPUT_ENUM
1584       DBX_OUTPUT_ENUM (asmfile, type);
1585 #else
1586       if (use_gnu_debug_info_extensions
1587           && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node))
1588         {
1589           fprintf (asmfile, "@s%d;", TYPE_PRECISION (type));
1590           CHARS (5);
1591         }
1592
1593       putc ('e', asmfile);
1594       CHARS (1);
1595       for (tem = TYPE_VALUES (type); tem; tem = TREE_CHAIN (tem))
1596         {
1597           fprintf (asmfile, "%s:", IDENTIFIER_POINTER (TREE_PURPOSE (tem)));
1598           CHARS (IDENTIFIER_LENGTH (TREE_PURPOSE (tem)) + 1);
1599           if (TREE_INT_CST_HIGH (TREE_VALUE (tem)) == 0)
1600             print_wide_int (TREE_INT_CST_LOW (TREE_VALUE (tem)));
1601           else if (TREE_INT_CST_HIGH (TREE_VALUE (tem)) == -1
1602                    && (HOST_WIDE_INT) TREE_INT_CST_LOW (TREE_VALUE (tem)) < 0)
1603             print_wide_int (TREE_INT_CST_LOW (TREE_VALUE (tem)));
1604           else
1605             print_int_cst_octal (TREE_VALUE (tem));
1606
1607           putc (',', asmfile);
1608           CHARS (1);
1609           if (TREE_CHAIN (tem) != 0)
1610             CONTIN;
1611         }
1612
1613       putc (';', asmfile);
1614       CHARS (1);
1615 #endif
1616       break;
1617
1618     case POINTER_TYPE:
1619       putc ('*', asmfile);
1620       CHARS (1);
1621       dbxout_type (TREE_TYPE (type), 0);
1622       break;
1623
1624     case METHOD_TYPE:
1625       if (use_gnu_debug_info_extensions)
1626         {
1627           have_used_extensions = 1;
1628           putc ('#', asmfile);
1629           CHARS (1);
1630
1631           /* Write the argument types out longhand.  */
1632           dbxout_type (TYPE_METHOD_BASETYPE (type), 0);
1633           putc (',', asmfile);
1634           CHARS (1);
1635           dbxout_type (TREE_TYPE (type), 0);
1636           dbxout_args (TYPE_ARG_TYPES (type));
1637           putc (';', asmfile);
1638           CHARS (1);
1639         }
1640       else
1641         /* Treat it as a function type.  */
1642         dbxout_type (TREE_TYPE (type), 0);
1643       break;
1644
1645     case OFFSET_TYPE:
1646       if (use_gnu_debug_info_extensions)
1647         {
1648           have_used_extensions = 1;
1649           putc ('@', asmfile);
1650           CHARS (1);
1651           dbxout_type (TYPE_OFFSET_BASETYPE (type), 0);
1652           putc (',', asmfile);
1653           CHARS (1);
1654           dbxout_type (TREE_TYPE (type), 0);
1655         }
1656       else
1657         /* Should print as an int, because it is really just an offset.  */
1658         dbxout_type (integer_type_node, 0);
1659       break;
1660
1661     case REFERENCE_TYPE:
1662       if (use_gnu_debug_info_extensions)
1663         have_used_extensions = 1;
1664       putc (use_gnu_debug_info_extensions ? '&' : '*', asmfile);
1665       CHARS (1);
1666       dbxout_type (TREE_TYPE (type), 0);
1667       break;
1668
1669     case FUNCTION_TYPE:
1670       putc ('f', asmfile);
1671       CHARS (1);
1672       dbxout_type (TREE_TYPE (type), 0);
1673       break;
1674
1675     default:
1676       abort ();
1677     }
1678 }
1679
1680 /* Print the value of integer constant C, in octal,
1681    handling double precision.  */
1682
1683 static void
1684 print_int_cst_octal (c)
1685      tree c;
1686 {
1687   unsigned HOST_WIDE_INT high = TREE_INT_CST_HIGH (c);
1688   unsigned HOST_WIDE_INT low = TREE_INT_CST_LOW (c);
1689   int excess = (3 - (HOST_BITS_PER_WIDE_INT % 3));
1690   unsigned int width = TYPE_PRECISION (TREE_TYPE (c));
1691
1692   /* GDB wants constants with no extra leading "1" bits, so
1693      we need to remove any sign-extension that might be
1694      present.  */
1695   if (width == HOST_BITS_PER_WIDE_INT * 2)
1696     ;
1697   else if (width > HOST_BITS_PER_WIDE_INT)
1698     high &= (((HOST_WIDE_INT) 1 << (width - HOST_BITS_PER_WIDE_INT)) - 1);
1699   else if (width == HOST_BITS_PER_WIDE_INT)
1700     high = 0;
1701   else
1702     high = 0, low &= (((HOST_WIDE_INT) 1 << width) - 1);
1703
1704   fprintf (asmfile, "0");
1705   CHARS (1);
1706
1707   if (excess == 3)
1708     {
1709       print_octal (high, HOST_BITS_PER_WIDE_INT / 3);
1710       print_octal (low, HOST_BITS_PER_WIDE_INT / 3);
1711     }
1712   else
1713     {
1714       unsigned HOST_WIDE_INT beg = high >> excess;
1715       unsigned HOST_WIDE_INT middle
1716         = ((high & (((HOST_WIDE_INT) 1 << excess) - 1)) << (3 - excess)
1717            | (low >> (HOST_BITS_PER_WIDE_INT / 3 * 3)));
1718       unsigned HOST_WIDE_INT end
1719         = low & (((unsigned HOST_WIDE_INT) 1
1720                   << (HOST_BITS_PER_WIDE_INT / 3 * 3))
1721                  - 1);
1722
1723       fprintf (asmfile, "%o%01o", (int) beg, (int) middle);
1724       CHARS (2);
1725       print_octal (end, HOST_BITS_PER_WIDE_INT / 3);
1726     }
1727 }
1728
1729 static void
1730 print_octal (value, digits)
1731      unsigned HOST_WIDE_INT value;
1732      int digits;
1733 {
1734   int i;
1735
1736   for (i = digits - 1; i >= 0; i--)
1737     fprintf (asmfile, "%01o", (int) ((value >> (3 * i)) & 7));
1738
1739   CHARS (digits);
1740 }
1741
1742 /* Output C in decimal while adjusting the number of digits written.  */
1743
1744 static void
1745 print_wide_int (c)
1746      HOST_WIDE_INT c;
1747 {
1748   int digs = 0;
1749
1750   fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC, c);
1751
1752   if (c < 0)
1753     digs++, c = -c;
1754
1755   while (c > 0)
1756     c /= 10; digs++;
1757
1758   CHARS (digs);
1759 }
1760       
1761 /* Output the name of type TYPE, with no punctuation.
1762    Such names can be set up either by typedef declarations
1763    or by struct, enum and union tags.  */
1764
1765 static void
1766 dbxout_type_name (type)
1767      tree type;
1768 {
1769   tree t;
1770   if (TYPE_NAME (type) == 0)
1771     abort ();
1772   if (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE)
1773     {
1774       t = TYPE_NAME (type);
1775     }
1776   else if (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL)
1777     {
1778       t = DECL_NAME (TYPE_NAME (type));
1779     }
1780   else
1781     abort ();
1782
1783   fprintf (asmfile, "%s", IDENTIFIER_POINTER (t));
1784   CHARS (IDENTIFIER_LENGTH (t));
1785 }
1786 \f
1787 /* Output a .stabs for the symbol defined by DECL,
1788    which must be a ..._DECL node in the normal namespace.
1789    It may be a CONST_DECL, a FUNCTION_DECL, a PARM_DECL or a VAR_DECL.
1790    LOCAL is nonzero if the scope is less than the entire file.
1791    Return 1 if a stabs might have been emitted.  */
1792
1793 int
1794 dbxout_symbol (decl, local)
1795      tree decl;
1796      int local ATTRIBUTE_UNUSED;
1797 {
1798   tree type = TREE_TYPE (decl);
1799   tree context = NULL_TREE;
1800   int result = 0;
1801
1802   /* Cast avoids warning in old compilers.  */
1803   current_sym_code = (STAB_CODE_TYPE) 0;
1804   current_sym_value = 0;
1805   current_sym_addr = 0;
1806
1807   /* Ignore nameless syms, but don't ignore type tags.  */
1808
1809   if ((DECL_NAME (decl) == 0 && TREE_CODE (decl) != TYPE_DECL)
1810       || DECL_IGNORED_P (decl))
1811     return 0;
1812
1813   dbxout_prepare_symbol (decl);
1814
1815   /* The output will always start with the symbol name,
1816      so always count that in the length-output-so-far.  */
1817
1818   if (DECL_NAME (decl) != 0)
1819     current_sym_nchars = 2 + IDENTIFIER_LENGTH (DECL_NAME (decl));
1820
1821   switch (TREE_CODE (decl))
1822     {
1823     case CONST_DECL:
1824       /* Enum values are defined by defining the enum type.  */
1825       break;
1826
1827     case FUNCTION_DECL:
1828       if (DECL_RTL (decl) == 0)
1829         return 0;
1830       if (DECL_EXTERNAL (decl))
1831         break;
1832       /* Don't mention a nested function under its parent.  */
1833       context = decl_function_context (decl);
1834       if (context == current_function_decl)
1835         break;
1836       if (GET_CODE (DECL_RTL (decl)) != MEM
1837           || GET_CODE (XEXP (DECL_RTL (decl), 0)) != SYMBOL_REF)
1838         break;
1839       FORCE_TEXT;
1840
1841       fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
1842                IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)),
1843                TREE_PUBLIC (decl) ? 'F' : 'f');
1844       result = 1;
1845
1846       current_sym_code = N_FUN;
1847       current_sym_addr = XEXP (DECL_RTL (decl), 0);
1848
1849       if (TREE_TYPE (type))
1850         dbxout_type (TREE_TYPE (type), 0);
1851       else
1852         dbxout_type (void_type_node, 0);
1853
1854       /* For a nested function, when that function is compiled,
1855          mention the containing function name
1856          as well as (since dbx wants it) our own assembler-name.  */
1857       if (context != 0)
1858         fprintf (asmfile, ",%s,%s",
1859                  IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)),
1860                  IDENTIFIER_POINTER (DECL_NAME (context)));
1861
1862       dbxout_finish_symbol (decl);
1863       break;
1864
1865     case TYPE_DECL:
1866 #if 0
1867       /* This seems all wrong.  Outputting most kinds of types gives no name
1868          at all.  A true definition gives no name; a cross-ref for a
1869          structure can give the tag name, but not a type name.
1870          It seems that no typedef name is defined by outputting a type.  */
1871
1872       /* If this typedef name was defined by outputting the type,
1873          don't duplicate it.  */
1874       if (typevec[TYPE_SYMTAB_ADDRESS (type)].status == TYPE_DEFINED
1875           && TYPE_NAME (TREE_TYPE (decl)) == decl)
1876         return 0;
1877 #endif
1878       /* Don't output the same typedef twice.
1879          And don't output what language-specific stuff doesn't want output.  */
1880       if (TREE_ASM_WRITTEN (decl) || TYPE_DECL_SUPPRESS_DEBUG (decl))
1881         return 0;
1882
1883       FORCE_TEXT;
1884       result = 1;
1885       {
1886         int tag_needed = 1;
1887         int did_output = 0;
1888
1889         if (DECL_NAME (decl))
1890           {
1891             /* Nonzero means we must output a tag as well as a typedef.  */
1892             tag_needed = 0;
1893
1894             /* Handle the case of a C++ structure or union
1895                where the TYPE_NAME is a TYPE_DECL
1896                which gives both a typedef name and a tag.  */
1897             /* dbx requires the tag first and the typedef second.  */
1898             if ((TREE_CODE (type) == RECORD_TYPE
1899                  || TREE_CODE (type) == UNION_TYPE
1900                  || TREE_CODE (type) == QUAL_UNION_TYPE)
1901                 && TYPE_NAME (type) == decl
1902                 && !(use_gnu_debug_info_extensions && have_used_extensions)
1903                 && !TREE_ASM_WRITTEN (TYPE_NAME (type))
1904                 /* Distinguish the implicit typedefs of C++
1905                    from explicit ones that might be found in C.  */
1906                 && DECL_ARTIFICIAL (decl)
1907                 /* Do not generate a tag for records of variable size,
1908                    since this type can not be properly described in the
1909                    DBX format, and it confuses some tools such as objdump.  */
1910                 && host_integerp (TYPE_SIZE (type), 1))
1911               {
1912                 tree name = TYPE_NAME (type);
1913                 if (TREE_CODE (name) == TYPE_DECL)
1914                   name = DECL_NAME (name);
1915
1916                 current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1917                 current_sym_value = 0;
1918                 current_sym_addr = 0;
1919                 current_sym_nchars = 2 + IDENTIFIER_LENGTH (name);
1920
1921                 fprintf (asmfile, "%s\"%s:T", ASM_STABS_OP,
1922                          IDENTIFIER_POINTER (name));
1923                 dbxout_type (type, 1);
1924                 dbxout_finish_symbol (NULL_TREE);
1925               }
1926
1927             /* Output typedef name.  */
1928             fprintf (asmfile, "%s\"%s:", ASM_STABS_OP,
1929                      IDENTIFIER_POINTER (DECL_NAME (decl)));
1930
1931             /* Short cut way to output a tag also.  */
1932             if ((TREE_CODE (type) == RECORD_TYPE
1933                  || TREE_CODE (type) == UNION_TYPE
1934                  || TREE_CODE (type) == QUAL_UNION_TYPE)
1935                 && TYPE_NAME (type) == decl
1936                 /* Distinguish the implicit typedefs of C++
1937                    from explicit ones that might be found in C.  */
1938                 && DECL_ARTIFICIAL (decl))
1939               {
1940                 if (use_gnu_debug_info_extensions && have_used_extensions)
1941                   {
1942                     putc ('T', asmfile);
1943                     TREE_ASM_WRITTEN (TYPE_NAME (type)) = 1;
1944                   }
1945 #if 0 /* Now we generate the tag for this case up above.  */
1946                 else
1947                   tag_needed = 1;
1948 #endif
1949               }
1950
1951             putc ('t', asmfile);
1952             current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1953
1954             dbxout_type (type, 1);
1955             dbxout_finish_symbol (decl);
1956             did_output = 1;
1957           }
1958
1959         /* Don't output a tag if this is an incomplete type.  This prevents
1960            the sun4 Sun OS 4.x dbx from crashing.  */
1961
1962         if (tag_needed && TYPE_NAME (type) != 0
1963             && (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE
1964                 || (DECL_NAME (TYPE_NAME (type)) != 0))
1965             && COMPLETE_TYPE_P (type)
1966             && !TREE_ASM_WRITTEN (TYPE_NAME (type)))
1967           {
1968             /* For a TYPE_DECL with no name, but the type has a name,
1969                output a tag.
1970                This is what represents `struct foo' with no typedef.  */
1971             /* In C++, the name of a type is the corresponding typedef.
1972                In C, it is an IDENTIFIER_NODE.  */
1973             tree name = TYPE_NAME (type);
1974             if (TREE_CODE (name) == TYPE_DECL)
1975               name = DECL_NAME (name);
1976
1977             current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1978             current_sym_value = 0;
1979             current_sym_addr = 0;
1980             current_sym_nchars = 2 + IDENTIFIER_LENGTH (name);
1981
1982             fprintf (asmfile, "%s\"%s:T", ASM_STABS_OP,
1983                      IDENTIFIER_POINTER (name));
1984             dbxout_type (type, 1);
1985             dbxout_finish_symbol (NULL_TREE);
1986             did_output = 1;
1987           }
1988
1989         /* If an enum type has no name, it cannot be referred to,
1990            but we must output it anyway, since the enumeration constants
1991            can be referred to.  */
1992         if (!did_output && TREE_CODE (type) == ENUMERAL_TYPE)
1993           {
1994             current_sym_code = DBX_TYPE_DECL_STABS_CODE;
1995             current_sym_value = 0;
1996             current_sym_addr = 0;
1997             current_sym_nchars = 2;
1998
1999             /* Some debuggers fail when given NULL names, so give this a
2000                harmless name of ` '.  */
2001             fprintf (asmfile, "%s\" :T", ASM_STABS_OP);
2002             dbxout_type (type, 1);
2003             dbxout_finish_symbol (NULL_TREE);
2004           }
2005
2006         /* Prevent duplicate output of a typedef.  */
2007         TREE_ASM_WRITTEN (decl) = 1;
2008         break;
2009       }
2010
2011     case PARM_DECL:
2012       /* Parm decls go in their own separate chains
2013          and are output by dbxout_reg_parms and dbxout_parms.  */
2014       abort ();
2015
2016     case RESULT_DECL:
2017       /* Named return value, treat like a VAR_DECL.  */
2018     case VAR_DECL:
2019       if (! DECL_RTL_SET_P (decl))
2020         return 0;
2021       /* Don't mention a variable that is external.
2022          Let the file that defines it describe it.  */
2023       if (DECL_EXTERNAL (decl))
2024         break;
2025
2026       /* If the variable is really a constant
2027          and not written in memory, inform the debugger.  */
2028       if (TREE_STATIC (decl) && TREE_READONLY (decl)
2029           && DECL_INITIAL (decl) != 0
2030           && host_integerp (DECL_INITIAL (decl), 0)
2031           && ! TREE_ASM_WRITTEN (decl)
2032           && (DECL_CONTEXT (decl) == NULL_TREE
2033               || TREE_CODE (DECL_CONTEXT (decl)) == BLOCK))
2034         {
2035           if (TREE_PUBLIC (decl) == 0)
2036             {
2037               /* The sun4 assembler does not grok this.  */
2038               const char *name = IDENTIFIER_POINTER (DECL_NAME (decl));
2039
2040               if (TREE_CODE (TREE_TYPE (decl)) == INTEGER_TYPE
2041                   || TREE_CODE (TREE_TYPE (decl)) == ENUMERAL_TYPE)
2042                 {
2043                   HOST_WIDE_INT ival = tree_low_cst (DECL_INITIAL (decl), 0);
2044 #ifdef DBX_OUTPUT_CONSTANT_SYMBOL
2045                   DBX_OUTPUT_CONSTANT_SYMBOL (asmfile, name, ival);
2046 #else
2047                   fprintf (asmfile, "%s\"%s:c=i", ASM_STABS_OP, name);
2048
2049                   fprintf (asmfile, HOST_WIDE_INT_PRINT_DEC, ival);
2050                   fprintf (asmfile, "\",0x%x,0,0,0\n", N_LSYM);
2051 #endif
2052                   return 1;
2053                 }
2054               else if (TREE_CODE (TREE_TYPE (decl)) == REAL_TYPE)
2055                 {
2056                   /* don't know how to do this yet.  */
2057                 }
2058               break;
2059             }
2060           /* else it is something we handle like a normal variable.  */
2061         }
2062
2063       SET_DECL_RTL (decl, eliminate_regs (DECL_RTL (decl), 0, NULL_RTX));
2064 #ifdef LEAF_REG_REMAP
2065       if (current_function_uses_only_leaf_regs)
2066         leaf_renumber_regs_insn (DECL_RTL (decl));
2067 #endif
2068
2069       result = dbxout_symbol_location (decl, type, 0, DECL_RTL (decl));
2070       break;
2071       
2072     default:
2073       break;
2074     }
2075   return result;
2076 }
2077 \f
2078 /* Output the stab for DECL, a VAR_DECL, RESULT_DECL or PARM_DECL.
2079    Add SUFFIX to its name, if SUFFIX is not 0.
2080    Describe the variable as residing in HOME
2081    (usually HOME is DECL_RTL (DECL), but not always).
2082    Returns 1 if the stab was really emitted.  */
2083
2084 static int
2085 dbxout_symbol_location (decl, type, suffix, home)
2086      tree decl, type;
2087      const char *suffix;
2088      rtx home;
2089 {
2090   int letter = 0;
2091   int regno = -1;
2092
2093   /* Don't mention a variable at all
2094      if it was completely optimized into nothingness.
2095      
2096      If the decl was from an inline function, then its rtl
2097      is not identically the rtl that was used in this
2098      particular compilation.  */
2099   if (GET_CODE (home) == SUBREG)
2100     {
2101       rtx value = home;
2102
2103       while (GET_CODE (value) == SUBREG)
2104         value = SUBREG_REG (value);
2105       if (GET_CODE (value) == REG)
2106         {
2107           if (REGNO (value) >= FIRST_PSEUDO_REGISTER)
2108             return 0;
2109         }
2110       home = alter_subreg (home);
2111     }
2112   if (GET_CODE (home) == REG)
2113     {
2114       regno = REGNO (home);
2115       if (regno >= FIRST_PSEUDO_REGISTER)
2116         return 0;
2117     }
2118
2119   /* The kind-of-variable letter depends on where
2120      the variable is and on the scope of its name:
2121      G and N_GSYM for static storage and global scope,
2122      S for static storage and file scope,
2123      V for static storage and local scope,
2124      for those two, use N_LCSYM if data is in bss segment,
2125      N_STSYM if in data segment, N_FUN otherwise.
2126      (We used N_FUN originally, then changed to N_STSYM
2127      to please GDB.  However, it seems that confused ld.
2128      Now GDB has been fixed to like N_FUN, says Kingdon.)
2129      no letter at all, and N_LSYM, for auto variable,
2130      r and N_RSYM for register variable.  */
2131
2132   if (GET_CODE (home) == MEM
2133       && GET_CODE (XEXP (home, 0)) == SYMBOL_REF)
2134     {
2135       if (TREE_PUBLIC (decl))
2136         {
2137           letter = 'G';
2138           current_sym_code = N_GSYM;
2139         }
2140       else
2141         {
2142           current_sym_addr = XEXP (home, 0);
2143
2144           letter = decl_function_context (decl) ? 'V' : 'S';
2145
2146           /* This should be the same condition as in assemble_variable, but
2147              we don't have access to dont_output_data here.  So, instead,
2148              we rely on the fact that error_mark_node initializers always
2149              end up in bss for C++ and never end up in bss for C.  */
2150           if (DECL_INITIAL (decl) == 0
2151               || (!strcmp (lang_hooks.name, "GNU C++")
2152                   && DECL_INITIAL (decl) == error_mark_node))
2153             current_sym_code = N_LCSYM;
2154           else if (DECL_IN_TEXT_SECTION (decl))
2155             /* This is not quite right, but it's the closest
2156                of all the codes that Unix defines.  */
2157             current_sym_code = DBX_STATIC_CONST_VAR_CODE;
2158           else
2159             {
2160               /* Ultrix `as' seems to need this.  */
2161 #ifdef DBX_STATIC_STAB_DATA_SECTION
2162               data_section ();
2163 #endif
2164               current_sym_code = N_STSYM;
2165             }
2166         }
2167     }
2168   else if (regno >= 0)
2169     {
2170       letter = 'r';
2171       current_sym_code = N_RSYM;
2172       current_sym_value = DBX_REGISTER_NUMBER (regno);
2173     }
2174   else if (GET_CODE (home) == MEM
2175            && (GET_CODE (XEXP (home, 0)) == MEM
2176                || (GET_CODE (XEXP (home, 0)) == REG
2177                    && REGNO (XEXP (home, 0)) != HARD_FRAME_POINTER_REGNUM
2178                    && REGNO (XEXP (home, 0)) != STACK_POINTER_REGNUM
2179 #if ARG_POINTER_REGNUM != HARD_FRAME_POINTER_REGNUM
2180                    && REGNO (XEXP (home, 0)) != ARG_POINTER_REGNUM
2181 #endif
2182                    )))
2183     /* If the value is indirect by memory or by a register
2184        that isn't the frame pointer
2185        then it means the object is variable-sized and address through
2186        that register or stack slot.  DBX has no way to represent this
2187        so all we can do is output the variable as a pointer.
2188        If it's not a parameter, ignore it.
2189        (VAR_DECLs like this can be made by integrate.c.)  */
2190     {
2191       if (GET_CODE (XEXP (home, 0)) == REG)
2192         {
2193           letter = 'r';
2194           current_sym_code = N_RSYM;
2195           if (REGNO (XEXP (home, 0)) >= FIRST_PSEUDO_REGISTER)
2196             return 0;
2197           current_sym_value = DBX_REGISTER_NUMBER (REGNO (XEXP (home, 0)));
2198         }
2199       else
2200         {
2201           current_sym_code = N_LSYM;
2202           /* RTL looks like (MEM (MEM (PLUS (REG...) (CONST_INT...)))).
2203              We want the value of that CONST_INT.  */
2204           current_sym_value
2205             = DEBUGGER_AUTO_OFFSET (XEXP (XEXP (home, 0), 0));
2206         }
2207
2208       /* Effectively do build_pointer_type, but don't cache this type,
2209          since it might be temporary whereas the type it points to
2210          might have been saved for inlining.  */
2211       /* Don't use REFERENCE_TYPE because dbx can't handle that.  */
2212       type = make_node (POINTER_TYPE);
2213       TREE_TYPE (type) = TREE_TYPE (decl);
2214     }
2215   else if (GET_CODE (home) == MEM
2216            && GET_CODE (XEXP (home, 0)) == REG)
2217     {
2218       current_sym_code = N_LSYM;
2219       current_sym_value = DEBUGGER_AUTO_OFFSET (XEXP (home, 0));
2220     }
2221   else if (GET_CODE (home) == MEM
2222            && GET_CODE (XEXP (home, 0)) == PLUS
2223            && GET_CODE (XEXP (XEXP (home, 0), 1)) == CONST_INT)
2224     {
2225       current_sym_code = N_LSYM;
2226       /* RTL looks like (MEM (PLUS (REG...) (CONST_INT...)))
2227          We want the value of that CONST_INT.  */
2228       current_sym_value = DEBUGGER_AUTO_OFFSET (XEXP (home, 0));
2229     }
2230   else if (GET_CODE (home) == MEM
2231            && GET_CODE (XEXP (home, 0)) == CONST)
2232     {
2233       /* Handle an obscure case which can arise when optimizing and
2234          when there are few available registers.  (This is *always*
2235          the case for i386/i486 targets).  The RTL looks like
2236          (MEM (CONST ...)) even though this variable is a local `auto'
2237          or a local `register' variable.  In effect, what has happened
2238          is that the reload pass has seen that all assignments and
2239          references for one such a local variable can be replaced by
2240          equivalent assignments and references to some static storage
2241          variable, thereby avoiding the need for a register.  In such
2242          cases we're forced to lie to debuggers and tell them that
2243          this variable was itself `static'.  */
2244       current_sym_code = N_LCSYM;
2245       letter = 'V';
2246       current_sym_addr = XEXP (XEXP (home, 0), 0);
2247     }
2248   else if (GET_CODE (home) == CONCAT)
2249     {
2250       tree subtype;
2251
2252       /* If TYPE is not a COMPLEX_TYPE (it might be a RECORD_TYPE,
2253          for example), then there is no easy way to figure out
2254          what SUBTYPE should be.  So, we give up.  */
2255       if (TREE_CODE (type) != COMPLEX_TYPE)
2256         return 0;
2257
2258       subtype = TREE_TYPE (type);
2259
2260       /* If the variable's storage is in two parts,
2261          output each as a separate stab with a modified name.  */
2262       if (WORDS_BIG_ENDIAN)
2263         dbxout_symbol_location (decl, subtype, "$imag", XEXP (home, 0));
2264       else
2265         dbxout_symbol_location (decl, subtype, "$real", XEXP (home, 0));
2266
2267       /* Cast avoids warning in old compilers.  */
2268       current_sym_code = (STAB_CODE_TYPE) 0;
2269       current_sym_value = 0;
2270       current_sym_addr = 0;
2271       dbxout_prepare_symbol (decl);
2272
2273       if (WORDS_BIG_ENDIAN)
2274         dbxout_symbol_location (decl, subtype, "$real", XEXP (home, 1));
2275       else
2276         dbxout_symbol_location (decl, subtype, "$imag", XEXP (home, 1));
2277       return 1;
2278     }
2279   else
2280     /* Address might be a MEM, when DECL is a variable-sized object.
2281        Or it might be const0_rtx, meaning previous passes
2282        want us to ignore this variable.  */
2283     return 0;
2284
2285   /* Ok, start a symtab entry and output the variable name.  */
2286   FORCE_TEXT;
2287
2288 #ifdef DBX_STATIC_BLOCK_START
2289   DBX_STATIC_BLOCK_START (asmfile, current_sym_code);
2290 #endif
2291
2292   dbxout_symbol_name (decl, suffix, letter);
2293   dbxout_type (type, 0);
2294   dbxout_finish_symbol (decl);
2295
2296 #ifdef DBX_STATIC_BLOCK_END
2297   DBX_STATIC_BLOCK_END (asmfile, current_sym_code);
2298 #endif
2299   return 1;
2300 }
2301 \f
2302 /* Output the symbol name of DECL for a stabs, with suffix SUFFIX.
2303    Then output LETTER to indicate the kind of location the symbol has.  */
2304
2305 static void
2306 dbxout_symbol_name (decl, suffix, letter)
2307      tree decl;
2308      const char *suffix;
2309      int letter;
2310 {
2311   const char *name;
2312
2313   if (DECL_CONTEXT (decl) && TYPE_P (DECL_CONTEXT (decl)))
2314     /* One slight hitch: if this is a VAR_DECL which is a static
2315        class member, we must put out the mangled name instead of the
2316        DECL_NAME.  Note also that static member (variable) names DO NOT begin
2317        with underscores in .stabs directives.  */
2318     name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
2319   else
2320     /* ...but if we're function-local, we don't want to include the junk
2321        added by ASM_FORMAT_PRIVATE_NAME.  */
2322     name = IDENTIFIER_POINTER (DECL_NAME (decl));
2323
2324   if (name == 0)
2325     name = "(anon)";
2326   fprintf (asmfile, "%s\"%s%s:", ASM_STABS_OP, name,
2327            (suffix ? suffix : ""));
2328
2329   if (letter)
2330     putc (letter, asmfile);
2331 }
2332
2333 static void
2334 dbxout_prepare_symbol (decl)
2335      tree decl ATTRIBUTE_UNUSED;
2336 {
2337 #ifdef WINNING_GDB
2338   const char *filename = DECL_SOURCE_FILE (decl);
2339
2340   dbxout_source_file (asmfile, filename);
2341 #endif
2342 }
2343
2344 static void
2345 dbxout_finish_symbol (sym)
2346      tree sym;
2347 {
2348 #ifdef DBX_FINISH_SYMBOL
2349   DBX_FINISH_SYMBOL (sym);
2350 #else
2351   int line = 0;
2352   if (use_gnu_debug_info_extensions && sym != 0)
2353     line = DECL_SOURCE_LINE (sym);
2354
2355   fprintf (asmfile, "\",%d,0,%d,", current_sym_code, line);
2356   if (current_sym_addr)
2357     output_addr_const (asmfile, current_sym_addr);
2358   else
2359     fprintf (asmfile, "%d", current_sym_value);
2360   putc ('\n', asmfile);
2361 #endif
2362 }
2363
2364 /* Output definitions of all the decls in a chain. Return non-zero if
2365    anything was output */
2366
2367 int
2368 dbxout_syms (syms)
2369      tree syms;
2370 {
2371   int result = 0;
2372   while (syms)
2373     {
2374       result += dbxout_symbol (syms, 1);
2375       syms = TREE_CHAIN (syms);
2376     }
2377   return result;
2378 }
2379 \f
2380 /* The following two functions output definitions of function parameters.
2381    Each parameter gets a definition locating it in the parameter list.
2382    Each parameter that is a register variable gets a second definition
2383    locating it in the register.
2384
2385    Printing or argument lists in gdb uses the definitions that
2386    locate in the parameter list.  But reference to the variable in
2387    expressions uses preferentially the definition as a register.  */
2388
2389 /* Output definitions, referring to storage in the parmlist,
2390    of all the parms in PARMS, which is a chain of PARM_DECL nodes.  */
2391
2392 void
2393 dbxout_parms (parms)
2394      tree parms;
2395 {
2396   for (; parms; parms = TREE_CHAIN (parms))
2397     if (DECL_NAME (parms) && TREE_TYPE (parms) != error_mark_node)
2398       {
2399         dbxout_prepare_symbol (parms);
2400
2401         /* Perform any necessary register eliminations on the parameter's rtl,
2402            so that the debugging output will be accurate.  */
2403         DECL_INCOMING_RTL (parms)
2404           = eliminate_regs (DECL_INCOMING_RTL (parms), 0, NULL_RTX);
2405         SET_DECL_RTL (parms, eliminate_regs (DECL_RTL (parms), 0, NULL_RTX));
2406 #ifdef LEAF_REG_REMAP
2407         if (current_function_uses_only_leaf_regs)
2408           {
2409             leaf_renumber_regs_insn (DECL_INCOMING_RTL (parms));
2410             leaf_renumber_regs_insn (DECL_RTL (parms));
2411           }
2412 #endif
2413
2414         if (PARM_PASSED_IN_MEMORY (parms))
2415           {
2416             rtx addr = XEXP (DECL_INCOMING_RTL (parms), 0);
2417
2418             /* ??? Here we assume that the parm address is indexed
2419                off the frame pointer or arg pointer.
2420                If that is not true, we produce meaningless results,
2421                but do not crash.  */
2422             if (GET_CODE (addr) == PLUS
2423                 && GET_CODE (XEXP (addr, 1)) == CONST_INT)
2424               current_sym_value = INTVAL (XEXP (addr, 1));
2425             else
2426               current_sym_value = 0;
2427
2428             current_sym_code = N_PSYM;
2429             current_sym_addr = 0;
2430
2431             FORCE_TEXT;
2432             if (DECL_NAME (parms))
2433               {
2434                 current_sym_nchars = 2 + IDENTIFIER_LENGTH (DECL_NAME (parms));
2435
2436                 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2437                          IDENTIFIER_POINTER (DECL_NAME (parms)),
2438                          DBX_MEMPARM_STABS_LETTER);
2439               }
2440             else
2441               {
2442                 current_sym_nchars = 8;
2443                 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2444                          DBX_MEMPARM_STABS_LETTER);
2445               }
2446
2447             /* It is quite tempting to use:
2448                
2449                    dbxout_type (TREE_TYPE (parms), 0);
2450
2451                as the next statement, rather than using DECL_ARG_TYPE(), so
2452                that gcc reports the actual type of the parameter, rather
2453                than the promoted type.  This certainly makes GDB's life
2454                easier, at least for some ports.  The change is a bad idea
2455                however, since GDB expects to be able access the type without
2456                performing any conversions.  So for example, if we were
2457                passing a float to an unprototyped function, gcc will store a
2458                double on the stack, but if we emit a stab saying the type is a
2459                float, then gdb will only read in a single value, and this will
2460                produce an erroneous value.  */
2461             dbxout_type (DECL_ARG_TYPE (parms), 0);
2462             current_sym_value = DEBUGGER_ARG_OFFSET (current_sym_value, addr);
2463             dbxout_finish_symbol (parms);
2464           }
2465         else if (GET_CODE (DECL_RTL (parms)) == REG)
2466           {
2467             rtx best_rtl;
2468             char regparm_letter;
2469             tree parm_type;
2470             /* Parm passed in registers and lives in registers or nowhere.  */
2471
2472             current_sym_code = DBX_REGPARM_STABS_CODE;
2473             regparm_letter = DBX_REGPARM_STABS_LETTER;
2474             current_sym_addr = 0;
2475
2476             /* If parm lives in a register, use that register;
2477                pretend the parm was passed there.  It would be more consistent
2478                to describe the register where the parm was passed,
2479                but in practice that register usually holds something else.
2480
2481                If we use DECL_RTL, then we must use the declared type of
2482                the variable, not the type that it arrived in.  */
2483             if (REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER)
2484               {
2485                 best_rtl = DECL_RTL (parms);
2486                 parm_type = TREE_TYPE (parms);
2487               }
2488             /* If the parm lives nowhere, use the register where it was
2489                passed.  It is also better to use the declared type here.  */
2490             else
2491               {
2492                 best_rtl = DECL_INCOMING_RTL (parms);
2493                 parm_type = TREE_TYPE (parms);
2494               }
2495             current_sym_value = DBX_REGISTER_NUMBER (REGNO (best_rtl));
2496
2497             FORCE_TEXT;
2498             if (DECL_NAME (parms))
2499               {
2500                 current_sym_nchars = 2 + IDENTIFIER_LENGTH (DECL_NAME (parms));
2501                 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2502                          IDENTIFIER_POINTER (DECL_NAME (parms)),
2503                          regparm_letter);
2504               }
2505             else
2506               {
2507                 current_sym_nchars = 8;
2508                 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2509                          regparm_letter);
2510               }
2511
2512             dbxout_type (parm_type, 0);
2513             dbxout_finish_symbol (parms);
2514           }
2515         else if (GET_CODE (DECL_RTL (parms)) == MEM
2516                  && GET_CODE (XEXP (DECL_RTL (parms), 0)) == REG
2517                  && REGNO (XEXP (DECL_RTL (parms), 0)) != HARD_FRAME_POINTER_REGNUM
2518                  && REGNO (XEXP (DECL_RTL (parms), 0)) != STACK_POINTER_REGNUM
2519 #if ARG_POINTER_REGNUM != HARD_FRAME_POINTER_REGNUM
2520                  && REGNO (XEXP (DECL_RTL (parms), 0)) != ARG_POINTER_REGNUM
2521 #endif
2522                  )
2523           {
2524             /* Parm was passed via invisible reference.
2525                That is, its address was passed in a register.
2526                Output it as if it lived in that register.
2527                The debugger will know from the type
2528                that it was actually passed by invisible reference.  */
2529
2530             char regparm_letter;
2531             /* Parm passed in registers and lives in registers or nowhere.  */
2532
2533             current_sym_code = DBX_REGPARM_STABS_CODE;
2534             if (use_gnu_debug_info_extensions)
2535               regparm_letter = GDB_INV_REF_REGPARM_STABS_LETTER;
2536             else
2537               regparm_letter = DBX_REGPARM_STABS_LETTER;
2538
2539             /* DECL_RTL looks like (MEM (REG...).  Get the register number.
2540                If it is an unallocated pseudo-reg, then use the register where
2541                it was passed instead.  */
2542             if (REGNO (XEXP (DECL_RTL (parms), 0)) < FIRST_PSEUDO_REGISTER)
2543               current_sym_value = REGNO (XEXP (DECL_RTL (parms), 0));
2544             else
2545               current_sym_value = REGNO (DECL_INCOMING_RTL (parms));
2546
2547             current_sym_addr = 0;
2548
2549             FORCE_TEXT;
2550             if (DECL_NAME (parms))
2551               {
2552                 current_sym_nchars
2553                   = 2 + strlen (IDENTIFIER_POINTER (DECL_NAME (parms)));
2554
2555                 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2556                          IDENTIFIER_POINTER (DECL_NAME (parms)),
2557                          regparm_letter);
2558               }
2559             else
2560               {
2561                 current_sym_nchars = 8;
2562                 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2563                          regparm_letter);
2564               }
2565
2566             dbxout_type (TREE_TYPE (parms), 0);
2567             dbxout_finish_symbol (parms);
2568           }
2569         else if (GET_CODE (DECL_RTL (parms)) == MEM
2570                  && GET_CODE (XEXP (DECL_RTL (parms), 0)) == MEM)
2571           {
2572             /* Parm was passed via invisible reference, with the reference
2573                living on the stack.  DECL_RTL looks like
2574                (MEM (MEM (PLUS (REG ...) (CONST_INT ...)))) or it
2575                could look like (MEM (MEM (REG))).  */
2576             const char *const decl_name = (DECL_NAME (parms)
2577                                      ? IDENTIFIER_POINTER (DECL_NAME (parms))
2578                                      : "(anon)");
2579            if (GET_CODE (XEXP (XEXP (DECL_RTL (parms), 0), 0)) == REG)
2580               current_sym_value = 0;
2581             else
2582               current_sym_value
2583                 = INTVAL (XEXP (XEXP (XEXP (DECL_RTL (parms), 0), 0), 1));
2584             current_sym_addr = 0;
2585               
2586             FORCE_TEXT;
2587             fprintf (asmfile, "%s\"%s:v", ASM_STABS_OP, decl_name);
2588             dbxout_type (TREE_TYPE (parms), 0);
2589             dbxout_finish_symbol (parms);
2590           }
2591         else if (GET_CODE (DECL_RTL (parms)) == MEM
2592                  && XEXP (DECL_RTL (parms), 0) != const0_rtx
2593                  /* ??? A constant address for a parm can happen
2594                     when the reg it lives in is equiv to a constant in memory.
2595                     Should make this not happen, after 2.4.  */
2596                  && ! CONSTANT_P (XEXP (DECL_RTL (parms), 0)))
2597           {
2598             /* Parm was passed in registers but lives on the stack.  */
2599
2600             current_sym_code = N_PSYM;
2601             /* DECL_RTL looks like (MEM (PLUS (REG...) (CONST_INT...))),
2602                in which case we want the value of that CONST_INT,
2603                or (MEM (REG ...)),
2604                in which case we use a value of zero.  */
2605             if (GET_CODE (XEXP (DECL_RTL (parms), 0)) == REG)
2606               current_sym_value = 0;
2607             else
2608                 current_sym_value
2609                   = INTVAL (XEXP (XEXP (DECL_RTL (parms), 0), 1));
2610
2611             current_sym_addr = 0;
2612
2613             /* Make a big endian correction if the mode of the type of the
2614                parameter is not the same as the mode of the rtl.  */
2615             if (BYTES_BIG_ENDIAN
2616                 && TYPE_MODE (TREE_TYPE (parms)) != GET_MODE (DECL_RTL (parms))
2617                 && GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (parms))) < UNITS_PER_WORD)
2618               {
2619                 current_sym_value += 
2620                     GET_MODE_SIZE (GET_MODE (DECL_RTL (parms)))
2621                     - GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (parms)));
2622               }
2623
2624             FORCE_TEXT;
2625             if (DECL_NAME (parms))
2626               {
2627                 current_sym_nchars
2628                   = 2 + strlen (IDENTIFIER_POINTER (DECL_NAME (parms)));
2629
2630                 fprintf (asmfile, "%s\"%s:%c", ASM_STABS_OP,
2631                          IDENTIFIER_POINTER (DECL_NAME (parms)),
2632                          DBX_MEMPARM_STABS_LETTER);
2633               }
2634             else
2635               {
2636                 current_sym_nchars = 8;
2637                 fprintf (asmfile, "%s\"(anon):%c", ASM_STABS_OP,
2638                 DBX_MEMPARM_STABS_LETTER);
2639               }
2640
2641             current_sym_value
2642               = DEBUGGER_ARG_OFFSET (current_sym_value,
2643                                      XEXP (DECL_RTL (parms), 0));
2644             dbxout_type (TREE_TYPE (parms), 0);
2645             dbxout_finish_symbol (parms);
2646           }
2647       }
2648 }
2649
2650 /* Output definitions for the places where parms live during the function,
2651    when different from where they were passed, when the parms were passed
2652    in memory.
2653
2654    It is not useful to do this for parms passed in registers
2655    that live during the function in different registers, because it is
2656    impossible to look in the passed register for the passed value,
2657    so we use the within-the-function register to begin with.
2658
2659    PARMS is a chain of PARM_DECL nodes.  */
2660
2661 void
2662 dbxout_reg_parms (parms)
2663      tree parms;
2664 {
2665   for (; parms; parms = TREE_CHAIN (parms))
2666     if (DECL_NAME (parms) && PARM_PASSED_IN_MEMORY (parms))
2667       {
2668         dbxout_prepare_symbol (parms);
2669
2670         /* Report parms that live in registers during the function
2671            but were passed in memory.  */
2672         if (GET_CODE (DECL_RTL (parms)) == REG
2673             && REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER)
2674           dbxout_symbol_location (parms, TREE_TYPE (parms),
2675                                   0, DECL_RTL (parms));
2676         else if (GET_CODE (DECL_RTL (parms)) == CONCAT)
2677           dbxout_symbol_location (parms, TREE_TYPE (parms),
2678                                   0, DECL_RTL (parms));
2679         /* Report parms that live in memory but not where they were passed.  */
2680         else if (GET_CODE (DECL_RTL (parms)) == MEM
2681                  && ! rtx_equal_p (DECL_RTL (parms), DECL_INCOMING_RTL (parms)))
2682           dbxout_symbol_location (parms, TREE_TYPE (parms),
2683                                   0, DECL_RTL (parms));
2684       }
2685 }
2686 \f
2687 /* Given a chain of ..._TYPE nodes (as come in a parameter list),
2688    output definitions of those names, in raw form */
2689
2690 static void
2691 dbxout_args (args)
2692      tree args;
2693 {
2694   while (args)
2695     {
2696       putc (',', asmfile);
2697       dbxout_type (TREE_VALUE (args), 0);
2698       CHARS (1);
2699       args = TREE_CHAIN (args);
2700     }
2701 }
2702 \f
2703 /* Output everything about a symbol block (a BLOCK node
2704    that represents a scope level),
2705    including recursive output of contained blocks.
2706
2707    BLOCK is the BLOCK node.
2708    DEPTH is its depth within containing symbol blocks.
2709    ARGS is usually zero; but for the outermost block of the
2710    body of a function, it is a chain of PARM_DECLs for the function parameters.
2711    We output definitions of all the register parms
2712    as if they were local variables of that block.
2713
2714    If -g1 was used, we count blocks just the same, but output nothing
2715    except for the outermost block.
2716
2717    Actually, BLOCK may be several blocks chained together.
2718    We handle them all in sequence.  */
2719
2720 static void
2721 dbxout_block (block, depth, args)
2722      tree block;
2723      int depth;
2724      tree args;
2725 {
2726   int blocknum = -1;
2727
2728 #if DBX_BLOCKS_FUNCTION_RELATIVE
2729   const char *begin_label; 
2730   if (current_function_func_begin_label != NULL_TREE)
2731     begin_label = IDENTIFIER_POINTER (current_function_func_begin_label);
2732   else
2733     begin_label = XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0);
2734 #endif
2735
2736   while (block)
2737     {
2738       /* Ignore blocks never expanded or otherwise marked as real.  */
2739       if (TREE_USED (block) && TREE_ASM_WRITTEN (block))
2740         {
2741           int did_output;
2742
2743 #ifdef DBX_LBRAC_FIRST
2744           did_output = 1;
2745 #else
2746           /* In dbx format, the syms of a block come before the N_LBRAC.
2747              If nothing is output, we don't need the N_LBRAC, either.  */
2748           did_output = 0;
2749           if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0)
2750             did_output = dbxout_syms (BLOCK_VARS (block));
2751           if (args)
2752             dbxout_reg_parms (args);
2753 #endif
2754
2755           /* Now output an N_LBRAC symbol to represent the beginning of
2756              the block.  Use the block's tree-walk order to generate
2757              the assembler symbols LBBn and LBEn
2758              that final will define around the code in this block.  */
2759           if (depth > 0 && did_output)
2760             {
2761               char buf[20];
2762               blocknum = BLOCK_NUMBER (block);
2763               ASM_GENERATE_INTERNAL_LABEL (buf, "LBB", blocknum);
2764
2765               if (BLOCK_HANDLER_BLOCK (block))
2766                 {
2767                   /* A catch block.  Must precede N_LBRAC.  */
2768                   tree decl = BLOCK_VARS (block);
2769                   while (decl)
2770                     {
2771 #ifdef DBX_OUTPUT_CATCH
2772                       DBX_OUTPUT_CATCH (asmfile, decl, buf);
2773 #else
2774                       fprintf (asmfile, "%s\"%s:C1\",%d,0,0,", ASM_STABS_OP,
2775                                IDENTIFIER_POINTER (DECL_NAME (decl)), N_CATCH);
2776                       assemble_name (asmfile, buf);
2777                       fprintf (asmfile, "\n");
2778 #endif
2779                       decl = TREE_CHAIN (decl);
2780                     }
2781                 }
2782
2783 #ifdef DBX_OUTPUT_LBRAC
2784               DBX_OUTPUT_LBRAC (asmfile, buf);
2785 #else
2786               fprintf (asmfile, "%s%d,0,0,", ASM_STABN_OP, N_LBRAC);
2787               assemble_name (asmfile, buf);
2788 #if DBX_BLOCKS_FUNCTION_RELATIVE
2789               putc ('-', asmfile);
2790               assemble_name (asmfile, begin_label);
2791 #endif
2792               fprintf (asmfile, "\n");
2793 #endif
2794             }
2795
2796 #ifdef DBX_LBRAC_FIRST
2797           /* On some weird machines, the syms of a block
2798              come after the N_LBRAC.  */
2799           if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0)
2800             dbxout_syms (BLOCK_VARS (block));
2801           if (args)
2802             dbxout_reg_parms (args);
2803 #endif
2804
2805           /* Output the subblocks.  */
2806           dbxout_block (BLOCK_SUBBLOCKS (block), depth + 1, NULL_TREE);
2807
2808           /* Refer to the marker for the end of the block.  */
2809           if (depth > 0 && did_output)
2810             {
2811               char buf[20];
2812               ASM_GENERATE_INTERNAL_LABEL (buf, "LBE", blocknum);
2813 #ifdef DBX_OUTPUT_RBRAC
2814               DBX_OUTPUT_RBRAC (asmfile, buf);
2815 #else
2816               fprintf (asmfile, "%s%d,0,0,", ASM_STABN_OP, N_RBRAC);
2817               assemble_name (asmfile, buf);
2818 #if DBX_BLOCKS_FUNCTION_RELATIVE
2819               putc ('-', asmfile);
2820               assemble_name (asmfile, begin_label);
2821 #endif
2822               fprintf (asmfile, "\n");
2823 #endif
2824             }
2825         }
2826       block = BLOCK_CHAIN (block);
2827     }
2828 }
2829
2830 /* Output the information about a function and its arguments and result.
2831    Usually this follows the function's code,
2832    but on some systems, it comes before.  */
2833
2834 #if defined (DBX_DEBUGGING_INFO)
2835 static void
2836 dbxout_begin_function (decl)
2837      tree decl;
2838 {
2839   dbxout_symbol (decl, 0);
2840   dbxout_parms (DECL_ARGUMENTS (decl));
2841   if (DECL_NAME (DECL_RESULT (decl)) != 0)
2842     dbxout_symbol (DECL_RESULT (decl), 1);
2843 }
2844 #endif /* DBX_DEBUGGING_INFO */
2845
2846 #endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */