From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1851) id 52F01385C41B; Wed, 24 Aug 2022 14:26:56 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 52F01385C41B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1661351216; bh=0lkZ4Ph5XCXYNj8wo3LEoP+kRIGPvEfVNg8WZkDNeh4=; h=From:To:Subject:Date:From; b=vBEi8aSw8g5pcS2PT8i3NLdzVOyfb2zRK6/jpWW47i8OGA4thktKjh1EynNdOwOV+ YYPGiB3h/6Lg7H3lzjRxqMI6QmYpxa4a/UYd8V6HzCV0kaa6qRvlAaCgxaWdV138ht 7CYJzOGSF4tVCot9P887gQnQqeCkMPm/sSXRogkc= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Martin Liska To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/marxin/heads/stabs-removal)] WIP part 2. X-Act-Checkin: gcc X-Git-Author: Martin Liska X-Git-Refname: refs/users/marxin/heads/stabs-removal X-Git-Oldrev: 532ff84eb4ba035a809fa8e3493d9d8e1d159ce6 X-Git-Newrev: d14dd9a75d018323c1c8c1bb0cbea61af30c7be4 Message-Id: <20220824142656.52F01385C41B@sourceware.org> Date: Wed, 24 Aug 2022 14:26:56 +0000 (GMT) List-Id: https://gcc.gnu.org/g:d14dd9a75d018323c1c8c1bb0cbea61af30c7be4 commit d14dd9a75d018323c1c8c1bb0cbea61af30c7be4 Author: Martin Liska Date: Wed Aug 24 15:43:14 2022 +0200 WIP part 2. Diff: --- gcc/Makefile.in | 4 +- gcc/common.opt | 16 +- gcc/config/nvptx/nvptx.cc | 1 - gcc/config/pdp11/pdp11.cc | 1 - gcc/dbxout.cc | 3936 --------------------------------------------- gcc/dbxout.h | 60 - gcc/final.cc | 4 - gcc/flag-types.h | 3 - gcc/gstab.h | 35 - gcc/opts.cc | 10 +- gcc/stab.def | 239 --- gcc/toplev.cc | 12 - gcc/varasm.cc | 4 - gcc/xcoffout.cc | 494 ------ gcc/xcoffout.h | 194 --- 15 files changed, 3 insertions(+), 5010 deletions(-) diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 203f0a15187..89f1673fb26 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -1353,7 +1353,6 @@ OBJS = \ data-streamer.o \ data-streamer-in.o \ data-streamer-out.o \ - dbxout.o \ dbgcnt.o \ dce.o \ ddg.o \ @@ -1727,7 +1726,6 @@ OBJS = \ web.o \ wide-int.o \ wide-int-print.o \ - xcoffout.o \ $(out_object_file) \ $(ANALYZER_OBJS) \ $(EXTRA_OBJS) \ @@ -2676,7 +2674,7 @@ GTFILES = $(CPPLIB_H) $(srcdir)/input.h $(srcdir)/coretypes.h \ $(srcdir)/reload.h $(srcdir)/caller-save.cc $(srcdir)/symtab.cc \ $(srcdir)/alias.cc $(srcdir)/bitmap.cc $(srcdir)/cselib.cc $(srcdir)/cgraph.cc \ $(srcdir)/ipa-prop.cc $(srcdir)/ipa-cp.cc $(srcdir)/ipa-utils.h \ - $(srcdir)/ipa-param-manipulation.h $(srcdir)/ipa-sra.cc $(srcdir)/dbxout.cc \ + $(srcdir)/ipa-param-manipulation.h $(srcdir)/ipa-sra.cc \ $(srcdir)/ipa-modref.h $(srcdir)/ipa-modref.cc \ $(srcdir)/ipa-modref-tree.h \ $(srcdir)/signop.h \ diff --git a/gcc/common.opt b/gcc/common.opt index 1e2dc144520..75d867c9a01 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -122,12 +122,6 @@ uint32_t write_symbols = NO_DEBUG Variable enum debug_info_levels debug_info_level = DINFO_LEVEL_NONE -; Nonzero means use GNU-only extensions in the generated symbolic -; debugging information. Currently, this only has an effect when -; write_symbols is set to DBX_DEBUG or XCOFF_DEBUG. -Variable -bool use_gnu_debug_info_extensions - ; Level of CTF debugging information we are producing. See flag-types.h ; for the definitions of the different possible levels. Variable @@ -3394,17 +3388,9 @@ gvariable-location-views=incompat5 Common Driver RejectNegative Var(debug_variable_location_views, -1) Init(2) gvms -Common Driver JoinedOrMissing Negative(gxcoff) +Common Driver JoinedOrMissing Generate debug information in VMS format. -gxcoff -Common Driver JoinedOrMissing Negative(gxcoff+) -Generate debug information in XCOFF format. - -gxcoff+ -Common Driver JoinedOrMissing Negative(gdwarf) -Generate debug information in extended XCOFF format. - Enum Name(compressed_debug_sections) Type(int) diff --git a/gcc/config/nvptx/nvptx.cc b/gcc/config/nvptx/nvptx.cc index e4297e2d6c3..3634a49de3f 100644 --- a/gcc/config/nvptx/nvptx.cc +++ b/gcc/config/nvptx/nvptx.cc @@ -52,7 +52,6 @@ #include "tm-preds.h" #include "tm-constrs.h" #include "langhooks.h" -#include "dbxout.h" #include "cfgrtl.h" #include "gimple.h" #include "stor-layout.h" diff --git a/gcc/config/pdp11/pdp11.cc b/gcc/config/pdp11/pdp11.cc index f7482df186b..380223439a4 100644 --- a/gcc/config/pdp11/pdp11.cc +++ b/gcc/config/pdp11/pdp11.cc @@ -44,7 +44,6 @@ along with GCC; see the file COPYING3. If not see #include "calls.h" #include "expr.h" #include "builtins.h" -#include "dbxout.h" #include "explow.h" #include "expmed.h" diff --git a/gcc/dbxout.cc b/gcc/dbxout.cc deleted file mode 100644 index 878d528dc9a..00000000000 --- a/gcc/dbxout.cc +++ /dev/null @@ -1,3936 +0,0 @@ -/* Output dbx-format symbol table information from GNU compiler. - Copyright (C) 1987-2022 Free Software Foundation, Inc. - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify it under -the terms of the GNU General Public License as published by the Free -Software Foundation; either version 3, or (at your option) any later -version. - -GCC is distributed in the hope that it will be useful, but WITHOUT ANY -WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - - -/* Output dbx-format symbol table data. - This consists of many symbol table entries, each of them - a .stabs assembler pseudo-op with four operands: - a "name" which is really a description of one symbol and its type, - a "code", which is a symbol defined in stab.h whose name starts with N_, - an unused operand always 0, - and a "value" which is an address or an offset. - The name is enclosed in doublequote characters. - - Each function, variable, typedef, and structure tag - has a symbol table entry to define it. - The beginning and end of each level of name scoping within - a function are also marked by special symbol table entries. - - The "name" consists of the symbol name, a colon, a kind-of-symbol letter, - and a data type number. The data type number may be followed by - "=" and a type definition; normally this will happen the first time - the type number is mentioned. The type definition may refer to - other types by number, and those type numbers may be followed - by "=" and nested definitions. - - This can make the "name" quite long. - When a name is more than 80 characters, we split the .stabs pseudo-op - into two .stabs pseudo-ops, both sharing the same "code" and "value". - The first one is marked as continued with a double-backslash at the - end of its "name". - - The kind-of-symbol letter distinguished function names from global - variables from file-scope variables from parameters from auto - variables in memory from typedef names from register variables. - See `dbxout_symbol'. - - The "code" is mostly redundant with the kind-of-symbol letter - that goes in the "name", but not entirely: for symbols located - in static storage, the "code" says which segment the address is in, - which controls how it is relocated. - - The "value" for a symbol in static storage - is the core address of the symbol (actually, the assembler - label for the symbol). For a symbol located in a stack slot - it is the stack offset; for one in a register, the register number. - For a typedef symbol, it is zero. - - If DEBUG_SYMS_TEXT is defined, all debugging symbols must be - output while in the text section. - - For more on data type definitions, see `dbxout_type'. */ - -#include "config.h" -#include "system.h" -#include "coretypes.h" -#include "target.h" -#include "function.h" -#include "rtl.h" -#include "tree.h" -#include "memmodel.h" -#include "tm_p.h" -#include "stringpool.h" -#include "insn-config.h" -#include "emit-rtl.h" -#include "cgraph.h" -#include "diagnostic-core.h" -#include "fold-const.h" -#include "varasm.h" -#include "stor-layout.h" -#include "reload.h" -#include "output.h" -#include "dbxout.h" -#include "toplev.h" -#include "debug.h" -#include "common/common-target.h" -#include "langhooks.h" -#include "expr.h" -#include "file-prefix-map.h" /* remap_debug_filename() */ -#include "flags.h" - -#ifdef XCOFF_DEBUGGING_INFO -#include "xcoffout.h" -#endif - -#ifndef ASM_STABS_OP -# ifdef XCOFF_DEBUGGING_INFO -# define ASM_STABS_OP "\t.stabx\t" -# else -# define ASM_STABS_OP "\t.stabs\t" -# endif -#endif - -#ifndef ASM_STABN_OP -#define ASM_STABN_OP "\t.stabn\t" -#endif - -#ifndef ASM_STABD_OP -#define ASM_STABD_OP "\t.stabd\t" -#endif - -#ifndef DBX_TYPE_DECL_STABS_CODE -#define DBX_TYPE_DECL_STABS_CODE N_LSYM -#endif - -#ifndef DBX_STATIC_CONST_VAR_CODE -#define DBX_STATIC_CONST_VAR_CODE N_FUN -#endif - -#ifndef DBX_REGPARM_STABS_CODE -#define DBX_REGPARM_STABS_CODE N_RSYM -#endif - -#ifndef DBX_REGPARM_STABS_LETTER -#define DBX_REGPARM_STABS_LETTER 'P' -#endif - -#ifndef NO_DBX_FUNCTION_END -#define NO_DBX_FUNCTION_END 0 -#endif - -#ifndef NO_DBX_BNSYM_ENSYM -#define NO_DBX_BNSYM_ENSYM 0 -#endif - -#ifndef NO_DBX_MAIN_SOURCE_DIRECTORY -#define NO_DBX_MAIN_SOURCE_DIRECTORY 0 -#endif - -#ifndef DBX_BLOCKS_FUNCTION_RELATIVE -#define DBX_BLOCKS_FUNCTION_RELATIVE 0 -#endif - -#ifndef DBX_LINES_FUNCTION_RELATIVE -#define DBX_LINES_FUNCTION_RELATIVE 0 -#endif - -#ifndef DBX_CONTIN_LENGTH -#define DBX_CONTIN_LENGTH 80 -#endif - -#ifndef DBX_CONTIN_CHAR -#define DBX_CONTIN_CHAR '\\' -#endif - -enum typestatus {TYPE_UNSEEN, TYPE_XREF, TYPE_DEFINED}; - -/* Structure recording information about a C data type. - The status element says whether we have yet output - the definition of the type. TYPE_XREF says we have - output it as a cross-reference only. - The file_number and type_number elements are used if DBX_USE_BINCL - is defined. */ - -struct GTY(()) typeinfo { - enum typestatus status; - int file_number; - int type_number; -}; - -/* Vector recording information about C data types. - When we first notice a data type (a tree node), - we assign it a number using next_type_number. - That is its index in this vector. */ - -static GTY ((length ("typevec_len"))) struct typeinfo *typevec; - -/* Number of elements of space allocated in `typevec'. */ - -static GTY(()) int typevec_len; - -/* In dbx output, each type gets a unique number. - This is the number for the next type output. - The number, once assigned, is in the TYPE_SYMTAB_ADDRESS field. */ - -static GTY(()) int next_type_number; - -/* The C front end may call dbxout_symbol before dbxout_init runs. - We save all such decls in this list and output them when we get - to dbxout_init. */ - -static GTY(()) tree preinit_symbols; - -enum binclstatus {BINCL_NOT_REQUIRED, BINCL_PENDING, BINCL_PROCESSED}; - -/* When using N_BINCL in dbx output, each type number is actually a - pair of the file number and the type number within the file. - This is a stack of input files. */ - -struct dbx_file -{ - struct dbx_file *next; - int file_number; - int next_type_number; - enum binclstatus bincl_status; /* Keep track of lazy bincl. */ - const char *pending_bincl_name; /* Name of bincl. */ - struct dbx_file *prev; /* Chain to traverse all pending bincls. */ -}; - -/* This is the top of the stack. - - This is not saved for PCH, because restoring a PCH should not change it. - next_file_number does have to be saved, because the PCH may use some - file numbers; however, just before restoring a PCH, next_file_number - should always be 0 because we should not have needed any file numbers - yet. */ - -#if (defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)) \ - && defined (DBX_USE_BINCL) -static struct dbx_file *current_file; -#endif - -/* This is the next file number to use. */ - -static GTY(()) int next_file_number; - -/* A counter for dbxout_function_end. */ - -static GTY(()) int scope_labelno; - -/* A counter for dbxout_source_line. */ - -static GTY(()) int dbxout_source_line_counter; - -/* Number for the next N_SOL filename stabs label. The number 0 is reserved - for the N_SO filename stabs label. */ - -static GTY(()) int source_label_number = 1; - -/* Last source file name mentioned in a NOTE insn. */ - -static GTY(()) const char *lastfile; - -/* Last line number mentioned in a NOTE insn. */ - -static GTY(()) unsigned int lastlineno; - -/* Used by PCH machinery to detect if 'lastfile' should be reset to - base_input_file. */ -static GTY(()) int lastfile_is_base; - -/* Typical USG systems don't have stab.h, and they also have - no use for DBX-format debugging info. */ - -#if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO) - -#ifdef DBX_USE_BINCL -/* If zero then there is no pending BINCL. */ -static int pending_bincls = 0; -#endif - -/* The original input file name. */ -static const char *base_input_file; - -#ifdef DEBUG_SYMS_TEXT -#define FORCE_TEXT switch_to_section (current_function_section ()) -#else -#define FORCE_TEXT -#endif - -#include "gstab.h" - -/* 1 if PARM is passed to this function in memory. */ - -#define PARM_PASSED_IN_MEMORY(PARM) \ - (MEM_P (DECL_INCOMING_RTL (PARM))) - -/* A C expression for the integer offset value of an automatic variable - (N_LSYM) having address X (an RTX). */ -#ifndef DEBUGGER_AUTO_OFFSET -#define DEBUGGER_AUTO_OFFSET(X) \ - (GET_CODE (X) == PLUS ? INTVAL (XEXP (X, 1)) : 0) -#endif - -/* A C expression for the integer offset value of an argument (N_PSYM) - having address X (an RTX). The nominal offset is OFFSET. - Note that we use OFFSET + 0 here to avoid the self-assign warning - when the macro is called in a context like - number = DEBUGGER_ARG_OFFSET(number, X) */ -#ifndef DEBUGGER_ARG_OFFSET -#define DEBUGGER_ARG_OFFSET(OFFSET, X) (OFFSET + 0) -#endif - -/* This obstack holds the stab string currently being constructed. We - build it up here, then write it out, so we can split long lines up - properly (see dbxout_finish_complex_stabs). */ -static struct obstack stabstr_ob; -static size_t stabstr_last_contin_point; - -#ifdef DBX_USE_BINCL -static void emit_bincl_stab (const char *c); -static void emit_pending_bincls (void); -#endif -static inline void emit_pending_bincls_if_required (void); - -static void dbxout_init (const char *); - -static void dbxout_finish (const char *); -static void dbxout_start_source_file (unsigned, const char *); -static void dbxout_end_source_file (unsigned); -static void dbxout_typedefs (tree); -static void dbxout_type_index (tree); -static void dbxout_args (tree); -static void dbxout_type_fields (tree); -static void dbxout_type_method_1 (tree); -static void dbxout_type_methods (tree); -static void dbxout_range_type (tree, tree, tree); -static void dbxout_type (tree, int); -static bool print_int_cst_bounds_in_octal_p (tree, tree, tree); -static bool is_fortran (void); -static void dbxout_type_name (tree); -static void dbxout_class_name_qualifiers (tree); -static int dbxout_symbol_location (tree, tree, const char *, rtx); -static void dbxout_symbol_name (tree, const char *, int); -static void dbxout_common_name (tree, const char *, stab_code_type); -static const char *dbxout_common_check (tree, int *); -static void dbxout_early_global_decl (tree); -static void dbxout_late_global_decl (tree); -static void dbxout_type_decl (tree, int); -static void dbxout_handle_pch (unsigned); -static void debug_free_queue (void); - -/* The debug hooks structure. */ -#if defined (DBX_DEBUGGING_INFO) - -static void dbxout_source_line (unsigned int, unsigned int, const char *, - int, bool); -static void dbxout_switch_text_section (void); -static void dbxout_begin_prologue (unsigned int, unsigned int, const char *); -static void dbxout_source_file (const char *); -static void dbxout_function_end (tree); -static void dbxout_begin_function (tree); -static void dbxout_begin_block (unsigned, unsigned); -static void dbxout_end_block (unsigned, unsigned); -static void dbxout_function_decl (tree); - -const struct gcc_debug_hooks dbx_debug_hooks = -{ - dbxout_init, - dbxout_finish, - debug_nothing_charstar, - debug_nothing_void, - debug_nothing_int_charstar, - debug_nothing_int_charstar, - dbxout_start_source_file, - dbxout_end_source_file, - dbxout_begin_block, - dbxout_end_block, - debug_true_const_tree, /* ignore_block */ - dbxout_source_line, /* source_line */ - debug_nothing_int_int_charstar, /* set_ignored_loc */ - dbxout_begin_prologue, /* begin_prologue */ - debug_nothing_int_charstar, /* end_prologue */ - debug_nothing_int_charstar, /* begin_epilogue */ - debug_nothing_int_charstar, /* end_epilogue */ -#ifdef DBX_FUNCTION_FIRST - dbxout_begin_function, -#else - debug_nothing_tree, /* begin_function */ -#endif - debug_nothing_int, /* end_function */ - debug_nothing_tree, /* register_main_translation_unit */ - dbxout_function_decl, - dbxout_early_global_decl, /* early_global_decl */ - dbxout_late_global_decl, /* late_global_decl */ - dbxout_type_decl, /* type_decl */ - debug_nothing_tree_tree_tree_bool_bool,/* imported_module_or_decl */ - debug_false_tree_charstarstar_uhwistar,/* die_ref_for_decl */ - debug_nothing_tree_charstar_uhwi, /* register_external_die */ - debug_nothing_tree, /* deferred_inline_function */ - debug_nothing_tree, /* outlining_inline_function */ - debug_nothing_rtx_code_label, /* label */ - dbxout_handle_pch, /* handle_pch */ - debug_nothing_rtx_insn, /* var_location */ - debug_nothing_tree, /* inline_entry */ - debug_nothing_tree, /* size_function */ - dbxout_switch_text_section, /* switch_text_section */ - debug_nothing_tree_tree, /* set_name */ - 0, /* start_end_main_source_file */ - TYPE_SYMTAB_IS_ADDRESS /* tree_type_symtab_field */ -}; -#endif /* DBX_DEBUGGING_INFO */ - -#if defined (XCOFF_DEBUGGING_INFO) -const struct gcc_debug_hooks xcoff_debug_hooks = -{ - dbxout_init, - dbxout_finish, - debug_nothing_charstar, - debug_nothing_void, - debug_nothing_int_charstar, - debug_nothing_int_charstar, - dbxout_start_source_file, - dbxout_end_source_file, - xcoffout_begin_block, - xcoffout_end_block, - debug_true_const_tree, /* ignore_block */ - xcoffout_source_line, - debug_nothing_int_int_charstar, /* set_ignored_loc */ - xcoffout_begin_prologue, /* begin_prologue */ - debug_nothing_int_charstar, /* end_prologue */ - debug_nothing_int_charstar, /* begin_epilogue */ - xcoffout_end_epilogue, - debug_nothing_tree, /* begin_function */ - xcoffout_end_function, - debug_nothing_tree, /* register_main_translation_unit */ - debug_nothing_tree, /* function_decl */ - dbxout_early_global_decl, /* early_global_decl */ - dbxout_late_global_decl, /* late_global_decl */ - dbxout_type_decl, /* type_decl */ - debug_nothing_tree_tree_tree_bool_bool,/* imported_module_or_decl */ - debug_false_tree_charstarstar_uhwistar,/* die_ref_for_decl */ - debug_nothing_tree_charstar_uhwi, /* register_external_die */ - debug_nothing_tree, /* deferred_inline_function */ - debug_nothing_tree, /* outlining_inline_function */ - debug_nothing_rtx_code_label, /* label */ - dbxout_handle_pch, /* handle_pch */ - debug_nothing_rtx_insn, /* var_location */ - debug_nothing_tree, /* inline_entry */ - debug_nothing_tree, /* size_function */ - debug_nothing_void, /* switch_text_section */ - debug_nothing_tree_tree, /* set_name */ - 0, /* start_end_main_source_file */ - TYPE_SYMTAB_IS_ADDRESS /* tree_type_symtab_field */ -}; -#endif /* XCOFF_DEBUGGING_INFO */ - -/* Numeric formatting helper macro. Note that this does not handle - hexadecimal. */ -#define NUMBER_FMT_LOOP(P, NUM, BASE) \ - do \ - { \ - int digit = NUM % BASE; \ - NUM /= BASE; \ - *--P = digit + '0'; \ - } \ - while (NUM > 0) - -/* Utility: write a decimal integer NUM to asm_out_file. */ -void -dbxout_int (int num) -{ - char buf[64]; - char *p = buf + sizeof buf; - unsigned int unum; - - if (num == 0) - { - putc ('0', asm_out_file); - return; - } - if (num < 0) - { - putc ('-', asm_out_file); - unum = -(unsigned int) num; - } - else - unum = num; - - NUMBER_FMT_LOOP (p, unum, 10); - - while (p < buf + sizeof buf) - { - putc (*p, asm_out_file); - p++; - } -} - - -/* Primitives for emitting simple stabs directives. All other stabs - routines should use these functions instead of directly emitting - stabs. They are exported because machine-dependent code may need - to invoke them, e.g. in a DBX_OUTPUT_* macro whose definition - forwards to code in CPU.c. */ - -/* The following functions should all be called immediately after one - of the dbxout_begin_stab* functions (below). They write out - various things as the value of a stab. */ - -/* Write out a literal zero as the value of a stab. */ -void -dbxout_stab_value_zero (void) -{ - fputs ("0\n", asm_out_file); -} - -/* Write out the label LABEL as the value of a stab. */ -void -dbxout_stab_value_label (const char *label) -{ - assemble_name (asm_out_file, label); - putc ('\n', asm_out_file); -} - -/* Write out the difference of two labels, LABEL - BASE, as the value - of a stab. */ -void -dbxout_stab_value_label_diff (const char *label, const char *base) -{ - assemble_name (asm_out_file, label); - putc ('-', asm_out_file); - assemble_name (asm_out_file, base); - putc ('\n', asm_out_file); -} - -/* Write out an internal label as the value of a stab, and immediately - emit that internal label. This should be used only when - dbxout_stabd will not work. STEM is the name stem of the label, - COUNTERP is a pointer to a counter variable which will be used to - guarantee label uniqueness. */ -void -dbxout_stab_value_internal_label (const char *stem, int *counterp) -{ - char label[100]; - int counter = counterp ? (*counterp)++ : 0; - - ASM_GENERATE_INTERNAL_LABEL (label, stem, counter); - dbxout_stab_value_label (label); - targetm.asm_out.internal_label (asm_out_file, stem, counter); -} - -/* Write out the difference between BASE and an internal label as the - value of a stab, and immediately emit that internal label. STEM and - COUNTERP are as for dbxout_stab_value_internal_label. */ -void -dbxout_stab_value_internal_label_diff (const char *stem, int *counterp, - const char *base) -{ - char label[100]; - int counter = counterp ? (*counterp)++ : 0; - - ASM_GENERATE_INTERNAL_LABEL (label, stem, counter); - dbxout_stab_value_label_diff (label, base); - targetm.asm_out.internal_label (asm_out_file, stem, counter); -} - -/* The following functions produce specific kinds of stab directives. */ - -/* Write a .stabd directive with type STYPE and desc SDESC to asm_out_file. */ -void -dbxout_stabd (int stype, int sdesc) -{ - fputs (ASM_STABD_OP, asm_out_file); - dbxout_int (stype); - fputs (",0,", asm_out_file); - dbxout_int (sdesc); - putc ('\n', asm_out_file); -} - -/* Write a .stabn directive with type STYPE. This function stops - short of emitting the value field, which is the responsibility of - the caller (normally it will be either a symbol or the difference - of two symbols). */ - -void -dbxout_begin_stabn (int stype) -{ - fputs (ASM_STABN_OP, asm_out_file); - dbxout_int (stype); - fputs (",0,0,", asm_out_file); -} - -/* Write a .stabn directive with type N_SLINE and desc LINE. As above, - the value field is the responsibility of the caller. */ -void -dbxout_begin_stabn_sline (int lineno) -{ - fputs (ASM_STABN_OP, asm_out_file); - dbxout_int (N_SLINE); - fputs (",0,", asm_out_file); - dbxout_int (lineno); - putc (',', asm_out_file); -} - -/* Begin a .stabs directive with string "", type STYPE, and desc and - other fields 0. The value field is the responsibility of the - caller. This function cannot be used for .stabx directives. */ -void -dbxout_begin_empty_stabs (int stype) -{ - fputs (ASM_STABS_OP, asm_out_file); - fputs ("\"\",", asm_out_file); - dbxout_int (stype); - fputs (",0,0,", asm_out_file); -} - -/* Begin a .stabs directive with string STR, type STYPE, and desc 0. - The value field is the responsibility of the caller. */ -void -dbxout_begin_simple_stabs (const char *str, int stype) -{ - fputs (ASM_STABS_OP, asm_out_file); - output_quoted_string (asm_out_file, str); - putc (',', asm_out_file); - dbxout_int (stype); - fputs (",0,0,", asm_out_file); -} - -/* As above but use SDESC for the desc field. */ -void -dbxout_begin_simple_stabs_desc (const char *str, int stype, int sdesc) -{ - fputs (ASM_STABS_OP, asm_out_file); - output_quoted_string (asm_out_file, str); - putc (',', asm_out_file); - dbxout_int (stype); - fputs (",0,", asm_out_file); - dbxout_int (sdesc); - putc (',', asm_out_file); -} - -/* The next set of functions are entirely concerned with production of - "complex" .stabs directives: that is, .stabs directives whose - strings have to be constructed piecemeal. dbxout_type, - dbxout_symbol, etc. use these routines heavily. The string is queued - up in an obstack, then written out by dbxout_finish_complex_stabs, which - is also responsible for splitting it up if it exceeds DBX_CONTIN_LENGTH. - (You might think it would be more efficient to go straight to stdio - when DBX_CONTIN_LENGTH is 0 (i.e. no length limit) but that turns - out not to be the case, and anyway this needs fewer #ifdefs.) */ - -/* Begin a complex .stabs directive. If we can, write the initial - ASM_STABS_OP to the asm_out_file. */ - -static void -dbxout_begin_complex_stabs (void) -{ - emit_pending_bincls_if_required (); - FORCE_TEXT; - fputs (ASM_STABS_OP, asm_out_file); - putc ('"', asm_out_file); - gcc_assert (stabstr_last_contin_point == 0); -} - -/* As above, but do not force text or emit pending bincls. This is - used by dbxout_symbol_location, which needs to do something else. */ -static void -dbxout_begin_complex_stabs_noforcetext (void) -{ - fputs (ASM_STABS_OP, asm_out_file); - putc ('"', asm_out_file); - gcc_assert (stabstr_last_contin_point == 0); -} - -/* Add CHR, a single character, to the string being built. */ -#define stabstr_C(chr) obstack_1grow (&stabstr_ob, chr) - -/* Add STR, a normal C string, to the string being built. */ -#define stabstr_S(str) obstack_grow (&stabstr_ob, str, strlen (str)) - -/* Add the text of ID, an IDENTIFIER_NODE, to the string being built. */ -#define stabstr_I(id) obstack_grow (&stabstr_ob, \ - IDENTIFIER_POINTER (id), \ - IDENTIFIER_LENGTH (id)) - -/* Add NUM, a signed decimal number, to the string being built. */ -static void -stabstr_D (HOST_WIDE_INT num) -{ - char buf[64]; - char *p = buf + sizeof buf; - unsigned HOST_WIDE_INT unum; - - if (num == 0) - { - stabstr_C ('0'); - return; - } - if (num < 0) - { - stabstr_C ('-'); - unum = -(unsigned HOST_WIDE_INT) num; - } - else - unum = num; - - NUMBER_FMT_LOOP (p, unum, 10); - - obstack_grow (&stabstr_ob, p, (buf + sizeof buf) - p); -} - -/* Add NUM, an unsigned decimal number, to the string being built. */ -static void -stabstr_U (unsigned HOST_WIDE_INT num) -{ - char buf[64]; - char *p = buf + sizeof buf; - if (num == 0) - { - stabstr_C ('0'); - return; - } - NUMBER_FMT_LOOP (p, num, 10); - obstack_grow (&stabstr_ob, p, (buf + sizeof buf) - p); -} - -/* Add CST, an INTEGER_CST tree, to the string being built as an - unsigned octal number. This routine handles values which are - larger than a single HOST_WIDE_INT. */ -static void -stabstr_O (tree cst) -{ - int prec = TYPE_PRECISION (TREE_TYPE (cst)); - int res_pres = prec % 3; - int i; - unsigned int digit; - - /* Leading zero for base indicator. */ - stabstr_C ('0'); - - /* If the value is zero, the base indicator will serve as the value - all by itself. */ - if (wi::to_wide (cst) == 0) - return; - - /* GDB wants constants with no extra leading "1" bits, so - we need to remove any sign-extension that might be - present. */ - if (res_pres == 1) - { - digit = wi::extract_uhwi (wi::to_wide (cst), prec - 1, 1); - stabstr_C ('0' + digit); - } - else if (res_pres == 2) - { - digit = wi::extract_uhwi (wi::to_wide (cst), prec - 2, 2); - stabstr_C ('0' + digit); - } - - prec -= res_pres; - for (i = prec - 3; i >= 0; i = i - 3) - { - digit = wi::extract_uhwi (wi::to_wide (cst), i, 3); - stabstr_C ('0' + digit); - } -} - -/* Called whenever it is safe to break a stabs string into multiple - .stabs directives. If the current string has exceeded the limit - set by DBX_CONTIN_LENGTH, mark the current position in the buffer - as a continuation point by inserting DBX_CONTIN_CHAR (doubled if - it is a backslash) and a null character. */ -static inline void -stabstr_continue (void) -{ - if (DBX_CONTIN_LENGTH > 0 - && obstack_object_size (&stabstr_ob) - stabstr_last_contin_point - > DBX_CONTIN_LENGTH) - { - if (DBX_CONTIN_CHAR == '\\') - obstack_1grow (&stabstr_ob, '\\'); - obstack_1grow (&stabstr_ob, DBX_CONTIN_CHAR); - obstack_1grow (&stabstr_ob, '\0'); - stabstr_last_contin_point = obstack_object_size (&stabstr_ob); - } -} -#define CONTIN stabstr_continue () - -/* Macro subroutine of dbxout_finish_complex_stabs, which emits - all of the arguments to the .stabs directive after the string. - Overridden by xcoffout.h. CODE is the stabs code for this symbol; - LINE is the source line to write into the desc field (in extended - mode); SYM is the symbol itself. - - ADDR, LABEL, and NUMBER are three different ways to represent the - stabs value field. At most one of these should be nonzero. - - ADDR is used most of the time; it represents the value as an - RTL address constant. - - LABEL is used (currently) only for N_CATCH stabs; it represents - the value as a string suitable for assemble_name. - - NUMBER is used when the value is an offset from an implicit base - pointer (e.g. for a stack variable), or an index (e.g. for a - register variable). It represents the value as a decimal integer. */ - -#ifndef DBX_FINISH_STABS -#define DBX_FINISH_STABS(SYM, CODE, LINE, ADDR, LABEL, NUMBER) \ -do { \ - int line_ = use_gnu_debug_info_extensions ? LINE : 0; \ - \ - dbxout_int (CODE); \ - fputs (",0,", asm_out_file); \ - dbxout_int (line_); \ - putc (',', asm_out_file); \ - if (ADDR) \ - output_addr_const (asm_out_file, ADDR); \ - else if (LABEL) \ - assemble_name (asm_out_file, LABEL); \ - else \ - dbxout_int (NUMBER); \ - putc ('\n', asm_out_file); \ -} while (0) -#endif - -/* Finish the emission of a complex .stabs directive. When DBX_CONTIN_LENGTH - is zero, this has only to emit the close quote and the remainder of - the arguments. When it is nonzero, the string has been marshalled in - stabstr_ob, and this routine is responsible for breaking it up into - DBX_CONTIN_LENGTH-sized chunks. - - SYM is the DECL of the symbol under consideration; it is used only - for its DECL_SOURCE_LINE. The other arguments are all passed directly - to DBX_FINISH_STABS; see above for details. */ - -static void -dbxout_finish_complex_stabs (tree sym, stab_code_type code, - rtx addr, const char *label, int number) -{ - int line ATTRIBUTE_UNUSED; - char *str; - size_t len; - - line = sym ? DECL_SOURCE_LINE (sym) : 0; - if (DBX_CONTIN_LENGTH > 0) - { - char *chunk; - size_t chunklen; - - /* Nul-terminate the growing string, then get its size and - address. */ - obstack_1grow (&stabstr_ob, '\0'); - - len = obstack_object_size (&stabstr_ob); - chunk = str = XOBFINISH (&stabstr_ob, char *); - - /* Within the buffer are a sequence of NUL-separated strings, - each of which is to be written out as a separate stab - directive. */ - for (;;) - { - chunklen = strlen (chunk); - fwrite (chunk, 1, chunklen, asm_out_file); - fputs ("\",", asm_out_file); - - /* Must add an extra byte to account for the NUL separator. */ - chunk += chunklen + 1; - len -= chunklen + 1; - - /* Only put a line number on the last stab in the sequence. */ - DBX_FINISH_STABS (sym, code, len == 0 ? line : 0, - addr, label, number); - if (len == 0) - break; - - fputs (ASM_STABS_OP, asm_out_file); - putc ('"', asm_out_file); - } - stabstr_last_contin_point = 0; - } - else - { - /* No continuations - we can put the whole string out at once. - It is faster to augment the string with the close quote and - comma than to do a two-character fputs. */ - obstack_grow (&stabstr_ob, "\",", 2); - len = obstack_object_size (&stabstr_ob); - str = XOBFINISH (&stabstr_ob, char *); - - fwrite (str, 1, len, asm_out_file); - DBX_FINISH_STABS (sym, code, line, addr, label, number); - } - obstack_free (&stabstr_ob, str); -} - -#if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO) - -/* When -gused is used, emit debug info for only used symbols. But in - addition to the standard intercepted debug_hooks there are some - direct calls into this file, i.e., dbxout_symbol, dbxout_parms, and - dbxout_reg_params. Those routines may also be called from a higher - level intercepted routine. So to prevent recording data for an inner - call to one of these for an intercept, we maintain an intercept - nesting counter (debug_nesting). We only save the intercepted - arguments if the nesting is 1. */ -static int debug_nesting = 0; - -static tree *symbol_queue; -static int symbol_queue_index = 0; -static int symbol_queue_size = 0; - -#define DBXOUT_DECR_NESTING \ - if (--debug_nesting == 0 && symbol_queue_index > 0) \ - { emit_pending_bincls_if_required (); debug_flush_symbol_queue (); } - -#define DBXOUT_DECR_NESTING_AND_RETURN(x) \ - do {--debug_nesting; return (x);} while (0) - -#endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */ - -#if defined (DBX_DEBUGGING_INFO) - -static void -dbxout_function_end (tree decl ATTRIBUTE_UNUSED) -{ - char lscope_label_name[100]; - - /* The Lscope label must be emitted even if we aren't doing anything - else; dbxout_block needs it. */ - switch_to_section (current_function_section ()); - - /* Convert Lscope into the appropriate format for local labels in case - the system doesn't insert underscores in front of user generated - labels. */ - ASM_GENERATE_INTERNAL_LABEL (lscope_label_name, "Lscope", scope_labelno); - targetm.asm_out.internal_label (asm_out_file, "Lscope", scope_labelno); - - /* The N_FUN tag at the end of the function is a GNU extension, - which may be undesirable, and is unnecessary if we do not have - named sections. */ - if (!use_gnu_debug_info_extensions - || NO_DBX_FUNCTION_END - || !targetm_common.have_named_sections) - return; - - /* By convention, GCC will mark the end of a function with an N_FUN - symbol and an empty string. */ - if (crtl->has_bb_partition) - { - dbxout_begin_empty_stabs (N_FUN); - if (in_cold_section_p) - dbxout_stab_value_label_diff (crtl->subsections.cold_section_end_label, - crtl->subsections.cold_section_label); - else - dbxout_stab_value_label_diff (crtl->subsections.hot_section_end_label, - crtl->subsections.hot_section_label); - } - else - { - char begin_label[20]; - /* Reference current function start using LFBB. */ - ASM_GENERATE_INTERNAL_LABEL (begin_label, "LFBB", scope_labelno); - dbxout_begin_empty_stabs (N_FUN); - dbxout_stab_value_label_diff (lscope_label_name, begin_label); - } - - if (!NO_DBX_BNSYM_ENSYM && !flag_debug_only_used_symbols) - dbxout_stabd (N_ENSYM, 0); -} -#endif /* DBX_DEBUGGING_INFO */ - -/* Get lang description for N_SO stab. */ -static unsigned int ATTRIBUTE_UNUSED -get_lang_number (void) -{ - const char *language_string = lang_hooks.name; - if (lang_GNU_C ()) - return N_SO_C; - else if (lang_GNU_CXX ()) - return N_SO_CC; - else if (strcmp (language_string, "GNU F77") == 0) - return N_SO_FORTRAN; - else if (lang_GNU_Fortran ()) - return N_SO_FORTRAN90; /* CHECKME */ - else if (strcmp (language_string, "GNU Objective-C") == 0) - return N_SO_OBJC; - else if (strcmp (language_string, "GNU Objective-C++") == 0) - return N_SO_OBJCPLUS; - else - return 0; - -} - -static bool -is_fortran (void) -{ - unsigned int lang = get_lang_number (); - - return (lang == N_SO_FORTRAN) || (lang == N_SO_FORTRAN90); -} - -/* At the beginning of compilation, start writing the symbol table. - Initialize `typevec' and output the standard data types of C. */ - -static void -dbxout_init (const char *input_file_name) -{ - char ltext_label_name[100]; - bool used_ltext_label_name = false; - tree syms = lang_hooks.decls.getdecls (); - const char *mapped_name; - - typevec_len = 100; - typevec = ggc_cleared_vec_alloc (typevec_len); - - /* stabstr_ob contains one string, which will be just fine with - 1-byte alignment. */ - obstack_specify_allocation (&stabstr_ob, 0, 1, xmalloc, free); - - /* Convert Ltext into the appropriate format for local labels in case - the system doesn't insert underscores in front of user generated - labels. */ - ASM_GENERATE_INTERNAL_LABEL (ltext_label_name, "Ltext", 0); - - /* Put the current working directory in an N_SO symbol. */ - if (use_gnu_debug_info_extensions && !NO_DBX_MAIN_SOURCE_DIRECTORY) - { - static const char *cwd; - - if (!cwd) - { - cwd = get_src_pwd (); - if (cwd[0] == '\0') - cwd = "/"; - else if (!IS_DIR_SEPARATOR (cwd[strlen (cwd) - 1])) - cwd = concat (cwd, "/", NULL); - cwd = remap_debug_filename (cwd); - } -#ifdef DBX_OUTPUT_MAIN_SOURCE_DIRECTORY - DBX_OUTPUT_MAIN_SOURCE_DIRECTORY (asm_out_file, cwd); -#else /* no DBX_OUTPUT_MAIN_SOURCE_DIRECTORY */ - dbxout_begin_simple_stabs_desc (cwd, N_SO, get_lang_number ()); - dbxout_stab_value_label (ltext_label_name); - used_ltext_label_name = true; -#endif /* no DBX_OUTPUT_MAIN_SOURCE_DIRECTORY */ - } - - mapped_name = remap_debug_filename (input_file_name); -#ifdef DBX_OUTPUT_MAIN_SOURCE_FILENAME - DBX_OUTPUT_MAIN_SOURCE_FILENAME (asm_out_file, mapped_name); -#else - dbxout_begin_simple_stabs_desc (mapped_name, N_SO, get_lang_number ()); - dbxout_stab_value_label (ltext_label_name); - used_ltext_label_name = true; -#endif - - if (used_ltext_label_name) - { - switch_to_section (text_section); - targetm.asm_out.internal_label (asm_out_file, "Ltext", 0); - } - - /* Emit an N_OPT stab to indicate that this file was compiled by GCC. - The string used is historical. */ -#ifndef NO_DBX_GCC_MARKER - dbxout_begin_simple_stabs ("gcc2_compiled.", N_OPT); - dbxout_stab_value_zero (); -#endif - - base_input_file = lastfile = input_file_name; - - next_type_number = 1; - -#ifdef DBX_USE_BINCL - current_file = XNEW (struct dbx_file); - current_file->next = NULL; - current_file->file_number = 0; - current_file->next_type_number = 1; - next_file_number = 1; - current_file->prev = NULL; - current_file->bincl_status = BINCL_NOT_REQUIRED; - current_file->pending_bincl_name = NULL; -#endif - - /* Get all permanent types that have typedef names, and output them - all, except for those already output. Some language front ends - put these declarations in the top-level scope; some do not; - the latter are responsible for calling debug_hooks->type_decl from - their record_builtin_type function. */ - dbxout_typedefs (syms); - - if (preinit_symbols) - { - tree t; - for (t = nreverse (preinit_symbols); t; t = TREE_CHAIN (t)) - dbxout_symbol (TREE_VALUE (t), 0); - preinit_symbols = 0; - } -} - -/* Output any typedef names for types described by TYPE_DECLs in SYMS. */ - -static void -dbxout_typedefs (tree syms) -{ - for (; syms != NULL_TREE; syms = DECL_CHAIN (syms)) - { - if (TREE_CODE (syms) == TYPE_DECL) - { - tree type = TREE_TYPE (syms); - if (TYPE_NAME (type) - && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL - && COMPLETE_OR_VOID_TYPE_P (type) - && ! TREE_ASM_WRITTEN (TYPE_NAME (type))) - dbxout_symbol (TYPE_NAME (type), 0); - } - } -} - -#ifdef DBX_USE_BINCL -/* Emit BINCL stab using given name. */ -static void -emit_bincl_stab (const char *name) -{ - dbxout_begin_simple_stabs (name, N_BINCL); - dbxout_stab_value_zero (); -} - -/* If there are pending bincls then it is time to emit all of them. */ - -static inline void -emit_pending_bincls_if_required (void) -{ - if (pending_bincls) - emit_pending_bincls (); -} - -/* Emit all pending bincls. */ - -static void -emit_pending_bincls (void) -{ - struct dbx_file *f = current_file; - - /* Find first pending bincl. */ - while (f->bincl_status == BINCL_PENDING) - f = f->next; - - /* Now emit all bincls. */ - f = f->prev; - - while (f) - { - if (f->bincl_status == BINCL_PENDING) - { - emit_bincl_stab (f->pending_bincl_name); - - /* Update file number and status. */ - f->file_number = next_file_number++; - f->bincl_status = BINCL_PROCESSED; - } - if (f == current_file) - break; - f = f->prev; - } - - /* All pending bincls have been emitted. */ - pending_bincls = 0; -} - -#else - -static inline void -emit_pending_bincls_if_required (void) {} -#endif - -/* Change to reading from a new source file. Generate a N_BINCL stab. */ - -static void -dbxout_start_source_file (unsigned int line ATTRIBUTE_UNUSED, - const char *filename ATTRIBUTE_UNUSED) -{ -#ifdef DBX_USE_BINCL - struct dbx_file *n = XNEW (struct dbx_file); - - n->next = current_file; - n->next_type_number = 1; - /* Do not assign file number now. - Delay it until we actually emit BINCL. */ - n->file_number = 0; - n->prev = NULL; - current_file->prev = n; - n->bincl_status = BINCL_PENDING; - n->pending_bincl_name = remap_debug_filename (filename); - pending_bincls = 1; - current_file = n; -#endif -} - -/* Revert to reading a previous source file. Generate a N_EINCL stab. */ - -static void -dbxout_end_source_file (unsigned int line ATTRIBUTE_UNUSED) -{ -#ifdef DBX_USE_BINCL - /* Emit EINCL stab only if BINCL is not pending. */ - if (current_file->bincl_status == BINCL_PROCESSED) - { - dbxout_begin_stabn (N_EINCL); - dbxout_stab_value_zero (); - } - current_file->bincl_status = BINCL_NOT_REQUIRED; - current_file = current_file->next; -#endif -} - -/* Handle a few odd cases that occur when trying to make PCH files work. */ - -static void -dbxout_handle_pch (unsigned at_end) -{ - if (! at_end) - { - /* When using the PCH, this file will be included, so we need to output - a BINCL. */ - dbxout_start_source_file (0, lastfile); - - /* The base file when using the PCH won't be the same as - the base file when it's being generated. */ - lastfile = NULL; - } - else - { - /* ... and an EINCL. */ - dbxout_end_source_file (0); - - /* Deal with cases where 'lastfile' was never actually changed. */ - lastfile_is_base = lastfile == NULL; - } -} - -#if defined (DBX_DEBUGGING_INFO) - -static bool dbxout_block (tree, int, tree, int); - -/* Output debugging info to FILE to switch to sourcefile FILENAME. */ - -static void -dbxout_source_file (const char *filename) -{ - if (lastfile == 0 && lastfile_is_base) - { - lastfile = base_input_file; - lastfile_is_base = 0; - } - - if (filename && (lastfile == 0 || strcmp (filename, lastfile))) - { - /* Don't change section amid function. */ - if (current_function_decl == NULL_TREE) - switch_to_section (text_section); - - dbxout_begin_simple_stabs (remap_debug_filename (filename), N_SOL); - dbxout_stab_value_internal_label ("Ltext", &source_label_number); - lastfile = filename; - } -} - -/* Output N_BNSYM, line number symbol entry, and local symbol at - function scope */ - -static void -dbxout_begin_prologue (unsigned int lineno, - unsigned int column ATTRIBUTE_UNUSED, - const char *filename) -{ - if (use_gnu_debug_info_extensions - && !NO_DBX_FUNCTION_END - && !NO_DBX_BNSYM_ENSYM - && !flag_debug_only_used_symbols) - dbxout_stabd (N_BNSYM, 0); - - /* pre-increment the scope counter */ - scope_labelno++; - - dbxout_source_line (lineno, 0, filename, 0, true); - /* Output function begin block at function scope, referenced - by dbxout_block, dbxout_source_line and dbxout_function_end. */ - emit_pending_bincls_if_required (); - targetm.asm_out.internal_label (asm_out_file, "LFBB", scope_labelno); -} - -/* Output a line number symbol entry for source file FILENAME and line - number LINENO. */ - -static void -dbxout_source_line (unsigned int lineno, unsigned int column ATTRIBUTE_UNUSED, - const char *filename, int discriminator ATTRIBUTE_UNUSED, - bool is_stmt ATTRIBUTE_UNUSED) -{ - dbxout_source_file (filename); - -#ifdef DBX_OUTPUT_SOURCE_LINE - DBX_OUTPUT_SOURCE_LINE (asm_out_file, lineno, dbxout_source_line_counter); -#else - if (DBX_LINES_FUNCTION_RELATIVE) - { - char begin_label[20]; - dbxout_begin_stabn_sline (lineno); - /* Reference current function start using LFBB. */ - ASM_GENERATE_INTERNAL_LABEL (begin_label, "LFBB", scope_labelno); - dbxout_stab_value_internal_label_diff ("LM", &dbxout_source_line_counter, - begin_label); - } - else - dbxout_stabd (N_SLINE, lineno); -#endif - lastlineno = lineno; -} - -/* Unfortunately, at least when emitting relative addresses, STABS - has no way to express multiple partitions. Represent a function - as two functions in this case. */ - -static void -dbxout_switch_text_section (void) -{ - /* The N_FUN tag at the end of the function is a GNU extension, - which may be undesirable, and is unnecessary if we do not have - named sections. */ - in_cold_section_p = !in_cold_section_p; - switch_to_section (current_function_section ()); - dbxout_block (DECL_INITIAL (current_function_decl), 0, - DECL_ARGUMENTS (current_function_decl), -1); - dbxout_function_end (current_function_decl); - in_cold_section_p = !in_cold_section_p; - - switch_to_section (current_function_section ()); - - tree context = decl_function_context (current_function_decl); - extern tree cold_function_name; - - dbxout_begin_complex_stabs (); - stabstr_I (cold_function_name); - stabstr_S (":f"); - - tree type = TREE_TYPE (current_function_decl); - if (TREE_TYPE (type)) - dbxout_type (TREE_TYPE (type), 0); - else - dbxout_type (void_type_node, 0); - - if (context != 0) - { - stabstr_C (','); - stabstr_I (cold_function_name); - stabstr_C (','); - stabstr_I (DECL_NAME (context)); - } - - dbxout_finish_complex_stabs (current_function_decl, N_FUN, 0, - crtl->subsections.cold_section_label, 0); - - /* pre-increment the scope counter */ - scope_labelno++; - - dbxout_source_line (lastlineno, 0, lastfile, 0, true); - /* Output function begin block at function scope, referenced - by dbxout_block, dbxout_source_line and dbxout_function_end. */ - emit_pending_bincls_if_required (); - targetm.asm_out.internal_label (asm_out_file, "LFBB", scope_labelno); -} - -/* Describe the beginning of an internal block within a function. */ - -static void -dbxout_begin_block (unsigned int line ATTRIBUTE_UNUSED, unsigned int n) -{ - emit_pending_bincls_if_required (); - targetm.asm_out.internal_label (asm_out_file, "LBB", n); -} - -/* Describe the end line-number of an internal block within a function. */ - -static void -dbxout_end_block (unsigned int line ATTRIBUTE_UNUSED, unsigned int n) -{ - emit_pending_bincls_if_required (); - targetm.asm_out.internal_label (asm_out_file, "LBE", n); -} - -/* Output dbx data for a function definition. - This includes a definition of the function name itself (a symbol), - definitions of the parameters (locating them in the parameter list) - and then output the block that makes up the function's body - (including all the auto variables of the function). */ - -static void -dbxout_function_decl (tree decl) -{ - emit_pending_bincls_if_required (); -#ifndef DBX_FUNCTION_FIRST - dbxout_begin_function (decl); -#endif - dbxout_block (DECL_INITIAL (decl), 0, DECL_ARGUMENTS (decl), -1); - dbxout_function_end (decl); -} - -#endif /* DBX_DEBUGGING_INFO */ - -static void -dbxout_early_global_decl (tree decl ATTRIBUTE_UNUSED) -{ - /* NYI for non-dwarf. */ -} - -/* Debug information for a global DECL. Called from toplev.cc after - compilation proper has finished. */ -static void -dbxout_late_global_decl (tree decl) -{ - if (VAR_P (decl) && !DECL_EXTERNAL (decl)) - { - int saved_tree_used = TREE_USED (decl); - TREE_USED (decl) = 1; - dbxout_symbol (decl, 0); - TREE_USED (decl) = saved_tree_used; - } -} - -/* This is just a function-type adapter; dbxout_symbol does exactly - what we want but returns an int. */ -static void -dbxout_type_decl (tree decl, int local) -{ - dbxout_symbol (decl, local); -} - -/* At the end of compilation, finish writing the symbol table. - The default is to call debug_free_queue but do nothing else. */ - -static void -dbxout_finish (const char *filename ATTRIBUTE_UNUSED) -{ -#ifdef DBX_OUTPUT_MAIN_SOURCE_FILE_END - DBX_OUTPUT_MAIN_SOURCE_FILE_END (asm_out_file, filename); -#elif defined DBX_OUTPUT_NULL_N_SO_AT_MAIN_SOURCE_FILE_END - { - switch_to_section (text_section); - dbxout_begin_empty_stabs (N_SO); - dbxout_stab_value_internal_label ("Letext", 0); - } -#endif - debug_free_queue (); -} - -/* Output the index of a type. */ - -static void -dbxout_type_index (tree type) -{ -#ifndef DBX_USE_BINCL - stabstr_D (TYPE_SYMTAB_ADDRESS (type)); -#else - struct typeinfo *t = &typevec[TYPE_SYMTAB_ADDRESS (type)]; - stabstr_C ('('); - stabstr_D (t->file_number); - stabstr_C (','); - stabstr_D (t->type_number); - stabstr_C (')'); -#endif -} - - -/* Generate the symbols for any queued up type symbols we encountered - while generating the type info for some originally used symbol. - This might generate additional entries in the queue. Only when - the nesting depth goes to 0 is this routine called. */ - -static void -debug_flush_symbol_queue (void) -{ - int i; - - /* Make sure that additionally queued items are not flushed - prematurely. */ - - ++debug_nesting; - - for (i = 0; i < symbol_queue_index; ++i) - { - /* If we pushed queued symbols then such symbols must be - output no matter what anyone else says. Specifically, - we need to make sure dbxout_symbol() thinks the symbol was - used and also we need to override TYPE_DECL_SUPPRESS_DEBUG - which may be set for outside reasons. */ - int saved_tree_used = TREE_USED (symbol_queue[i]); - int saved_suppress_debug = TYPE_DECL_SUPPRESS_DEBUG (symbol_queue[i]); - TREE_USED (symbol_queue[i]) = 1; - TYPE_DECL_SUPPRESS_DEBUG (symbol_queue[i]) = 0; - -#ifdef DBX_DEBUGGING_INFO - dbxout_symbol (symbol_queue[i], 0); -#endif - - TREE_USED (symbol_queue[i]) = saved_tree_used; - TYPE_DECL_SUPPRESS_DEBUG (symbol_queue[i]) = saved_suppress_debug; - } - - symbol_queue_index = 0; - --debug_nesting; -} - -/* Queue a type symbol needed as part of the definition of a decl - symbol. These symbols are generated when debug_flush_symbol_queue() - is called. */ - -static void -debug_queue_symbol (tree decl) -{ - if (symbol_queue_index >= symbol_queue_size) - { - symbol_queue_size += 10; - symbol_queue = XRESIZEVEC (tree, symbol_queue, symbol_queue_size); - } - - symbol_queue[symbol_queue_index++] = decl; -} - -/* Free symbol queue. */ -static void -debug_free_queue (void) -{ - if (symbol_queue) - { - free (symbol_queue); - symbol_queue = NULL; - symbol_queue_size = 0; - } -} - -/* Used in several places: evaluates to '0' for a private decl, - '1' for a protected decl, '2' for a public decl. */ -#define DECL_ACCESSIBILITY_CHAR(DECL) \ -(TREE_PRIVATE (DECL) ? '0' : TREE_PROTECTED (DECL) ? '1' : '2') - -/* Subroutine of `dbxout_type'. Output the type fields of TYPE. - This must be a separate function because anonymous unions require - recursive calls. */ - -static void -dbxout_type_fields (tree type) -{ - tree tem; - - /* Output the name, type, position (in bits), size (in bits) of each - field that we can support. */ - for (tem = TYPE_FIELDS (type); tem; tem = DECL_CHAIN (tem)) - { - /* If one of the nodes is an error_mark or its type is then - return early. */ - if (error_operand_p (tem)) - return; - - /* Omit here local type decls until we know how to support them. */ - if (TREE_CODE (tem) == TYPE_DECL - || TREE_CODE (tem) == TEMPLATE_DECL - /* Member functions emitted after fields. */ - || TREE_CODE (tem) == FUNCTION_DECL - /* Omit here the nameless fields that are used to skip bits. */ - || DECL_IGNORED_P (tem) - /* Omit fields whose position or size are variable or too large to - represent. */ - || (TREE_CODE (tem) == FIELD_DECL - && (! tree_fits_shwi_p (bit_position (tem)) - || ! DECL_SIZE (tem) - || ! tree_fits_uhwi_p (DECL_SIZE (tem))))) - continue; - - else if (TREE_CODE (tem) != CONST_DECL) - { - /* Continue the line if necessary, - but not before the first field. */ - if (tem != TYPE_FIELDS (type)) - CONTIN; - - if (DECL_NAME (tem)) - stabstr_I (DECL_NAME (tem)); - stabstr_C (':'); - - if (use_gnu_debug_info_extensions - && (TREE_PRIVATE (tem) || TREE_PROTECTED (tem) - || TREE_CODE (tem) != FIELD_DECL)) - { - stabstr_C ('/'); - stabstr_C (DECL_ACCESSIBILITY_CHAR (tem)); - } - - dbxout_type ((TREE_CODE (tem) == FIELD_DECL - && DECL_BIT_FIELD_TYPE (tem)) - ? DECL_BIT_FIELD_TYPE (tem) : TREE_TYPE (tem), 0); - - if (VAR_P (tem)) - { - if (TREE_STATIC (tem) && use_gnu_debug_info_extensions) - { - tree name = DECL_ASSEMBLER_NAME (tem); - - stabstr_C (':'); - stabstr_I (name); - stabstr_C (';'); - } - else - /* If TEM is non-static, GDB won't understand it. */ - stabstr_S (",0,0;"); - } - else - { - stabstr_C (','); - stabstr_D (int_bit_position (tem)); - stabstr_C (','); - stabstr_D (tree_to_uhwi (DECL_SIZE (tem))); - stabstr_C (';'); - } - } - } -} - -/* Subroutine of `dbxout_type_methods'. Output debug info about the - method described DECL. */ - -static void -dbxout_type_method_1 (tree decl) -{ - char c1 = 'A', c2; - - if (TREE_CODE (TREE_TYPE (decl)) == FUNCTION_TYPE) - c2 = '?'; - else /* it's a METHOD_TYPE. */ - { - tree firstarg = TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (decl))); - /* A for normal functions. - B for `const' member functions. - C for `volatile' member functions. - D for `const volatile' member functions. */ - if (TYPE_READONLY (TREE_TYPE (firstarg))) - c1 += 1; - if (TYPE_VOLATILE (TREE_TYPE (firstarg))) - c1 += 2; - - if (DECL_VINDEX (decl)) - c2 = '*'; - else - c2 = '.'; - } - - /* ??? Output the mangled name, which contains an encoding of the - method's type signature. May not be necessary anymore. */ - stabstr_C (':'); - stabstr_I (DECL_ASSEMBLER_NAME (decl)); - stabstr_C (';'); - stabstr_C (DECL_ACCESSIBILITY_CHAR (decl)); - stabstr_C (c1); - stabstr_C (c2); - - if (DECL_VINDEX (decl) && tree_fits_shwi_p (DECL_VINDEX (decl))) - { - stabstr_D (tree_to_shwi (DECL_VINDEX (decl))); - stabstr_C (';'); - dbxout_type (DECL_CONTEXT (decl), 0); - stabstr_C (';'); - } -} - -/* Subroutine of `dbxout_type'. Output debug info about the member - functions defined in TYPE. */ - -static void -dbxout_type_methods (tree type) -{ - for (tree fndecl = TYPE_FIELDS (type); fndecl;) - { - int need_prefix = 1; - - /* Group together all the methods for the same operation. - These differ in the types of the arguments. */ - for (tree last = NULL_TREE; - fndecl && (last == NULL_TREE || DECL_NAME (fndecl) == DECL_NAME (last)); - fndecl = DECL_CHAIN (fndecl)) - /* Output the name of the field (after overloading), as - well as the name of the field before overloading, along - with its parameter list */ - { - /* Skip non-functions. */ - if (TREE_CODE (fndecl) != FUNCTION_DECL) - continue; - - /* Also ignore abstract methods; those are only interesting to - the DWARF backends. */ - if (DECL_IGNORED_P (fndecl) || DECL_ABSTRACT_P (fndecl)) - continue; - - CONTIN; - - last = fndecl; - - /* Redundantly output the plain name, since that's what gdb - expects. */ - if (need_prefix) - { - stabstr_I (DECL_NAME (fndecl)); - stabstr_S ("::"); - need_prefix = 0; - } - - dbxout_type (TREE_TYPE (fndecl), 0); - dbxout_type_method_1 (fndecl); - } - if (!need_prefix) - stabstr_C (';'); - } -} - -/* Emit a "range" type specification, which has the form: - "r;;;". - TYPE is an INTEGER_TYPE, LOW and HIGH are the bounds. */ - -static void -dbxout_range_type (tree type, tree low, tree high) -{ - stabstr_C ('r'); - if (TREE_TYPE (type)) - dbxout_type (TREE_TYPE (type), 0); - else if (TREE_CODE (type) != INTEGER_TYPE) - dbxout_type (type, 0); - else - { - /* Traditionally, we made sure 'int' was type 1, and builtin types - were defined to be sub-ranges of int. Unfortunately, this - does not allow us to distinguish true sub-ranges from integer - types. So, instead we define integer (non-sub-range) types as - sub-ranges of themselves. This matters for Chill. If this isn't - a subrange type, then we want to define it in terms of itself. - However, in C, this may be an anonymous integer type, and we don't - want to emit debug info referring to it. Just calling - dbxout_type_index won't work anyways, because the type hasn't been - defined yet. We make this work for both cases by checked to see - whether this is a defined type, referring to it if it is, and using - 'int' otherwise. */ - if (TYPE_SYMTAB_ADDRESS (type) != 0) - dbxout_type_index (type); - else - dbxout_type_index (integer_type_node); - } - - stabstr_C (';'); - if (low && tree_fits_shwi_p (low)) - { - if (print_int_cst_bounds_in_octal_p (type, low, high)) - stabstr_O (low); - else - stabstr_D (tree_to_shwi (low)); - } - else - stabstr_C ('0'); - - stabstr_C (';'); - if (high && tree_fits_shwi_p (high)) - { - if (print_int_cst_bounds_in_octal_p (type, low, high)) - stabstr_O (high); - else - stabstr_D (tree_to_shwi (high)); - stabstr_C (';'); - } - else - stabstr_S ("-1;"); -} - - -/* Output a reference to a type. If the type has not yet been - described in the dbx output, output its definition now. - For a type already defined, just refer to its definition - using the type number. - - If FULL is nonzero, and the type has been described only with - a forward-reference, output the definition now. - If FULL is zero in this case, just refer to the forward-reference - using the number previously allocated. */ - -static void -dbxout_type (tree type, int full) -{ - static int anonymous_type_number = 0; - tree tem, main_variant, low, high; - - if (TREE_CODE (type) == INTEGER_TYPE) - { - if (TREE_TYPE (type) == 0) - { - low = TYPE_MIN_VALUE (type); - high = TYPE_MAX_VALUE (type); - } - - else if (subrange_type_for_debug_p (type, &low, &high)) - ; - - /* If this is a subtype that should not be emitted as a subrange type, - use the base type. */ - else - { - type = TREE_TYPE (type); - low = TYPE_MIN_VALUE (type); - high = TYPE_MAX_VALUE (type); - } - } - - /* If there was an input error and we don't really have a type, - avoid crashing and write something that is at least valid - by assuming `int'. */ - if (type == error_mark_node) - type = integer_type_node; - else - { - if (TYPE_NAME (type) - && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL - && TYPE_DECL_SUPPRESS_DEBUG (TYPE_NAME (type))) - full = 0; - } - - /* Try to find the "main variant" with the same name. */ - if (TYPE_NAME (type) && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL - && DECL_ORIGINAL_TYPE (TYPE_NAME (type))) - main_variant = TREE_TYPE (TYPE_NAME (type)); - else - main_variant = TYPE_MAIN_VARIANT (type); - - /* If we are not using extensions, stabs does not distinguish const and - volatile, so there is no need to make them separate types. */ - if (!use_gnu_debug_info_extensions) - type = main_variant; - - if (TYPE_SYMTAB_ADDRESS (type) == 0) - { - /* Type has no dbx number assigned. Assign next available number. */ - TYPE_SYMTAB_ADDRESS (type) = next_type_number++; - - /* Make sure type vector is long enough to record about this type. */ - - if (next_type_number == typevec_len) - { - typevec = GGC_RESIZEVEC (struct typeinfo, typevec, typevec_len * 2); - memset (typevec + typevec_len, 0, typevec_len * sizeof typevec[0]); - typevec_len *= 2; - } - -#ifdef DBX_USE_BINCL - emit_pending_bincls_if_required (); - typevec[TYPE_SYMTAB_ADDRESS (type)].file_number - = current_file->file_number; - typevec[TYPE_SYMTAB_ADDRESS (type)].type_number - = current_file->next_type_number++; -#endif - } - - if (flag_debug_only_used_symbols) - { - if ((TREE_CODE (type) == RECORD_TYPE - || TREE_CODE (type) == UNION_TYPE - || TREE_CODE (type) == QUAL_UNION_TYPE - || TREE_CODE (type) == ENUMERAL_TYPE) - && TYPE_STUB_DECL (type) - && DECL_P (TYPE_STUB_DECL (type)) - && ! DECL_IGNORED_P (TYPE_STUB_DECL (type))) - debug_queue_symbol (TYPE_STUB_DECL (type)); - else if (TYPE_NAME (type) - && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL) - debug_queue_symbol (TYPE_NAME (type)); - } - - /* Output the number of this type, to refer to it. */ - dbxout_type_index (type); - -#ifdef DBX_TYPE_DEFINED - if (DBX_TYPE_DEFINED (type)) - return; -#endif - - /* If this type's definition has been output or is now being output, - that is all. */ - - switch (typevec[TYPE_SYMTAB_ADDRESS (type)].status) - { - case TYPE_UNSEEN: - break; - case TYPE_XREF: - /* If we have already had a cross reference, - and either that's all we want or that's the best we could do, - don't repeat the cross reference. - Sun dbx crashes if we do. */ - if (! full || !COMPLETE_TYPE_P (type) - /* No way in DBX fmt to describe a variable size. */ - || ! tree_fits_uhwi_p (TYPE_SIZE (type))) - return; - break; - case TYPE_DEFINED: - return; - } - -#ifdef DBX_NO_XREFS - /* For systems where dbx output does not allow the `=xsNAME:' syntax, - leave the type-number completely undefined rather than output - a cross-reference. If we have already used GNU debug info extensions, - then it is OK to output a cross reference. This is necessary to get - proper C++ debug output. */ - if ((TREE_CODE (type) == RECORD_TYPE || TREE_CODE (type) == UNION_TYPE - || TREE_CODE (type) == QUAL_UNION_TYPE - || TREE_CODE (type) == ENUMERAL_TYPE) - && ! use_gnu_debug_info_extensions) - /* We must use the same test here as we use twice below when deciding - whether to emit a cross-reference. */ - if ((TYPE_NAME (type) != 0 - && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL - && DECL_IGNORED_P (TYPE_NAME (type))) - && !full) - || !COMPLETE_TYPE_P (type) - /* No way in DBX fmt to describe a variable size. */ - || ! tree_fits_uhwi_p (TYPE_SIZE (type))) - { - typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF; - return; - } -#endif - - /* Output a definition now. */ - stabstr_C ('='); - - /* Mark it as defined, so that if it is self-referent - we will not get into an infinite recursion of definitions. */ - - typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_DEFINED; - - /* If this type is a variant of some other, hand off. Types with - different names are usefully distinguished. We only distinguish - cv-qualified types if we're using extensions. */ - if (TYPE_READONLY (type) > TYPE_READONLY (main_variant)) - { - stabstr_C ('k'); - dbxout_type (build_type_variant (type, 0, TYPE_VOLATILE (type)), 0); - return; - } - else if (TYPE_VOLATILE (type) > TYPE_VOLATILE (main_variant)) - { - stabstr_C ('B'); - dbxout_type (build_type_variant (type, TYPE_READONLY (type), 0), 0); - return; - } - else if (main_variant != TYPE_MAIN_VARIANT (type)) - { - if (flag_debug_only_used_symbols) - { - tree orig_type = DECL_ORIGINAL_TYPE (TYPE_NAME (type)); - - if ((TREE_CODE (orig_type) == RECORD_TYPE - || TREE_CODE (orig_type) == UNION_TYPE - || TREE_CODE (orig_type) == QUAL_UNION_TYPE - || TREE_CODE (orig_type) == ENUMERAL_TYPE) - && TYPE_STUB_DECL (orig_type) - && ! DECL_IGNORED_P (TYPE_STUB_DECL (orig_type))) - debug_queue_symbol (TYPE_STUB_DECL (orig_type)); - } - /* 'type' is a typedef; output the type it refers to. */ - dbxout_type (DECL_ORIGINAL_TYPE (TYPE_NAME (type)), 0); - return; - } - /* else continue. */ - - switch (TREE_CODE (type)) - { - case VOID_TYPE: - case NULLPTR_TYPE: - case LANG_TYPE: - case OPAQUE_TYPE: - /* For a void type, just define it as itself; i.e., "5=5". - This makes us consider it defined - without saying what it is. The debugger will make it - a void type when the reference is seen, and nothing will - ever override that default. */ - dbxout_type_index (type); - break; - - case INTEGER_TYPE: - if (type == char_type_node && ! TYPE_UNSIGNED (type)) - { - /* Output the type `char' as a subrange of itself! - I don't understand this definition, just copied it - from the output of pcc. - This used to use `r2' explicitly and we used to - take care to make sure that `char' was type number 2. */ - stabstr_C ('r'); - dbxout_type_index (type); - stabstr_S (";0;127;"); - } - - /* If this is a subtype of another integer type, always prefer to - write it as a subtype. */ - else if (TREE_TYPE (type) != 0 - && TREE_CODE (TREE_TYPE (type)) == INTEGER_TYPE) - { - /* If the size is non-standard, say what it is if we can use - GDB extensions. */ - - if (use_gnu_debug_info_extensions - && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node)) - { - stabstr_S ("@s"); - stabstr_D (TYPE_PRECISION (type)); - stabstr_C (';'); - } - - dbxout_range_type (type, low, high); - } - - else - { - /* If the size is non-standard, say what it is if we can use - GDB extensions. */ - - if (use_gnu_debug_info_extensions - && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node)) - { - stabstr_S ("@s"); - stabstr_D (TYPE_PRECISION (type)); - stabstr_C (';'); - } - - if (print_int_cst_bounds_in_octal_p (type, low, high)) - { - stabstr_C ('r'); - - /* If this type derives from another type, output type index of - parent type. This is particularly important when parent type - is an enumerated type, because not generating the parent type - index would transform the definition of this enumerated type - into a plain unsigned type. */ - if (TREE_TYPE (type) != 0) - dbxout_type_index (TREE_TYPE (type)); - else - dbxout_type_index (type); - - stabstr_C (';'); - stabstr_O (low); - stabstr_C (';'); - stabstr_O (high); - stabstr_C (';'); - } - - else - /* Output other integer types as subranges of `int'. */ - dbxout_range_type (type, low, high); - } - - break; - - case REAL_TYPE: - case FIXED_POINT_TYPE: - /* This used to say `r1' and we used to take care - to make sure that `int' was type number 1. */ - stabstr_C ('r'); - dbxout_type_index (integer_type_node); - stabstr_C (';'); - stabstr_D (int_size_in_bytes (type)); - stabstr_S (";0;"); - break; - - case BOOLEAN_TYPE: - if (use_gnu_debug_info_extensions) - { - stabstr_S ("@s"); - stabstr_D (BITS_PER_UNIT * int_size_in_bytes (type)); - stabstr_S (";-16;"); - } - else /* Define as enumeral type (False, True) */ - stabstr_S ("eFalse:0,True:1,;"); - break; - - case COMPLEX_TYPE: - /* Differs from the REAL_TYPE by its new data type number. - R3 is NF_COMPLEX. We don't try to use any of the other NF_* - codes since gdb doesn't care anyway. */ - - if (TREE_CODE (TREE_TYPE (type)) == REAL_TYPE) - { - stabstr_S ("R3;"); - stabstr_D (2 * int_size_in_bytes (TREE_TYPE (type))); - stabstr_S (";0;"); - } - else - { - /* Output a complex integer type as a structure, - pending some other way to do it. */ - stabstr_C ('s'); - stabstr_D (int_size_in_bytes (type)); - - stabstr_S ("real:"); - dbxout_type (TREE_TYPE (type), 0); - stabstr_S (",0,"); - stabstr_D (TYPE_PRECISION (TREE_TYPE (type))); - - stabstr_S (";imag:"); - dbxout_type (TREE_TYPE (type), 0); - stabstr_C (','); - stabstr_D (TYPE_PRECISION (TREE_TYPE (type))); - stabstr_C (','); - stabstr_D (TYPE_PRECISION (TREE_TYPE (type))); - stabstr_S (";;"); - } - break; - - case ARRAY_TYPE: - /* Make arrays of packed bits look like bitstrings for chill. */ - if (TYPE_PACKED (type) && use_gnu_debug_info_extensions) - { - stabstr_S ("@s"); - stabstr_D (BITS_PER_UNIT * int_size_in_bytes (type)); - stabstr_S (";@S;S"); - dbxout_type (TYPE_DOMAIN (type), 0); - break; - } - - /* Output "a" followed by a range type definition - for the index type of the array - followed by a reference to the target-type. - ar1;0;N;M for a C array of type M and size N+1. */ - /* Check if a character string type, which in Chill is - different from an array of characters. */ - if (TYPE_STRING_FLAG (type) && use_gnu_debug_info_extensions) - { - stabstr_S ("@S;"); - } - tem = TYPE_DOMAIN (type); - if (tem == NULL) - { - stabstr_S ("ar"); - dbxout_type_index (integer_type_node); - stabstr_S (";0;-1;"); - } - else - { - stabstr_C ('a'); - dbxout_range_type (tem, TYPE_MIN_VALUE (tem), TYPE_MAX_VALUE (tem)); - } - - dbxout_type (TREE_TYPE (type), 0); - break; - - case VECTOR_TYPE: - /* Make vectors look like an array. */ - if (use_gnu_debug_info_extensions) - stabstr_S ("@V;"); - - /* Output "a" followed by a range type definition - for the index type of the array - followed by a reference to the target-type. - ar1;0;N;M for a C array of type M and size N+1. */ - stabstr_C ('a'); - dbxout_range_type (integer_type_node, size_zero_node, - size_int (TYPE_VECTOR_SUBPARTS (type) - 1)); - - dbxout_type (TREE_TYPE (type), 0); - break; - - case RECORD_TYPE: - case UNION_TYPE: - case QUAL_UNION_TYPE: - { - tree binfo = TYPE_BINFO (type); - - /* Output a structure type. We must use the same test here as we - use in the DBX_NO_XREFS case above. */ - if ((TYPE_NAME (type) != 0 - && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL - && DECL_IGNORED_P (TYPE_NAME (type))) - && !full) - || !COMPLETE_TYPE_P (type) - /* No way in DBX fmt to describe a variable size. */ - || ! tree_fits_uhwi_p (TYPE_SIZE (type))) - { - /* If the type is just a cross reference, output one - and mark the type as partially described. - If it later becomes defined, we will output - its real definition. - If the type has a name, don't nest its definition within - another type's definition; instead, output an xref - and let the definition come when the name is defined. */ - stabstr_S ((TREE_CODE (type) == RECORD_TYPE) ? "xs" : "xu"); - if (TYPE_IDENTIFIER (type)) - { - /* Note that the C frontend creates for anonymous variable - length records/unions TYPE_NAME with DECL_NAME NULL. */ - dbxout_type_name (type); - } - else - { - stabstr_S ("$$"); - stabstr_D (anonymous_type_number++); - } - - stabstr_C (':'); - typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF; - break; - } - - /* Identify record or union, and print its size. */ - stabstr_C ((TREE_CODE (type) == RECORD_TYPE) ? 's' : 'u'); - stabstr_D (int_size_in_bytes (type)); - - if (binfo) - { - int i; - tree child; - vec *accesses = BINFO_BASE_ACCESSES (binfo); - - if (use_gnu_debug_info_extensions) - { - if (BINFO_N_BASE_BINFOS (binfo)) - { - stabstr_C ('!'); - stabstr_U (BINFO_N_BASE_BINFOS (binfo)); - stabstr_C (','); - } - } - for (i = 0; BINFO_BASE_ITERATE (binfo, i, child); i++) - { - tree access = (accesses ? (*accesses)[i] : access_public_node); - - if (use_gnu_debug_info_extensions) - { - stabstr_C (BINFO_VIRTUAL_P (child) ? '1' : '0'); - stabstr_C (access == access_public_node ? '2' : - access == access_protected_node - ? '1' :'0'); - if (BINFO_VIRTUAL_P (child) - && (lang_GNU_CXX () - || strcmp (lang_hooks.name, "GNU Objective-C++") == 0)) - /* For a virtual base, print the (negative) - offset within the vtable where we must look - to find the necessary adjustment. */ - stabstr_D - (tree_to_shwi (BINFO_VPTR_FIELD (child)) - * BITS_PER_UNIT); - else - stabstr_D (tree_to_shwi (BINFO_OFFSET (child)) - * BITS_PER_UNIT); - stabstr_C (','); - dbxout_type (BINFO_TYPE (child), 0); - stabstr_C (';'); - } - else - { - /* Print out the base class information with - fields which have the same names at the types - they hold. */ - dbxout_type_name (BINFO_TYPE (child)); - stabstr_C (':'); - dbxout_type (BINFO_TYPE (child), full); - stabstr_C (','); - stabstr_D (tree_to_shwi (BINFO_OFFSET (child)) - * BITS_PER_UNIT); - stabstr_C (','); - stabstr_D - (tree_to_shwi (TYPE_SIZE (BINFO_TYPE (child))) - * BITS_PER_UNIT); - stabstr_C (';'); - } - } - } - } - - /* Write out the field declarations. */ - dbxout_type_fields (type); - if (use_gnu_debug_info_extensions) - dbxout_type_methods (type); - - stabstr_C (';'); - - if (use_gnu_debug_info_extensions && TREE_CODE (type) == RECORD_TYPE - /* Avoid the ~ if we don't really need it--it confuses dbx. */ - && TYPE_VFIELD (type)) - { - - /* We need to write out info about what field this class - uses as its "main" vtable pointer field, because if this - field is inherited from a base class, GDB cannot necessarily - figure out which field it's using in time. */ - stabstr_S ("~%"); - dbxout_type (DECL_FCONTEXT (TYPE_VFIELD (type)), 0); - stabstr_C (';'); - } - break; - - case ENUMERAL_TYPE: - /* We must use the same test here as we use in the DBX_NO_XREFS case - above. We simplify it a bit since an enum will never have a variable - size. */ - if ((TYPE_NAME (type) != 0 - && ! (TREE_CODE (TYPE_NAME (type)) == TYPE_DECL - && DECL_IGNORED_P (TYPE_NAME (type))) - && !full) - || !COMPLETE_TYPE_P (type)) - { - stabstr_S ("xe"); - dbxout_type_name (type); - typevec[TYPE_SYMTAB_ADDRESS (type)].status = TYPE_XREF; - stabstr_C (':'); - return; - } - if (use_gnu_debug_info_extensions - && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node)) - { - stabstr_S ("@s"); - stabstr_D (TYPE_PRECISION (type)); - stabstr_C (';'); - } - - stabstr_C ('e'); - for (tem = TYPE_VALUES (type); tem; tem = TREE_CHAIN (tem)) - { - tree value = TREE_VALUE (tem); - - stabstr_I (TREE_PURPOSE (tem)); - stabstr_C (':'); - - if (TREE_CODE (value) == CONST_DECL) - value = DECL_INITIAL (value); - - if (cst_and_fits_in_hwi (value)) - stabstr_D (TREE_INT_CST_LOW (value)); - else - stabstr_O (value); - - stabstr_C (','); - if (TREE_CHAIN (tem) != 0) - CONTIN; - } - - stabstr_C (';'); - break; - - case POINTER_TYPE: - stabstr_C ('*'); - dbxout_type (TREE_TYPE (type), 0); - break; - - case METHOD_TYPE: - if (use_gnu_debug_info_extensions) - { - stabstr_C ('#'); - - /* Write the argument types out longhand. */ - dbxout_type (TYPE_METHOD_BASETYPE (type), 0); - stabstr_C (','); - dbxout_type (TREE_TYPE (type), 0); - dbxout_args (TYPE_ARG_TYPES (type)); - stabstr_C (';'); - } - else - /* Treat it as a function type. */ - dbxout_type (TREE_TYPE (type), 0); - break; - - case OFFSET_TYPE: - if (use_gnu_debug_info_extensions) - { - stabstr_C ('@'); - dbxout_type (TYPE_OFFSET_BASETYPE (type), 0); - stabstr_C (','); - dbxout_type (TREE_TYPE (type), 0); - } - else - /* Should print as an int, because it is really just an offset. */ - dbxout_type (integer_type_node, 0); - break; - - case REFERENCE_TYPE: - if (use_gnu_debug_info_extensions) - { - stabstr_C ('&'); - } - else - stabstr_C ('*'); - dbxout_type (TREE_TYPE (type), 0); - break; - - case FUNCTION_TYPE: - stabstr_C ('f'); - dbxout_type (TREE_TYPE (type), 0); - break; - - default: - /* A C++ function with deduced return type can have a TEMPLATE_TYPE_PARM - named 'auto' in its type. - No debug info for TEMPLATE_TYPE_PARM type supported yet. */ - if (lang_GNU_CXX ()) - { - tree name = TYPE_IDENTIFIER (type); - if (name == get_identifier ("auto") - || name == get_identifier ("decltype(auto)")) - break; - } - - gcc_unreachable (); - } -} - -/* Return nonzero if the given type represents an integer whose bounds - should be printed in octal format. */ - -static bool -print_int_cst_bounds_in_octal_p (tree type, tree low, tree high) -{ - /* If we can use GDB extensions and the size is wider than a long - (the size used by GDB to read them) or we may have trouble writing - the bounds the usual way, write them in octal. Note the test is for - the *target's* size of "long", not that of the host. The host test - is just to make sure we can write it out in case the host wide int - is narrower than the target "long". - - For unsigned types, we use octal if they are the same size or larger. - This is because we print the bounds as signed decimal, and hence they - can't span same size unsigned types. */ - - if (use_gnu_debug_info_extensions - && low && TREE_CODE (low) == INTEGER_CST - && high && TREE_CODE (high) == INTEGER_CST - && (TYPE_PRECISION (type) > TYPE_PRECISION (integer_type_node) - || ((TYPE_PRECISION (type) == TYPE_PRECISION (integer_type_node)) - && TYPE_UNSIGNED (type)) - || TYPE_PRECISION (type) > HOST_BITS_PER_WIDE_INT - || (TYPE_PRECISION (type) == HOST_BITS_PER_WIDE_INT - && TYPE_UNSIGNED (type)))) - return TRUE; - else - return FALSE; -} - -/* Output the name of type TYPE, with no punctuation. - Such names can be set up either by typedef declarations - or by struct, enum and union tags. */ - -static void -dbxout_type_name (tree type) -{ - tree t = TYPE_NAME (type); - - gcc_assert (t); - switch (TREE_CODE (t)) - { - case IDENTIFIER_NODE: - break; - case TYPE_DECL: - t = DECL_NAME (t); - break; - default: - gcc_unreachable (); - } - - stabstr_I (t); -} - -/* Output leading struct or class names needed for qualifying type - whose scope is limited to a struct or class. */ - -static void -dbxout_class_name_qualifiers (tree decl) -{ - tree context = decl_type_context (decl); - - if (context != NULL_TREE - && TREE_CODE (context) == RECORD_TYPE - && TYPE_NAME (context) != 0 - && (TREE_CODE (TYPE_NAME (context)) == IDENTIFIER_NODE - || (DECL_NAME (TYPE_NAME (context)) != 0))) - { - tree name = TYPE_NAME (context); - - if (TREE_CODE (name) == TYPE_DECL) - { - dbxout_class_name_qualifiers (name); - name = DECL_NAME (name); - } - stabstr_I (name); - stabstr_S ("::"); - } -} - -/* This is a specialized subset of expand_expr for use by dbxout_symbol in - evaluating DECL_VALUE_EXPR. In particular, we stop if we find decls that - haven't been expanded, or if the expression is getting so complex we won't - be able to represent it in stabs anyway. Returns NULL on failure. */ - -static rtx -dbxout_expand_expr (tree expr) -{ - switch (TREE_CODE (expr)) - { - case VAR_DECL: - /* We can't handle emulated tls variables, because the address is an - offset to the return value of __emutls_get_address, and there is no - way to express that in stabs. Also, there are name mangling issues - here. We end up with references to undefined symbols if we don't - disable debug info for these variables. */ - if (!targetm.have_tls && DECL_THREAD_LOCAL_P (expr)) - return NULL; - if (TREE_STATIC (expr) - && !TREE_ASM_WRITTEN (expr) - && !DECL_HAS_VALUE_EXPR_P (expr) - && !TREE_PUBLIC (expr) - && DECL_RTL_SET_P (expr) - && MEM_P (DECL_RTL (expr))) - { - /* If this is a var that might not be actually output, - return NULL, otherwise stabs might reference an undefined - symbol. */ - varpool_node *node = varpool_node::get (expr); - if (!node || !node->definition) - return NULL; - } - /* FALLTHRU */ - - case PARM_DECL: - case RESULT_DECL: - if (DECL_HAS_VALUE_EXPR_P (expr)) - return dbxout_expand_expr (DECL_VALUE_EXPR (expr)); - /* FALLTHRU */ - - case CONST_DECL: - return DECL_RTL_IF_SET (expr); - - case INTEGER_CST: - return expand_expr (expr, NULL_RTX, VOIDmode, EXPAND_INITIALIZER); - - case COMPONENT_REF: - case ARRAY_REF: - case ARRAY_RANGE_REF: - case BIT_FIELD_REF: - { - machine_mode mode; - poly_int64 bitsize, bitpos; - tree offset, tem; - int unsignedp, reversep, volatilep = 0; - rtx x; - - tem = get_inner_reference (expr, &bitsize, &bitpos, &offset, &mode, - &unsignedp, &reversep, &volatilep); - - x = dbxout_expand_expr (tem); - if (x == NULL || !MEM_P (x)) - return NULL; - if (offset != NULL) - { - if (!tree_fits_shwi_p (offset)) - return NULL; - x = adjust_address_nv (x, mode, tree_to_shwi (offset)); - } - if (maybe_ne (bitpos, 0)) - x = adjust_address_nv (x, mode, bits_to_bytes_round_down (bitpos)); - - return x; - } - - default: - return NULL; - } -} - -/* Helper function for output_used_types. Queue one entry from the - used types hash to be output. */ - -bool -output_used_types_helper (tree const &type, vec *types_p) -{ - if ((TREE_CODE (type) == RECORD_TYPE - || TREE_CODE (type) == UNION_TYPE - || TREE_CODE (type) == QUAL_UNION_TYPE - || TREE_CODE (type) == ENUMERAL_TYPE) - && TYPE_STUB_DECL (type) - && DECL_P (TYPE_STUB_DECL (type)) - && ! DECL_IGNORED_P (TYPE_STUB_DECL (type))) - types_p->quick_push (TYPE_STUB_DECL (type)); - else if (TYPE_NAME (type) - && TREE_CODE (TYPE_NAME (type)) == TYPE_DECL) - types_p->quick_push (TYPE_NAME (type)); - - return true; -} - -/* This is a qsort callback which sorts types and declarations into a - predictable order (types, then declarations, sorted by UID - within). */ - -static int -output_types_sort (const void *pa, const void *pb) -{ - const tree lhs = *((const tree *)pa); - const tree rhs = *((const tree *)pb); - - if (TYPE_P (lhs)) - { - if (TYPE_P (rhs)) - return TYPE_UID (lhs) - TYPE_UID (rhs); - else - return 1; - } - else - { - if (TYPE_P (rhs)) - return -1; - else - return DECL_UID (lhs) - DECL_UID (rhs); - } -} - - -/* Force all types used by this function to be output in debug - information. */ - -static void -output_used_types (void) -{ - if (cfun && cfun->used_types_hash) - { - vec types; - int i; - tree type; - - types.create (cfun->used_types_hash->elements ()); - cfun->used_types_hash->traverse *, output_used_types_helper> - (&types); - - /* Sort by UID to prevent dependence on hash table ordering. */ - types.qsort (output_types_sort); - - FOR_EACH_VEC_ELT (types, i, type) - debug_queue_symbol (type); - - types.release (); - } -} - -/* Output a .stabs for the symbol defined by DECL, - which must be a ..._DECL node in the normal namespace. - It may be a CONST_DECL, a FUNCTION_DECL, a PARM_DECL or a VAR_DECL. - LOCAL is nonzero if the scope is less than the entire file. - Return 1 if a stabs might have been emitted. */ - -int -dbxout_symbol (tree decl, int local ATTRIBUTE_UNUSED) -{ - tree type = TREE_TYPE (decl); - tree context = NULL_TREE; - int result = 0; - rtx decl_rtl; - - /* "Intercept" dbxout_symbol() calls like we do all debug_hooks. */ - ++debug_nesting; - - /* Ignore nameless syms, but don't ignore type tags. */ - - if ((DECL_NAME (decl) == 0 && TREE_CODE (decl) != TYPE_DECL) - || DECL_IGNORED_P (decl)) - DBXOUT_DECR_NESTING_AND_RETURN (0); - - /* If we are to generate only the symbols actually used then such - symbol nodes are flagged with TREE_USED. Ignore any that - aren't flagged as TREE_USED. */ - - if (flag_debug_only_used_symbols - && (!TREE_USED (decl) - && (!VAR_P (decl) || !DECL_INITIAL (decl)))) - DBXOUT_DECR_NESTING_AND_RETURN (0); - - /* If dbxout_init has not yet run, queue this symbol for later. */ - if (!typevec) - { - preinit_symbols = tree_cons (0, decl, preinit_symbols); - DBXOUT_DECR_NESTING_AND_RETURN (0); - } - - if (flag_debug_only_used_symbols) - { - tree t; - - /* We now have a used symbol. We need to generate the info for - the symbol's type in addition to the symbol itself. These - type symbols are queued to be generated after were done with - the symbol itself (otherwise they would fight over the - stabstr obstack). - - Note, because the TREE_TYPE(type) might be something like a - pointer to a named type we need to look for the first name - we see following the TREE_TYPE chain. */ - - t = type; - while (POINTER_TYPE_P (t)) - t = TREE_TYPE (t); - - /* RECORD_TYPE, UNION_TYPE, QUAL_UNION_TYPE, and ENUMERAL_TYPE - need special treatment. The TYPE_STUB_DECL field in these - types generally represents the tag name type we want to - output. In addition there could be a typedef type with - a different name. In that case we also want to output - that. */ - - if (TREE_CODE (t) == RECORD_TYPE - || TREE_CODE (t) == UNION_TYPE - || TREE_CODE (t) == QUAL_UNION_TYPE - || TREE_CODE (t) == ENUMERAL_TYPE) - { - if (TYPE_STUB_DECL (t) - && TYPE_STUB_DECL (t) != decl - && DECL_P (TYPE_STUB_DECL (t)) - && ! DECL_IGNORED_P (TYPE_STUB_DECL (t))) - { - debug_queue_symbol (TYPE_STUB_DECL (t)); - if (TYPE_NAME (t) - && TYPE_NAME (t) != TYPE_STUB_DECL (t) - && TYPE_NAME (t) != decl - && DECL_P (TYPE_NAME (t))) - debug_queue_symbol (TYPE_NAME (t)); - } - } - else if (TYPE_NAME (t) - && TYPE_NAME (t) != decl - && DECL_P (TYPE_NAME (t))) - debug_queue_symbol (TYPE_NAME (t)); - } - - emit_pending_bincls_if_required (); - - switch (TREE_CODE (decl)) - { - case CONST_DECL: - /* Enum values are defined by defining the enum type. */ - break; - - case FUNCTION_DECL: - decl_rtl = DECL_RTL_IF_SET (decl); - if (!decl_rtl) - DBXOUT_DECR_NESTING_AND_RETURN (0); - if (DECL_EXTERNAL (decl)) - break; - /* Don't mention a nested function under its parent. */ - context = decl_function_context (decl); - if (context == current_function_decl) - break; - /* Don't mention an inline instance of a nested function. */ - if (context && DECL_FROM_INLINE (decl)) - break; - if (!MEM_P (decl_rtl) - || GET_CODE (XEXP (decl_rtl, 0)) != SYMBOL_REF) - break; - - if (flag_debug_only_used_symbols) - output_used_types (); - - dbxout_begin_complex_stabs (); - stabstr_I (DECL_ASSEMBLER_NAME (decl)); - stabstr_S (TREE_PUBLIC (decl) ? ":F" : ":f"); - result = 1; - - if (TREE_TYPE (type)) - dbxout_type (TREE_TYPE (type), 0); - else - dbxout_type (void_type_node, 0); - - /* For a nested function, when that function is compiled, - mention the containing function name - as well as (since dbx wants it) our own assembler-name. */ - if (context != 0) - { - stabstr_C (','); - stabstr_I (DECL_ASSEMBLER_NAME (decl)); - stabstr_C (','); - stabstr_I (DECL_NAME (context)); - } - - dbxout_finish_complex_stabs (decl, N_FUN, XEXP (decl_rtl, 0), 0, 0); - break; - - case TYPE_DECL: - /* Don't output the same typedef twice. - And don't output what language-specific stuff doesn't want output. */ - if (TREE_ASM_WRITTEN (decl) || TYPE_DECL_SUPPRESS_DEBUG (decl)) - DBXOUT_DECR_NESTING_AND_RETURN (0); - - /* Don't output typedefs for types with magic type numbers (XCOFF). */ -#ifdef DBX_ASSIGN_FUNDAMENTAL_TYPE_NUMBER - { - int fundamental_type_number = - DBX_ASSIGN_FUNDAMENTAL_TYPE_NUMBER (decl); - - if (fundamental_type_number != 0) - { - TREE_ASM_WRITTEN (decl) = 1; - TYPE_SYMTAB_ADDRESS (TREE_TYPE (decl)) = fundamental_type_number; - DBXOUT_DECR_NESTING_AND_RETURN (0); - } - } -#endif - FORCE_TEXT; - result = 1; - { - int tag_needed = 1; - int did_output = 0; - - if (DECL_NAME (decl)) - { - /* Nonzero means we must output a tag as well as a typedef. */ - tag_needed = 0; - - /* Handle the case of a C++ structure or union - where the TYPE_NAME is a TYPE_DECL - which gives both a typedef name and a tag. */ - /* dbx requires the tag first and the typedef second. */ - if ((TREE_CODE (type) == RECORD_TYPE - || TREE_CODE (type) == UNION_TYPE - || TREE_CODE (type) == QUAL_UNION_TYPE) - && TYPE_NAME (type) == decl - && !use_gnu_debug_info_extensions - && !TREE_ASM_WRITTEN (TYPE_NAME (type)) - /* Distinguish the implicit typedefs of C++ - from explicit ones that might be found in C. */ - && DECL_ARTIFICIAL (decl) - /* Do not generate a tag for incomplete records. */ - && COMPLETE_TYPE_P (type) - /* Do not generate a tag for records of variable size, - since this type cannot be properly described in the - DBX format, and it confuses some tools such as objdump. */ - && tree_fits_uhwi_p (TYPE_SIZE (type))) - { - tree name = TYPE_IDENTIFIER (type); - - dbxout_begin_complex_stabs (); - stabstr_I (name); - stabstr_S (":T"); - dbxout_type (type, 1); - dbxout_finish_complex_stabs (0, DBX_TYPE_DECL_STABS_CODE, - 0, 0, 0); - } - - dbxout_begin_complex_stabs (); - - /* Output leading class/struct qualifiers. */ - if (use_gnu_debug_info_extensions) - dbxout_class_name_qualifiers (decl); - - /* Output typedef name. */ - stabstr_I (DECL_NAME (decl)); - stabstr_C (':'); - - /* Short cut way to output a tag also. */ - if ((TREE_CODE (type) == RECORD_TYPE - || TREE_CODE (type) == UNION_TYPE - || TREE_CODE (type) == QUAL_UNION_TYPE) - && TYPE_NAME (type) == decl - /* Distinguish the implicit typedefs of C++ - from explicit ones that might be found in C. */ - && DECL_ARTIFICIAL (decl)) - { - if (use_gnu_debug_info_extensions) - { - stabstr_C ('T'); - TREE_ASM_WRITTEN (TYPE_NAME (type)) = 1; - } - } - - stabstr_C ('t'); - dbxout_type (type, 1); - dbxout_finish_complex_stabs (decl, DBX_TYPE_DECL_STABS_CODE, - 0, 0, 0); - did_output = 1; - } - - /* Don't output a tag if this is an incomplete type. This prevents - the sun4 Sun OS 4.x dbx from crashing. */ - - if (tag_needed && TYPE_NAME (type) != 0 - && (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE - || (DECL_NAME (TYPE_NAME (type)) != 0)) - && COMPLETE_TYPE_P (type) - && !TREE_ASM_WRITTEN (TYPE_NAME (type))) - { - /* For a TYPE_DECL with no name, but the type has a name, - output a tag. - This is what represents `struct foo' with no typedef. */ - /* In C++, the name of a type is the corresponding typedef. - In C, it is an IDENTIFIER_NODE. */ - tree name = TYPE_IDENTIFIER (type); - - dbxout_begin_complex_stabs (); - stabstr_I (name); - stabstr_S (":T"); - dbxout_type (type, 1); - dbxout_finish_complex_stabs (0, DBX_TYPE_DECL_STABS_CODE, 0, 0, 0); - did_output = 1; - } - - /* If an enum type has no name, it cannot be referred to, but - we must output it anyway, to record the enumeration - constants. */ - - if (!did_output && TREE_CODE (type) == ENUMERAL_TYPE) - { - dbxout_begin_complex_stabs (); - /* Some debuggers fail when given NULL names, so give this a - harmless name of " " (Why not "(anon)"?). */ - stabstr_S (" :T"); - dbxout_type (type, 1); - dbxout_finish_complex_stabs (0, DBX_TYPE_DECL_STABS_CODE, 0, 0, 0); - } - - /* Prevent duplicate output of a typedef. */ - TREE_ASM_WRITTEN (decl) = 1; - break; - } - - case PARM_DECL: - if (DECL_HAS_VALUE_EXPR_P (decl)) - decl = DECL_VALUE_EXPR (decl); - - /* PARM_DECLs go in their own separate chain and are output by - dbxout_reg_parms and dbxout_parms, except for those that are - disguised VAR_DECLs like Out parameters in Ada. */ - gcc_assert (VAR_P (decl)); - - /* fall through */ - - case RESULT_DECL: - case VAR_DECL: - /* Don't mention a variable that is external. - Let the file that defines it describe it. */ - if (DECL_EXTERNAL (decl)) - break; - - /* If the variable is really a constant - and not written in memory, inform the debugger. - - ??? Why do we skip emitting the type and location in this case? */ - if (TREE_STATIC (decl) && TREE_READONLY (decl) - && DECL_INITIAL (decl) != 0 - && tree_fits_shwi_p (DECL_INITIAL (decl)) - && ! TREE_ASM_WRITTEN (decl) - && (DECL_FILE_SCOPE_P (decl) - || TREE_CODE (DECL_CONTEXT (decl)) == BLOCK - || TREE_CODE (DECL_CONTEXT (decl)) == NAMESPACE_DECL) - && TREE_PUBLIC (decl) == 0) - { - /* The sun4 assembler does not grok this. */ - - if (TREE_CODE (TREE_TYPE (decl)) == INTEGER_TYPE - || TREE_CODE (TREE_TYPE (decl)) == ENUMERAL_TYPE) - { - HOST_WIDE_INT ival = tree_to_shwi (DECL_INITIAL (decl)); - - dbxout_begin_complex_stabs (); - dbxout_symbol_name (decl, NULL, 'c'); - stabstr_S ("=i"); - stabstr_D (ival); - dbxout_finish_complex_stabs (0, N_LSYM, 0, 0, 0); - DBXOUT_DECR_NESTING; - return 1; - } - else - break; - } - /* else it is something we handle like a normal variable. */ - - decl_rtl = dbxout_expand_expr (decl); - if (!decl_rtl) - DBXOUT_DECR_NESTING_AND_RETURN (0); - - if (!is_global_var (decl)) - decl_rtl = eliminate_regs (decl_rtl, VOIDmode, NULL_RTX); -#ifdef LEAF_REG_REMAP - if (crtl->uses_only_leaf_regs) - leaf_renumber_regs_insn (decl_rtl); -#endif - - result = dbxout_symbol_location (decl, type, 0, decl_rtl); - break; - - default: - break; - } - DBXOUT_DECR_NESTING; - return result; -} - -/* Output the stab for DECL, a VAR_DECL, RESULT_DECL or PARM_DECL. - Add SUFFIX to its name, if SUFFIX is not 0. - Describe the variable as residing in HOME - (usually HOME is DECL_RTL (DECL), but not always). - Returns 1 if the stab was really emitted. */ - -static int -dbxout_symbol_location (tree decl, tree type, const char *suffix, rtx home) -{ - int letter = 0; - stab_code_type code; - rtx addr = 0; - int number = 0; - int regno = -1; - - /* Don't mention a variable at all - if it was completely optimized into nothingness. - - If the decl was from an inline function, then its rtl - is not identically the rtl that was used in this - particular compilation. */ - if (GET_CODE (home) == SUBREG) - { - rtx value = home; - - while (GET_CODE (value) == SUBREG) - value = SUBREG_REG (value); - if (REG_P (value)) - { - if (REGNO (value) >= FIRST_PSEUDO_REGISTER) - return 0; - } - home = alter_subreg (&home, true); - } - if (REG_P (home)) - { - regno = REGNO (home); - if (regno >= FIRST_PSEUDO_REGISTER) - return 0; - } - - /* The kind-of-variable letter depends on where - the variable is and on the scope of its name: - G and N_GSYM for static storage and global scope, - S for static storage and file scope, - V for static storage and local scope, - for those two, use N_LCSYM if data is in bss segment, - N_STSYM if in data segment, N_FUN otherwise. - (We used N_FUN originally, then changed to N_STSYM - to please GDB. However, it seems that confused ld. - Now GDB has been fixed to like N_FUN, says Kingdon.) - no letter at all, and N_LSYM, for auto variable, - r and N_RSYM for register variable. */ - - if (MEM_P (home) && GET_CODE (XEXP (home, 0)) == SYMBOL_REF) - { - if (TREE_PUBLIC (decl)) - { - int offs; - letter = 'G'; - code = N_GSYM; - if (dbxout_common_check (decl, &offs) != NULL) - { - letter = 'V'; - addr = 0; - number = offs; - } - } - else - { - addr = XEXP (home, 0); - - letter = decl_function_context (decl) ? 'V' : 'S'; - - /* Some ports can transform a symbol ref into a label ref, - because the symbol ref is too far away and has to be - dumped into a constant pool. Alternatively, the symbol - in the constant pool might be referenced by a different - symbol. */ - if (GET_CODE (addr) == SYMBOL_REF - && CONSTANT_POOL_ADDRESS_P (addr)) - { - bool marked; - rtx tmp = get_pool_constant_mark (addr, &marked); - - if (GET_CODE (tmp) == SYMBOL_REF) - { - addr = tmp; - if (CONSTANT_POOL_ADDRESS_P (addr)) - get_pool_constant_mark (addr, &marked); - else - marked = true; - } - else if (GET_CODE (tmp) == LABEL_REF) - { - addr = tmp; - marked = true; - } - - /* If all references to the constant pool were optimized - out, we just ignore the symbol. */ - if (!marked) - return 0; - } - - /* This should be the same condition as in assemble_variable, but - we don't have access to dont_output_data here. So, instead, - we rely on the fact that error_mark_node initializers always - end up in bss for C++ and never end up in bss for C. */ - if (DECL_INITIAL (decl) == 0 - || (lang_GNU_CXX () - && DECL_INITIAL (decl) == error_mark_node)) - { - int offs; - code = N_LCSYM; - if (dbxout_common_check (decl, &offs) != NULL) - { - addr = 0; - number = offs; - letter = 'V'; - code = N_GSYM; - } - } - else if (DECL_IN_TEXT_SECTION (decl)) - /* This is not quite right, but it's the closest - of all the codes that Unix defines. */ - code = DBX_STATIC_CONST_VAR_CODE; - else - { - /* Ultrix `as' seems to need this. */ -#ifdef DBX_STATIC_STAB_DATA_SECTION - switch_to_section (data_section); -#endif - code = N_STSYM; - } - } - } - else if (regno >= 0) - { - letter = 'r'; - code = N_RSYM; - number = DBX_REGISTER_NUMBER (regno); - } - else if (MEM_P (home) - && (MEM_P (XEXP (home, 0)) - || (REG_P (XEXP (home, 0)) - && REGNO (XEXP (home, 0)) != HARD_FRAME_POINTER_REGNUM - && REGNO (XEXP (home, 0)) != STACK_POINTER_REGNUM -#if !HARD_FRAME_POINTER_IS_ARG_POINTER - && REGNO (XEXP (home, 0)) != ARG_POINTER_REGNUM -#endif - ))) - /* If the value is indirect by memory or by a register - that isn't the frame pointer - then it means the object is variable-sized and address through - that register or stack slot. DBX has no way to represent this - so all we can do is output the variable as a pointer. - If it's not a parameter, ignore it. */ - { - if (REG_P (XEXP (home, 0))) - { - letter = 'r'; - code = N_RSYM; - if (REGNO (XEXP (home, 0)) >= FIRST_PSEUDO_REGISTER) - return 0; - number = DBX_REGISTER_NUMBER (REGNO (XEXP (home, 0))); - } - else - { - code = N_LSYM; - /* RTL looks like (MEM (MEM (PLUS (REG...) (CONST_INT...)))). - We want the value of that CONST_INT. */ - number = DEBUGGER_AUTO_OFFSET (XEXP (XEXP (home, 0), 0)); - } - - /* Effectively do build_pointer_type, but don't cache this type, - since it might be temporary whereas the type it points to - might have been saved for inlining. */ - /* Don't use REFERENCE_TYPE because dbx can't handle that. */ - type = make_node (POINTER_TYPE); - TREE_TYPE (type) = TREE_TYPE (decl); - } - else if (MEM_P (home) - && REG_P (XEXP (home, 0))) - { - code = N_LSYM; - number = DEBUGGER_AUTO_OFFSET (XEXP (home, 0)); - } - else if (MEM_P (home) - && GET_CODE (XEXP (home, 0)) == PLUS - && CONST_INT_P (XEXP (XEXP (home, 0), 1))) - { - code = N_LSYM; - /* RTL looks like (MEM (PLUS (REG...) (CONST_INT...))) - We want the value of that CONST_INT. */ - number = DEBUGGER_AUTO_OFFSET (XEXP (home, 0)); - } - else if (MEM_P (home) - && GET_CODE (XEXP (home, 0)) == CONST) - { - /* Handle an obscure case which can arise when optimizing and - when there are few available registers. (This is *always* - the case for i386/i486 targets). The RTL looks like - (MEM (CONST ...)) even though this variable is a local `auto' - or a local `register' variable. In effect, what has happened - is that the reload pass has seen that all assignments and - references for one such a local variable can be replaced by - equivalent assignments and references to some static storage - variable, thereby avoiding the need for a register. In such - cases we're forced to lie to debuggers and tell them that - this variable was itself `static'. */ - int offs; - code = N_LCSYM; - letter = 'V'; - if (dbxout_common_check (decl, &offs) == NULL) - addr = XEXP (XEXP (home, 0), 0); - else - { - addr = 0; - number = offs; - code = N_GSYM; - } - } - else if (GET_CODE (home) == CONCAT) - { - tree subtype; - - /* If TYPE is not a COMPLEX_TYPE (it might be a RECORD_TYPE, - for example), then there is no easy way to figure out - what SUBTYPE should be. So, we give up. */ - if (TREE_CODE (type) != COMPLEX_TYPE) - return 0; - - subtype = TREE_TYPE (type); - - /* If the variable's storage is in two parts, - output each as a separate stab with a modified name. */ - if (WORDS_BIG_ENDIAN) - dbxout_symbol_location (decl, subtype, "$imag", XEXP (home, 0)); - else - dbxout_symbol_location (decl, subtype, "$real", XEXP (home, 0)); - - if (WORDS_BIG_ENDIAN) - dbxout_symbol_location (decl, subtype, "$real", XEXP (home, 1)); - else - dbxout_symbol_location (decl, subtype, "$imag", XEXP (home, 1)); - return 1; - } - else - /* Address might be a MEM, when DECL is a variable-sized object. - Or it might be const0_rtx, meaning previous passes - want us to ignore this variable. */ - return 0; - - /* Ok, start a symtab entry and output the variable name. */ - emit_pending_bincls_if_required (); - FORCE_TEXT; - -#ifdef DBX_STATIC_BLOCK_START - DBX_STATIC_BLOCK_START (asm_out_file, code); -#endif - - dbxout_begin_complex_stabs_noforcetext (); - dbxout_symbol_name (decl, suffix, letter); - dbxout_type (type, 0); - dbxout_finish_complex_stabs (decl, code, addr, 0, number); - -#ifdef DBX_STATIC_BLOCK_END - DBX_STATIC_BLOCK_END (asm_out_file, code); -#endif - return 1; -} - -/* Output the symbol name of DECL for a stabs, with suffix SUFFIX. - Then output LETTER to indicate the kind of location the symbol has. */ - -static void -dbxout_symbol_name (tree decl, const char *suffix, int letter) -{ - tree name; - - if (DECL_CONTEXT (decl) - && (TYPE_P (DECL_CONTEXT (decl)) - || TREE_CODE (DECL_CONTEXT (decl)) == NAMESPACE_DECL)) - /* One slight hitch: if this is a VAR_DECL which is a class member - or a namespace member, we must put out the mangled name instead of the - DECL_NAME. Note also that static member (variable) names DO NOT begin - with underscores in .stabs directives. */ - name = DECL_ASSEMBLER_NAME (decl); - else - /* ...but if we're function-local, we don't want to include the junk - added by ASM_FORMAT_PRIVATE_NAME. */ - name = DECL_NAME (decl); - - if (name) - stabstr_I (name); - else - stabstr_S ("(anon)"); - - if (suffix) - stabstr_S (suffix); - stabstr_C (':'); - if (letter) - stabstr_C (letter); -} - - -/* Output the common block name for DECL in a stabs. - - Symbols in global common (.comm) get wrapped with an N_BCOMM/N_ECOMM pair - around each group of symbols in the same .comm area. The N_GSYM stabs - that are emitted only contain the offset in the common area. This routine - emits the N_BCOMM and N_ECOMM stabs. */ - -static void -dbxout_common_name (tree decl, const char *name, stab_code_type op) -{ - dbxout_begin_complex_stabs (); - stabstr_S (name); - dbxout_finish_complex_stabs (decl, op, NULL_RTX, NULL, 0); -} - -/* Check decl to determine whether it is a VAR_DECL destined for storage in a - common area. If it is, the return value will be a non-null string giving - the name of the common storage block it will go into. If non-null, the - value is the offset into the common block for that symbol's storage. */ - -static const char * -dbxout_common_check (tree decl, int *value) -{ - rtx home; - rtx sym_addr; - const char *name = NULL; - - /* If the decl isn't a VAR_DECL, or if it isn't static, or if - it does not have a value (the offset into the common area), or if it - is thread local (as opposed to global) then it isn't common, and shouldn't - be handled as such. - - ??? DECL_THREAD_LOCAL_P check prevents problems with improper .stabs - for thread-local symbols. Can be handled via same mechanism as used - in dwarf2out.cc. */ - if (!VAR_P (decl) - || !TREE_STATIC (decl) - || !DECL_HAS_VALUE_EXPR_P (decl) - || DECL_THREAD_LOCAL_P (decl) - || !is_fortran ()) - return NULL; - - home = DECL_RTL (decl); - if (home == NULL_RTX || GET_CODE (home) != MEM) - return NULL; - - sym_addr = dbxout_expand_expr (DECL_VALUE_EXPR (decl)); - if (sym_addr == NULL_RTX || GET_CODE (sym_addr) != MEM) - return NULL; - - sym_addr = XEXP (sym_addr, 0); - if (GET_CODE (sym_addr) == CONST) - sym_addr = XEXP (sym_addr, 0); - if ((GET_CODE (sym_addr) == SYMBOL_REF || GET_CODE (sym_addr) == PLUS) - && DECL_INITIAL (decl) == 0) - { - - /* We have a sym that will go into a common area, meaning that it - will get storage reserved with a .comm/.lcomm assembler pseudo-op. - - Determine name of common area this symbol will be an offset into, - and offset into that area. Also retrieve the decl for the area - that the symbol is offset into. */ - tree cdecl = NULL; - - switch (GET_CODE (sym_addr)) - { - case PLUS: - if (CONST_INT_P (XEXP (sym_addr, 0))) - { - name = - targetm.strip_name_encoding (XSTR (XEXP (sym_addr, 1), 0)); - *value = INTVAL (XEXP (sym_addr, 0)); - cdecl = SYMBOL_REF_DECL (XEXP (sym_addr, 1)); - } - else - { - name = - targetm.strip_name_encoding (XSTR (XEXP (sym_addr, 0), 0)); - *value = INTVAL (XEXP (sym_addr, 1)); - cdecl = SYMBOL_REF_DECL (XEXP (sym_addr, 0)); - } - break; - - case SYMBOL_REF: - name = targetm.strip_name_encoding (XSTR (sym_addr, 0)); - *value = 0; - cdecl = SYMBOL_REF_DECL (sym_addr); - break; - - default: - error ("common symbol debug info is not structured as " - "symbol+offset"); - } - - /* Check area common symbol is offset into. If this is not public, then - it is not a symbol in a common block. It must be a .lcomm symbol, not - a .comm symbol. */ - if (cdecl == NULL || !TREE_PUBLIC (cdecl)) - name = NULL; - } - else - name = NULL; - - return name; -} - -/* Output definitions of all the decls in a chain. Return nonzero if - anything was output */ - -int -dbxout_syms (tree syms) -{ - int result = 0; - const char *comm_prev = NULL; - tree syms_prev = NULL; - - while (syms) - { - int temp, copen, cclos; - const char *comm_new; - - /* Check for common symbol, and then progression into a new/different - block of common symbols. Emit closing/opening common bracket if - necessary. */ - comm_new = dbxout_common_check (syms, &temp); - copen = comm_new != NULL - && (comm_prev == NULL || strcmp (comm_new, comm_prev)); - cclos = comm_prev != NULL - && (comm_new == NULL || strcmp (comm_new, comm_prev)); - if (cclos) - dbxout_common_name (syms_prev, comm_prev, N_ECOMM); - if (copen) - { - dbxout_common_name (syms, comm_new, N_BCOMM); - syms_prev = syms; - } - comm_prev = comm_new; - - result += dbxout_symbol (syms, 1); - syms = DECL_CHAIN (syms); - } - - if (comm_prev != NULL) - dbxout_common_name (syms_prev, comm_prev, N_ECOMM); - - return result; -} - -/* The following two functions output definitions of function parameters. - Each parameter gets a definition locating it in the parameter list. - Each parameter that is a register variable gets a second definition - locating it in the register. - - Printing or argument lists in gdb uses the definitions that - locate in the parameter list. But reference to the variable in - expressions uses preferentially the definition as a register. */ - -/* Output definitions, referring to storage in the parmlist, - of all the parms in PARMS, which is a chain of PARM_DECL nodes. */ - -void -dbxout_parms (tree parms) -{ - ++debug_nesting; - emit_pending_bincls_if_required (); - fixed_size_mode rtl_mode, type_mode; - - for (; parms; parms = DECL_CHAIN (parms)) - if (DECL_NAME (parms) - && TREE_TYPE (parms) != error_mark_node - && DECL_RTL_SET_P (parms) - && DECL_INCOMING_RTL (parms) - /* We can't represent variable-sized types in this format. */ - && is_a (TYPE_MODE (TREE_TYPE (parms)), &type_mode) - && is_a (GET_MODE (DECL_RTL (parms)), &rtl_mode)) - { - tree eff_type; - char letter; - stab_code_type code; - int number; - - /* Perform any necessary register eliminations on the parameter's rtl, - so that the debugging output will be accurate. */ - DECL_INCOMING_RTL (parms) - = eliminate_regs (DECL_INCOMING_RTL (parms), VOIDmode, NULL_RTX); - SET_DECL_RTL (parms, - eliminate_regs (DECL_RTL (parms), VOIDmode, NULL_RTX)); -#ifdef LEAF_REG_REMAP - if (crtl->uses_only_leaf_regs) - { - leaf_renumber_regs_insn (DECL_INCOMING_RTL (parms)); - leaf_renumber_regs_insn (DECL_RTL (parms)); - } -#endif - - if (PARM_PASSED_IN_MEMORY (parms)) - { - rtx inrtl = XEXP (DECL_INCOMING_RTL (parms), 0); - - /* ??? Here we assume that the parm address is indexed - off the frame pointer or arg pointer. - If that is not true, we produce meaningless results, - but do not crash. */ - if (GET_CODE (inrtl) == PLUS - && CONST_INT_P (XEXP (inrtl, 1))) - number = INTVAL (XEXP (inrtl, 1)); - else - number = 0; - - code = N_PSYM; - number = DEBUGGER_ARG_OFFSET (number, inrtl); - letter = 'p'; - - /* It is quite tempting to use TREE_TYPE (parms) instead - of DECL_ARG_TYPE (parms) for the eff_type, so that gcc - reports the actual type of the parameter, rather than - the promoted type. This certainly makes GDB's life - easier, at least for some ports. The change is a bad - idea however, since GDB expects to be able access the - type without performing any conversions. So for - example, if we were passing a float to an unprototyped - function, gcc will store a double on the stack, but if - we emit a stab saying the type is a float, then gdb - will only read in a single value, and this will produce - an erroneous value. */ - eff_type = DECL_ARG_TYPE (parms); - } - else if (REG_P (DECL_RTL (parms))) - { - rtx best_rtl; - - /* Parm passed in registers and lives in registers or nowhere. */ - code = DBX_REGPARM_STABS_CODE; - letter = DBX_REGPARM_STABS_LETTER; - - /* For parms passed in registers, it is better to use the - declared type of the variable, not the type it arrived in. */ - eff_type = TREE_TYPE (parms); - - /* If parm lives in a register, use that register; pretend - the parm was passed there. It would be more consistent - to describe the register where the parm was passed, but - in practice that register usually holds something else. - If the parm lives nowhere, use the register where it - was passed. */ - if (REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER) - best_rtl = DECL_RTL (parms); - else if (GET_CODE (DECL_INCOMING_RTL (parms)) == PARALLEL) - best_rtl = XEXP (XVECEXP (DECL_INCOMING_RTL (parms), 0, 0), 0); - else - best_rtl = DECL_INCOMING_RTL (parms); - - number = DBX_REGISTER_NUMBER (REGNO (best_rtl)); - } - else if (MEM_P (DECL_RTL (parms)) - && REG_P (XEXP (DECL_RTL (parms), 0)) - && REGNO (XEXP (DECL_RTL (parms), 0)) != HARD_FRAME_POINTER_REGNUM - && REGNO (XEXP (DECL_RTL (parms), 0)) != STACK_POINTER_REGNUM -#if !HARD_FRAME_POINTER_IS_ARG_POINTER - && REGNO (XEXP (DECL_RTL (parms), 0)) != ARG_POINTER_REGNUM -#endif - ) - { - /* Parm was passed via invisible reference. - That is, its address was passed in a register. - Output it as if it lived in that register. - The debugger will know from the type - that it was actually passed by invisible reference. */ - - code = DBX_REGPARM_STABS_CODE; - - /* GDB likes this marked with a special letter. */ - letter = (use_gnu_debug_info_extensions - ? 'a' : DBX_REGPARM_STABS_LETTER); - eff_type = TREE_TYPE (parms); - - /* DECL_RTL looks like (MEM (REG...). Get the register number. - If it is an unallocated pseudo-reg, then use the register where - it was passed instead. - ??? Why is DBX_REGISTER_NUMBER not used here? */ - - if (REGNO (XEXP (DECL_RTL (parms), 0)) < FIRST_PSEUDO_REGISTER) - number = REGNO (XEXP (DECL_RTL (parms), 0)); - else - number = REGNO (DECL_INCOMING_RTL (parms)); - } - else if (MEM_P (DECL_RTL (parms)) - && MEM_P (XEXP (DECL_RTL (parms), 0))) - { - /* Parm was passed via invisible reference, with the reference - living on the stack. DECL_RTL looks like - (MEM (MEM (PLUS (REG ...) (CONST_INT ...)))) or it - could look like (MEM (MEM (REG))). */ - - code = N_PSYM; - letter = 'v'; - eff_type = TREE_TYPE (parms); - - if (!REG_P (XEXP (XEXP (DECL_RTL (parms), 0), 0))) - number = INTVAL (XEXP (XEXP (XEXP (DECL_RTL (parms), 0), 0), 1)); - else - number = 0; - - number = DEBUGGER_ARG_OFFSET (number, - XEXP (XEXP (DECL_RTL (parms), 0), 0)); - } - else if (MEM_P (DECL_RTL (parms)) - && XEXP (DECL_RTL (parms), 0) != const0_rtx - /* ??? A constant address for a parm can happen - when the reg it lives in is equiv to a constant in memory. - Should make this not happen, after 2.4. */ - && ! CONSTANT_P (XEXP (DECL_RTL (parms), 0))) - { - /* Parm was passed in registers but lives on the stack. */ - - code = N_PSYM; - letter = 'p'; - eff_type = TREE_TYPE (parms); - - /* DECL_RTL looks like (MEM (PLUS (REG...) (CONST_INT...))), - in which case we want the value of that CONST_INT, - or (MEM (REG ...)), - in which case we use a value of zero. */ - if (!REG_P (XEXP (DECL_RTL (parms), 0))) - number = INTVAL (XEXP (XEXP (DECL_RTL (parms), 0), 1)); - else - number = 0; - - /* Make a big endian correction if the mode of the type of the - parameter is not the same as the mode of the rtl. */ - if (BYTES_BIG_ENDIAN - && type_mode != rtl_mode - && GET_MODE_SIZE (type_mode) < UNITS_PER_WORD) - number += GET_MODE_SIZE (rtl_mode) - GET_MODE_SIZE (type_mode); - } - else - /* ??? We don't know how to represent this argument. */ - continue; - - dbxout_begin_complex_stabs (); - - if (DECL_NAME (parms)) - { - stabstr_I (DECL_NAME (parms)); - stabstr_C (':'); - } - else - stabstr_S ("(anon):"); - stabstr_C (letter); - dbxout_type (eff_type, 0); - dbxout_finish_complex_stabs (parms, code, 0, 0, number); - } - DBXOUT_DECR_NESTING; -} - -/* Output definitions for the places where parms live during the function, - when different from where they were passed, when the parms were passed - in memory. - - It is not useful to do this for parms passed in registers - that live during the function in different registers, because it is - impossible to look in the passed register for the passed value, - so we use the within-the-function register to begin with. - - PARMS is a chain of PARM_DECL nodes. */ - -void -dbxout_reg_parms (tree parms) -{ - ++debug_nesting; - - for (; parms; parms = DECL_CHAIN (parms)) - if (DECL_NAME (parms) && PARM_PASSED_IN_MEMORY (parms)) - { - /* Report parms that live in registers during the function - but were passed in memory. */ - if (REG_P (DECL_RTL (parms)) - && REGNO (DECL_RTL (parms)) < FIRST_PSEUDO_REGISTER) - dbxout_symbol_location (parms, TREE_TYPE (parms), - 0, DECL_RTL (parms)); - else if (GET_CODE (DECL_RTL (parms)) == CONCAT) - dbxout_symbol_location (parms, TREE_TYPE (parms), - 0, DECL_RTL (parms)); - /* Report parms that live in memory but not where they were passed. */ - else if (MEM_P (DECL_RTL (parms)) - && ! rtx_equal_p (DECL_RTL (parms), DECL_INCOMING_RTL (parms))) - dbxout_symbol_location (parms, TREE_TYPE (parms), - 0, DECL_RTL (parms)); - } - DBXOUT_DECR_NESTING; -} - -/* Given a chain of ..._TYPE nodes (as come in a parameter list), - output definitions of those names, in raw form */ - -static void -dbxout_args (tree args) -{ - while (args) - { - stabstr_C (','); - dbxout_type (TREE_VALUE (args), 0); - args = TREE_CHAIN (args); - } -} - -#if defined (DBX_DEBUGGING_INFO) - -/* Subroutine of dbxout_block. Emit an N_LBRAC stab referencing LABEL. - BEGIN_LABEL is the name of the beginning of the function, which may - be required. */ -static void -dbx_output_lbrac (const char *label, - const char *begin_label ATTRIBUTE_UNUSED) -{ - dbxout_begin_stabn (N_LBRAC); - if (DBX_BLOCKS_FUNCTION_RELATIVE) - dbxout_stab_value_label_diff (label, begin_label); - else - dbxout_stab_value_label (label); -} - -/* Subroutine of dbxout_block. Emit an N_RBRAC stab referencing LABEL. - BEGIN_LABEL is the name of the beginning of the function, which may - be required. */ -static void -dbx_output_rbrac (const char *label, - const char *begin_label ATTRIBUTE_UNUSED) -{ - dbxout_begin_stabn (N_RBRAC); - if (DBX_BLOCKS_FUNCTION_RELATIVE) - dbxout_stab_value_label_diff (label, begin_label); - else - dbxout_stab_value_label (label); -} - -/* Return true if at least one block among BLOCK, its children or siblings - has TREE_USED, TREE_ASM_WRITTEN and BLOCK_IN_COLD_SECTION_P - set. If there is none, clear TREE_USED bit on such blocks. */ - -static bool -dbx_block_with_cold_children (tree block) -{ - bool ret = false; - for (; block; block = BLOCK_CHAIN (block)) - if (TREE_USED (block) && TREE_ASM_WRITTEN (block)) - { - bool children = dbx_block_with_cold_children (BLOCK_SUBBLOCKS (block)); - if (BLOCK_IN_COLD_SECTION_P (block) || children) - ret = true; - else - TREE_USED (block) = false; - } - return ret; -} - -/* Output everything about a symbol block (a BLOCK node - that represents a scope level), - including recursive output of contained blocks. - - BLOCK is the BLOCK node. - DEPTH is its depth within containing symbol blocks. - ARGS is usually zero; but for the outermost block of the - body of a function, it is a chain of PARM_DECLs for the function parameters. - We output definitions of all the register parms - as if they were local variables of that block. - - If -g1 was used, we count blocks just the same, but output nothing - except for the outermost block. - - Actually, BLOCK may be several blocks chained together. - We handle them all in sequence. - - Return true if we emitted any LBRAC/RBRAC. */ - -static bool -dbxout_block (tree block, int depth, tree args, int parent_blocknum) -{ - bool ret = false; - char begin_label[20]; - /* Reference current function start using LFBB. */ - ASM_GENERATE_INTERNAL_LABEL (begin_label, "LFBB", scope_labelno); - - /* If called for the second partition, ignore blocks that don't have - any children in the second partition. */ - if (crtl->has_bb_partition && in_cold_section_p && depth == 0) - dbx_block_with_cold_children (block); - - for (; block; block = BLOCK_CHAIN (block)) - { - /* Ignore blocks never expanded or otherwise marked as real. */ - if (TREE_USED (block) && TREE_ASM_WRITTEN (block)) - { - int did_output; - int blocknum = BLOCK_NUMBER (block); - int this_parent = parent_blocknum; - - /* In dbx format, the syms of a block come before the N_LBRAC. - If nothing is output, we don't need the N_LBRAC, either. */ - did_output = 0; - if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0) - did_output = dbxout_syms (BLOCK_VARS (block)); - if (args) - dbxout_reg_parms (args); - - /* Now output an N_LBRAC symbol to represent the beginning of - the block. Use the block's tree-walk order to generate - the assembler symbols LBBn and LBEn - that final will define around the code in this block. */ - if (did_output - && BLOCK_IN_COLD_SECTION_P (block) == in_cold_section_p) - { - char buf[20]; - const char *scope_start; - - ret = true; - if (depth == 0) - /* The outermost block doesn't get LBB labels; use - the LFBB local symbol emitted by dbxout_begin_prologue. */ - scope_start = begin_label; - else - { - ASM_GENERATE_INTERNAL_LABEL (buf, "LBB", blocknum); - scope_start = buf; - this_parent = blocknum; - } - - dbx_output_lbrac (scope_start, begin_label); - } - - /* Output the subblocks. */ - bool children - = dbxout_block (BLOCK_SUBBLOCKS (block), depth + 1, NULL_TREE, - this_parent); - ret |= children; - - /* Refer to the marker for the end of the block. */ - if (did_output - && BLOCK_IN_COLD_SECTION_P (block) == in_cold_section_p) - { - char buf[100]; - if (depth == 0) - /* The outermost block doesn't get LBE labels; - use the "scope" label which will be emitted - by dbxout_function_end. */ - ASM_GENERATE_INTERNAL_LABEL (buf, "Lscope", scope_labelno); - else - ASM_GENERATE_INTERNAL_LABEL (buf, "LBE", blocknum); - - dbx_output_rbrac (buf, begin_label); - } - else if (did_output && !children) - { - /* If we emitted any vars and didn't output any LBRAC/RBRAC, - either at this level or any lower level, we need to emit - an empty LBRAC/RBRAC pair now. */ - char buf[30]; - const char *scope_start; - - ret = true; - if (parent_blocknum == -1) - scope_start = begin_label; - else - { - ASM_GENERATE_INTERNAL_LABEL (buf, "LBB", parent_blocknum); - scope_start = buf; - } - - dbx_output_lbrac (scope_start, begin_label); - dbx_output_rbrac (scope_start, begin_label); - } - } - } - return ret; -} - -/* Output the information about a function and its arguments and result. - Usually this follows the function's code, - but on some systems, it comes before. */ - -static void -dbxout_begin_function (tree decl) -{ - int saved_tree_used1; - - saved_tree_used1 = TREE_USED (decl); - TREE_USED (decl) = 1; - if (DECL_NAME (DECL_RESULT (decl)) != 0) - { - int saved_tree_used2 = TREE_USED (DECL_RESULT (decl)); - TREE_USED (DECL_RESULT (decl)) = 1; - dbxout_symbol (decl, 0); - TREE_USED (DECL_RESULT (decl)) = saved_tree_used2; - } - else - dbxout_symbol (decl, 0); - TREE_USED (decl) = saved_tree_used1; - - dbxout_parms (DECL_ARGUMENTS (decl)); - if (DECL_NAME (DECL_RESULT (decl)) != 0) - dbxout_symbol (DECL_RESULT (decl), 1); -} -#endif /* DBX_DEBUGGING_INFO */ - -#endif /* DBX_DEBUGGING_INFO || XCOFF_DEBUGGING_INFO */ - -/* Record an element in the table of global destructors. SYMBOL is - a SYMBOL_REF of the function to be called; PRIORITY is a number - between 0 and MAX_INIT_PRIORITY. */ - -void -default_stabs_asm_out_destructor (rtx symbol ATTRIBUTE_UNUSED, - int priority ATTRIBUTE_UNUSED) -{ -#if defined DBX_DEBUGGING_INFO || defined XCOFF_DEBUGGING_INFO - /* Tell GNU LD that this is part of the static destructor set. - This will work for any system that uses stabs, most usefully - aout systems. */ - dbxout_begin_simple_stabs ("___DTOR_LIST__", 22 /* N_SETT */); - dbxout_stab_value_label (XSTR (symbol, 0)); -#else - sorry ("global destructors not supported on this target"); -#endif -} - -/* Likewise for global constructors. */ - -void -default_stabs_asm_out_constructor (rtx symbol ATTRIBUTE_UNUSED, - int priority ATTRIBUTE_UNUSED) -{ -#if defined DBX_DEBUGGING_INFO || defined XCOFF_DEBUGGING_INFO - /* Tell GNU LD that this is part of the static destructor set. - This will work for any system that uses stabs, most usefully - aout systems. */ - dbxout_begin_simple_stabs ("___CTOR_LIST__", 22 /* N_SETT */); - dbxout_stab_value_label (XSTR (symbol, 0)); -#else - sorry ("global constructors not supported on this target"); -#endif -} - -#include "gt-dbxout.h" diff --git a/gcc/dbxout.h b/gcc/dbxout.h deleted file mode 100644 index 2c38e76c238..00000000000 --- a/gcc/dbxout.h +++ /dev/null @@ -1,60 +0,0 @@ -/* dbxout.h - Various declarations for functions found in dbxout.cc - Copyright (C) 1998-2022 Free Software Foundation, Inc. - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify it under -the terms of the GNU General Public License as published by the Free -Software Foundation; either version 3, or (at your option) any later -version. - -GCC is distributed in the hope that it will be useful, but WITHOUT ANY -WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -#ifndef GCC_DBXOUT_H -#define GCC_DBXOUT_H - -extern int dbxout_symbol (tree, int); -extern void dbxout_parms (tree); -extern void dbxout_reg_parms (tree); -extern int dbxout_syms (tree); - -extern void default_stabs_asm_out_destructor (rtx, int); -extern void default_stabs_asm_out_constructor (rtx, int); - -/* dbxout helper functions */ -#if defined DBX_DEBUGGING_INFO || defined XCOFF_DEBUGGING_INFO - -extern void dbxout_int (int); -extern void dbxout_stabd (int, int); -extern void dbxout_begin_stabn (int); -extern void dbxout_begin_stabn_sline (int); -extern void dbxout_begin_empty_stabs (int); -extern void dbxout_begin_simple_stabs (const char *, int); -extern void dbxout_begin_simple_stabs_desc (const char *, int, int); - -extern void dbxout_stab_value_zero (void); -extern void dbxout_stab_value_label (const char *); -extern void dbxout_stab_value_label_diff (const char *, const char *); -extern void dbxout_stab_value_internal_label (const char *, int *); -extern void dbxout_stab_value_internal_label_diff (const char *, int *, - const char *); -#endif - -/* Language description for N_SO stabs. */ -#define N_SO_AS 1 -#define N_SO_C 2 -#define N_SO_ANSI_C 3 -#define N_SO_CC 4 /* c++*/ -#define N_SO_FORTRAN 5 -#define N_SO_FORTRAN90 7 -#define N_SO_OBJC 50 -#define N_SO_OBJCPLUS 51 - -#endif /* GCC_DBXOUT_H */ diff --git a/gcc/final.cc b/gcc/final.cc index f58a90c2833..c0bfdf6c7bf 100644 --- a/gcc/final.cc +++ b/gcc/final.cc @@ -83,10 +83,6 @@ along with GCC; see the file COPYING3. If not see #include "function-abi.h" #include "common/common-target.h" -#ifdef XCOFF_DEBUGGING_INFO -#include "xcoffout.h" /* Needed for external data declarations. */ -#endif - #include "dwarf2out.h" /* Most ports don't need to define CC_STATUS_INIT. diff --git a/gcc/flag-types.h b/gcc/flag-types.h index ceb84d9473f..d2e751060ff 100644 --- a/gcc/flag-types.h +++ b/gcc/flag-types.h @@ -26,7 +26,6 @@ enum debug_info_type { DINFO_TYPE_NONE, /* No debug info. */ DINFO_TYPE_DWARF2, /* Dwarf v2 debug info. */ - DINFO_TYPE_XCOFF, /* IBM/Xcoff debug info. */ DINFO_TYPE_VMS, /* VMS debug info. */ DINFO_TYPE_CTF, /* CTF debug info. */ DINFO_TYPE_BTF, /* BTF debug info. */ @@ -37,8 +36,6 @@ enum debug_info_type #define NO_DEBUG (0U) /* Write DWARF2 debug info (using dwarf2out.cc). */ #define DWARF2_DEBUG (1U << DINFO_TYPE_DWARF2) -/* Write IBM/XCOFF debug info (using dbxout.cc). */ -#define XCOFF_DEBUG (1U << DINFO_TYPE_XCOFF) /* Write VMS debug info (using vmsdbgout.cc). */ #define VMS_DEBUG (1U << DINFO_TYPE_VMS) /* Write CTF debug info (using ctfout.cc). */ diff --git a/gcc/gstab.h b/gcc/gstab.h deleted file mode 100644 index c597d1200b4..00000000000 --- a/gcc/gstab.h +++ /dev/null @@ -1,35 +0,0 @@ -/* Copyright (C) 1997-2022 Free Software Foundation, Inc. - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify it under -the terms of the GNU General Public License as published by the Free -Software Foundation; either version 3, or (at your option) any later -version. - -GCC is distributed in the hope that it will be useful, but WITHOUT ANY -WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -#ifndef GCC_GSTAB_H -#define GCC_GSTAB_H - -#define __define_stab(NAME, CODE, STRING) NAME=CODE, - -enum -{ -#include "stab.def" -LAST_UNUSED_STAB_CODE -}; - -/* stabs debug codes really are integers with expressive names. */ -typedef int stab_code_type; - -#undef __define_stab - -#endif /* ! GCC_GSTAB_H */ diff --git a/gcc/opts.cc b/gcc/opts.cc index ed61626a50f..e058aaf3697 100644 --- a/gcc/opts.cc +++ b/gcc/opts.cc @@ -53,7 +53,7 @@ const char *const debug_type_names[] = static uint32_t debug_type_masks[] = { - NO_DEBUG, DWARF2_DEBUG, XCOFF_DEBUG, VMS_DEBUG, + NO_DEBUG, DWARF2_DEBUG, VMS_DEBUG, CTF_DEBUG, BTF_DEBUG }; @@ -3149,12 +3149,6 @@ common_handle_option (struct gcc_options *opts, set_debug_level (VMS_DEBUG, false, arg, opts, opts_set, loc); break; - case OPT_gxcoff: - case OPT_gxcoff_: - set_debug_level (XCOFF_DEBUG, code == OPT_gxcoff_, arg, opts, opts_set, - loc); - break; - case OPT_gz: case OPT_gz_: /* Handled completely via specs. */ @@ -3357,8 +3351,6 @@ set_debug_level (uint32_t dinfo, int extended, const char *arg, struct gcc_options *opts, struct gcc_options *opts_set, location_t loc) { - opts->x_use_gnu_debug_info_extensions = extended; - if (dinfo == NO_DEBUG) { if (opts->x_write_symbols == NO_DEBUG) diff --git a/gcc/stab.def b/gcc/stab.def deleted file mode 100644 index e5af19b2bd8..00000000000 --- a/gcc/stab.def +++ /dev/null @@ -1,239 +0,0 @@ -/* Table of DBX symbol codes for the GNU system. - Copyright (C) 1988-2022 Free Software Foundation, Inc. - This file is part of the GNU C Library. - - The GNU C Library is free software; you can redistribute it and/or - modify it under the terms of the GNU Library General Public License as - published by the Free Software Foundation; either version 3 of the - License, or (at your option) any later version. - - The GNU C Library is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU - Library General Public License for more details. - - You should have received a copy of the GNU Library General Public - License along with the GNU C Library; see the file COPYING3. If - not see . */ - -/* This contains contribution from Cygnus Support. */ - -/* Global variable. Only the name is significant. - To find the address, look in the corresponding external symbol. */ -__define_stab (N_GSYM, 0x20, "GSYM") - -/* Function name for BSD Fortran. Only the name is significant. - To find the address, look in the corresponding external symbol. */ -__define_stab (N_FNAME, 0x22, "FNAME") - -/* Function name or text-segment variable for C. Value is its address. - Desc is supposedly starting line number, but GCC doesn't set it - and DBX seems not to miss it. */ -__define_stab (N_FUN, 0x24, "FUN") - -/* Data-segment variable with internal linkage. Value is its address. - "Static Sym". */ -__define_stab (N_STSYM, 0x26, "STSYM") - -/* BSS-segment variable with internal linkage. Value is its address. */ -__define_stab (N_LCSYM, 0x28, "LCSYM") - -/* Begin function marker. */ -__define_stab (N_BNSYM, 0x2e, "BNSYM") - -/* End function marker. */ -__define_stab (N_ENSYM, 0x4e, "ENSYM") - -/* Name of main routine. Only the name is significant. - This is not used in C. */ -__define_stab (N_MAIN, 0x2a, "MAIN") - -/* Global symbol in Pascal. - Supposedly the value is its line number; I'm skeptical. */ -__define_stab (N_PC, 0x30, "PC") - -/* Number of symbols: 0, files,,funcs,lines according to Ultrix V4.0. */ -__define_stab (N_NSYMS, 0x32, "NSYMS") - -/* "No DST map for sym: name, ,0,type,ignored" according to Ultrix V4.0. */ -__define_stab (N_NOMAP, 0x34, "NOMAP") - -/* New stab from Solaris. I don't know what it means, but it - don't seem to contain useful information. */ -__define_stab (N_OBJ, 0x38, "OBJ") - -/* New stab from Solaris. I don't know what it means, but it - don't seem to contain useful information. Possibly related to the - optimization flags used in this module. */ -__define_stab (N_OPT, 0x3c, "OPT") - -/* Register variable. Value is number of register. */ -__define_stab (N_RSYM, 0x40, "RSYM") - -/* Modula-2 compilation unit. Can someone say what info it contains? */ -__define_stab (N_M2C, 0x42, "M2C") - -/* Line number in text segment. Desc is the line number; - value is corresponding address. */ -__define_stab (N_SLINE, 0x44, "SLINE") - -/* Similar, for data segment. */ -__define_stab (N_DSLINE, 0x46, "DSLINE") - -/* Similar, for bss segment. */ -__define_stab (N_BSLINE, 0x48, "BSLINE") - -/* Sun's source-code browser stabs. ?? Don't know what the fields are. - Supposedly the field is "path to associated .cb file". THIS VALUE - OVERLAPS WITH N_BSLINE! */ -__define_stab (N_BROWS, 0x48, "BROWS") - -/* GNU Modula-2 definition module dependency. Value is the modification time - of the definition file. Other is nonzero if it is imported with the - GNU M2 keyword %INITIALIZE. Perhaps N_M2C can be used if there - are enough empty fields? */ -__define_stab(N_DEFD, 0x4a, "DEFD") - -/* THE FOLLOWING TWO STAB VALUES CONFLICT. Happily, one is for Modula-2 - and one is for C++. Still,... */ -/* GNU C++ exception variable. Name is variable name. */ -__define_stab (N_EHDECL, 0x50, "EHDECL") -/* Modula2 info "for imc": name,,0,0,0 according to Ultrix V4.0. */ -__define_stab (N_MOD2, 0x50, "MOD2") - -/* GNU C++ `catch' clause. Value is its address. Desc is nonzero if - this entry is immediately followed by a CAUGHT stab saying what exception - was caught. Multiple CAUGHT stabs means that multiple exceptions - can be caught here. If Desc is 0, it means all exceptions are caught - here. */ -__define_stab (N_CATCH, 0x54, "CATCH") - -/* Structure or union element. Value is offset in the structure. */ -__define_stab (N_SSYM, 0x60, "SSYM") - -/* Name of main source file. - Value is starting text address of the compilation. */ -__define_stab (N_SO, 0x64, "SO") - -/* Automatic variable in the stack. Value is offset from frame pointer. - Also used for type descriptions. */ -__define_stab (N_LSYM, 0x80, "LSYM") - -/* Beginning of an include file. Only Sun uses this. - In an object file, only the name is significant. - The Sun linker puts data into some of the other fields. */ -__define_stab (N_BINCL, 0x82, "BINCL") - -/* Name of sub-source file (#include file). - Value is starting text address of the compilation. */ -__define_stab (N_SOL, 0x84, "SOL") - -/* Parameter variable. Value is offset from argument pointer. - (On most machines the argument pointer is the same as the frame pointer. */ -__define_stab (N_PSYM, 0xa0, "PSYM") - -/* End of an include file. No name. - This and N_BINCL act as brackets around the file's output. - In an object file, there is no significant data in this entry. - The Sun linker puts data into some of the fields. */ -__define_stab (N_EINCL, 0xa2, "EINCL") - -/* Alternate entry point. Value is its address. */ -__define_stab (N_ENTRY, 0xa4, "ENTRY") - -/* Beginning of lexical block. - The desc is the nesting level in lexical blocks. - The value is the address of the start of the text for the block. - The variables declared inside the block *precede* the N_LBRAC symbol. */ -__define_stab (N_LBRAC, 0xc0, "LBRAC") - -/* Place holder for deleted include file. Replaces a N_BINCL and everything - up to the corresponding N_EINCL. The Sun linker generates these when - it finds multiple identical copies of the symbols from an include file. - This appears only in output from the Sun linker. */ -__define_stab (N_EXCL, 0xc2, "EXCL") - -/* Modula-2 scope information. Can someone say what info it contains? */ -__define_stab (N_SCOPE, 0xc4, "SCOPE") - -/* End of a lexical block. Desc matches the N_LBRAC's desc. - The value is the address of the end of the text for the block. */ -__define_stab (N_RBRAC, 0xe0, "RBRAC") - -/* Begin named common block. Only the name is significant. */ -__define_stab (N_BCOMM, 0xe2, "BCOMM") - -/* End named common block. Only the name is significant - (and it should match the N_BCOMM). */ -__define_stab (N_ECOMM, 0xe4, "ECOMM") - -/* End common (local name): value is address. - I'm not sure how this is used. */ -__define_stab (N_ECOML, 0xe8, "ECOML") - -/* These STAB's are used on Gould systems for Non-Base register symbols - or something like that. FIXME. I have assigned the values at random - since I don't have a Gould here. Fixups from Gould folk welcome... */ -__define_stab (N_NBTEXT, 0xF0, "NBTEXT") -__define_stab (N_NBDATA, 0xF2, "NBDATA") -__define_stab (N_NBBSS, 0xF4, "NBBSS") -__define_stab (N_NBSTS, 0xF6, "NBSTS") -__define_stab (N_NBLCS, 0xF8, "NBLCS") - -/* Second symbol entry containing a length-value for the preceding entry. - The value is the length. */ -__define_stab (N_LENG, 0xfe, "LENG") - -/* The above information, in matrix format. - - STAB MATRIX - _________________________________________________ - | 00 - 1F are not dbx stab symbols | - | In most cases, the low bit is the EXTernal bit| - - | 00 UNDEF | 02 ABS | 04 TEXT | 06 DATA | - | 01 |EXT | 03 |EXT | 05 |EXT | 07 |EXT | - - | 08 BSS | 0A INDR | 0C FN_SEQ | 0E | - | 09 |EXT | 0B | 0D | 0F | - - | 10 | 12 COMM | 14 SETA | 16 SETT | - | 11 | 13 | 15 | 17 | - - | 18 SETD | 1A SETB | 1C SETV | 1E WARNING| - | 19 | 1B | 1D | 1F FN | - - |_______________________________________________| - | Debug entries with bit 01 set are unused. | - | 20 GSYM | 22 FNAME | 24 FUN | 26 STSYM | - | 28 LCSYM | 2A MAIN | 2C | 2E BNSYM | - | 30 PC | 32 NSYMS | 34 NOMAP | 36 | - | 38 OBJ | 3A | 3C OPT | 3E | - | 40 RSYM | 42 M2C | 44 SLINE | 46 DSLINE | - | 48 BSLINE*| 4A DEFD | 4C | 4E ENSYM | - | 50 EHDECL*| 52 | 54 CATCH | 56 | - | 58 | 5A | 5C | 5E | - | 60 SSYM | 62 | 64 SO | 66 | - | 68 | 6A | 6C | 6E | - | 70 | 72 | 74 | 76 | - | 78 | 7A | 7C | 7E | - | 80 LSYM | 82 BINCL | 84 SOL | 86 | - | 88 | 8A | 8C | 8E | - | 90 | 92 | 94 | 96 | - | 98 | 9A | 9C | 9E | - | A0 PSYM | A2 EINCL | A4 ENTRY | A6 | - | A8 | AA | AC | AE | - | B0 | B2 | B4 | B6 | - | B8 | BA | BC | BE | - | C0 LBRAC | C2 EXCL | C4 SCOPE | C6 | - | C8 | CA | CC | CE | - | D0 | D2 | D4 | D6 | - | D8 | DA | DC | DE | - | E0 RBRAC | E2 BCOMM | E4 ECOMM | E6 | - | E8 ECOML | EA | EC | EE | - | F0 | F2 | F4 | F6 | - | F8 | FA | FC | FE LENG | - +-----------------------------------------------+ - * 50 EHDECL is also MOD2. - * 48 BSLINE is also BROWS. - */ diff --git a/gcc/toplev.cc b/gcc/toplev.cc index 55fff0270e3..924871fa9a8 100644 --- a/gcc/toplev.cc +++ b/gcc/toplev.cc @@ -89,14 +89,6 @@ along with GCC; see the file COPYING3. If not see #include "ipa-param-manipulation.h" #include "dbgcnt.h" -#if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO) -#include "dbxout.h" -#endif - -#ifdef XCOFF_DEBUGGING_INFO -#include "xcoffout.h" /* Needed for external data declarations. */ -#endif - #include "selftest.h" #ifdef HAVE_isl @@ -1419,10 +1411,6 @@ process_options (bool no_backend) if (write_symbols == NO_DEBUG) ; -#if defined(XCOFF_DEBUGGING_INFO) - else if (write_symbols == XCOFF_DEBUG) - debug_hooks = &xcoff_debug_hooks; -#endif #ifdef DWARF2_DEBUGGING_INFO else if (dwarf_debuginfo_p ()) debug_hooks = &dwarf2_debug_hooks; diff --git a/gcc/varasm.cc b/gcc/varasm.cc index 4db8506b106..b0c4d6ae8ed 100644 --- a/gcc/varasm.cc +++ b/gcc/varasm.cc @@ -62,10 +62,6 @@ along with GCC; see the file COPYING3. If not see #include "toplev.h" #include "opts.h" -#ifdef XCOFF_DEBUGGING_INFO -#include "xcoffout.h" /* Needed for external data declarations. */ -#endif - /* The (assembler) name of the first globally-visible object output. */ extern GTY(()) const char *first_global_object_name; extern GTY(()) const char *weak_global_object_name; diff --git a/gcc/xcoffout.cc b/gcc/xcoffout.cc deleted file mode 100644 index bafd3552417..00000000000 --- a/gcc/xcoffout.cc +++ /dev/null @@ -1,494 +0,0 @@ -/* Output xcoff-format symbol table information from GNU compiler. - Copyright (C) 1992-2022 Free Software Foundation, Inc. - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify it under -the terms of the GNU General Public License as published by the Free -Software Foundation; either version 3, or (at your option) any later -version. - -GCC is distributed in the hope that it will be useful, but WITHOUT ANY -WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -/* Output xcoff-format symbol table data. The main functionality is contained - in dbxout.cc. This file implements the sdbout-like parts of the xcoff - interface. Many functions are very similar to their counterparts in - the former sdbout.c file. */ - -#include "config.h" -#include "system.h" -#include "coretypes.h" -#include "target.h" -#include "rtl.h" -#include "tree.h" -#include "diagnostic-core.h" -#include "varasm.h" -#include "output.h" -#include "debug.h" -#include "file-prefix-map.h" /* remap_debug_filename() */ - -#ifdef XCOFF_DEBUGGING_INFO - -/* This defines the C_* storage classes. */ -#include "xcoff.h" -#include "xcoffout.h" -#include "dbxout.h" -#include "gstab.h" - -/* Line number of beginning of current function, minus one. - Negative means not in a function or not using xcoff. */ - -static int xcoff_begin_function_line = -1; -static int xcoff_inlining = 0; - -/* Name of the current include file. */ - -const char *xcoff_current_include_file; - -/* Name of the current function file. This is the file the `.bf' is - emitted from. In case a line is emitted from a different file, - (by including that file of course), then the line number will be - absolute. */ - -static const char *xcoff_current_function_file; - -/* Names of bss and data sections. These should be unique names for each - compilation unit. */ - -char *xcoff_bss_section_name; -char *xcoff_private_data_section_name; -char *xcoff_private_rodata_section_name; -char *xcoff_tls_data_section_name; -char *xcoff_read_only_section_name; - -/* Last source file name mentioned in a NOTE insn. */ - -const char *xcoff_lastfile; - -/* Macro definitions used below. */ - -#define ABS_OR_RELATIVE_LINENO(LINENO) \ -((xcoff_inlining) ? (LINENO) : (LINENO) - xcoff_begin_function_line) - -/* Output source line numbers via ".line". */ -#define ASM_OUTPUT_LINE(FILE,LINENUM) \ - do \ - { \ - /* Make sure we're in a function and prevent output of .line 0, as \ - line # 0 is meant for symbol addresses in xcoff. Additionally, \ - line numbers are 'unsigned short' in 32-bit mode. */ \ - if (xcoff_begin_function_line >= 0) \ - { \ - int lno = ABS_OR_RELATIVE_LINENO (LINENUM); \ - if (lno > 0 && (TARGET_64BIT || lno <= (int)USHRT_MAX)) \ - fprintf (FILE, "\t.line\t%d\n", lno); \ - } \ - } \ - while (0) - -#define ASM_OUTPUT_LFB(FILE,LINENUM) \ -{ \ - if (xcoff_begin_function_line == -1) \ - { \ - xcoff_begin_function_line = (LINENUM) - 1;\ - fprintf (FILE, "\t.bf\t%d\n", (LINENUM)); \ - } \ - xcoff_current_function_file \ - = (xcoff_current_include_file \ - ? xcoff_current_include_file : main_input_filename); \ -} - -#define ASM_OUTPUT_LFE(FILE,LINENUM) \ - do \ - { \ - fprintf (FILE, "\t.ef\t%d\n", (LINENUM)); \ - xcoff_begin_function_line = -1; \ - } \ - while (0) - -#define ASM_OUTPUT_LBB(FILE,LINENUM,BLOCKNUM) \ - fprintf (FILE, "\t.bb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM)) - -#define ASM_OUTPUT_LBE(FILE,LINENUM,BLOCKNUM) \ - fprintf (FILE, "\t.eb\t%d\n", ABS_OR_RELATIVE_LINENO (LINENUM)) - -static void xcoffout_block (tree, int, tree); -static void xcoffout_source_file (FILE *, const char *, int); - -/* Support routines for XCOFF debugging info. */ - -struct xcoff_type_number -{ - const char *name; - int number; -}; -static const struct xcoff_type_number xcoff_type_numbers[] = { - { "int", -1 }, - { "char", -2 }, - { "short int", -3 }, - { "long int", -4 }, /* fiddled to -31 if 64 bits */ - { "unsigned char", -5 }, - { "signed char", -6 }, - { "short unsigned int", -7 }, - { "unsigned int", -8 }, - /* No such type "unsigned". */ - { "long unsigned int", -10 }, /* fiddled to -32 if 64 bits */ - { "void", -11 }, - { "float", -12 }, - { "double", -13 }, - { "long double", -14 }, - /* Fortran types run from -15 to -29. */ - { "wchar", -30 }, /* XXX Should be "wchar_t" ? */ - { "long long int", -31 }, - { "long long unsigned int", -32 }, - /* Additional Fortran types run from -33 to -37. */ - - /* ??? Should also handle built-in C++ and Obj-C types. There perhaps - aren't any that C doesn't already have. */ -}; - -/* Returns an XCOFF fundamental type number for DECL (assumed to be a - TYPE_DECL), or 0 if dbxout.cc should assign a type number normally. */ -int -xcoff_assign_fundamental_type_number (tree decl) -{ - const char *name; - size_t i; - - /* Do not waste time searching the list for non-intrinsic types. */ - if (DECL_NAME (decl) == 0 || ! DECL_IS_UNDECLARED_BUILTIN (decl)) - return 0; - - name = IDENTIFIER_POINTER (DECL_NAME (decl)); - - /* Linear search, blech, but the list is too small to bother - doing anything else. */ - for (i = 0; i < ARRAY_SIZE (xcoff_type_numbers); i++) - if (!strcmp (xcoff_type_numbers[i].name, name)) - goto found; - return 0; - - found: - /* -4 and -10 should be replaced with -31 and -32, respectively, - when used for a 64-bit type. */ - if (int_size_in_bytes (TREE_TYPE (decl)) == 8) - { - if (xcoff_type_numbers[i].number == -4) - return -31; - if (xcoff_type_numbers[i].number == -10) - return -32; - } - return xcoff_type_numbers[i].number; -} - -/* Print an error message for unrecognized stab codes. */ - -#define UNKNOWN_STAB(STR) \ - internal_error ("no sclass for %s stab (0x%x)", STR, stab) - -/* Conversion routine from BSD stabs to AIX storage classes. */ - -int -stab_to_sclass (int stab) -{ - switch (stab) - { - case N_GSYM: - return C_GSYM; - - case N_FNAME: - UNKNOWN_STAB ("N_FNAME"); - - case N_FUN: - return C_FUN; - - case N_STSYM: - case N_LCSYM: - return C_STSYM; - - case N_MAIN: - UNKNOWN_STAB ("N_MAIN"); - - case N_RSYM: - return C_RSYM; - - case N_SSYM: - UNKNOWN_STAB ("N_SSYM"); - - case N_RPSYM: - return C_RPSYM; - - case N_PSYM: - return C_PSYM; - case N_LSYM: - return C_LSYM; - case N_DECL: - return C_DECL; - case N_ENTRY: - return C_ENTRY; - - case N_SO: - UNKNOWN_STAB ("N_SO"); - - case N_SOL: - UNKNOWN_STAB ("N_SOL"); - - case N_SLINE: - UNKNOWN_STAB ("N_SLINE"); - - case N_DSLINE: - UNKNOWN_STAB ("N_DSLINE"); - - case N_BSLINE: - UNKNOWN_STAB ("N_BSLINE"); - - case N_BINCL: - UNKNOWN_STAB ("N_BINCL"); - - case N_EINCL: - UNKNOWN_STAB ("N_EINCL"); - - case N_EXCL: - UNKNOWN_STAB ("N_EXCL"); - - case N_LBRAC: - UNKNOWN_STAB ("N_LBRAC"); - - case N_RBRAC: - UNKNOWN_STAB ("N_RBRAC"); - - case N_BCOMM: - return C_BCOMM; - case N_ECOMM: - return C_ECOMM; - case N_ECOML: - return C_ECOML; - - case N_LENG: - UNKNOWN_STAB ("N_LENG"); - - case N_PC: - UNKNOWN_STAB ("N_PC"); - - case N_M2C: - UNKNOWN_STAB ("N_M2C"); - - case N_SCOPE: - UNKNOWN_STAB ("N_SCOPE"); - - case N_CATCH: - UNKNOWN_STAB ("N_CATCH"); - - case N_OPT: - UNKNOWN_STAB ("N_OPT"); - - default: - UNKNOWN_STAB ("?"); - } -} - -/* Output debugging info to FILE to switch to sourcefile FILENAME. - INLINE_P is true if this is from an inlined function. */ - -static void -xcoffout_source_file (FILE *file, const char *filename, int inline_p) -{ - if (filename - && (xcoff_lastfile == 0 || strcmp (filename, xcoff_lastfile) - || (inline_p && ! xcoff_inlining) - || (! inline_p && xcoff_inlining))) - { - if (xcoff_current_include_file) - { - fprintf (file, "\t.ei\t"); - output_quoted_string (file, - remap_debug_filename (xcoff_current_include_file)); - fprintf (file, "\n"); - xcoff_current_include_file = NULL; - } - xcoff_inlining = inline_p; - if (strcmp (main_input_filename, filename) || inline_p) - { - fprintf (file, "\t.bi\t"); - output_quoted_string (file, remap_debug_filename (filename)); - fprintf (file, "\n"); - xcoff_current_include_file = filename; - } - xcoff_lastfile = filename; - } -} - -/* Output a line number symbol entry for location (FILENAME, LINE). */ - -void -xcoffout_source_line (unsigned int line, unsigned int column ATTRIBUTE_UNUSED, - const char *filename, int discriminator ATTRIBUTE_UNUSED, - bool is_stmt ATTRIBUTE_UNUSED) -{ - bool inline_p = (strcmp (xcoff_current_function_file, filename) != 0 - || (int) line < xcoff_begin_function_line); - - xcoffout_source_file (asm_out_file, filename, inline_p); - - ASM_OUTPUT_LINE (asm_out_file, line); -} - -/* Output the symbols defined in block number DO_BLOCK. - - This function works by walking the tree structure of blocks, - counting blocks until it finds the desired block. */ - -static unsigned int do_block = 0; - -static void -xcoffout_block (tree block, int depth, tree args) -{ - while (block) - { - /* Ignore blocks never expanded or otherwise marked as real. */ - if (TREE_USED (block)) - { - /* When we reach the specified block, output its symbols. */ - if (BLOCK_NUMBER (block) == do_block) - { - /* Output the syms of the block. */ - if (debug_info_level != DINFO_LEVEL_TERSE || depth == 0) - dbxout_syms (BLOCK_VARS (block)); - if (args) - dbxout_reg_parms (args); - - /* We are now done with the block. Don't go to inner blocks. */ - return; - } - /* If we are past the specified block, stop the scan. */ - else if (BLOCK_NUMBER (block) >= do_block) - return; - - /* Output the subblocks. */ - xcoffout_block (BLOCK_SUBBLOCKS (block), depth + 1, NULL_TREE); - } - block = BLOCK_CHAIN (block); - } -} - -/* Describe the beginning of an internal block within a function. - Also output descriptions of variables defined in this block. - - N is the number of the block, by order of beginning, counting from 1, - and not counting the outermost (function top-level) block. - The blocks match the BLOCKs in DECL_INITIAL (current_function_decl), - if the count starts at 0 for the outermost one. */ - -void -xcoffout_begin_block (unsigned int line, unsigned int n) -{ - tree decl = current_function_decl; - - /* The IBM AIX compiler does not emit a .bb for the function level scope, - so we avoid it here also. */ - if (n != 1) - ASM_OUTPUT_LBB (asm_out_file, line, n); - - do_block = n; - xcoffout_block (DECL_INITIAL (decl), 0, DECL_ARGUMENTS (decl)); -} - -/* Describe the end line-number of an internal block within a function. */ - -void -xcoffout_end_block (unsigned int line, unsigned int n) -{ - if (n != 1) - ASM_OUTPUT_LBE (asm_out_file, line, n); -} - -/* Called at beginning of function (before prologue). - Declare function as needed for debugging. */ - -void -xcoffout_declare_function (FILE *file, tree decl, const char *name) -{ - size_t len; - - if (*name == '*') - name++; - len = strlen (name); - if (name[len - 1] == ']') - { - char *n = XALLOCAVEC (char, len - 3); - memcpy (n, name, len - 4); - n[len - 4] = '\0'; - name = n; - } - - /* Any pending .bi or .ei must occur before the .function pseudo op. - Otherwise debuggers will think that the function is in the previous - file and/or at the wrong line number. */ - xcoffout_source_file (file, DECL_SOURCE_FILE (decl), 0); - dbxout_symbol (decl, 0); - - /* .function NAME, TOP, MAPPING, TYPE, SIZE - 16 and 044 are placeholders for backwards compatibility */ - fprintf (file, "\t.function .%s,.%s,16,044,FE..%s-.%s\n", - name, name, name, name); -} - -/* Called at beginning of function body (at start of prologue). - Record the function's starting line number, so we can output - relative line numbers for the other lines. - Record the file name that this function is contained in. */ - -void -xcoffout_begin_prologue (unsigned int line, - unsigned int column ATTRIBUTE_UNUSED, - const char *file ATTRIBUTE_UNUSED) -{ - ASM_OUTPUT_LFB (asm_out_file, line); - dbxout_parms (DECL_ARGUMENTS (current_function_decl)); - - /* Emit the symbols for the outermost BLOCK's variables. sdbout.c did this - in sdbout_begin_block, but there is no guarantee that there will be any - inner block 1, so we must do it here. This gives a result similar to - dbxout, so it does make some sense. */ - do_block = BLOCK_NUMBER (DECL_INITIAL (current_function_decl)); - xcoffout_block (DECL_INITIAL (current_function_decl), 0, - DECL_ARGUMENTS (current_function_decl)); - - ASM_OUTPUT_LINE (asm_out_file, line); -} - -/* Called at end of function (before epilogue). - Describe end of outermost block. */ - -void -xcoffout_end_function (unsigned int last_linenum) -{ - ASM_OUTPUT_LFE (asm_out_file, last_linenum); -} - -/* Output xcoff info for the absolute end of a function. - Called after the epilogue is output. */ - -void -xcoffout_end_epilogue (unsigned int line ATTRIBUTE_UNUSED, - const char *file ATTRIBUTE_UNUSED) -{ - /* We need to pass the correct function size to .function, otherwise, - the xas assembler can't figure out the correct size for the function - aux entry. So, we emit a label after the last instruction which can - be used by the .function pseudo op to calculate the function size. */ - - const char *fname = XSTR (XEXP (DECL_RTL (current_function_decl), 0), 0); - if (*fname == '*') - ++fname; - fprintf (asm_out_file, "FE.."); - ASM_OUTPUT_LABEL (asm_out_file, fname); -} -#endif /* XCOFF_DEBUGGING_INFO */ diff --git a/gcc/xcoffout.h b/gcc/xcoffout.h deleted file mode 100644 index f28e83ea9fc..00000000000 --- a/gcc/xcoffout.h +++ /dev/null @@ -1,194 +0,0 @@ -/* XCOFF definitions. These are needed in dbxout.cc, final.cc, - and xcoffout.h. - Copyright (C) 1998-2022 Free Software Foundation, Inc. - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify it under -the terms of the GNU General Public License as published by the Free -Software Foundation; either version 3, or (at your option) any later -version. - -GCC is distributed in the hope that it will be useful, but WITHOUT ANY -WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -#ifndef GCC_XCOFFOUT_H -#define GCC_XCOFFOUT_H - -/* Tags and typedefs are C_DECL in XCOFF, not C_LSYM. */ - -#define DBX_TYPE_DECL_STABS_CODE N_DECL - -/* Use the XCOFF predefined type numbers. */ - -#define DBX_ASSIGN_FUNDAMENTAL_TYPE_NUMBER(TYPE) \ - xcoff_assign_fundamental_type_number (TYPE) - -/* Any type with a negative type index has already been output. */ - -#define DBX_TYPE_DEFINED(TYPE) (TYPE_SYMTAB_ADDRESS (TYPE) < 0) - -/* Must use N_STSYM for static const variables (those in the text section) - instead of N_FUN. */ - -#define DBX_STATIC_CONST_VAR_CODE N_STSYM - -/* For static variables, output code to define the start of a static block. */ - -#define DBX_STATIC_BLOCK_START(ASMFILE,CODE) \ -{ \ - if ((CODE) == N_STSYM) \ - fprintf ((ASMFILE), "\t.bs\t%s[RW]\n", xcoff_private_data_section_name);\ - else if ((CODE) == N_LCSYM) \ - fprintf ((ASMFILE), "\t.bs\t%s\n", xcoff_bss_section_name); \ -} - -/* For static variables, output code to define the end of a static block. */ - -#define DBX_STATIC_BLOCK_END(ASMFILE,CODE) \ -{ \ - if ((CODE) == N_STSYM || (CODE) == N_LCSYM) \ - fputs ("\t.es\n", (ASMFILE)); \ -} - -/* We must use N_RPYSM instead of N_RSYM for register parameters. */ - -#define DBX_REGPARM_STABS_CODE N_RPSYM - -/* We must use 'R' instead of 'P' for register parameters. */ - -#define DBX_REGPARM_STABS_LETTER 'R' - -/* Define our own finish symbol function, since xcoff stabs have their - own different format. */ - -#define DBX_FINISH_STABS(SYM, CODE, LINE, ADDR, LABEL, NUMBER) do { \ - if (ADDR) \ - { \ - /* If we are writing a function name, we must emit a dot in \ - order to refer to the function code, not its descriptor. */ \ - if (CODE == N_FUN) \ - putc ('.', asm_out_file); \ - \ - /* If we are writing a function name, we must ensure that \ - there is no storage-class suffix on the name. */ \ - if (CODE == N_FUN && GET_CODE (ADDR) == SYMBOL_REF) \ - { \ - const char *_p = XSTR (ADDR, 0); \ - if (*_p == '*') \ - fputs (_p+1, asm_out_file); \ - else \ - for (; *_p != '[' && *_p; _p++) \ - putc (*_p != '$' ? *_p : '_', asm_out_file); \ - } \ - else \ - output_addr_const (asm_out_file, ADDR); \ - } \ - /* Another special case: N_GSYM always gets the symbol name, \ - whether or not LABEL or NUMBER are set. */ \ - else if (CODE == N_GSYM) \ - assemble_name (asm_out_file, XSTR (XEXP (DECL_RTL (SYM), 0), 0)); \ - else if (LABEL) \ - assemble_name (asm_out_file, LABEL); \ - else \ - dbxout_int (NUMBER); \ - putc (',', asm_out_file); \ - dbxout_int (stab_to_sclass (CODE)); \ - fputs (",0\n", asm_out_file); \ -} while (0) - -/* These are IBM XCOFF extensions we need to reference in dbxout.cc - and xcoffout.cc. */ - -/* AIX XCOFF uses this for typedefs. This can have any value, since it is - only used for translation into a C_DECL storage class. */ -#ifndef N_DECL -#define N_DECL 0x8c -#endif -/* AIX XCOFF uses this for parameters passed in registers. This can have - any value, since it is only used for translation into a C_RPSYM storage - class. */ -#ifndef N_RPSYM -#define N_RPSYM 0x8e -#endif - -/* Name of the current include file. */ - -extern const char *xcoff_current_include_file; - -/* Names of bss and data sections. These should be unique names for each - compilation unit. */ - -extern char *xcoff_bss_section_name; -extern char *xcoff_private_data_section_name; -extern char *xcoff_private_rodata_section_name; -extern char *xcoff_tls_data_section_name; -extern char *xcoff_read_only_section_name; - -/* Last source file name mentioned in a NOTE insn. */ - -extern const char *xcoff_lastfile; - -/* Don't write out path name for main source file. */ -#define NO_DBX_MAIN_SOURCE_DIRECTORY 1 - -/* Write out main source file name using ".file" rather than ".stabs". - We don't actually do this here, because the assembler gets confused if there - is more than one .file directive. rs6000_xcoff_file_start is already - emitting a .file directory, so we don't output one here also. - Initialize xcoff_lastfile. */ -#define DBX_OUTPUT_MAIN_SOURCE_FILENAME(FILE,FILENAME) \ - xcoff_lastfile = (FILENAME) - -/* If we are still in an include file, its end must be marked. */ -#define DBX_OUTPUT_MAIN_SOURCE_FILE_END(FILE, FILENAME) \ -do { \ - if (xcoff_current_include_file) \ - { \ - fputs ("\t.ei\t", (FILE)); \ - output_quoted_string ((FILE), xcoff_current_include_file); \ - putc ('\n', (FILE)); \ - xcoff_current_include_file = NULL; \ - } \ -} while (0) - -/* Do not emit any marker for XCOFF until assembler allows XFT_CV. */ -#define NO_DBX_GCC_MARKER - -/* XCOFF32 maximum length is 64K; XLC limits to 16K. */ -#define DBX_CONTIN_LENGTH 16384 - -/* XLC uses '?' as continuation character. */ -#define DBX_CONTIN_CHAR '?' - -/* Don't try to use the `x' type-cross-reference character in DBX data. - Also has the consequence of putting each struct, union or enum - into a separate .stabs, containing only cross-refs to the others. */ -#define DBX_NO_XREFS - -/* We must put stabs in the text section. If we don't the assembler - won't handle them correctly; it will sometimes put stabs where gdb - can't find them. */ - -#define DEBUG_SYMS_TEXT - -/* Prototype functions in xcoffout.cc. */ - -extern int stab_to_sclass (int); -extern void xcoffout_begin_prologue (unsigned int, unsigned int, const char *); -extern void xcoffout_begin_block (unsigned, unsigned); -extern void xcoffout_end_epilogue (unsigned int, const char *); -extern void xcoffout_end_function (unsigned int); -extern void xcoffout_end_block (unsigned, unsigned); -extern int xcoff_assign_fundamental_type_number (tree); -extern void xcoffout_declare_function (FILE *, tree, const char *); -extern void xcoffout_source_line (unsigned int, unsigned int, const char *, - int, bool); - -#endif /* GCC_XCOFFOUT_H */