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