Merge from vendor branch CVS:
[dragonfly.git] / contrib / gcc / sdbout.c
1 /* Output sdb-format symbol table information from GNU compiler.
2    Copyright (C) 1988, 92-97, 1998 Free Software Foundation, Inc.
3
4 This file is part of GNU CC.
5
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
10
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING.  If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA.  */
20
21 /*  mike@tredysvr.Tredydev.Unisys.COM says:
22 I modified the struct.c example and have a nm of a .o resulting from the
23 AT&T C compiler.  From the example below I would conclude the following:
24
25 1. All .defs from structures are emitted as scanned.  The example below
26    clearly shows the symbol table entries for BoxRec2 are after the first
27    function.
28
29 2. All functions and their locals (including statics) are emitted as scanned.
30
31 3. All nested unnamed union and structure .defs must be emitted before
32    the structure in which they are nested.  The AT&T assembler is a
33    one pass beast as far as symbolics are concerned.
34
35 4. All structure .defs are emitted before the typedefs that refer to them.
36
37 5. All top level static and external variable definitions are moved to the
38    end of file with all top level statics occurring first before externs.
39
40 6. All undefined references are at the end of the file.
41 */
42
43 #include "config.h"
44
45 #ifdef SDB_DEBUGGING_INFO
46
47 #include "system.h"
48 #include "tree.h"
49 #include "rtl.h"
50 #include "regs.h"
51 #include "defaults.h"
52 #include "flags.h"
53 #include "insn-config.h"
54 #include "reload.h"
55 #include "output.h"
56 #include "toplev.h"
57
58 /* Mips systems use the SDB functions to dump out symbols, but do not
59    supply usable syms.h include files.  Which syms.h file to use is a
60    target parameter so don't use the native one if we're cross compiling.  */
61
62 #if defined(USG) && !defined(MIPS) && !defined (hpux) && !defined(_WIN32) && !defined(__linux__) && !defined(__INTERIX) && !defined(CROSS_COMPILE)
63 #include <syms.h>
64 /* Use T_INT if we don't have T_VOID.  */
65 #ifndef T_VOID
66 #define T_VOID T_INT
67 #endif
68 #else
69 #include "gsyms.h"
70 #endif
71
72 /* #include <storclass.h>  used to be this instead of syms.h.  */
73
74 /* 1 if PARM is passed to this function in memory.  */
75
76 #define PARM_PASSED_IN_MEMORY(PARM) \
77  (GET_CODE (DECL_INCOMING_RTL (PARM)) == MEM)
78
79 /* A C expression for the integer offset value of an automatic variable
80    (C_AUTO) having address X (an RTX).  */
81 #ifndef DEBUGGER_AUTO_OFFSET
82 #define DEBUGGER_AUTO_OFFSET(X) \
83   (GET_CODE (X) == PLUS ? INTVAL (XEXP (X, 1)) : 0)
84 #endif
85
86 /* A C expression for the integer offset value of an argument (C_ARG)
87    having address X (an RTX).  The nominal offset is OFFSET.  */
88 #ifndef DEBUGGER_ARG_OFFSET
89 #define DEBUGGER_ARG_OFFSET(OFFSET, X) (OFFSET)
90 #endif
91
92 /* Line number of beginning of current function, minus one.
93    Negative means not in a function or not using sdb.  */
94
95 int sdb_begin_function_line = -1;
96
97 /* Counter to generate unique "names" for nameless struct members.  */
98
99 static int unnamed_struct_number = 0;
100
101 extern FILE *asm_out_file;
102
103 extern tree current_function_decl;
104
105 #include "sdbout.h"
106
107 static char *gen_fake_label             PROTO((void));
108 static int plain_type                   PROTO((tree));
109 static int template_name_p              PROTO((tree));
110 static void sdbout_record_type_name     PROTO((tree));
111 static int plain_type_1                 PROTO((tree, int));
112 static void sdbout_block                PROTO((tree));
113 static void sdbout_syms                 PROTO((tree));
114 static void sdbout_queue_anonymous_type PROTO((tree));
115 static void sdbout_dequeue_anonymous_types PROTO((void));
116 static void sdbout_type                 PROTO((tree));
117 static void sdbout_field_types          PROTO((tree));
118 static void sdbout_one_type             PROTO((tree));
119 static void sdbout_parms                PROTO((tree));
120 static void sdbout_reg_parms            PROTO((tree));
121 \f
122 /* Define the default sizes for various types.  */
123
124 #ifndef CHAR_TYPE_SIZE
125 #define CHAR_TYPE_SIZE BITS_PER_UNIT
126 #endif
127
128 #ifndef SHORT_TYPE_SIZE
129 #define SHORT_TYPE_SIZE (BITS_PER_UNIT * MIN ((UNITS_PER_WORD + 1) / 2, 2))
130 #endif
131
132 #ifndef INT_TYPE_SIZE
133 #define INT_TYPE_SIZE BITS_PER_WORD
134 #endif
135
136 #ifndef LONG_TYPE_SIZE
137 #define LONG_TYPE_SIZE BITS_PER_WORD
138 #endif
139
140 #ifndef LONG_LONG_TYPE_SIZE
141 #define LONG_LONG_TYPE_SIZE (BITS_PER_WORD * 2)
142 #endif
143
144 #ifndef FLOAT_TYPE_SIZE
145 #define FLOAT_TYPE_SIZE BITS_PER_WORD
146 #endif
147
148 #ifndef DOUBLE_TYPE_SIZE
149 #define DOUBLE_TYPE_SIZE (BITS_PER_WORD * 2)
150 #endif
151
152 #ifndef LONG_DOUBLE_TYPE_SIZE
153 #define LONG_DOUBLE_TYPE_SIZE (BITS_PER_WORD * 2)
154 #endif
155 \f
156 /* Random macros describing parts of SDB data.  */
157
158 /* Put something here if lines get too long */
159 #define CONTIN
160
161 /* Default value of delimiter is ";".  */
162 #ifndef SDB_DELIM
163 #define SDB_DELIM       ";"
164 #endif
165
166 /* Maximum number of dimensions the assembler will allow.  */
167 #ifndef SDB_MAX_DIM
168 #define SDB_MAX_DIM 4
169 #endif
170
171 #ifndef PUT_SDB_SCL
172 #define PUT_SDB_SCL(a) fprintf(asm_out_file, "\t.scl\t%d%s", (a), SDB_DELIM)
173 #endif
174
175 #ifndef PUT_SDB_INT_VAL
176 #define PUT_SDB_INT_VAL(a) \
177  do {                                                                   \
178    fputs ("\t.val\t", asm_out_file);                                    \
179    fprintf (asm_out_file, HOST_WIDE_INT_PRINT_DEC, (HOST_WIDE_INT)(a)); \
180    fprintf (asm_out_file, "%s", SDB_DELIM);                             \
181  } while (0)
182
183 #endif
184
185 #ifndef PUT_SDB_VAL
186 #define PUT_SDB_VAL(a)                          \
187 ( fputs ("\t.val\t", asm_out_file),             \
188   output_addr_const (asm_out_file, (a)),        \
189   fprintf (asm_out_file, SDB_DELIM))
190 #endif
191
192 #ifndef PUT_SDB_DEF
193 #define PUT_SDB_DEF(a)                          \
194 do { fprintf (asm_out_file, "\t.def\t");        \
195      ASM_OUTPUT_LABELREF (asm_out_file, a);     \
196      fprintf (asm_out_file, SDB_DELIM); } while (0)
197 #endif
198
199 #ifndef PUT_SDB_PLAIN_DEF
200 #define PUT_SDB_PLAIN_DEF(a) fprintf(asm_out_file,"\t.def\t.%s%s",a, SDB_DELIM)
201 #endif
202
203 #ifndef PUT_SDB_ENDEF
204 #define PUT_SDB_ENDEF fputs("\t.endef\n", asm_out_file)
205 #endif
206
207 #ifndef PUT_SDB_TYPE
208 #define PUT_SDB_TYPE(a) fprintf(asm_out_file, "\t.type\t0%o%s", a, SDB_DELIM)
209 #endif
210
211 #ifndef PUT_SDB_SIZE
212 #define PUT_SDB_SIZE(a) \
213  do {                                                                   \
214    fputs ("\t.size\t", asm_out_file);                                   \
215    fprintf (asm_out_file, HOST_WIDE_INT_PRINT_DEC, (HOST_WIDE_INT)(a)); \
216    fprintf (asm_out_file, "%s", SDB_DELIM);                             \
217  } while(0)
218 #endif
219
220 #ifndef PUT_SDB_START_DIM
221 #define PUT_SDB_START_DIM fprintf(asm_out_file, "\t.dim\t")
222 #endif
223
224 #ifndef PUT_SDB_NEXT_DIM
225 #define PUT_SDB_NEXT_DIM(a) fprintf(asm_out_file, "%d,", a)
226 #endif
227
228 #ifndef PUT_SDB_LAST_DIM
229 #define PUT_SDB_LAST_DIM(a) fprintf(asm_out_file, "%d%s", a, SDB_DELIM)
230 #endif
231
232 #ifndef PUT_SDB_TAG
233 #define PUT_SDB_TAG(a)                          \
234 do { fprintf (asm_out_file, "\t.tag\t");        \
235      ASM_OUTPUT_LABELREF (asm_out_file, a);     \
236      fprintf (asm_out_file, SDB_DELIM); } while (0)
237 #endif
238
239 #ifndef PUT_SDB_BLOCK_START
240 #define PUT_SDB_BLOCK_START(LINE)               \
241   fprintf (asm_out_file,                        \
242            "\t.def\t.bb%s\t.val\t.%s\t.scl\t100%s\t.line\t%d%s\t.endef\n", \
243            SDB_DELIM, SDB_DELIM, SDB_DELIM, (LINE), SDB_DELIM)
244 #endif
245
246 #ifndef PUT_SDB_BLOCK_END
247 #define PUT_SDB_BLOCK_END(LINE)                 \
248   fprintf (asm_out_file,                        \
249            "\t.def\t.eb%s\t.val\t.%s\t.scl\t100%s\t.line\t%d%s\t.endef\n",  \
250            SDB_DELIM, SDB_DELIM, SDB_DELIM, (LINE), SDB_DELIM)
251 #endif
252
253 #ifndef PUT_SDB_FUNCTION_START
254 #define PUT_SDB_FUNCTION_START(LINE)            \
255   fprintf (asm_out_file,                        \
256            "\t.def\t.bf%s\t.val\t.%s\t.scl\t101%s\t.line\t%d%s\t.endef\n", \
257            SDB_DELIM, SDB_DELIM, SDB_DELIM, (LINE), SDB_DELIM)
258 #endif
259
260 #ifndef PUT_SDB_FUNCTION_END
261 #define PUT_SDB_FUNCTION_END(LINE)              \
262   fprintf (asm_out_file,                        \
263            "\t.def\t.ef%s\t.val\t.%s\t.scl\t101%s\t.line\t%d%s\t.endef\n", \
264            SDB_DELIM, SDB_DELIM, SDB_DELIM, (LINE), SDB_DELIM)
265 #endif
266
267 #ifndef PUT_SDB_EPILOGUE_END
268 #define PUT_SDB_EPILOGUE_END(NAME)                      \
269 do { fprintf (asm_out_file, "\t.def\t");                \
270      ASM_OUTPUT_LABELREF (asm_out_file, NAME);          \
271      fprintf (asm_out_file,                             \
272               "%s\t.val\t.%s\t.scl\t-1%s\t.endef\n",    \
273               SDB_DELIM, SDB_DELIM, SDB_DELIM); } while (0)
274 #endif
275
276 #ifndef SDB_GENERATE_FAKE
277 #define SDB_GENERATE_FAKE(BUFFER, NUMBER) \
278   sprintf ((BUFFER), ".%dfake", (NUMBER));
279 #endif
280
281 /* Return the sdb tag identifier string for TYPE
282    if TYPE has already been defined; otherwise return a null pointer.   */
283
284 #define KNOWN_TYPE_TAG(type)  TYPE_SYMTAB_POINTER (type)
285
286 /* Set the sdb tag identifier string for TYPE to NAME.  */
287
288 #define SET_KNOWN_TYPE_TAG(TYPE, NAME) \
289   TYPE_SYMTAB_POINTER (TYPE) = (NAME)
290
291 /* Return the name (a string) of the struct, union or enum tag
292    described by the TREE_LIST node LINK.  This is 0 for an anonymous one.  */
293
294 #define TAG_NAME(link) \
295   (((link) && TREE_PURPOSE ((link)) \
296     && IDENTIFIER_POINTER (TREE_PURPOSE ((link)))) \
297    ? IDENTIFIER_POINTER (TREE_PURPOSE ((link))) : (char *) 0)
298
299 /* Ensure we don't output a negative line number.  */
300 #define MAKE_LINE_SAFE(line)  \
301   if (line <= sdb_begin_function_line) line = sdb_begin_function_line + 1
302
303 /* Perform linker optimization of merging header file definitions together
304    for targets with MIPS_DEBUGGING_INFO defined.  This won't work without a
305    post 960826 version of GAS.  Nothing breaks with earlier versions of GAS,
306    the optimization just won't be done.  The native assembler already has the
307    necessary support.  */
308
309 #ifdef MIPS_DEBUGGING_INFO
310
311 #ifndef PUT_SDB_SRC_FILE
312 #define PUT_SDB_SRC_FILE(FILENAME) \
313 output_file_directive (asm_out_file, (FILENAME))
314 #endif
315
316 /* ECOFF linkers have an optimization that does the same kind of thing as
317    N_BINCL/E_INCL in stabs: eliminate duplicate debug information in the
318    executable.  To achieve this, GCC must output a .file for each file
319    name change.  */
320
321 /* This is a stack of input files.  */
322
323 struct sdb_file
324 {
325   struct sdb_file *next;
326   char *name;
327 };
328
329 /* This is the top of the stack.  */
330
331 static struct sdb_file *current_file;
332
333 #endif /* MIPS_DEBUGGING_INFO */
334 \f
335 /* Set up for SDB output at the start of compilation.  */
336
337 void
338 sdbout_init (asm_file, input_file_name, syms)
339      FILE *asm_file;
340      char *input_file_name;
341      tree syms ATTRIBUTE_UNUSED;
342 {
343 #ifdef MIPS_DEBUGGING_INFO
344   current_file = (struct sdb_file *) xmalloc (sizeof *current_file);
345   current_file->next = NULL;
346   current_file->name = input_file_name;
347 #endif
348
349 #ifdef RMS_QUICK_HACK_1
350   tree t;
351   for (t = syms; t; t = TREE_CHAIN (t))
352     if (DECL_NAME (t) && IDENTIFIER_POINTER (DECL_NAME (t)) != 0
353         && !strcmp (IDENTIFIER_POINTER (DECL_NAME (t)), "__vtbl_ptr_type"))
354       sdbout_symbol (t, 0);
355 #endif  
356 }
357
358 #if 0
359
360 /* return the tag identifier for type
361  */
362
363 char *
364 tag_of_ru_type (type,link)
365      tree type,link;
366 {
367   if (TYPE_SYMTAB_ADDRESS (type))
368     return TYPE_SYMTAB_ADDRESS (type);
369   if (link && TREE_PURPOSE (link)
370       && IDENTIFIER_POINTER (TREE_PURPOSE (link)))
371     TYPE_SYMTAB_ADDRESS (type) = IDENTIFIER_POINTER (TREE_PURPOSE (link));
372   else
373     return (char *) TYPE_SYMTAB_ADDRESS (type);
374 }
375 #endif
376
377 /* Return a unique string to name an anonymous type.  */
378
379 static char *
380 gen_fake_label ()
381 {
382   char label[10];
383   char *labelstr;
384   SDB_GENERATE_FAKE (label, unnamed_struct_number);
385   unnamed_struct_number++;
386   labelstr = (char *) permalloc (strlen (label) + 1);
387   strcpy (labelstr, label);
388   return labelstr;
389 }
390 \f
391 /* Return the number which describes TYPE for SDB.
392    For pointers, etc., this function is recursive.
393    Each record, union or enumeral type must already have had a
394    tag number output.  */
395
396 /* The number is given by d6d5d4d3d2d1bbbb
397    where bbbb is 4 bit basic type, and di indicate  one of notype,ptr,fn,array.
398    Thus, char *foo () has bbbb=T_CHAR
399                           d1=D_FCN
400                           d2=D_PTR
401  N_BTMASK=     017       1111     basic type field.
402  N_TSHIFT=       2                derived type shift
403  N_BTSHFT=       4                Basic type shift */
404
405 /* Produce the number that describes a pointer, function or array type.
406    PREV is the number describing the target, value or element type.
407    DT_type describes how to transform that type.  */
408 #define PUSH_DERIVED_LEVEL(DT_type,PREV)                \
409   ((((PREV) & ~(int)N_BTMASK) << (int)N_TSHIFT)         \
410    | ((int)DT_type << (int)N_BTSHFT)                    \
411    | ((PREV) & (int)N_BTMASK))
412
413 /* Number of elements used in sdb_dims.  */
414 static int sdb_n_dims = 0;
415
416 /* Table of array dimensions of current type.  */
417 static int sdb_dims[SDB_MAX_DIM];
418
419 /* Size of outermost array currently being processed.  */
420 static int sdb_type_size = -1;
421
422 static int
423 plain_type (type)
424      tree type;
425 {
426   int val = plain_type_1 (type, 0);
427
428   /* If we have already saved up some array dimensions, print them now.  */
429   if (sdb_n_dims > 0)
430     {
431       int i;
432       PUT_SDB_START_DIM;
433       for (i = sdb_n_dims - 1; i > 0; i--)
434         PUT_SDB_NEXT_DIM (sdb_dims[i]);
435       PUT_SDB_LAST_DIM (sdb_dims[0]);
436       sdb_n_dims = 0;
437
438       sdb_type_size = int_size_in_bytes (type);
439       /* Don't kill sdb if type is not laid out or has variable size.  */
440       if (sdb_type_size < 0)
441         sdb_type_size = 0;
442     }
443   /* If we have computed the size of an array containing this type,
444      print it now.  */
445   if (sdb_type_size >= 0)
446     {
447       PUT_SDB_SIZE (sdb_type_size);
448       sdb_type_size = -1;
449     }
450   return val;
451 }
452
453 static int
454 template_name_p (name)
455      tree name;
456 {
457   register char *ptr = IDENTIFIER_POINTER (name);
458   while (*ptr && *ptr != '<')
459     ptr++;
460
461   return *ptr != '\0';
462 }
463
464 static void
465 sdbout_record_type_name (type)
466      tree type;
467 {
468   char *name = 0;
469   int no_name;
470
471   if (KNOWN_TYPE_TAG (type))
472     return;
473
474   if (TYPE_NAME (type) != 0)
475     {
476       tree t = 0;
477       /* Find the IDENTIFIER_NODE for the type name.  */
478       if (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE)
479         t = TYPE_NAME (type);
480       else if (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL)
481         {
482           t = DECL_NAME (TYPE_NAME (type));
483           /* The DECL_NAME for templates includes "<>", which breaks
484              most assemblers.  Use its assembler name instead, which
485              has been mangled into being safe.  */
486           if (t && template_name_p (t))
487             t = DECL_ASSEMBLER_NAME (TYPE_NAME (type));
488         }
489
490       /* Now get the name as a string, or invent one.  */
491       if (t != NULL_TREE)
492         name = IDENTIFIER_POINTER (t);
493     }
494
495   no_name = (name == 0 || *name == 0);
496   if (no_name)
497     name = gen_fake_label ();
498
499   SET_KNOWN_TYPE_TAG (type, name);
500 #ifdef SDB_ALLOW_FORWARD_REFERENCES
501   if (no_name)
502     sdbout_queue_anonymous_type (type);
503 #endif
504 }
505
506 /* Return the .type value for type TYPE.
507
508    LEVEL indicates how many levels deep we have recursed into the type.
509    The SDB debug format can only represent 6 derived levels of types.
510    After that, we must output inaccurate debug info.  We deliberately
511    stop before the 7th level, so that ADA recursive types will not give an
512    infinite loop.  */
513
514 static int
515 plain_type_1 (type, level)
516      tree type;
517      int level;
518 {
519   if (type == 0)
520     type = void_type_node;
521   else if (type == error_mark_node)
522     type = integer_type_node;
523   else
524     type = TYPE_MAIN_VARIANT (type);
525
526   switch (TREE_CODE (type))
527     {
528     case VOID_TYPE:
529       return T_VOID;
530     case BOOLEAN_TYPE:
531     case INTEGER_TYPE:
532       {
533         int size = int_size_in_bytes (type) * BITS_PER_UNIT;
534
535         /* Carefully distinguish all the standard types of C,
536            without messing up if the language is not C.
537            Note that we check only for the names that contain spaces;
538            other names might occur by coincidence in other languages.  */
539         if (TYPE_NAME (type) != 0
540             && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
541             && DECL_NAME (TYPE_NAME (type)) != 0
542             && TREE_CODE (DECL_NAME (TYPE_NAME (type))) == IDENTIFIER_NODE)
543           {
544             char *name = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (type)));
545
546             if (!strcmp (name, "char"))
547               return T_CHAR;
548             if (!strcmp (name, "unsigned char"))
549               return T_UCHAR;
550             if (!strcmp (name, "signed char"))
551               return T_CHAR;
552             if (!strcmp (name, "int"))
553               return T_INT;
554             if (!strcmp (name, "unsigned int"))
555               return T_UINT;
556             if (!strcmp (name, "short int"))
557               return T_SHORT;
558             if (!strcmp (name, "short unsigned int"))
559               return T_USHORT;
560             if (!strcmp (name, "long int"))
561               return T_LONG;
562             if (!strcmp (name, "long unsigned int"))
563               return T_ULONG;
564           }
565
566         if (size == INT_TYPE_SIZE)
567           return (TREE_UNSIGNED (type) ? T_UINT : T_INT);
568         if (size == CHAR_TYPE_SIZE)
569           return (TREE_UNSIGNED (type) ? T_UCHAR : T_CHAR);
570         if (size == SHORT_TYPE_SIZE)
571           return (TREE_UNSIGNED (type) ? T_USHORT : T_SHORT);
572         if (size == LONG_TYPE_SIZE)
573           return (TREE_UNSIGNED (type) ? T_ULONG : T_LONG);
574         if (size == LONG_LONG_TYPE_SIZE)        /* better than nothing */
575           return (TREE_UNSIGNED (type) ? T_ULONG : T_LONG);
576         return 0;
577       }
578
579     case REAL_TYPE:
580       {
581         int precision = TYPE_PRECISION (type);
582         if (precision == FLOAT_TYPE_SIZE)
583           return T_FLOAT;
584         if (precision == DOUBLE_TYPE_SIZE)
585           return T_DOUBLE;
586 #ifdef EXTENDED_SDB_BASIC_TYPES
587         if (precision == LONG_DOUBLE_TYPE_SIZE)
588           return T_LNGDBL;
589 #else
590         if (precision == LONG_DOUBLE_TYPE_SIZE)
591           return T_DOUBLE;      /* better than nothing */
592 #endif
593         return 0;
594       }
595
596     case ARRAY_TYPE:
597       {
598         int m;
599         if (level >= 6)
600           return T_VOID;
601         else
602           m = plain_type_1 (TREE_TYPE (type), level+1);
603         if (sdb_n_dims < SDB_MAX_DIM)
604           sdb_dims[sdb_n_dims++]
605             = (TYPE_DOMAIN (type)
606                && TYPE_MAX_VALUE (TYPE_DOMAIN (type))
607                && TREE_CODE (TYPE_MAX_VALUE (TYPE_DOMAIN (type))) == INTEGER_CST
608                && TREE_CODE (TYPE_MIN_VALUE (TYPE_DOMAIN (type))) == INTEGER_CST
609                ? (TREE_INT_CST_LOW (TYPE_MAX_VALUE (TYPE_DOMAIN (type)))
610                   - TREE_INT_CST_LOW (TYPE_MIN_VALUE (TYPE_DOMAIN (type))) + 1)
611                : 0);
612         return PUSH_DERIVED_LEVEL (DT_ARY, m);
613       }
614
615     case RECORD_TYPE:
616     case UNION_TYPE:
617     case QUAL_UNION_TYPE:
618     case ENUMERAL_TYPE:
619       {
620         char *tag;
621 #ifdef SDB_ALLOW_FORWARD_REFERENCES
622         sdbout_record_type_name (type);
623 #endif
624 #ifndef SDB_ALLOW_UNKNOWN_REFERENCES
625         if ((TREE_ASM_WRITTEN (type) && KNOWN_TYPE_TAG (type) != 0)
626 #ifdef SDB_ALLOW_FORWARD_REFERENCES
627             || TYPE_MODE (type) != VOIDmode
628 #endif
629             )
630 #endif
631           {
632             /* Output the referenced structure tag name
633                only if the .def has already been finished.
634                At least on 386, the Unix assembler
635                cannot handle forward references to tags.  */
636             /* But the 88100, it requires them, sigh...  */
637             /* And the MIPS requires unknown refs as well...  */
638             tag = KNOWN_TYPE_TAG (type);
639             PUT_SDB_TAG (tag);
640             /* These 3 lines used to follow the close brace.
641                However, a size of 0 without a tag implies a tag of 0,
642                so if we don't know a tag, we can't mention the size.  */
643             sdb_type_size = int_size_in_bytes (type);
644             if (sdb_type_size < 0)
645               sdb_type_size = 0;
646           }
647         return ((TREE_CODE (type) == RECORD_TYPE) ? T_STRUCT
648                 : (TREE_CODE (type) == UNION_TYPE) ? T_UNION
649                 : (TREE_CODE (type) == QUAL_UNION_TYPE) ? T_UNION
650                 : T_ENUM);
651       }
652     case POINTER_TYPE:
653     case REFERENCE_TYPE:
654       {
655         int m;
656         if (level >= 6)
657           return T_VOID;
658         else
659           m = plain_type_1 (TREE_TYPE (type), level+1);
660         return PUSH_DERIVED_LEVEL (DT_PTR, m);
661       }
662     case FUNCTION_TYPE:
663     case METHOD_TYPE:
664       {
665         int m;
666         if (level >= 6)
667           return T_VOID;
668         else
669           m = plain_type_1 (TREE_TYPE (type), level+1);
670         return PUSH_DERIVED_LEVEL (DT_FCN, m);
671       }
672     default:
673       return 0;
674     }
675 }
676 \f
677 /* Output the symbols defined in block number DO_BLOCK.
678    Set NEXT_BLOCK_NUMBER to 0 before calling.
679
680    This function works by walking the tree structure of blocks,
681    counting blocks until it finds the desired block.  */
682
683 static int do_block = 0;
684
685 static int next_block_number;
686
687 static void
688 sdbout_block (block)
689      register tree block;
690 {
691   while (block)
692     {
693       /* Ignore blocks never expanded or otherwise marked as real.  */
694       if (TREE_USED (block))
695         {
696           /* When we reach the specified block, output its symbols.  */
697           if (next_block_number == do_block)
698             {
699               sdbout_syms (BLOCK_VARS (block));
700             }
701
702           /* If we are past the specified block, stop the scan.  */
703           if (next_block_number > do_block)
704             return;
705
706           next_block_number++;
707
708           /* Scan the blocks within this block.  */
709           sdbout_block (BLOCK_SUBBLOCKS (block));
710         }
711
712       block = BLOCK_CHAIN (block);
713     }
714 }
715 \f
716 /* Call sdbout_symbol on each decl in the chain SYMS.  */
717
718 static void
719 sdbout_syms (syms)
720      tree syms;
721 {
722   while (syms)
723     {
724       if (TREE_CODE (syms) != LABEL_DECL)
725         sdbout_symbol (syms, 1);
726       syms = TREE_CHAIN (syms);
727     }
728 }
729
730 /* Output SDB information for a symbol described by DECL.
731    LOCAL is nonzero if the symbol is not file-scope.  */
732
733 void
734 sdbout_symbol (decl, local)
735      tree decl;
736      int local;
737 {
738   tree type = TREE_TYPE (decl);
739   tree context = NULL_TREE;
740   rtx value;
741   int regno = -1;
742   char *name;
743
744   sdbout_one_type (type);
745
746 #if 0 /* This loses when functions are marked to be ignored,
747          which happens in the C++ front end.  */
748   if (DECL_IGNORED_P (decl))
749     return;
750 #endif
751
752   switch (TREE_CODE (decl))
753     {
754     case CONST_DECL:
755       /* Enum values are defined by defining the enum type.  */
756       return;
757
758     case FUNCTION_DECL:
759       /* Don't mention a nested function under its parent.  */
760       context = decl_function_context (decl);
761       if (context == current_function_decl)
762         return;
763       /* Check DECL_INITIAL to distinguish declarations from definitions.
764          Don't output debug info here for declarations; they will have
765          a DECL_INITIAL value of 0.  */
766       if (! DECL_INITIAL (decl))
767         return;
768       if (GET_CODE (DECL_RTL (decl)) != MEM
769           || GET_CODE (XEXP (DECL_RTL (decl), 0)) != SYMBOL_REF)
770         return;
771       PUT_SDB_DEF (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
772       PUT_SDB_VAL (XEXP (DECL_RTL (decl), 0));
773       PUT_SDB_SCL (TREE_PUBLIC (decl) ? C_EXT : C_STAT);
774       break;
775
776     case TYPE_DECL:
777       /* Done with tagged types.  */
778       if (DECL_NAME (decl) == 0)
779         return;
780       if (DECL_IGNORED_P (decl))
781         return;
782
783       /* Output typedef name.  */
784       if (template_name_p (DECL_NAME (decl)))
785         PUT_SDB_DEF (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
786       else
787         PUT_SDB_DEF (IDENTIFIER_POINTER (DECL_NAME (decl)));
788       PUT_SDB_SCL (C_TPDEF);
789       break;
790
791     case PARM_DECL:
792       /* Parm decls go in their own separate chains
793          and are output by sdbout_reg_parms and sdbout_parms.  */
794       abort ();
795
796     case VAR_DECL:
797       /* Don't mention a variable that is external.
798          Let the file that defines it describe it.  */
799       if (DECL_EXTERNAL (decl))
800         return;
801
802       /* Ignore __FUNCTION__, etc.  */
803       if (DECL_IGNORED_P (decl))
804         return;
805
806       /* If there was an error in the declaration, don't dump core
807          if there is no RTL associated with the variable doesn't
808          exist.  */
809       if (DECL_RTL (decl) == 0)
810         return;
811
812       DECL_RTL (decl) = eliminate_regs (DECL_RTL (decl), 0, NULL_RTX);
813 #ifdef LEAF_REG_REMAP
814       if (current_function_uses_only_leaf_regs)
815         leaf_renumber_regs_insn (DECL_RTL (decl));
816 #endif
817       value = DECL_RTL (decl);
818
819       /* Don't mention a variable at all
820          if it was completely optimized into nothingness.
821
822          If DECL was from an inline function, then its rtl
823          is not identically the rtl that was used in this
824          particular compilation.  */
825       if (GET_CODE (value) == REG)
826         {
827           regno = REGNO (DECL_RTL (decl));
828           if (regno >= FIRST_PSEUDO_REGISTER)
829             return;
830         }
831       else if (GET_CODE (value) == SUBREG)
832         {
833           int offset = 0;
834           while (GET_CODE (value) == SUBREG)
835             {
836               offset += SUBREG_WORD (value);
837               value = SUBREG_REG (value);
838             }
839           if (GET_CODE (value) == REG)
840             {
841               regno = REGNO (value);
842               if (regno >= FIRST_PSEUDO_REGISTER)
843                 return;
844               regno += offset;
845             }
846           alter_subreg (DECL_RTL (decl));
847           value = DECL_RTL (decl);
848         }
849       /* Don't output anything if an auto variable
850          gets RTL that is static.
851          GAS version 2.2 can't handle such output.  */
852       else if (GET_CODE (value) == MEM && CONSTANT_P (XEXP (value, 0))
853                && ! TREE_STATIC (decl))
854         return;
855
856       /* Emit any structure, union, or enum type that has not been output.
857          This occurs for tag-less structs (et al) used to declare variables
858          within functions.  */
859       if (TREE_CODE (type) == ENUMERAL_TYPE
860           || TREE_CODE (type) == RECORD_TYPE
861           || TREE_CODE (type) == UNION_TYPE
862           || TREE_CODE (type) == QUAL_UNION_TYPE)
863         {
864           if (TYPE_SIZE (type) != 0             /* not a forward reference */
865               && KNOWN_TYPE_TAG (type) == 0)    /* not yet declared */
866             sdbout_one_type (type);
867         }
868
869       /* Defer SDB information for top-level initialized variables! */
870       if (! local
871           && GET_CODE (value) == MEM
872           && DECL_INITIAL (decl))
873         return;
874
875       /* C++ in 2.3 makes nameless symbols.  That will be fixed later.
876          For now, avoid crashing.  */
877       if (DECL_NAME (decl) == NULL_TREE)
878         return;
879
880       /* Record the name for, starting a symtab entry.  */
881       name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
882
883       if (GET_CODE (value) == MEM
884           && GET_CODE (XEXP (value, 0)) == SYMBOL_REF)
885         {
886           PUT_SDB_DEF (name);
887           if (TREE_PUBLIC (decl))
888             {
889               PUT_SDB_VAL (XEXP (value, 0));
890               PUT_SDB_SCL (C_EXT);
891             }
892           else
893             {
894               PUT_SDB_VAL (XEXP (value, 0));
895               PUT_SDB_SCL (C_STAT);
896             }
897         }
898       else if (regno >= 0)
899         {
900           PUT_SDB_DEF (name);
901           PUT_SDB_INT_VAL (DBX_REGISTER_NUMBER (regno));
902           PUT_SDB_SCL (C_REG);
903         }
904       else if (GET_CODE (value) == MEM
905                && (GET_CODE (XEXP (value, 0)) == MEM
906                    || (GET_CODE (XEXP (value, 0)) == REG
907                        && REGNO (XEXP (value, 0)) != HARD_FRAME_POINTER_REGNUM
908                        && REGNO (XEXP (value, 0)) != STACK_POINTER_REGNUM)))
909         /* If the value is indirect by memory or by a register
910            that isn't the frame pointer
911            then it means the object is variable-sized and address through
912            that register or stack slot.  COFF has no way to represent this
913            so all we can do is output the variable as a pointer.  */
914         {
915           PUT_SDB_DEF (name);
916           if (GET_CODE (XEXP (value, 0)) == REG)
917             {
918               PUT_SDB_INT_VAL (DBX_REGISTER_NUMBER (REGNO (XEXP (value, 0))));
919               PUT_SDB_SCL (C_REG);
920             }
921           else
922             {
923               /* DECL_RTL looks like (MEM (MEM (PLUS (REG...)
924                  (CONST_INT...)))).
925                  We want the value of that CONST_INT.  */
926               /* Encore compiler hates a newline in a macro arg, it seems.  */
927               PUT_SDB_INT_VAL (DEBUGGER_AUTO_OFFSET
928                                (XEXP (XEXP (value, 0), 0)));
929               PUT_SDB_SCL (C_AUTO);
930             }
931
932           /* Effectively do build_pointer_type, but don't cache this type,
933              since it might be temporary whereas the type it points to
934              might have been saved for inlining.  */
935           /* Don't use REFERENCE_TYPE because dbx can't handle that.  */
936           type = make_node (POINTER_TYPE);
937           TREE_TYPE (type) = TREE_TYPE (decl);
938         }
939       else if (GET_CODE (value) == MEM
940                && ((GET_CODE (XEXP (value, 0)) == PLUS
941                     && GET_CODE (XEXP (XEXP (value, 0), 0)) == REG
942                     && GET_CODE (XEXP (XEXP (value, 0), 1)) == CONST_INT)
943                    /* This is for variables which are at offset zero from
944                       the frame pointer.  This happens on the Alpha.
945                       Non-frame pointer registers are excluded above.  */
946                    || (GET_CODE (XEXP (value, 0)) == REG)))
947         {
948           /* DECL_RTL looks like (MEM (PLUS (REG...) (CONST_INT...)))
949              or (MEM (REG...)).  We want the value of that CONST_INT
950              or zero.  */
951           PUT_SDB_DEF (name);
952           PUT_SDB_INT_VAL (DEBUGGER_AUTO_OFFSET (XEXP (value, 0)));
953           PUT_SDB_SCL (C_AUTO);
954         }
955       else if (GET_CODE (value) == MEM && GET_CODE (XEXP (value, 0)) == CONST)
956         {
957           /* Handle an obscure case which can arise when optimizing and
958              when there are few available registers.  (This is *always*
959              the case for i386/i486 targets).  The DECL_RTL looks like
960              (MEM (CONST ...)) even though this variable is a local `auto'
961              or a local `register' variable.  In effect, what has happened
962              is that the reload pass has seen that all assignments and
963              references for one such a local variable can be replaced by
964              equivalent assignments and references to some static storage
965              variable, thereby avoiding the need for a register.  In such
966              cases we're forced to lie to debuggers and tell them that
967              this variable was itself `static'.  */
968           PUT_SDB_DEF (name);
969           PUT_SDB_VAL (XEXP (XEXP (value, 0), 0));
970           PUT_SDB_SCL (C_STAT);
971         }
972       else
973         {
974           /* It is something we don't know how to represent for SDB.  */
975           return;
976         }
977       break;
978
979     default:
980       break;
981     }
982   PUT_SDB_TYPE (plain_type (type));
983   PUT_SDB_ENDEF;
984 }
985 \f
986 /* Output SDB information for a top-level initialized variable
987    that has been delayed.  */
988
989 void
990 sdbout_toplevel_data (decl)
991      tree decl;
992 {
993   tree type = TREE_TYPE (decl);
994
995   if (DECL_IGNORED_P (decl))
996     return;
997
998   if (! (TREE_CODE (decl) == VAR_DECL
999          && GET_CODE (DECL_RTL (decl)) == MEM
1000          && DECL_INITIAL (decl)))
1001     abort ();
1002
1003   PUT_SDB_DEF (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
1004   PUT_SDB_VAL (XEXP (DECL_RTL (decl), 0));
1005   if (TREE_PUBLIC (decl))
1006     {
1007       PUT_SDB_SCL (C_EXT);
1008     }
1009   else
1010     {
1011       PUT_SDB_SCL (C_STAT);
1012     }
1013   PUT_SDB_TYPE (plain_type (type));
1014   PUT_SDB_ENDEF;
1015 }
1016 \f
1017 #ifdef SDB_ALLOW_FORWARD_REFERENCES
1018
1019 /* Machinery to record and output anonymous types.  */
1020
1021 static tree anonymous_types;
1022
1023 static void
1024 sdbout_queue_anonymous_type (type)
1025      tree type;
1026 {
1027   anonymous_types = saveable_tree_cons (NULL_TREE, type, anonymous_types);
1028 }
1029
1030 static void
1031 sdbout_dequeue_anonymous_types ()
1032 {
1033   register tree types, link;
1034
1035   while (anonymous_types)
1036     {
1037       types = nreverse (anonymous_types);
1038       anonymous_types = NULL_TREE;
1039
1040       for (link = types; link; link = TREE_CHAIN (link))
1041         {
1042           register tree type = TREE_VALUE (link);
1043
1044           if (type && ! TREE_ASM_WRITTEN (type))
1045             sdbout_one_type (type);
1046         }
1047     }
1048 }
1049
1050 #endif
1051 \f
1052 /* Given a chain of ..._TYPE nodes, all of which have names,
1053    output definitions of those names, as typedefs.  */
1054
1055 void
1056 sdbout_types (types)
1057      register tree types;
1058 {
1059   register tree link;
1060
1061   for (link = types; link; link = TREE_CHAIN (link))
1062     sdbout_one_type (link);
1063
1064 #ifdef SDB_ALLOW_FORWARD_REFERENCES
1065   sdbout_dequeue_anonymous_types ();
1066 #endif
1067 }
1068
1069 static void
1070 sdbout_type (type)
1071      tree type;
1072 {
1073   if (type == error_mark_node)
1074     type = integer_type_node;
1075   PUT_SDB_TYPE (plain_type (type));
1076 }
1077
1078 /* Output types of the fields of type TYPE, if they are structs.
1079
1080    Formerly did not chase through pointer types, since that could be circular.
1081    They must come before TYPE, since forward refs are not allowed.
1082    Now james@bigtex.cactus.org says to try them.  */
1083
1084 static void
1085 sdbout_field_types (type)
1086      tree type;
1087 {
1088   tree tail;
1089
1090   for (tail = TYPE_FIELDS (type); tail; tail = TREE_CHAIN (tail))
1091     /* This condition should match the one for emitting the actual members
1092        below.  */
1093     if (TREE_CODE (tail) == FIELD_DECL
1094         && DECL_NAME (tail) != 0
1095         && TREE_CODE (DECL_SIZE (tail)) == INTEGER_CST
1096         && TREE_CODE (DECL_FIELD_BITPOS (tail)) == INTEGER_CST)
1097       {
1098         if (POINTER_TYPE_P (TREE_TYPE (tail)))
1099           sdbout_one_type (TREE_TYPE (TREE_TYPE (tail)));
1100         else
1101           sdbout_one_type (TREE_TYPE (tail));
1102       }
1103 }
1104
1105 /* Use this to put out the top level defined record and union types
1106    for later reference.  If this is a struct with a name, then put that
1107    name out.  Other unnamed structs will have .xxfake labels generated so
1108    that they may be referred to later.
1109    The label will be stored in the KNOWN_TYPE_TAG slot of a type.
1110    It may NOT be called recursively.  */
1111
1112 static void
1113 sdbout_one_type (type)
1114      tree type;
1115 {
1116   if (current_function_decl != NULL_TREE
1117       && DECL_SECTION_NAME (current_function_decl) != NULL_TREE)
1118     ; /* Don't change section amid function.  */
1119   else
1120     text_section ();
1121
1122   switch (TREE_CODE (type))
1123     {
1124     case RECORD_TYPE:
1125     case UNION_TYPE:
1126     case QUAL_UNION_TYPE:
1127     case ENUMERAL_TYPE:
1128       type = TYPE_MAIN_VARIANT (type);
1129       /* Don't output a type twice.  */
1130       if (TREE_ASM_WRITTEN (type))
1131         /* James said test TREE_ASM_BEING_WRITTEN here.  */
1132         return;
1133
1134       /* Output nothing if type is not yet defined.  */
1135       if (TYPE_SIZE (type) == 0)
1136         return;
1137
1138       TREE_ASM_WRITTEN (type) = 1;
1139 #if 1
1140       /* This is reputed to cause trouble with the following case,
1141          but perhaps checking TYPE_SIZE above will fix it.  */
1142
1143       /* Here is a test case:
1144
1145         struct foo {
1146           struct badstr *bbb;
1147         } forwardref;
1148
1149         typedef struct intermediate {
1150           int aaaa;
1151         } intermediate_ref;
1152
1153         typedef struct badstr {
1154           int ccccc;
1155         } badtype;   */
1156
1157 #if 0
1158       TREE_ASM_BEING_WRITTEN (type) = 1;
1159 #endif
1160       /* This change, which ought to make better output,
1161          used to make the COFF assembler unhappy.
1162          Changes involving KNOWN_TYPE_TAG may fix the problem.  */
1163       /* Before really doing anything, output types we want to refer to.  */
1164       /* Note that in version 1 the following two lines
1165          are not used if forward references are in use.  */
1166       if (TREE_CODE (type) != ENUMERAL_TYPE)
1167         sdbout_field_types (type);
1168 #if 0
1169       TREE_ASM_WRITTEN (type) = 1;
1170 #endif
1171 #endif
1172
1173       /* Output a structure type.  */
1174       {
1175         int size = int_size_in_bytes (type);
1176         int member_scl;
1177         tree tem;
1178         int i, n_baseclasses = 0;
1179
1180         /* Record the type tag, but not in its permanent place just yet.  */
1181         sdbout_record_type_name (type);
1182
1183         PUT_SDB_DEF (KNOWN_TYPE_TAG (type));
1184
1185         switch (TREE_CODE (type))
1186           {
1187           case UNION_TYPE:
1188           case QUAL_UNION_TYPE:
1189             PUT_SDB_SCL (C_UNTAG);
1190             PUT_SDB_TYPE (T_UNION);
1191             member_scl = C_MOU;
1192             break;
1193
1194           case RECORD_TYPE:
1195             PUT_SDB_SCL (C_STRTAG);
1196             PUT_SDB_TYPE (T_STRUCT);
1197             member_scl = C_MOS;
1198             break;
1199
1200           case ENUMERAL_TYPE:
1201             PUT_SDB_SCL (C_ENTAG);
1202             PUT_SDB_TYPE (T_ENUM);
1203             member_scl = C_MOE;
1204             break;
1205
1206           default:
1207             break;
1208           }
1209
1210         PUT_SDB_SIZE (size);
1211         PUT_SDB_ENDEF;
1212
1213         /* Print out the base class information with fields
1214            named after the types they hold.  */
1215         /* This is only relevent to aggregate types.  TYPE_BINFO is used
1216            for other purposes in an ENUMERAL_TYPE, so we must exclude that
1217            case.  */
1218         if (TREE_CODE (type) != ENUMERAL_TYPE)
1219           {
1220             if (TYPE_BINFO (type)
1221                 && TYPE_BINFO_BASETYPES (type))
1222               n_baseclasses = TREE_VEC_LENGTH (TYPE_BINFO_BASETYPES (type));
1223             for (i = 0; i < n_baseclasses; i++)
1224               {
1225                 tree child = TREE_VEC_ELT (BINFO_BASETYPES (TYPE_BINFO (type)),
1226                                            i);
1227                 tree child_type = BINFO_TYPE (child);
1228                 tree child_type_name;
1229                 if (TYPE_NAME (child_type) == 0)
1230                   continue;
1231                 if (TREE_CODE (TYPE_NAME (child_type)) == IDENTIFIER_NODE)
1232                   child_type_name = TYPE_NAME (child_type);
1233                 else if (TREE_CODE (TYPE_NAME (child_type)) == TYPE_DECL)
1234                   {
1235                     child_type_name = DECL_NAME (TYPE_NAME (child_type));
1236                     if (child_type_name && template_name_p (child_type_name))
1237                       child_type_name
1238                         = DECL_ASSEMBLER_NAME (TYPE_NAME (child_type));
1239                   }
1240                 else
1241                   continue;
1242
1243                 CONTIN;
1244                 PUT_SDB_DEF (IDENTIFIER_POINTER (child_type_name));
1245                 PUT_SDB_INT_VAL (TREE_INT_CST_LOW (BINFO_OFFSET (child)));
1246                 PUT_SDB_SCL (member_scl);
1247                 sdbout_type (BINFO_TYPE (child));
1248                 PUT_SDB_ENDEF;
1249               }
1250           }
1251
1252         /* output the individual fields */
1253
1254         if (TREE_CODE (type) == ENUMERAL_TYPE)
1255           for (tem = TYPE_FIELDS (type); tem; tem = TREE_CHAIN (tem))
1256             {
1257               PUT_SDB_DEF (IDENTIFIER_POINTER (TREE_PURPOSE (tem)));
1258               PUT_SDB_INT_VAL (TREE_INT_CST_LOW (TREE_VALUE (tem)));
1259               PUT_SDB_SCL (C_MOE);
1260               PUT_SDB_TYPE (T_MOE);
1261               PUT_SDB_ENDEF;
1262             }
1263
1264         else                    /* record or union type */
1265           for (tem = TYPE_FIELDS (type); tem; tem = TREE_CHAIN (tem))
1266             /* Output the name, type, position (in bits), size (in bits)
1267                of each field.  */
1268
1269             /* Omit here the nameless fields that are used to skip bits.
1270                Also omit fields with variable size or position.
1271                Also omit non FIELD_DECL nodes that GNU C++ may put here.  */
1272             if (TREE_CODE (tem) == FIELD_DECL
1273                 && DECL_NAME (tem) != 0
1274                 && TREE_CODE (DECL_SIZE (tem)) == INTEGER_CST
1275                 && TREE_CODE (DECL_FIELD_BITPOS (tem)) == INTEGER_CST)
1276               {
1277                 char *name;
1278
1279                 CONTIN;
1280                 name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (tem));
1281                 PUT_SDB_DEF (name);
1282                 if (DECL_BIT_FIELD_TYPE (tem))
1283                   {
1284                     PUT_SDB_INT_VAL (TREE_INT_CST_LOW (DECL_FIELD_BITPOS (tem)));
1285                     PUT_SDB_SCL (C_FIELD);
1286                     sdbout_type (DECL_BIT_FIELD_TYPE (tem));
1287                     PUT_SDB_SIZE (TREE_INT_CST_LOW (DECL_SIZE (tem)));
1288                   }
1289                 else
1290                   {
1291                     PUT_SDB_INT_VAL (TREE_INT_CST_LOW (DECL_FIELD_BITPOS (tem))
1292                                      / BITS_PER_UNIT);
1293                     PUT_SDB_SCL (member_scl);
1294                     sdbout_type (TREE_TYPE (tem));
1295                   }
1296                 PUT_SDB_ENDEF;
1297               }
1298         /* output end of a structure,union, or enumeral definition */
1299
1300         PUT_SDB_PLAIN_DEF ("eos");
1301         PUT_SDB_INT_VAL (size);
1302         PUT_SDB_SCL (C_EOS);
1303         PUT_SDB_TAG (KNOWN_TYPE_TAG (type));
1304         PUT_SDB_SIZE (size);
1305         PUT_SDB_ENDEF;
1306         break;
1307
1308       default:
1309         break;
1310       }
1311     }
1312 }
1313 \f
1314 /* The following two functions output definitions of function parameters.
1315    Each parameter gets a definition locating it in the parameter list.
1316    Each parameter that is a register variable gets a second definition
1317    locating it in the register.
1318
1319    Printing or argument lists in gdb uses the definitions that
1320    locate in the parameter list.  But reference to the variable in
1321    expressions uses preferentially the definition as a register.  */
1322
1323 /* Output definitions, referring to storage in the parmlist,
1324    of all the parms in PARMS, which is a chain of PARM_DECL nodes.  */
1325
1326 static void
1327 sdbout_parms (parms)
1328      tree parms;
1329 {
1330   for (; parms; parms = TREE_CHAIN (parms))
1331     if (DECL_NAME (parms))
1332       {
1333         int current_sym_value = 0;
1334         char *name = IDENTIFIER_POINTER (DECL_NAME (parms));
1335
1336         if (name == 0 || *name == 0)
1337           name = gen_fake_label ();
1338
1339         /* Perform any necessary register eliminations on the parameter's rtl,
1340            so that the debugging output will be accurate.  */
1341         DECL_INCOMING_RTL (parms)
1342           = eliminate_regs (DECL_INCOMING_RTL (parms), 0, NULL_RTX);
1343         DECL_RTL (parms) = eliminate_regs (DECL_RTL (parms), 0, NULL_RTX);
1344
1345         if (PARM_PASSED_IN_MEMORY (parms))
1346           {
1347             rtx addr = XEXP (DECL_INCOMING_RTL (parms), 0);
1348             tree type;
1349
1350             /* ??? Here we assume that the parm address is indexed
1351                off the frame pointer or arg pointer.
1352                If that is not true, we produce meaningless results,
1353                but do not crash.  */
1354             if (GET_CODE (addr) == PLUS
1355                 && GET_CODE (XEXP (addr, 1)) == CONST_INT)
1356               current_sym_value = INTVAL (XEXP (addr, 1));
1357             else
1358               current_sym_value = 0;
1359
1360             if (GET_CODE (DECL_RTL (parms)) == REG
1361                 && REGNO (DECL_RTL (parms)) >= 0
1362                 && REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER)
1363               type = DECL_ARG_TYPE (parms);
1364             else
1365               {
1366                 int original_sym_value = current_sym_value;
1367
1368                 /* This is the case where the parm is passed as an int or
1369                    double and it is converted to a char, short or float
1370                    and stored back in the parmlist.  In this case, describe
1371                    the parm with the variable's declared type, and adjust
1372                    the address if the least significant bytes (which we are
1373                    using) are not the first ones.  */
1374                 if (BYTES_BIG_ENDIAN
1375                     && TREE_TYPE (parms) != DECL_ARG_TYPE (parms))
1376                   current_sym_value +=
1377                     (GET_MODE_SIZE (TYPE_MODE (DECL_ARG_TYPE (parms)))
1378                      - GET_MODE_SIZE (GET_MODE (DECL_RTL (parms))));
1379
1380                 if (GET_CODE (DECL_RTL (parms)) == MEM
1381                     && GET_CODE (XEXP (DECL_RTL (parms), 0)) == PLUS
1382                     && (GET_CODE (XEXP (XEXP (DECL_RTL (parms), 0), 1))
1383                         == CONST_INT)
1384                     && (INTVAL (XEXP (XEXP (DECL_RTL (parms), 0), 1))
1385                         == current_sym_value))
1386                   type = TREE_TYPE (parms);
1387                 else
1388                   {
1389                     current_sym_value = original_sym_value;
1390                     type = DECL_ARG_TYPE (parms);
1391                   }
1392               }
1393
1394             PUT_SDB_DEF (name);
1395             PUT_SDB_INT_VAL (DEBUGGER_ARG_OFFSET (current_sym_value, addr));
1396             PUT_SDB_SCL (C_ARG);
1397             PUT_SDB_TYPE (plain_type (type));
1398             PUT_SDB_ENDEF;
1399           }
1400         else if (GET_CODE (DECL_RTL (parms)) == REG)
1401           {
1402             rtx best_rtl;
1403             /* Parm passed in registers and lives in registers or nowhere.  */
1404
1405             /* If parm lives in a register, use that register;
1406                pretend the parm was passed there.  It would be more consistent
1407                to describe the register where the parm was passed,
1408                but in practice that register usually holds something else.  */
1409             if (REGNO (DECL_RTL (parms)) >= 0
1410                 && REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER)
1411               best_rtl = DECL_RTL (parms);
1412             /* If the parm lives nowhere,
1413                use the register where it was passed.  */
1414             else
1415               best_rtl = DECL_INCOMING_RTL (parms);
1416
1417             PUT_SDB_DEF (name);
1418             PUT_SDB_INT_VAL (DBX_REGISTER_NUMBER (REGNO (best_rtl)));
1419             PUT_SDB_SCL (C_REGPARM);
1420             PUT_SDB_TYPE (plain_type (TREE_TYPE (parms)));
1421             PUT_SDB_ENDEF;
1422           }
1423         else if (GET_CODE (DECL_RTL (parms)) == MEM
1424                  && XEXP (DECL_RTL (parms), 0) != const0_rtx)
1425           {
1426             /* Parm was passed in registers but lives on the stack.  */
1427
1428             /* DECL_RTL looks like (MEM (PLUS (REG...) (CONST_INT...))),
1429                in which case we want the value of that CONST_INT,
1430                or (MEM (REG ...)) or (MEM (MEM ...)),
1431                in which case we use a value of zero.  */
1432             if (GET_CODE (XEXP (DECL_RTL (parms), 0)) == REG
1433                 || GET_CODE (XEXP (DECL_RTL (parms), 0)) == MEM)
1434               current_sym_value = 0;
1435             else
1436               current_sym_value = INTVAL (XEXP (XEXP (DECL_RTL (parms), 0), 1));
1437
1438             /* Again, this assumes the offset is based on the arg pointer.  */
1439             PUT_SDB_DEF (name);
1440             PUT_SDB_INT_VAL (DEBUGGER_ARG_OFFSET (current_sym_value,
1441                                                   XEXP (DECL_RTL (parms), 0)));
1442             PUT_SDB_SCL (C_ARG);
1443             PUT_SDB_TYPE (plain_type (TREE_TYPE (parms)));
1444             PUT_SDB_ENDEF;
1445           }
1446       }
1447 }
1448
1449 /* Output definitions for the places where parms live during the function,
1450    when different from where they were passed, when the parms were passed
1451    in memory.
1452
1453    It is not useful to do this for parms passed in registers
1454    that live during the function in different registers, because it is
1455    impossible to look in the passed register for the passed value,
1456    so we use the within-the-function register to begin with.
1457
1458    PARMS is a chain of PARM_DECL nodes.  */
1459
1460 static void
1461 sdbout_reg_parms (parms)
1462      tree parms;
1463 {
1464   for (; parms; parms = TREE_CHAIN (parms))
1465     if (DECL_NAME (parms))
1466       {
1467         char *name = IDENTIFIER_POINTER (DECL_NAME (parms));
1468
1469         /* Report parms that live in registers during the function
1470            but were passed in memory.  */
1471         if (GET_CODE (DECL_RTL (parms)) == REG
1472             && REGNO (DECL_RTL (parms)) >= 0
1473             && REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER
1474             && PARM_PASSED_IN_MEMORY (parms))
1475           {
1476             if (name == 0 || *name == 0)
1477               name = gen_fake_label ();
1478             PUT_SDB_DEF (name);
1479             PUT_SDB_INT_VAL (DBX_REGISTER_NUMBER (REGNO (DECL_RTL (parms))));
1480             PUT_SDB_SCL (C_REG);
1481             PUT_SDB_TYPE (plain_type (TREE_TYPE (parms)));
1482             PUT_SDB_ENDEF;
1483           }
1484         /* Report parms that live in memory but not where they were passed.  */
1485         else if (GET_CODE (DECL_RTL (parms)) == MEM
1486                  && GET_CODE (XEXP (DECL_RTL (parms), 0)) == PLUS
1487                  && GET_CODE (XEXP (XEXP (DECL_RTL (parms), 0), 1)) == CONST_INT
1488                  && PARM_PASSED_IN_MEMORY (parms)
1489                  && ! rtx_equal_p (DECL_RTL (parms), DECL_INCOMING_RTL (parms)))
1490           {
1491 #if 0 /* ??? It is not clear yet what should replace this.  */
1492             int offset = DECL_OFFSET (parms) / BITS_PER_UNIT;
1493             /* A parm declared char is really passed as an int,
1494                so it occupies the least significant bytes.
1495                On a big-endian machine those are not the low-numbered ones.  */
1496             if (BYTES_BIG_ENDIAN
1497                 && offset != -1
1498                 && TREE_TYPE (parms) != DECL_ARG_TYPE (parms))
1499               offset += (GET_MODE_SIZE (TYPE_MODE (DECL_ARG_TYPE (parms)))
1500                          - GET_MODE_SIZE (GET_MODE (DECL_RTL (parms))));
1501             if (INTVAL (XEXP (XEXP (DECL_RTL (parms), 0), 1)) != offset) {...}
1502 #endif
1503               {
1504                 if (name == 0 || *name == 0)
1505                   name = gen_fake_label ();
1506                 PUT_SDB_DEF (name);
1507                 PUT_SDB_INT_VAL (DEBUGGER_AUTO_OFFSET
1508                                  (XEXP (DECL_RTL (parms), 0)));
1509                 PUT_SDB_SCL (C_AUTO);
1510                 PUT_SDB_TYPE (plain_type (TREE_TYPE (parms)));
1511                 PUT_SDB_ENDEF;
1512               }
1513           }
1514       }
1515 }
1516 \f
1517 /* Describe the beginning of an internal block within a function.
1518    Also output descriptions of variables defined in this block.
1519
1520    N is the number of the block, by order of beginning, counting from 1,
1521    and not counting the outermost (function top-level) block.
1522    The blocks match the BLOCKs in DECL_INITIAL (current_function_decl),
1523    if the count starts at 0 for the outermost one.  */
1524
1525 void
1526 sdbout_begin_block (file, line, n)
1527      FILE *file;
1528      int line;
1529      int n;
1530 {
1531   tree decl = current_function_decl;
1532   MAKE_LINE_SAFE (line);
1533
1534   /* The SCO compiler does not emit a separate block for the function level
1535      scope, so we avoid it here also.  However, mips ECOFF compilers do emit
1536      a separate block, so we retain it when MIPS_DEBUGGING_INFO is defined.  */
1537 #ifndef MIPS_DEBUGGING_INFO
1538   if (n != 1)
1539 #endif
1540     PUT_SDB_BLOCK_START (line - sdb_begin_function_line);
1541
1542   if (n == 1)
1543     {
1544       /* Include the outermost BLOCK's variables in block 1.  */
1545       next_block_number = 0;
1546       do_block = 0;
1547       sdbout_block (DECL_INITIAL (decl));
1548     }
1549   /* If -g1, suppress all the internal symbols of functions
1550      except for arguments.  */
1551   if (debug_info_level != DINFO_LEVEL_TERSE)
1552     {
1553       next_block_number = 0;
1554       do_block = n;
1555       sdbout_block (DECL_INITIAL (decl));
1556     }
1557
1558 #ifdef SDB_ALLOW_FORWARD_REFERENCES
1559   sdbout_dequeue_anonymous_types ();
1560 #endif
1561 }
1562
1563 /* Describe the end line-number of an internal block within a function.  */
1564
1565 void
1566 sdbout_end_block (file, line, n)
1567      FILE *file;
1568      int line;
1569      int n ATTRIBUTE_UNUSED;
1570 {
1571   MAKE_LINE_SAFE (line);
1572
1573   /* The SCO compiler does not emit a separate block for the function level
1574      scope, so we avoid it here also.  However, mips ECOFF compilers do emit
1575      a separate block, so we retain it when MIPS_DEBUGGING_INFO is defined.  */
1576 #ifndef MIPS_DEBUGGING_INFO
1577   if (n != 1)
1578 #endif
1579   PUT_SDB_BLOCK_END (line - sdb_begin_function_line);
1580 }
1581
1582 /* Output sdb info for the current function name.
1583    Called from assemble_start_function.  */
1584
1585 void
1586 sdbout_mark_begin_function ()
1587 {
1588   sdbout_symbol (current_function_decl, 0);
1589 }
1590
1591 /* Called at beginning of function body (after prologue).
1592    Record the function's starting line number, so we can output
1593    relative line numbers for the other lines.
1594    Describe beginning of outermost block.
1595    Also describe the parameter list.  */
1596
1597 void
1598 sdbout_begin_function (line)
1599      int line;
1600 {
1601   sdb_begin_function_line = line - 1;
1602   PUT_SDB_FUNCTION_START (line);
1603   sdbout_parms (DECL_ARGUMENTS (current_function_decl));
1604   sdbout_reg_parms (DECL_ARGUMENTS (current_function_decl));
1605 }
1606
1607 /* Called at end of function (before epilogue).
1608    Describe end of outermost block.  */
1609
1610 void
1611 sdbout_end_function (line)
1612      int line;
1613 {
1614 #ifdef SDB_ALLOW_FORWARD_REFERENCES
1615   sdbout_dequeue_anonymous_types ();
1616 #endif
1617
1618   MAKE_LINE_SAFE (line);
1619   PUT_SDB_FUNCTION_END (line - sdb_begin_function_line);
1620
1621   /* Indicate we are between functions, for line-number output.  */
1622   sdb_begin_function_line = -1;
1623 }
1624
1625 /* Output sdb info for the absolute end of a function.
1626    Called after the epilogue is output.  */
1627
1628 void
1629 sdbout_end_epilogue ()
1630 {
1631   char *name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl));
1632   PUT_SDB_EPILOGUE_END (name);
1633 }
1634
1635 /* Output sdb info for the given label.  Called only if LABEL_NAME (insn)
1636    is present.  */
1637
1638 void
1639 sdbout_label (insn)
1640      register rtx insn;
1641 {
1642   PUT_SDB_DEF (LABEL_NAME (insn));
1643   PUT_SDB_VAL (insn);
1644   PUT_SDB_SCL (C_LABEL);
1645   PUT_SDB_TYPE (T_NULL);
1646   PUT_SDB_ENDEF;
1647 }
1648
1649 /* Change to reading from a new source file.  */
1650
1651 void
1652 sdbout_start_new_source_file (filename)
1653      char *filename;
1654 {
1655 #ifdef MIPS_DEBUGGING_INFO
1656   struct sdb_file *n = (struct sdb_file *) xmalloc (sizeof *n);
1657
1658   n->next = current_file;
1659   n->name = filename;
1660   current_file = n;
1661   PUT_SDB_SRC_FILE (filename);
1662 #endif
1663 }
1664
1665 /* Revert to reading a previous source file.  */
1666
1667 void
1668 sdbout_resume_previous_source_file ()
1669 {
1670 #ifdef MIPS_DEBUGGING_INFO
1671   struct sdb_file *next;
1672
1673   next = current_file->next;
1674   free (current_file);
1675   current_file = next;
1676   PUT_SDB_SRC_FILE (current_file->name);
1677 #endif
1678 }
1679
1680 #endif /* SDB_DEBUGGING_INFO */