* [PATCH, V3 0/2] Fix write_symbols for supporting multiple debug formats @ 2021-05-12 22:13 Indu Bhagat 2021-05-12 22:13 ` [PATCH,V3 1/2] opts: change write_symbols to support bitmasks Indu Bhagat 2021-05-12 22:13 ` [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate Indu Bhagat 0 siblings, 2 replies; 7+ messages in thread From: Indu Bhagat @ 2021-05-12 22:13 UTC (permalink / raw) To: gcc-patches [Changes across versions] [What's new in V2] - (Addressed Richard's comments) - For patch 1/2 [opts: change write_symbols to support bitmasks], use debug_set_names more uniformly. Reworded the diagnostics in c-family/c-opts.c and c-family/c-pch.c as there can be multiple debug formats. Updated the testsuite files accordingly. - Included more backend files for patch 2/2 [dwarf: new dwarf_debuginfo_p predicate] - Regression tested on x86_64. [What's new in V3] - (Addressed Richard's comments) - Include flags.h in relevant files. Tested build (make all-gcc) for triplets with c6x/mips/powerpc and darwin/cygwin. [End of changes across versions] Hello, Over the last year, we have discussed and agreed that in order to support multiple debug formats, we keep DWARF as defacto internal format and any new debug format to be supported feeds off DWARF dies. This requirement specification has worked well for addition for CTF/BTF overall. There are some existing issues that need to discussed and fixed in this regard, though. One of these is the definition and handling of write_symbols. The current issue is that write_symbols is defined as enum debug_info_type write_symbols = NO_DEBUG; This means any new combination of debug formats needs to be explicitly enumerated, like CTF_AND_DWARF2_DEBUG, VMS_AND_DWARF2_DEBUG etc. So the issue is, to support say, -gctf -gbtf -g or possibly other combination of debug formats to work together, each one needs to spelled out explicitly; which will make the handling ugly. This patch set updates write_symbols to use bitmasks. Regression tested on x86_64, apart from simple (make all-gcc) builds for select target triplets to cover c6x/mips/powerpc and cygwin/darwin. Thanks, Indu Bhagat (2): opts: change write_symbols to support bitmasks dwarf: new dwarf_debuginfo_p predicate gcc/c-family/c-lex.c | 4 +- gcc/c-family/c-opts.c | 7 ++- gcc/c-family/c-pch.c | 12 ++-- gcc/common.opt | 2 +- gcc/config/c6x/c6x.c | 4 +- gcc/config/darwin.c | 3 +- gcc/config/i386/cygming.h | 2 +- gcc/config/i386/darwin.h | 4 +- gcc/config/mips/mips.c | 3 +- gcc/config/rs6000/rs6000.c | 4 +- gcc/dbxout.c | 1 + gcc/dwarf2cfi.c | 9 ++- gcc/except.c | 1 + gcc/final.c | 15 ++--- gcc/flag-types.h | 29 ++++++--- gcc/flags.h | 21 ++++++- gcc/objc/objc-act.c | 2 +- gcc/opts.c | 117 +++++++++++++++++++++++++++++++++---- gcc/targhooks.c | 2 +- gcc/testsuite/gcc.dg/pch/valid-1.c | 2 +- gcc/testsuite/lib/dg-pch.exp | 4 +- gcc/toplev.c | 15 ++--- 22 files changed, 197 insertions(+), 66 deletions(-) -- 1.8.3.1 ^ permalink raw reply [flat|nested] 7+ messages in thread
* [PATCH,V3 1/2] opts: change write_symbols to support bitmasks 2021-05-12 22:13 [PATCH, V3 0/2] Fix write_symbols for supporting multiple debug formats Indu Bhagat @ 2021-05-12 22:13 ` Indu Bhagat 2021-05-20 9:40 ` Richard Biener 2021-05-12 22:13 ` [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate Indu Bhagat 1 sibling, 1 reply; 7+ messages in thread From: Indu Bhagat @ 2021-05-12 22:13 UTC (permalink / raw) To: gcc-patches [No changes from V2] To support multiple debug formats, we need to move away from explicit enumeration of each individual combination of debug formats. gcc/c-family/ChangeLog: * c-opts.c (c_common_post_options): Adjust access to debug_type_names. * c-pch.c (struct c_pch_validity): Use type uint32_t. (pch_init): Renamed member. (c_common_valid_pch): Adjust access to debug_type_names. gcc/ChangeLog: * common.opt: Change type to support bitmasks. * flag-types.h (enum debug_info_type): Rename enumerator constants. (NO_DEBUG): New bitmask. (DBX_DEBUG): Likewise. (DWARF2_DEBUG): Likewise. (XCOFF_DEBUG): Likewise. (VMS_DEBUG): Likewise. (VMS_AND_DWARF2_DEBUG): Likewise. * flags.h (debug_set_to_format): New function declaration. (debug_set_count): Likewise. (debug_set_names): Likewise. * opts.c (debug_type_masks): Array of bitmasks for debug formats. (debug_set_to_format): New function definition. (debug_set_count): Likewise. (debug_set_names): Likewise. (set_debug_level): Update access to debug_type_names. * toplev.c: Likewise. gcc/objc/ChangeLog: * objc-act.c (synth_module_prologue): Use uint32_t instead of enum debug_info_type. gcc/testsuite/ChangeLog: * gcc.dg/pch/valid-1.c: Adjust diagnostic message in testcase. * lib/dg-pch.exp: Adjust diagnostic message. --- gcc/c-family/c-opts.c | 7 ++- gcc/c-family/c-pch.c | 12 ++-- gcc/common.opt | 2 +- gcc/flag-types.h | 29 +++++++--- gcc/flags.h | 17 +++++- gcc/objc/objc-act.c | 2 +- gcc/opts.c | 109 +++++++++++++++++++++++++++++++++---- gcc/testsuite/gcc.dg/pch/valid-1.c | 2 +- gcc/testsuite/lib/dg-pch.exp | 4 +- gcc/toplev.c | 9 ++- 10 files changed, 157 insertions(+), 36 deletions(-) diff --git a/gcc/c-family/c-opts.c b/gcc/c-family/c-opts.c index 89e05a4..60b5802 100644 --- a/gcc/c-family/c-opts.c +++ b/gcc/c-family/c-opts.c @@ -1112,9 +1112,10 @@ c_common_post_options (const char **pfilename) /* Only -g0 and -gdwarf* are supported with PCH, for other debug formats we warn here and refuse to load any PCH files. */ if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG) - warning (OPT_Wdeprecated, - "the %qs debug format cannot be used with " - "pre-compiled headers", debug_type_names[write_symbols]); + warning (OPT_Wdeprecated, + "the %qs debug info cannot be used with " + "pre-compiled headers", + debug_set_names (write_symbols & ~DWARF2_DEBUG)); } else if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG) c_common_no_more_pch (); diff --git a/gcc/c-family/c-pch.c b/gcc/c-family/c-pch.c index fd94c37..8f0f760 100644 --- a/gcc/c-family/c-pch.c +++ b/gcc/c-family/c-pch.c @@ -52,7 +52,7 @@ enum { struct c_pch_validity { - unsigned char debug_info_type; + uint32_t pch_write_symbols; signed char match[MATCH_SIZE]; void (*pch_init) (void); size_t target_data_length; @@ -108,7 +108,7 @@ pch_init (void) pch_outfile = f; memset (&v, '\0', sizeof (v)); - v.debug_info_type = write_symbols; + v.pch_write_symbols = write_symbols; { size_t i; for (i = 0; i < MATCH_SIZE; i++) @@ -252,13 +252,13 @@ c_common_valid_pch (cpp_reader *pfile, const char *name, int fd) /* The allowable debug info combinations are that either the PCH file was built with the same as is being used now, or the PCH file was built for some kind of debug info but now none is in use. */ - if (v.debug_info_type != write_symbols + if (v.pch_write_symbols != write_symbols && write_symbols != NO_DEBUG) { cpp_warning (pfile, CPP_W_INVALID_PCH, - "%s: created with -g%s, but used with -g%s", name, - debug_type_names[v.debug_info_type], - debug_type_names[write_symbols]); + "%s: created with '%s' debug info, but used with '%s'", name, + debug_set_names (v.pch_write_symbols), + debug_set_names (write_symbols)); return 2; } diff --git a/gcc/common.opt b/gcc/common.opt index a75b44e..ffb968d 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -109,7 +109,7 @@ bool exit_after_options ; flag-types.h for the definitions of the different possible types of ; debugging information. Variable -enum debug_info_type write_symbols = NO_DEBUG +uint32_t write_symbols = NO_DEBUG ; Level of debugging information we are producing. See flag-types.h ; for the definitions of the different possible levels. diff --git a/gcc/flag-types.h b/gcc/flag-types.h index a038c8f..d60bb30 100644 --- a/gcc/flag-types.h +++ b/gcc/flag-types.h @@ -24,15 +24,30 @@ along with GCC; see the file COPYING3. If not see enum debug_info_type { - NO_DEBUG, /* Write no debug info. */ - DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ - DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ - XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ - VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ - VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c). - and DWARF v2 debug info (using dwarf2out.c). */ + DINFO_TYPE_NONE = 0, /* No debug info. */ + DINFO_TYPE_DBX = 1, /* BSD .stabs for DBX. */ + DINFO_TYPE_DWARF2 = 2, /* Dwarf v2 debug info. */ + DINFO_TYPE_XCOFF = 3, /* IBM/Xcoff debug info. */ + DINFO_TYPE_VMS = 4, /* VMS debug info. */ + DINFO_TYPE_MAX = DINFO_TYPE_VMS /* Marker only. */ }; +#define NO_DEBUG (0U) +/* Write DBX debug info (using dbxout.c). */ +#define DBX_DEBUG (1U << DINFO_TYPE_DBX) +/* Write DWARF2 debug info (using dwarf2out.c). */ +#define DWARF2_DEBUG (1U << DINFO_TYPE_DWARF2) +/* Write IBM/XCOFF debug info (using dbxout.c). */ +#define XCOFF_DEBUG (1U << DINFO_TYPE_XCOFF) +/* Write VMS debug info (using vmsdbgout.c). */ +#define VMS_DEBUG (1U << DINFO_TYPE_VMS) +/* Note: Adding new definitions to handle -combination- of debug formats, + like VMS_AND_DWARF2_DEBUG is not recommended. This definition remains + here for historical reasons. */ +/* Write VMS debug info (using vmsdbgout.c) and DWARF v2 debug info (using + dwarf2out.c). */ +#define VMS_AND_DWARF2_DEBUG ((VMS_DEBUG | DWARF2_DEBUG)) + enum debug_info_levels { DINFO_LEVEL_NONE, /* Write no debugging info. */ diff --git a/gcc/flags.h b/gcc/flags.h index 0c4409e..3415493 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -22,9 +22,24 @@ along with GCC; see the file COPYING3. If not see #if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS) -/* Names of debug_info_type, for error messages. */ +/* Names of fundamental debug info formats indexed by enum + debug_info_type. */ + extern const char *const debug_type_names[]; +/* Get enum debug_info_type of the specified debug format, for error messages. + Can be used only for individual debug format types. */ + +extern enum debug_info_type debug_set_to_format (uint32_t debug_info_set); + +/* Get the number of debug formats enabled for output. */ + +unsigned int debug_set_count (uint32_t w_symbols); + +/* Get the names of the debug formats enabled for output. */ + +const char * debug_set_names (uint32_t w_symbols); + extern void strip_off_ending (char *, int); extern int base_of_path (const char *path, const char **base_out); diff --git a/gcc/objc/objc-act.c b/gcc/objc/objc-act.c index 796256d..8d106a4 100644 --- a/gcc/objc/objc-act.c +++ b/gcc/objc/objc-act.c @@ -3078,7 +3078,7 @@ static void synth_module_prologue (void) { tree type; - enum debug_info_type save_write_symbols = write_symbols; + uint32_t save_write_symbols = write_symbols; const struct gcc_debug_hooks *const save_hooks = debug_hooks; /* Suppress outputting debug symbols, because diff --git a/gcc/opts.c b/gcc/opts.c index fe6fddb..1604241 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -37,12 +37,95 @@ along with GCC; see the file COPYING3. If not see static void set_Wstrict_aliasing (struct gcc_options *opts, int onoff); -/* Indexed by enum debug_info_type. */ +/* Names of fundamental debug info formats indexed by enum + debug_info_type. */ + const char *const debug_type_names[] = { "none", "stabs", "dwarf-2", "xcoff", "vms" }; +/* Bitmasks of fundamental debug info formats indexed by enum + debug_info_type. */ + +static uint32_t debug_type_masks[] = +{ + NO_DEBUG, DBX_DEBUG, DWARF2_DEBUG, XCOFF_DEBUG, VMS_DEBUG +}; + +/* Names of the set of debug formats requested by user. Updated and accessed + via debug_set_names. */ + +static char df_set_names[sizeof "none stabs dwarf-2 xcoff vms"]; + +/* Get enum debug_info_type of the specified debug format, for error messages. + Can be used only for individual debug format types. */ + +enum debug_info_type +debug_set_to_format (uint32_t debug_info_set) +{ + int idx = 0; + enum debug_info_type dinfo_type = DINFO_TYPE_NONE; + /* Find first set bit. */ + if (debug_info_set) + idx = exact_log2 (debug_info_set & - debug_info_set); + /* Check that only one bit is set, if at all. This function is meant to be + used only for vanilla debug_info_set bitmask values, i.e. for individual + debug format types upto DINFO_TYPE_MAX. */ + gcc_assert ((debug_info_set & (debug_info_set - 1)) == 0); + dinfo_type = (enum debug_info_type)idx; + gcc_assert (dinfo_type <= DINFO_TYPE_MAX); + return dinfo_type; +} + +/* Get the number of debug formats enabled for output. */ + +unsigned int +debug_set_count (uint32_t w_symbols) +{ + unsigned int count = 0; + while (w_symbols) + { + ++ count; + w_symbols &= ~ (w_symbols & - w_symbols); + } + return count; +} + +/* Get the names of the debug formats enabled for output. */ + +const char * +debug_set_names (uint32_t w_symbols) +{ + uint32_t df_mask = 0; + /* Reset the string to be returned. */ + memset (df_set_names, 0, sizeof (df_set_names)); + /* Get the popcount. */ + int num_set_df = debug_set_count (w_symbols); + /* Iterate over the debug formats. Add name string for those enabled. */ + for (int i = DINFO_TYPE_NONE; i <= DINFO_TYPE_MAX; i++) + { + df_mask = debug_type_masks[i]; + if (w_symbols & df_mask) + { + strcat (df_set_names, debug_type_names[i]); + num_set_df--; + if (num_set_df) + strcat (df_set_names, " "); + else + break; + } + else if (!w_symbols) + { + /* No debug formats enabled. */ + gcc_assert (i == DINFO_TYPE_NONE); + strcat (df_set_names, debug_type_names[i]); + break; + } + } + return df_set_names; +} + /* Parse the -femit-struct-debug-detailed option value and set the flag variables. */ @@ -190,7 +273,7 @@ static const char use_diagnosed_msg[] = N_("Uses of this option are diagnosed.") typedef char *char_p; /* For DEF_VEC_P. */ -static void set_debug_level (enum debug_info_type type, int extended, +static void set_debug_level (uint32_t dinfo, int extended, const char *arg, struct gcc_options *opts, struct gcc_options *opts_set, location_t loc); @@ -3027,17 +3110,17 @@ fast_math_flags_struct_set_p (struct cl_optimization *opt) } /* Handle a debug output -g switch for options OPTS - (OPTS_SET->x_write_symbols storing whether a debug type was passed + (OPTS_SET->x_write_symbols storing whether a debug format was passed explicitly), location LOC. EXTENDED is true or false to support extended output (2 is special and means "-ggdb" was given). */ static void -set_debug_level (enum debug_info_type type, int extended, const char *arg, +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 (type == NO_DEBUG) + if (dinfo == NO_DEBUG) { if (opts->x_write_symbols == NO_DEBUG) { @@ -3058,14 +3141,18 @@ set_debug_level (enum debug_info_type type, int extended, const char *arg, } else { - /* Does it conflict with an already selected type? */ + /* Does it conflict with an already selected debug format? */ if (opts_set->x_write_symbols != NO_DEBUG && opts->x_write_symbols != NO_DEBUG - && type != opts->x_write_symbols) - error_at (loc, "debug format %qs conflicts with prior selection", - debug_type_names[type]); - opts->x_write_symbols = type; - opts_set->x_write_symbols = type; + && dinfo != opts->x_write_symbols) + { + gcc_assert (debug_set_count (dinfo) <= 1); + error_at (loc, "debug format %qs conflicts with prior selection", + debug_type_names[debug_set_to_format (dinfo)]); + } + + opts->x_write_symbols = dinfo; + opts_set->x_write_symbols = dinfo; } /* A debug flag without a level defaults to level 2. diff --git a/gcc/testsuite/gcc.dg/pch/valid-1.c b/gcc/testsuite/gcc.dg/pch/valid-1.c index d445c47..6e9abda 100644 --- a/gcc/testsuite/gcc.dg/pch/valid-1.c +++ b/gcc/testsuite/gcc.dg/pch/valid-1.c @@ -1,7 +1,7 @@ /* { dg-require-effective-target pch_supported_debug } */ /* { dg-options "-I. -Winvalid-pch -g" } */ -#include "valid-1.h"/* { dg-warning "created with -gnone, but used with -g" } */ +#include "valid-1.h"/* { dg-warning "created with .none. debug info, but used with" } */ /* { dg-error "No such file" "no such file" { target *-*-* } 0 } */ /* { dg-error "they were invalid" "invalid files" { target *-*-* } 0 } */ /* { dg-message "terminated" "" { target *-*-* } 0 } */ diff --git a/gcc/testsuite/lib/dg-pch.exp b/gcc/testsuite/lib/dg-pch.exp index 1f60fde..bb0ce46 100644 --- a/gcc/testsuite/lib/dg-pch.exp +++ b/gcc/testsuite/lib/dg-pch.exp @@ -28,7 +28,7 @@ proc pch-init { args } { set result [check_compile pchtest object "int i;" "-g -x c-header"] set pch_unsupported_debug \ - [regexp "debug format cannot be used with pre-compiled headers" \ + [regexp "debug info cannot be used with pre-compiled headers" \ [lindex $result 0]] remote_file build delete [lindex $result 1] @@ -38,7 +38,7 @@ proc pch-init { args } { set result [check_compile pchtest object "int i;" "-x c-header"] set pch_unsupported \ - [regexp "debug format cannot be used with pre-compiled headers" \ + [regexp "debug info cannot be used with pre-compiled headers" \ [lindex $result 0]] remote_file build delete [lindex $result 1] } diff --git a/gcc/toplev.c b/gcc/toplev.c index 7e23253..1016fb9 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -1461,9 +1461,12 @@ process_options (void) debug_hooks = &dwarf2_lineno_debug_hooks; #endif else - error_at (UNKNOWN_LOCATION, - "target system does not support the %qs debug format", - debug_type_names[write_symbols]); + { + gcc_assert (debug_set_count (write_symbols) <= 1); + error_at (UNKNOWN_LOCATION, + "target system does not support the %qs debug format", + debug_type_names[debug_set_to_format (write_symbols)]); + } /* We know which debug output will be used so we can set flag_var_tracking and flag_var_tracking_uninit if the user has not specified them. */ -- 1.8.3.1 ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH,V3 1/2] opts: change write_symbols to support bitmasks 2021-05-12 22:13 ` [PATCH,V3 1/2] opts: change write_symbols to support bitmasks Indu Bhagat @ 2021-05-20 9:40 ` Richard Biener 2021-05-21 0:01 ` Indu Bhagat 0 siblings, 1 reply; 7+ messages in thread From: Richard Biener @ 2021-05-20 9:40 UTC (permalink / raw) To: Indu Bhagat; +Cc: GCC Patches On Thu, May 13, 2021 at 12:53 AM Indu Bhagat via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > [No changes from V2] > > To support multiple debug formats, we need to move away from explicit > enumeration of each individual combination of debug formats. OK. Thanks, Richard. > gcc/c-family/ChangeLog: > > * c-opts.c (c_common_post_options): Adjust access to debug_type_names. > * c-pch.c (struct c_pch_validity): Use type uint32_t. > (pch_init): Renamed member. > (c_common_valid_pch): Adjust access to debug_type_names. > > gcc/ChangeLog: > > * common.opt: Change type to support bitmasks. > * flag-types.h (enum debug_info_type): Rename enumerator constants. > (NO_DEBUG): New bitmask. > (DBX_DEBUG): Likewise. > (DWARF2_DEBUG): Likewise. > (XCOFF_DEBUG): Likewise. > (VMS_DEBUG): Likewise. > (VMS_AND_DWARF2_DEBUG): Likewise. > * flags.h (debug_set_to_format): New function declaration. > (debug_set_count): Likewise. > (debug_set_names): Likewise. > * opts.c (debug_type_masks): Array of bitmasks for debug formats. > (debug_set_to_format): New function definition. > (debug_set_count): Likewise. > (debug_set_names): Likewise. > (set_debug_level): Update access to debug_type_names. > * toplev.c: Likewise. > > gcc/objc/ChangeLog: > > * objc-act.c (synth_module_prologue): Use uint32_t instead of enum > debug_info_type. > > gcc/testsuite/ChangeLog: > > * gcc.dg/pch/valid-1.c: Adjust diagnostic message in testcase. > * lib/dg-pch.exp: Adjust diagnostic message. > --- > gcc/c-family/c-opts.c | 7 ++- > gcc/c-family/c-pch.c | 12 ++-- > gcc/common.opt | 2 +- > gcc/flag-types.h | 29 +++++++--- > gcc/flags.h | 17 +++++- > gcc/objc/objc-act.c | 2 +- > gcc/opts.c | 109 +++++++++++++++++++++++++++++++++---- > gcc/testsuite/gcc.dg/pch/valid-1.c | 2 +- > gcc/testsuite/lib/dg-pch.exp | 4 +- > gcc/toplev.c | 9 ++- > 10 files changed, 157 insertions(+), 36 deletions(-) > > diff --git a/gcc/c-family/c-opts.c b/gcc/c-family/c-opts.c > index 89e05a4..60b5802 100644 > --- a/gcc/c-family/c-opts.c > +++ b/gcc/c-family/c-opts.c > @@ -1112,9 +1112,10 @@ c_common_post_options (const char **pfilename) > /* Only -g0 and -gdwarf* are supported with PCH, for other > debug formats we warn here and refuse to load any PCH files. */ > if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG) > - warning (OPT_Wdeprecated, > - "the %qs debug format cannot be used with " > - "pre-compiled headers", debug_type_names[write_symbols]); > + warning (OPT_Wdeprecated, > + "the %qs debug info cannot be used with " > + "pre-compiled headers", > + debug_set_names (write_symbols & ~DWARF2_DEBUG)); > } > else if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG) > c_common_no_more_pch (); > diff --git a/gcc/c-family/c-pch.c b/gcc/c-family/c-pch.c > index fd94c37..8f0f760 100644 > --- a/gcc/c-family/c-pch.c > +++ b/gcc/c-family/c-pch.c > @@ -52,7 +52,7 @@ enum { > > struct c_pch_validity > { > - unsigned char debug_info_type; > + uint32_t pch_write_symbols; > signed char match[MATCH_SIZE]; > void (*pch_init) (void); > size_t target_data_length; > @@ -108,7 +108,7 @@ pch_init (void) > pch_outfile = f; > > memset (&v, '\0', sizeof (v)); > - v.debug_info_type = write_symbols; > + v.pch_write_symbols = write_symbols; > { > size_t i; > for (i = 0; i < MATCH_SIZE; i++) > @@ -252,13 +252,13 @@ c_common_valid_pch (cpp_reader *pfile, const char *name, int fd) > /* The allowable debug info combinations are that either the PCH file > was built with the same as is being used now, or the PCH file was > built for some kind of debug info but now none is in use. */ > - if (v.debug_info_type != write_symbols > + if (v.pch_write_symbols != write_symbols > && write_symbols != NO_DEBUG) > { > cpp_warning (pfile, CPP_W_INVALID_PCH, > - "%s: created with -g%s, but used with -g%s", name, > - debug_type_names[v.debug_info_type], > - debug_type_names[write_symbols]); > + "%s: created with '%s' debug info, but used with '%s'", name, > + debug_set_names (v.pch_write_symbols), > + debug_set_names (write_symbols)); > return 2; > } > > diff --git a/gcc/common.opt b/gcc/common.opt > index a75b44e..ffb968d 100644 > --- a/gcc/common.opt > +++ b/gcc/common.opt > @@ -109,7 +109,7 @@ bool exit_after_options > ; flag-types.h for the definitions of the different possible types of > ; debugging information. > Variable > -enum debug_info_type write_symbols = NO_DEBUG > +uint32_t write_symbols = NO_DEBUG > > ; Level of debugging information we are producing. See flag-types.h > ; for the definitions of the different possible levels. > diff --git a/gcc/flag-types.h b/gcc/flag-types.h > index a038c8f..d60bb30 100644 > --- a/gcc/flag-types.h > +++ b/gcc/flag-types.h > @@ -24,15 +24,30 @@ along with GCC; see the file COPYING3. If not see > > enum debug_info_type > { > - NO_DEBUG, /* Write no debug info. */ > - DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ > - DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ > - XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ > - VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ > - VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c). > - and DWARF v2 debug info (using dwarf2out.c). */ > + DINFO_TYPE_NONE = 0, /* No debug info. */ > + DINFO_TYPE_DBX = 1, /* BSD .stabs for DBX. */ > + DINFO_TYPE_DWARF2 = 2, /* Dwarf v2 debug info. */ > + DINFO_TYPE_XCOFF = 3, /* IBM/Xcoff debug info. */ > + DINFO_TYPE_VMS = 4, /* VMS debug info. */ > + DINFO_TYPE_MAX = DINFO_TYPE_VMS /* Marker only. */ > }; > > +#define NO_DEBUG (0U) > +/* Write DBX debug info (using dbxout.c). */ > +#define DBX_DEBUG (1U << DINFO_TYPE_DBX) > +/* Write DWARF2 debug info (using dwarf2out.c). */ > +#define DWARF2_DEBUG (1U << DINFO_TYPE_DWARF2) > +/* Write IBM/XCOFF debug info (using dbxout.c). */ > +#define XCOFF_DEBUG (1U << DINFO_TYPE_XCOFF) > +/* Write VMS debug info (using vmsdbgout.c). */ > +#define VMS_DEBUG (1U << DINFO_TYPE_VMS) > +/* Note: Adding new definitions to handle -combination- of debug formats, > + like VMS_AND_DWARF2_DEBUG is not recommended. This definition remains > + here for historical reasons. */ > +/* Write VMS debug info (using vmsdbgout.c) and DWARF v2 debug info (using > + dwarf2out.c). */ > +#define VMS_AND_DWARF2_DEBUG ((VMS_DEBUG | DWARF2_DEBUG)) > + > enum debug_info_levels > { > DINFO_LEVEL_NONE, /* Write no debugging info. */ > diff --git a/gcc/flags.h b/gcc/flags.h > index 0c4409e..3415493 100644 > --- a/gcc/flags.h > +++ b/gcc/flags.h > @@ -22,9 +22,24 @@ along with GCC; see the file COPYING3. If not see > > #if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS) > > -/* Names of debug_info_type, for error messages. */ > +/* Names of fundamental debug info formats indexed by enum > + debug_info_type. */ > + > extern const char *const debug_type_names[]; > > +/* Get enum debug_info_type of the specified debug format, for error messages. > + Can be used only for individual debug format types. */ > + > +extern enum debug_info_type debug_set_to_format (uint32_t debug_info_set); > + > +/* Get the number of debug formats enabled for output. */ > + > +unsigned int debug_set_count (uint32_t w_symbols); > + > +/* Get the names of the debug formats enabled for output. */ > + > +const char * debug_set_names (uint32_t w_symbols); > + > extern void strip_off_ending (char *, int); > extern int base_of_path (const char *path, const char **base_out); > > diff --git a/gcc/objc/objc-act.c b/gcc/objc/objc-act.c > index 796256d..8d106a4 100644 > --- a/gcc/objc/objc-act.c > +++ b/gcc/objc/objc-act.c > @@ -3078,7 +3078,7 @@ static void > synth_module_prologue (void) > { > tree type; > - enum debug_info_type save_write_symbols = write_symbols; > + uint32_t save_write_symbols = write_symbols; > const struct gcc_debug_hooks *const save_hooks = debug_hooks; > > /* Suppress outputting debug symbols, because > diff --git a/gcc/opts.c b/gcc/opts.c > index fe6fddb..1604241 100644 > --- a/gcc/opts.c > +++ b/gcc/opts.c > @@ -37,12 +37,95 @@ along with GCC; see the file COPYING3. If not see > > static void set_Wstrict_aliasing (struct gcc_options *opts, int onoff); > > -/* Indexed by enum debug_info_type. */ > +/* Names of fundamental debug info formats indexed by enum > + debug_info_type. */ > + > const char *const debug_type_names[] = > { > "none", "stabs", "dwarf-2", "xcoff", "vms" > }; > > +/* Bitmasks of fundamental debug info formats indexed by enum > + debug_info_type. */ > + > +static uint32_t debug_type_masks[] = > +{ > + NO_DEBUG, DBX_DEBUG, DWARF2_DEBUG, XCOFF_DEBUG, VMS_DEBUG > +}; > + > +/* Names of the set of debug formats requested by user. Updated and accessed > + via debug_set_names. */ > + > +static char df_set_names[sizeof "none stabs dwarf-2 xcoff vms"]; > + > +/* Get enum debug_info_type of the specified debug format, for error messages. > + Can be used only for individual debug format types. */ > + > +enum debug_info_type > +debug_set_to_format (uint32_t debug_info_set) > +{ > + int idx = 0; > + enum debug_info_type dinfo_type = DINFO_TYPE_NONE; > + /* Find first set bit. */ > + if (debug_info_set) > + idx = exact_log2 (debug_info_set & - debug_info_set); > + /* Check that only one bit is set, if at all. This function is meant to be > + used only for vanilla debug_info_set bitmask values, i.e. for individual > + debug format types upto DINFO_TYPE_MAX. */ > + gcc_assert ((debug_info_set & (debug_info_set - 1)) == 0); > + dinfo_type = (enum debug_info_type)idx; > + gcc_assert (dinfo_type <= DINFO_TYPE_MAX); > + return dinfo_type; > +} > + > +/* Get the number of debug formats enabled for output. */ > + > +unsigned int > +debug_set_count (uint32_t w_symbols) > +{ > + unsigned int count = 0; > + while (w_symbols) > + { > + ++ count; > + w_symbols &= ~ (w_symbols & - w_symbols); > + } > + return count; > +} > + > +/* Get the names of the debug formats enabled for output. */ > + > +const char * > +debug_set_names (uint32_t w_symbols) > +{ > + uint32_t df_mask = 0; > + /* Reset the string to be returned. */ > + memset (df_set_names, 0, sizeof (df_set_names)); > + /* Get the popcount. */ > + int num_set_df = debug_set_count (w_symbols); > + /* Iterate over the debug formats. Add name string for those enabled. */ > + for (int i = DINFO_TYPE_NONE; i <= DINFO_TYPE_MAX; i++) > + { > + df_mask = debug_type_masks[i]; > + if (w_symbols & df_mask) > + { > + strcat (df_set_names, debug_type_names[i]); > + num_set_df--; > + if (num_set_df) > + strcat (df_set_names, " "); > + else > + break; > + } > + else if (!w_symbols) > + { > + /* No debug formats enabled. */ > + gcc_assert (i == DINFO_TYPE_NONE); > + strcat (df_set_names, debug_type_names[i]); > + break; > + } > + } > + return df_set_names; > +} > + > /* Parse the -femit-struct-debug-detailed option value > and set the flag variables. */ > > @@ -190,7 +273,7 @@ static const char use_diagnosed_msg[] = N_("Uses of this option are diagnosed.") > > typedef char *char_p; /* For DEF_VEC_P. */ > > -static void set_debug_level (enum debug_info_type type, int extended, > +static void set_debug_level (uint32_t dinfo, int extended, > const char *arg, struct gcc_options *opts, > struct gcc_options *opts_set, > location_t loc); > @@ -3027,17 +3110,17 @@ fast_math_flags_struct_set_p (struct cl_optimization *opt) > } > > /* Handle a debug output -g switch for options OPTS > - (OPTS_SET->x_write_symbols storing whether a debug type was passed > + (OPTS_SET->x_write_symbols storing whether a debug format was passed > explicitly), location LOC. EXTENDED is true or false to support > extended output (2 is special and means "-ggdb" was given). */ > static void > -set_debug_level (enum debug_info_type type, int extended, const char *arg, > +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 (type == NO_DEBUG) > + if (dinfo == NO_DEBUG) > { > if (opts->x_write_symbols == NO_DEBUG) > { > @@ -3058,14 +3141,18 @@ set_debug_level (enum debug_info_type type, int extended, const char *arg, > } > else > { > - /* Does it conflict with an already selected type? */ > + /* Does it conflict with an already selected debug format? */ > if (opts_set->x_write_symbols != NO_DEBUG > && opts->x_write_symbols != NO_DEBUG > - && type != opts->x_write_symbols) > - error_at (loc, "debug format %qs conflicts with prior selection", > - debug_type_names[type]); > - opts->x_write_symbols = type; > - opts_set->x_write_symbols = type; > + && dinfo != opts->x_write_symbols) > + { > + gcc_assert (debug_set_count (dinfo) <= 1); > + error_at (loc, "debug format %qs conflicts with prior selection", > + debug_type_names[debug_set_to_format (dinfo)]); > + } > + > + opts->x_write_symbols = dinfo; > + opts_set->x_write_symbols = dinfo; > } > > /* A debug flag without a level defaults to level 2. > diff --git a/gcc/testsuite/gcc.dg/pch/valid-1.c b/gcc/testsuite/gcc.dg/pch/valid-1.c > index d445c47..6e9abda 100644 > --- a/gcc/testsuite/gcc.dg/pch/valid-1.c > +++ b/gcc/testsuite/gcc.dg/pch/valid-1.c > @@ -1,7 +1,7 @@ > /* { dg-require-effective-target pch_supported_debug } */ > /* { dg-options "-I. -Winvalid-pch -g" } */ > > -#include "valid-1.h"/* { dg-warning "created with -gnone, but used with -g" } */ > +#include "valid-1.h"/* { dg-warning "created with .none. debug info, but used with" } */ > /* { dg-error "No such file" "no such file" { target *-*-* } 0 } */ > /* { dg-error "they were invalid" "invalid files" { target *-*-* } 0 } */ > /* { dg-message "terminated" "" { target *-*-* } 0 } */ > diff --git a/gcc/testsuite/lib/dg-pch.exp b/gcc/testsuite/lib/dg-pch.exp > index 1f60fde..bb0ce46 100644 > --- a/gcc/testsuite/lib/dg-pch.exp > +++ b/gcc/testsuite/lib/dg-pch.exp > @@ -28,7 +28,7 @@ proc pch-init { args } { > > set result [check_compile pchtest object "int i;" "-g -x c-header"] > set pch_unsupported_debug \ > - [regexp "debug format cannot be used with pre-compiled headers" \ > + [regexp "debug info cannot be used with pre-compiled headers" \ > [lindex $result 0]] > remote_file build delete [lindex $result 1] > > @@ -38,7 +38,7 @@ proc pch-init { args } { > > set result [check_compile pchtest object "int i;" "-x c-header"] > set pch_unsupported \ > - [regexp "debug format cannot be used with pre-compiled headers" \ > + [regexp "debug info cannot be used with pre-compiled headers" \ > [lindex $result 0]] > remote_file build delete [lindex $result 1] > } > diff --git a/gcc/toplev.c b/gcc/toplev.c > index 7e23253..1016fb9 100644 > --- a/gcc/toplev.c > +++ b/gcc/toplev.c > @@ -1461,9 +1461,12 @@ process_options (void) > debug_hooks = &dwarf2_lineno_debug_hooks; > #endif > else > - error_at (UNKNOWN_LOCATION, > - "target system does not support the %qs debug format", > - debug_type_names[write_symbols]); > + { > + gcc_assert (debug_set_count (write_symbols) <= 1); > + error_at (UNKNOWN_LOCATION, > + "target system does not support the %qs debug format", > + debug_type_names[debug_set_to_format (write_symbols)]); > + } > > /* We know which debug output will be used so we can set flag_var_tracking > and flag_var_tracking_uninit if the user has not specified them. */ > -- > 1.8.3.1 > ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH,V3 1/2] opts: change write_symbols to support bitmasks 2021-05-20 9:40 ` Richard Biener @ 2021-05-21 0:01 ` Indu Bhagat 0 siblings, 0 replies; 7+ messages in thread From: Indu Bhagat @ 2021-05-21 0:01 UTC (permalink / raw) To: Richard Biener; +Cc: GCC Patches On 5/20/21 2:40 AM, Richard Biener wrote: > On Thu, May 13, 2021 at 12:53 AM Indu Bhagat via Gcc-patches > <gcc-patches@gcc.gnu.org> wrote: >> >> [No changes from V2] >> >> To support multiple debug formats, we need to move away from explicit >> enumeration of each individual combination of debug formats. > > OK. > > Thanks, > Richard. > Committed. Thanks, Indu >> gcc/c-family/ChangeLog: >> >> * c-opts.c (c_common_post_options): Adjust access to debug_type_names. >> * c-pch.c (struct c_pch_validity): Use type uint32_t. >> (pch_init): Renamed member. >> (c_common_valid_pch): Adjust access to debug_type_names. >> >> gcc/ChangeLog: >> >> * common.opt: Change type to support bitmasks. >> * flag-types.h (enum debug_info_type): Rename enumerator constants. >> (NO_DEBUG): New bitmask. >> (DBX_DEBUG): Likewise. >> (DWARF2_DEBUG): Likewise. >> (XCOFF_DEBUG): Likewise. >> (VMS_DEBUG): Likewise. >> (VMS_AND_DWARF2_DEBUG): Likewise. >> * flags.h (debug_set_to_format): New function declaration. >> (debug_set_count): Likewise. >> (debug_set_names): Likewise. >> * opts.c (debug_type_masks): Array of bitmasks for debug formats. >> (debug_set_to_format): New function definition. >> (debug_set_count): Likewise. >> (debug_set_names): Likewise. >> (set_debug_level): Update access to debug_type_names. >> * toplev.c: Likewise. >> >> gcc/objc/ChangeLog: >> >> * objc-act.c (synth_module_prologue): Use uint32_t instead of enum >> debug_info_type. >> >> gcc/testsuite/ChangeLog: >> >> * gcc.dg/pch/valid-1.c: Adjust diagnostic message in testcase. >> * lib/dg-pch.exp: Adjust diagnostic message. >> --- >> gcc/c-family/c-opts.c | 7 ++- >> gcc/c-family/c-pch.c | 12 ++-- >> gcc/common.opt | 2 +- >> gcc/flag-types.h | 29 +++++++--- >> gcc/flags.h | 17 +++++- >> gcc/objc/objc-act.c | 2 +- >> gcc/opts.c | 109 +++++++++++++++++++++++++++++++++---- >> gcc/testsuite/gcc.dg/pch/valid-1.c | 2 +- >> gcc/testsuite/lib/dg-pch.exp | 4 +- >> gcc/toplev.c | 9 ++- >> 10 files changed, 157 insertions(+), 36 deletions(-) >> >> diff --git a/gcc/c-family/c-opts.c b/gcc/c-family/c-opts.c >> index 89e05a4..60b5802 100644 >> --- a/gcc/c-family/c-opts.c >> +++ b/gcc/c-family/c-opts.c >> @@ -1112,9 +1112,10 @@ c_common_post_options (const char **pfilename) >> /* Only -g0 and -gdwarf* are supported with PCH, for other >> debug formats we warn here and refuse to load any PCH files. */ >> if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG) >> - warning (OPT_Wdeprecated, >> - "the %qs debug format cannot be used with " >> - "pre-compiled headers", debug_type_names[write_symbols]); >> + warning (OPT_Wdeprecated, >> + "the %qs debug info cannot be used with " >> + "pre-compiled headers", >> + debug_set_names (write_symbols & ~DWARF2_DEBUG)); >> } >> else if (write_symbols != NO_DEBUG && write_symbols != DWARF2_DEBUG) >> c_common_no_more_pch (); >> diff --git a/gcc/c-family/c-pch.c b/gcc/c-family/c-pch.c >> index fd94c37..8f0f760 100644 >> --- a/gcc/c-family/c-pch.c >> +++ b/gcc/c-family/c-pch.c >> @@ -52,7 +52,7 @@ enum { >> >> struct c_pch_validity >> { >> - unsigned char debug_info_type; >> + uint32_t pch_write_symbols; >> signed char match[MATCH_SIZE]; >> void (*pch_init) (void); >> size_t target_data_length; >> @@ -108,7 +108,7 @@ pch_init (void) >> pch_outfile = f; >> >> memset (&v, '\0', sizeof (v)); >> - v.debug_info_type = write_symbols; >> + v.pch_write_symbols = write_symbols; >> { >> size_t i; >> for (i = 0; i < MATCH_SIZE; i++) >> @@ -252,13 +252,13 @@ c_common_valid_pch (cpp_reader *pfile, const char *name, int fd) >> /* The allowable debug info combinations are that either the PCH file >> was built with the same as is being used now, or the PCH file was >> built for some kind of debug info but now none is in use. */ >> - if (v.debug_info_type != write_symbols >> + if (v.pch_write_symbols != write_symbols >> && write_symbols != NO_DEBUG) >> { >> cpp_warning (pfile, CPP_W_INVALID_PCH, >> - "%s: created with -g%s, but used with -g%s", name, >> - debug_type_names[v.debug_info_type], >> - debug_type_names[write_symbols]); >> + "%s: created with '%s' debug info, but used with '%s'", name, >> + debug_set_names (v.pch_write_symbols), >> + debug_set_names (write_symbols)); >> return 2; >> } >> >> diff --git a/gcc/common.opt b/gcc/common.opt >> index a75b44e..ffb968d 100644 >> --- a/gcc/common.opt >> +++ b/gcc/common.opt >> @@ -109,7 +109,7 @@ bool exit_after_options >> ; flag-types.h for the definitions of the different possible types of >> ; debugging information. >> Variable >> -enum debug_info_type write_symbols = NO_DEBUG >> +uint32_t write_symbols = NO_DEBUG >> >> ; Level of debugging information we are producing. See flag-types.h >> ; for the definitions of the different possible levels. >> diff --git a/gcc/flag-types.h b/gcc/flag-types.h >> index a038c8f..d60bb30 100644 >> --- a/gcc/flag-types.h >> +++ b/gcc/flag-types.h >> @@ -24,15 +24,30 @@ along with GCC; see the file COPYING3. If not see >> >> enum debug_info_type >> { >> - NO_DEBUG, /* Write no debug info. */ >> - DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ >> - DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ >> - XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ >> - VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ >> - VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c). >> - and DWARF v2 debug info (using dwarf2out.c). */ >> + DINFO_TYPE_NONE = 0, /* No debug info. */ >> + DINFO_TYPE_DBX = 1, /* BSD .stabs for DBX. */ >> + DINFO_TYPE_DWARF2 = 2, /* Dwarf v2 debug info. */ >> + DINFO_TYPE_XCOFF = 3, /* IBM/Xcoff debug info. */ >> + DINFO_TYPE_VMS = 4, /* VMS debug info. */ >> + DINFO_TYPE_MAX = DINFO_TYPE_VMS /* Marker only. */ >> }; >> >> +#define NO_DEBUG (0U) >> +/* Write DBX debug info (using dbxout.c). */ >> +#define DBX_DEBUG (1U << DINFO_TYPE_DBX) >> +/* Write DWARF2 debug info (using dwarf2out.c). */ >> +#define DWARF2_DEBUG (1U << DINFO_TYPE_DWARF2) >> +/* Write IBM/XCOFF debug info (using dbxout.c). */ >> +#define XCOFF_DEBUG (1U << DINFO_TYPE_XCOFF) >> +/* Write VMS debug info (using vmsdbgout.c). */ >> +#define VMS_DEBUG (1U << DINFO_TYPE_VMS) >> +/* Note: Adding new definitions to handle -combination- of debug formats, >> + like VMS_AND_DWARF2_DEBUG is not recommended. This definition remains >> + here for historical reasons. */ >> +/* Write VMS debug info (using vmsdbgout.c) and DWARF v2 debug info (using >> + dwarf2out.c). */ >> +#define VMS_AND_DWARF2_DEBUG ((VMS_DEBUG | DWARF2_DEBUG)) >> + >> enum debug_info_levels >> { >> DINFO_LEVEL_NONE, /* Write no debugging info. */ >> diff --git a/gcc/flags.h b/gcc/flags.h >> index 0c4409e..3415493 100644 >> --- a/gcc/flags.h >> +++ b/gcc/flags.h >> @@ -22,9 +22,24 @@ along with GCC; see the file COPYING3. If not see >> >> #if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS) >> >> -/* Names of debug_info_type, for error messages. */ >> +/* Names of fundamental debug info formats indexed by enum >> + debug_info_type. */ >> + >> extern const char *const debug_type_names[]; >> >> +/* Get enum debug_info_type of the specified debug format, for error messages. >> + Can be used only for individual debug format types. */ >> + >> +extern enum debug_info_type debug_set_to_format (uint32_t debug_info_set); >> + >> +/* Get the number of debug formats enabled for output. */ >> + >> +unsigned int debug_set_count (uint32_t w_symbols); >> + >> +/* Get the names of the debug formats enabled for output. */ >> + >> +const char * debug_set_names (uint32_t w_symbols); >> + >> extern void strip_off_ending (char *, int); >> extern int base_of_path (const char *path, const char **base_out); >> >> diff --git a/gcc/objc/objc-act.c b/gcc/objc/objc-act.c >> index 796256d..8d106a4 100644 >> --- a/gcc/objc/objc-act.c >> +++ b/gcc/objc/objc-act.c >> @@ -3078,7 +3078,7 @@ static void >> synth_module_prologue (void) >> { >> tree type; >> - enum debug_info_type save_write_symbols = write_symbols; >> + uint32_t save_write_symbols = write_symbols; >> const struct gcc_debug_hooks *const save_hooks = debug_hooks; >> >> /* Suppress outputting debug symbols, because >> diff --git a/gcc/opts.c b/gcc/opts.c >> index fe6fddb..1604241 100644 >> --- a/gcc/opts.c >> +++ b/gcc/opts.c >> @@ -37,12 +37,95 @@ along with GCC; see the file COPYING3. If not see >> >> static void set_Wstrict_aliasing (struct gcc_options *opts, int onoff); >> >> -/* Indexed by enum debug_info_type. */ >> +/* Names of fundamental debug info formats indexed by enum >> + debug_info_type. */ >> + >> const char *const debug_type_names[] = >> { >> "none", "stabs", "dwarf-2", "xcoff", "vms" >> }; >> >> +/* Bitmasks of fundamental debug info formats indexed by enum >> + debug_info_type. */ >> + >> +static uint32_t debug_type_masks[] = >> +{ >> + NO_DEBUG, DBX_DEBUG, DWARF2_DEBUG, XCOFF_DEBUG, VMS_DEBUG >> +}; >> + >> +/* Names of the set of debug formats requested by user. Updated and accessed >> + via debug_set_names. */ >> + >> +static char df_set_names[sizeof "none stabs dwarf-2 xcoff vms"]; >> + >> +/* Get enum debug_info_type of the specified debug format, for error messages. >> + Can be used only for individual debug format types. */ >> + >> +enum debug_info_type >> +debug_set_to_format (uint32_t debug_info_set) >> +{ >> + int idx = 0; >> + enum debug_info_type dinfo_type = DINFO_TYPE_NONE; >> + /* Find first set bit. */ >> + if (debug_info_set) >> + idx = exact_log2 (debug_info_set & - debug_info_set); >> + /* Check that only one bit is set, if at all. This function is meant to be >> + used only for vanilla debug_info_set bitmask values, i.e. for individual >> + debug format types upto DINFO_TYPE_MAX. */ >> + gcc_assert ((debug_info_set & (debug_info_set - 1)) == 0); >> + dinfo_type = (enum debug_info_type)idx; >> + gcc_assert (dinfo_type <= DINFO_TYPE_MAX); >> + return dinfo_type; >> +} >> + >> +/* Get the number of debug formats enabled for output. */ >> + >> +unsigned int >> +debug_set_count (uint32_t w_symbols) >> +{ >> + unsigned int count = 0; >> + while (w_symbols) >> + { >> + ++ count; >> + w_symbols &= ~ (w_symbols & - w_symbols); >> + } >> + return count; >> +} >> + >> +/* Get the names of the debug formats enabled for output. */ >> + >> +const char * >> +debug_set_names (uint32_t w_symbols) >> +{ >> + uint32_t df_mask = 0; >> + /* Reset the string to be returned. */ >> + memset (df_set_names, 0, sizeof (df_set_names)); >> + /* Get the popcount. */ >> + int num_set_df = debug_set_count (w_symbols); >> + /* Iterate over the debug formats. Add name string for those enabled. */ >> + for (int i = DINFO_TYPE_NONE; i <= DINFO_TYPE_MAX; i++) >> + { >> + df_mask = debug_type_masks[i]; >> + if (w_symbols & df_mask) >> + { >> + strcat (df_set_names, debug_type_names[i]); >> + num_set_df--; >> + if (num_set_df) >> + strcat (df_set_names, " "); >> + else >> + break; >> + } >> + else if (!w_symbols) >> + { >> + /* No debug formats enabled. */ >> + gcc_assert (i == DINFO_TYPE_NONE); >> + strcat (df_set_names, debug_type_names[i]); >> + break; >> + } >> + } >> + return df_set_names; >> +} >> + >> /* Parse the -femit-struct-debug-detailed option value >> and set the flag variables. */ >> >> @@ -190,7 +273,7 @@ static const char use_diagnosed_msg[] = N_("Uses of this option are diagnosed.") >> >> typedef char *char_p; /* For DEF_VEC_P. */ >> >> -static void set_debug_level (enum debug_info_type type, int extended, >> +static void set_debug_level (uint32_t dinfo, int extended, >> const char *arg, struct gcc_options *opts, >> struct gcc_options *opts_set, >> location_t loc); >> @@ -3027,17 +3110,17 @@ fast_math_flags_struct_set_p (struct cl_optimization *opt) >> } >> >> /* Handle a debug output -g switch for options OPTS >> - (OPTS_SET->x_write_symbols storing whether a debug type was passed >> + (OPTS_SET->x_write_symbols storing whether a debug format was passed >> explicitly), location LOC. EXTENDED is true or false to support >> extended output (2 is special and means "-ggdb" was given). */ >> static void >> -set_debug_level (enum debug_info_type type, int extended, const char *arg, >> +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 (type == NO_DEBUG) >> + if (dinfo == NO_DEBUG) >> { >> if (opts->x_write_symbols == NO_DEBUG) >> { >> @@ -3058,14 +3141,18 @@ set_debug_level (enum debug_info_type type, int extended, const char *arg, >> } >> else >> { >> - /* Does it conflict with an already selected type? */ >> + /* Does it conflict with an already selected debug format? */ >> if (opts_set->x_write_symbols != NO_DEBUG >> && opts->x_write_symbols != NO_DEBUG >> - && type != opts->x_write_symbols) >> - error_at (loc, "debug format %qs conflicts with prior selection", >> - debug_type_names[type]); >> - opts->x_write_symbols = type; >> - opts_set->x_write_symbols = type; >> + && dinfo != opts->x_write_symbols) >> + { >> + gcc_assert (debug_set_count (dinfo) <= 1); >> + error_at (loc, "debug format %qs conflicts with prior selection", >> + debug_type_names[debug_set_to_format (dinfo)]); >> + } >> + >> + opts->x_write_symbols = dinfo; >> + opts_set->x_write_symbols = dinfo; >> } >> >> /* A debug flag without a level defaults to level 2. >> diff --git a/gcc/testsuite/gcc.dg/pch/valid-1.c b/gcc/testsuite/gcc.dg/pch/valid-1.c >> index d445c47..6e9abda 100644 >> --- a/gcc/testsuite/gcc.dg/pch/valid-1.c >> +++ b/gcc/testsuite/gcc.dg/pch/valid-1.c >> @@ -1,7 +1,7 @@ >> /* { dg-require-effective-target pch_supported_debug } */ >> /* { dg-options "-I. -Winvalid-pch -g" } */ >> >> -#include "valid-1.h"/* { dg-warning "created with -gnone, but used with -g" } */ >> +#include "valid-1.h"/* { dg-warning "created with .none. debug info, but used with" } */ >> /* { dg-error "No such file" "no such file" { target *-*-* } 0 } */ >> /* { dg-error "they were invalid" "invalid files" { target *-*-* } 0 } */ >> /* { dg-message "terminated" "" { target *-*-* } 0 } */ >> diff --git a/gcc/testsuite/lib/dg-pch.exp b/gcc/testsuite/lib/dg-pch.exp >> index 1f60fde..bb0ce46 100644 >> --- a/gcc/testsuite/lib/dg-pch.exp >> +++ b/gcc/testsuite/lib/dg-pch.exp >> @@ -28,7 +28,7 @@ proc pch-init { args } { >> >> set result [check_compile pchtest object "int i;" "-g -x c-header"] >> set pch_unsupported_debug \ >> - [regexp "debug format cannot be used with pre-compiled headers" \ >> + [regexp "debug info cannot be used with pre-compiled headers" \ >> [lindex $result 0]] >> remote_file build delete [lindex $result 1] >> >> @@ -38,7 +38,7 @@ proc pch-init { args } { >> >> set result [check_compile pchtest object "int i;" "-x c-header"] >> set pch_unsupported \ >> - [regexp "debug format cannot be used with pre-compiled headers" \ >> + [regexp "debug info cannot be used with pre-compiled headers" \ >> [lindex $result 0]] >> remote_file build delete [lindex $result 1] >> } >> diff --git a/gcc/toplev.c b/gcc/toplev.c >> index 7e23253..1016fb9 100644 >> --- a/gcc/toplev.c >> +++ b/gcc/toplev.c >> @@ -1461,9 +1461,12 @@ process_options (void) >> debug_hooks = &dwarf2_lineno_debug_hooks; >> #endif >> else >> - error_at (UNKNOWN_LOCATION, >> - "target system does not support the %qs debug format", >> - debug_type_names[write_symbols]); >> + { >> + gcc_assert (debug_set_count (write_symbols) <= 1); >> + error_at (UNKNOWN_LOCATION, >> + "target system does not support the %qs debug format", >> + debug_type_names[debug_set_to_format (write_symbols)]); >> + } >> >> /* We know which debug output will be used so we can set flag_var_tracking >> and flag_var_tracking_uninit if the user has not specified them. */ >> -- >> 1.8.3.1 >> ^ permalink raw reply [flat|nested] 7+ messages in thread
* [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate 2021-05-12 22:13 [PATCH, V3 0/2] Fix write_symbols for supporting multiple debug formats Indu Bhagat 2021-05-12 22:13 ` [PATCH,V3 1/2] opts: change write_symbols to support bitmasks Indu Bhagat @ 2021-05-12 22:13 ` Indu Bhagat 2021-05-20 9:40 ` Richard Biener 1 sibling, 1 reply; 7+ messages in thread From: Indu Bhagat @ 2021-05-12 22:13 UTC (permalink / raw) To: gcc-patches [Changes from V2] - Tested build (make all-gcc) of cross compiler for target triplets containing c6x/mips/powerpc and darwin/cygwin. [End of changes from V2] This patch introduces a dwarf_debuginfo_p predicate that abstracts and replaces complex checks on write_symbols. gcc/c-family/ChangeLog: * c-lex.c (init_c_lex): Use dwarf_debuginfo_p. gcc/ChangeLog: * config/c6x/c6x.c (c6x_output_file_unwind): Use dwarf_debuginfo_p. * config/darwin.c (darwin_override_options): Likewise. * config/i386/cygming.h (DBX_REGISTER_NUMBER): Likewise. * config/i386/darwin.h (DBX_REGISTER_NUMBER): Likewise. (DWARF2_FRAME_REG_OUT): Likewise. * config/mips/mips.c (mips_output_filename): Likewise. * config/rs6000/rs6000.c (rs6000_xcoff_declare_function_name): Likewise. (rs6000_dbx_register_number): Likewise. * dbxout.c: Include flags.h. * dwarf2cfi.c (cfi_label_required_p): Likewise. (dwarf2out_do_frame): Likewise. * except.c: Include flags.h. * final.c (dwarf2_debug_info_emitted_p): Likewise. (final_scan_insn_1): Likewise. * flags.h (dwarf_debuginfo_p): New function declaration. * opts.c (dwarf_debuginfo_p): New function definition. * targhooks.c (default_debug_unwind_info): Use dwarf_debuginfo_p. * toplev.c (process_options): Likewise. --- gcc/c-family/c-lex.c | 4 ++-- gcc/config/c6x/c6x.c | 4 ++-- gcc/config/darwin.c | 3 ++- gcc/config/i386/cygming.h | 2 +- gcc/config/i386/darwin.h | 4 ++-- gcc/config/mips/mips.c | 3 ++- gcc/config/rs6000/rs6000.c | 4 ++-- gcc/dbxout.c | 1 + gcc/dwarf2cfi.c | 9 ++++----- gcc/except.c | 1 + gcc/final.c | 15 ++++++--------- gcc/flags.h | 4 ++++ gcc/opts.c | 8 ++++++++ gcc/targhooks.c | 2 +- gcc/toplev.c | 6 ++---- 15 files changed, 40 insertions(+), 30 deletions(-) diff --git a/gcc/c-family/c-lex.c b/gcc/c-family/c-lex.c index 1c66ecd..c44e7a1 100644 --- a/gcc/c-family/c-lex.c +++ b/gcc/c-family/c-lex.c @@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see #include "stor-layout.h" #include "c-pragma.h" #include "debug.h" +#include "flags.h" #include "file-prefix-map.h" /* remap_macro_filename() */ #include "langhooks.h" #include "attribs.h" @@ -87,8 +88,7 @@ init_c_lex (void) /* Set the debug callbacks if we can use them. */ if ((debug_info_level == DINFO_LEVEL_VERBOSE - && (write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG)) + && dwarf_debuginfo_p ()) || flag_dump_go_spec != NULL) { cb->define = cb_define; diff --git a/gcc/config/c6x/c6x.c b/gcc/config/c6x/c6x.c index f9ad1e5..e2011f0 100644 --- a/gcc/config/c6x/c6x.c +++ b/gcc/config/c6x/c6x.c @@ -59,6 +59,7 @@ #include "regrename.h" #include "dumpfile.h" #include "builtins.h" +#include "flags.h" /* This file should be included last. */ #include "target-def.h" @@ -439,8 +440,7 @@ c6x_output_file_unwind (FILE * f) { if (flag_unwind_tables || flag_exceptions) { - if (write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG) + if (dwarf_debuginfo_p ()) asm_fprintf (f, "\t.cfi_sections .debug_frame, .c6xabi.exidx\n"); else asm_fprintf (f, "\t.cfi_sections .c6xabi.exidx\n"); diff --git a/gcc/config/darwin.c b/gcc/config/darwin.c index 5d17391..026c1fb 100644 --- a/gcc/config/darwin.c +++ b/gcc/config/darwin.c @@ -46,6 +46,7 @@ along with GCC; see the file COPYING3. If not see #include "lto-section-names.h" #include "intl.h" #include "optabs.h" +#include "flags.h" /* Fix and Continue. @@ -3348,7 +3349,7 @@ darwin_override_options (void) && generating_for_darwin_version >= 9 && (flag_gtoggle ? (debug_info_level == DINFO_LEVEL_NONE) : (debug_info_level >= DINFO_LEVEL_NORMAL)) - && write_symbols == DWARF2_DEBUG) + && dwarf_debuginfo_p ()) flag_var_tracking_uninit = flag_var_tracking; /* Final check on PCI options; for Darwin these are not dependent on the PIE diff --git a/gcc/config/i386/cygming.h b/gcc/config/i386/cygming.h index cfbca34..ac458cd 100644 --- a/gcc/config/i386/cygming.h +++ b/gcc/config/i386/cygming.h @@ -82,7 +82,7 @@ along with GCC; see the file COPYING3. If not see #undef DBX_REGISTER_NUMBER #define DBX_REGISTER_NUMBER(n) \ (TARGET_64BIT ? dbx64_register_map[n] \ - : (write_symbols == DWARF2_DEBUG \ + : (dwarf_debuginfo_p () \ ? svr4_dbx_register_map[n] : dbx_register_map[n])) /* Map gcc register number to DWARF 2 CFA column number. For 32 bit diff --git a/gcc/config/i386/darwin.h b/gcc/config/i386/darwin.h index afa9f1b..5312003 100644 --- a/gcc/config/i386/darwin.h +++ b/gcc/config/i386/darwin.h @@ -275,13 +275,13 @@ along with GCC; see the file COPYING3. If not see #undef DBX_REGISTER_NUMBER #define DBX_REGISTER_NUMBER(n) \ (TARGET_64BIT ? dbx64_register_map[n] \ - : write_symbols == DWARF2_DEBUG ? svr4_dbx_register_map[n] \ + : dwarf_debuginfo_p () ? svr4_dbx_register_map[n] \ : dbx_register_map[n]) /* Unfortunately, the 32-bit EH information also doesn't use the standard DWARF register numbers. */ #define DWARF2_FRAME_REG_OUT(n, for_eh) \ - (! (for_eh) || write_symbols != DWARF2_DEBUG || TARGET_64BIT ? (n) \ + (! (for_eh) || !dwarf_debuginfo_p () || TARGET_64BIT ? (n) \ : (n) == 5 ? 4 \ : (n) == 4 ? 5 \ : (n) >= 11 && (n) <= 18 ? (n) + 1 \ diff --git a/gcc/config/mips/mips.c b/gcc/config/mips/mips.c index 3155459..529e1c9 100644 --- a/gcc/config/mips/mips.c +++ b/gcc/config/mips/mips.c @@ -65,6 +65,7 @@ along with GCC; see the file COPYING3. If not see #include "context.h" #include "builtins.h" #include "rtl-iter.h" +#include "flags.h" /* This file should be included last. */ #include "target-def.h" @@ -9489,7 +9490,7 @@ mips_output_filename (FILE *stream, const char *name) { /* If we are emitting DWARF-2, let dwarf2out handle the ".file" directives. */ - if (write_symbols == DWARF2_DEBUG) + if (dwarf_debuginfo_p ()) return; else if (mips_output_filename_first_time) { diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c index d1b76f6..26f32e5 100644 --- a/gcc/config/rs6000/rs6000.c +++ b/gcc/config/rs6000/rs6000.c @@ -21606,7 +21606,7 @@ rs6000_xcoff_declare_function_name (FILE *file, const char *name, tree decl) { if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG) xcoffout_declare_function (file, decl, buffer); - else if (write_symbols == DWARF2_DEBUG) + else if (dwarf_debuginfo_p ()) { name = (*targetm.strip_name_encoding) (name); fprintf (file, "\t.function .%s,.%s,2,0\n", name, name); @@ -23765,7 +23765,7 @@ rs6000_dbx_register_number (unsigned int regno, unsigned int format) { /* On some platforms, we use the standard DWARF register numbering for .debug_info and .debug_frame. */ - if ((format == 0 && write_symbols == DWARF2_DEBUG) || format == 1) + if ((format == 0 && dwarf_debuginfo_p ()) || format == 1) { #ifdef RS6000_USE_DWARF_NUMBERING if (regno <= 31) diff --git a/gcc/dbxout.c b/gcc/dbxout.c index d20527b..6be2827 100644 --- a/gcc/dbxout.c +++ b/gcc/dbxout.c @@ -92,6 +92,7 @@ along with GCC; see the file COPYING3. If not see #include "langhooks.h" #include "expr.h" #include "file-prefix-map.h" /* remap_debug_filename() */ +#include "flags.h" #ifdef XCOFF_DEBUGGING_INFO #include "xcoffout.h" diff --git a/gcc/dwarf2cfi.c b/gcc/dwarf2cfi.c index 362ff3f..c27ac19 100644 --- a/gcc/dwarf2cfi.c +++ b/gcc/dwarf2cfi.c @@ -39,7 +39,7 @@ along with GCC; see the file COPYING3. If not see #include "expr.h" /* init_return_column_size */ #include "output.h" /* asm_out_file */ #include "debug.h" /* dwarf2out_do_frame, dwarf2out_do_cfi_asm */ - +#include "flags.h" /* dwarf_debuginfo_p */ /* ??? Poison these here until it can be done generically. They've been totally replaced in this file; make sure it stays that way. */ @@ -2289,8 +2289,7 @@ cfi_label_required_p (dw_cfi_ref cfi) if (dwarf_version == 2 && debug_info_level > DINFO_LEVEL_TERSE - && (write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG)) + && dwarf_debuginfo_p ()) { switch (cfi->dw_cfi_opc) { @@ -3557,9 +3556,9 @@ bool dwarf2out_do_frame (void) { /* We want to emit correct CFA location expressions or lists, so we - have to return true if we're going to output debug info, even if + have to return true if we're going to generate debug info, even if we're not going to output frame or unwind info. */ - if (write_symbols == DWARF2_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) + if (dwarf_debuginfo_p ()) return true; if (saved_do_cfi_asm > 0) diff --git a/gcc/except.c b/gcc/except.c index a7902bb..d481a5e 100644 --- a/gcc/except.c +++ b/gcc/except.c @@ -144,6 +144,7 @@ along with GCC; see the file COPYING3. If not see #include "cfgloop.h" #include "builtins.h" #include "tree-hash-traits.h" +#include "flags.h" static GTY(()) int call_site_base; diff --git a/gcc/final.c b/gcc/final.c index e0a70fc..38c3d70 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -1428,7 +1428,8 @@ asm_str_count (const char *templ) static bool dwarf2_debug_info_emitted_p (tree decl) { - if (write_symbols != DWARF2_DEBUG && write_symbols != VMS_AND_DWARF2_DEBUG) + /* When DWARF2 debug info is not generated internally. */ + if (!dwarf_debuginfo_p ()) return false; if (DECL_IGNORED_P (decl)) @@ -2306,10 +2307,8 @@ final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED, break; case NOTE_INSN_BLOCK_BEG: - if (debug_info_level == DINFO_LEVEL_NORMAL - || debug_info_level == DINFO_LEVEL_VERBOSE - || write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG + if (debug_info_level >= DINFO_LEVEL_NORMAL + || dwarf_debuginfo_p () || write_symbols == VMS_DEBUG) { int n = BLOCK_NUMBER (NOTE_BLOCK (insn)); @@ -2344,10 +2343,8 @@ final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED, case NOTE_INSN_BLOCK_END: maybe_output_next_view (seen); - if (debug_info_level == DINFO_LEVEL_NORMAL - || debug_info_level == DINFO_LEVEL_VERBOSE - || write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG + if (debug_info_level >= DINFO_LEVEL_NORMAL + || dwarf_debuginfo_p () || write_symbols == VMS_DEBUG) { int n = BLOCK_NUMBER (NOTE_BLOCK (insn)); diff --git a/gcc/flags.h b/gcc/flags.h index 3415493..cc7b79b 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -40,6 +40,10 @@ unsigned int debug_set_count (uint32_t w_symbols); const char * debug_set_names (uint32_t w_symbols); +/* Return true iff DWARF2 debug info is enabled. */ + +extern bool dwarf_debuginfo_p (); + extern void strip_off_ending (char *, int); extern int base_of_path (const char *path, const char **base_out); diff --git a/gcc/opts.c b/gcc/opts.c index 1604241..a751d95 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -126,6 +126,14 @@ debug_set_names (uint32_t w_symbols) return df_set_names; } +/* Return TRUE iff dwarf2 debug info is enabled. */ + +bool +dwarf_debuginfo_p () +{ + return (write_symbols & DWARF2_DEBUG); +} + /* Parse the -femit-struct-debug-detailed option value and set the flag variables. */ diff --git a/gcc/targhooks.c b/gcc/targhooks.c index 2e0fdb7..7d5bffd 100644 --- a/gcc/targhooks.c +++ b/gcc/targhooks.c @@ -1976,7 +1976,7 @@ default_debug_unwind_info (void) /* Otherwise, only turn it on if dwarf2 debugging is enabled. */ #ifdef DWARF2_DEBUGGING_INFO - if (write_symbols == DWARF2_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) + if (dwarf_debuginfo_p ()) return UI_DWARF2; #endif diff --git a/gcc/toplev.c b/gcc/toplev.c index 1016fb9..6a6ebe9 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -1527,8 +1527,7 @@ process_options (void) debug_nonbind_markers_p = (optimize && debug_info_level >= DINFO_LEVEL_NORMAL - && (write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG) + && dwarf_debuginfo_p () && !(flag_selective_scheduling || flag_selective_scheduling2)); if (dwarf2out_as_loc_support == AUTODETECT_VALUE) @@ -1543,8 +1542,7 @@ process_options (void) debug_variable_location_views = (flag_var_tracking && debug_info_level >= DINFO_LEVEL_NORMAL - && (write_symbols == DWARF2_DEBUG - || write_symbols == VMS_AND_DWARF2_DEBUG) + && dwarf_debuginfo_p () && !dwarf_strict && dwarf2out_as_loc_support && dwarf2out_as_locview_support); -- 1.8.3.1 ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate 2021-05-12 22:13 ` [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate Indu Bhagat @ 2021-05-20 9:40 ` Richard Biener 2021-05-21 0:01 ` Indu Bhagat 0 siblings, 1 reply; 7+ messages in thread From: Richard Biener @ 2021-05-20 9:40 UTC (permalink / raw) To: Indu Bhagat; +Cc: GCC Patches On Thu, May 13, 2021 at 12:52 AM Indu Bhagat via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > [Changes from V2] > - Tested build (make all-gcc) of cross compiler for target triplets > containing c6x/mips/powerpc and darwin/cygwin. > [End of changes from V2] > > This patch introduces a dwarf_debuginfo_p predicate that abstracts and > replaces complex checks on write_symbols. OK. Thanks, Richard. > gcc/c-family/ChangeLog: > > * c-lex.c (init_c_lex): Use dwarf_debuginfo_p. > > gcc/ChangeLog: > > * config/c6x/c6x.c (c6x_output_file_unwind): Use dwarf_debuginfo_p. > * config/darwin.c (darwin_override_options): Likewise. > * config/i386/cygming.h (DBX_REGISTER_NUMBER): Likewise. > * config/i386/darwin.h (DBX_REGISTER_NUMBER): Likewise. > (DWARF2_FRAME_REG_OUT): Likewise. > * config/mips/mips.c (mips_output_filename): Likewise. > * config/rs6000/rs6000.c (rs6000_xcoff_declare_function_name): > Likewise. > (rs6000_dbx_register_number): Likewise. > * dbxout.c: Include flags.h. > * dwarf2cfi.c (cfi_label_required_p): Likewise. > (dwarf2out_do_frame): Likewise. > * except.c: Include flags.h. > * final.c (dwarf2_debug_info_emitted_p): Likewise. > (final_scan_insn_1): Likewise. > * flags.h (dwarf_debuginfo_p): New function declaration. > * opts.c (dwarf_debuginfo_p): New function definition. > * targhooks.c (default_debug_unwind_info): Use dwarf_debuginfo_p. > * toplev.c (process_options): Likewise. > --- > gcc/c-family/c-lex.c | 4 ++-- > gcc/config/c6x/c6x.c | 4 ++-- > gcc/config/darwin.c | 3 ++- > gcc/config/i386/cygming.h | 2 +- > gcc/config/i386/darwin.h | 4 ++-- > gcc/config/mips/mips.c | 3 ++- > gcc/config/rs6000/rs6000.c | 4 ++-- > gcc/dbxout.c | 1 + > gcc/dwarf2cfi.c | 9 ++++----- > gcc/except.c | 1 + > gcc/final.c | 15 ++++++--------- > gcc/flags.h | 4 ++++ > gcc/opts.c | 8 ++++++++ > gcc/targhooks.c | 2 +- > gcc/toplev.c | 6 ++---- > 15 files changed, 40 insertions(+), 30 deletions(-) > > diff --git a/gcc/c-family/c-lex.c b/gcc/c-family/c-lex.c > index 1c66ecd..c44e7a1 100644 > --- a/gcc/c-family/c-lex.c > +++ b/gcc/c-family/c-lex.c > @@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see > #include "stor-layout.h" > #include "c-pragma.h" > #include "debug.h" > +#include "flags.h" > #include "file-prefix-map.h" /* remap_macro_filename() */ > #include "langhooks.h" > #include "attribs.h" > @@ -87,8 +88,7 @@ init_c_lex (void) > > /* Set the debug callbacks if we can use them. */ > if ((debug_info_level == DINFO_LEVEL_VERBOSE > - && (write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG)) > + && dwarf_debuginfo_p ()) > || flag_dump_go_spec != NULL) > { > cb->define = cb_define; > diff --git a/gcc/config/c6x/c6x.c b/gcc/config/c6x/c6x.c > index f9ad1e5..e2011f0 100644 > --- a/gcc/config/c6x/c6x.c > +++ b/gcc/config/c6x/c6x.c > @@ -59,6 +59,7 @@ > #include "regrename.h" > #include "dumpfile.h" > #include "builtins.h" > +#include "flags.h" > > /* This file should be included last. */ > #include "target-def.h" > @@ -439,8 +440,7 @@ c6x_output_file_unwind (FILE * f) > { > if (flag_unwind_tables || flag_exceptions) > { > - if (write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG) > + if (dwarf_debuginfo_p ()) > asm_fprintf (f, "\t.cfi_sections .debug_frame, .c6xabi.exidx\n"); > else > asm_fprintf (f, "\t.cfi_sections .c6xabi.exidx\n"); > diff --git a/gcc/config/darwin.c b/gcc/config/darwin.c > index 5d17391..026c1fb 100644 > --- a/gcc/config/darwin.c > +++ b/gcc/config/darwin.c > @@ -46,6 +46,7 @@ along with GCC; see the file COPYING3. If not see > #include "lto-section-names.h" > #include "intl.h" > #include "optabs.h" > +#include "flags.h" > > /* Fix and Continue. > > @@ -3348,7 +3349,7 @@ darwin_override_options (void) > && generating_for_darwin_version >= 9 > && (flag_gtoggle ? (debug_info_level == DINFO_LEVEL_NONE) > : (debug_info_level >= DINFO_LEVEL_NORMAL)) > - && write_symbols == DWARF2_DEBUG) > + && dwarf_debuginfo_p ()) > flag_var_tracking_uninit = flag_var_tracking; > > /* Final check on PCI options; for Darwin these are not dependent on the PIE > diff --git a/gcc/config/i386/cygming.h b/gcc/config/i386/cygming.h > index cfbca34..ac458cd 100644 > --- a/gcc/config/i386/cygming.h > +++ b/gcc/config/i386/cygming.h > @@ -82,7 +82,7 @@ along with GCC; see the file COPYING3. If not see > #undef DBX_REGISTER_NUMBER > #define DBX_REGISTER_NUMBER(n) \ > (TARGET_64BIT ? dbx64_register_map[n] \ > - : (write_symbols == DWARF2_DEBUG \ > + : (dwarf_debuginfo_p () \ > ? svr4_dbx_register_map[n] : dbx_register_map[n])) > > /* Map gcc register number to DWARF 2 CFA column number. For 32 bit > diff --git a/gcc/config/i386/darwin.h b/gcc/config/i386/darwin.h > index afa9f1b..5312003 100644 > --- a/gcc/config/i386/darwin.h > +++ b/gcc/config/i386/darwin.h > @@ -275,13 +275,13 @@ along with GCC; see the file COPYING3. If not see > #undef DBX_REGISTER_NUMBER > #define DBX_REGISTER_NUMBER(n) \ > (TARGET_64BIT ? dbx64_register_map[n] \ > - : write_symbols == DWARF2_DEBUG ? svr4_dbx_register_map[n] \ > + : dwarf_debuginfo_p () ? svr4_dbx_register_map[n] \ > : dbx_register_map[n]) > > /* Unfortunately, the 32-bit EH information also doesn't use the standard > DWARF register numbers. */ > #define DWARF2_FRAME_REG_OUT(n, for_eh) \ > - (! (for_eh) || write_symbols != DWARF2_DEBUG || TARGET_64BIT ? (n) \ > + (! (for_eh) || !dwarf_debuginfo_p () || TARGET_64BIT ? (n) \ > : (n) == 5 ? 4 \ > : (n) == 4 ? 5 \ > : (n) >= 11 && (n) <= 18 ? (n) + 1 \ > diff --git a/gcc/config/mips/mips.c b/gcc/config/mips/mips.c > index 3155459..529e1c9 100644 > --- a/gcc/config/mips/mips.c > +++ b/gcc/config/mips/mips.c > @@ -65,6 +65,7 @@ along with GCC; see the file COPYING3. If not see > #include "context.h" > #include "builtins.h" > #include "rtl-iter.h" > +#include "flags.h" > > /* This file should be included last. */ > #include "target-def.h" > @@ -9489,7 +9490,7 @@ mips_output_filename (FILE *stream, const char *name) > { > /* If we are emitting DWARF-2, let dwarf2out handle the ".file" > directives. */ > - if (write_symbols == DWARF2_DEBUG) > + if (dwarf_debuginfo_p ()) > return; > else if (mips_output_filename_first_time) > { > diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c > index d1b76f6..26f32e5 100644 > --- a/gcc/config/rs6000/rs6000.c > +++ b/gcc/config/rs6000/rs6000.c > @@ -21606,7 +21606,7 @@ rs6000_xcoff_declare_function_name (FILE *file, const char *name, tree decl) > { > if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG) > xcoffout_declare_function (file, decl, buffer); > - else if (write_symbols == DWARF2_DEBUG) > + else if (dwarf_debuginfo_p ()) > { > name = (*targetm.strip_name_encoding) (name); > fprintf (file, "\t.function .%s,.%s,2,0\n", name, name); > @@ -23765,7 +23765,7 @@ rs6000_dbx_register_number (unsigned int regno, unsigned int format) > { > /* On some platforms, we use the standard DWARF register > numbering for .debug_info and .debug_frame. */ > - if ((format == 0 && write_symbols == DWARF2_DEBUG) || format == 1) > + if ((format == 0 && dwarf_debuginfo_p ()) || format == 1) > { > #ifdef RS6000_USE_DWARF_NUMBERING > if (regno <= 31) > diff --git a/gcc/dbxout.c b/gcc/dbxout.c > index d20527b..6be2827 100644 > --- a/gcc/dbxout.c > +++ b/gcc/dbxout.c > @@ -92,6 +92,7 @@ along with GCC; see the file COPYING3. If not see > #include "langhooks.h" > #include "expr.h" > #include "file-prefix-map.h" /* remap_debug_filename() */ > +#include "flags.h" > > #ifdef XCOFF_DEBUGGING_INFO > #include "xcoffout.h" > diff --git a/gcc/dwarf2cfi.c b/gcc/dwarf2cfi.c > index 362ff3f..c27ac19 100644 > --- a/gcc/dwarf2cfi.c > +++ b/gcc/dwarf2cfi.c > @@ -39,7 +39,7 @@ along with GCC; see the file COPYING3. If not see > #include "expr.h" /* init_return_column_size */ > #include "output.h" /* asm_out_file */ > #include "debug.h" /* dwarf2out_do_frame, dwarf2out_do_cfi_asm */ > - > +#include "flags.h" /* dwarf_debuginfo_p */ > > /* ??? Poison these here until it can be done generically. They've been > totally replaced in this file; make sure it stays that way. */ > @@ -2289,8 +2289,7 @@ cfi_label_required_p (dw_cfi_ref cfi) > > if (dwarf_version == 2 > && debug_info_level > DINFO_LEVEL_TERSE > - && (write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG)) > + && dwarf_debuginfo_p ()) > { > switch (cfi->dw_cfi_opc) > { > @@ -3557,9 +3556,9 @@ bool > dwarf2out_do_frame (void) > { > /* We want to emit correct CFA location expressions or lists, so we > - have to return true if we're going to output debug info, even if > + have to return true if we're going to generate debug info, even if > we're not going to output frame or unwind info. */ > - if (write_symbols == DWARF2_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) > + if (dwarf_debuginfo_p ()) > return true; > > if (saved_do_cfi_asm > 0) > diff --git a/gcc/except.c b/gcc/except.c > index a7902bb..d481a5e 100644 > --- a/gcc/except.c > +++ b/gcc/except.c > @@ -144,6 +144,7 @@ along with GCC; see the file COPYING3. If not see > #include "cfgloop.h" > #include "builtins.h" > #include "tree-hash-traits.h" > +#include "flags.h" > > static GTY(()) int call_site_base; > > diff --git a/gcc/final.c b/gcc/final.c > index e0a70fc..38c3d70 100644 > --- a/gcc/final.c > +++ b/gcc/final.c > @@ -1428,7 +1428,8 @@ asm_str_count (const char *templ) > static bool > dwarf2_debug_info_emitted_p (tree decl) > { > - if (write_symbols != DWARF2_DEBUG && write_symbols != VMS_AND_DWARF2_DEBUG) > + /* When DWARF2 debug info is not generated internally. */ > + if (!dwarf_debuginfo_p ()) > return false; > > if (DECL_IGNORED_P (decl)) > @@ -2306,10 +2307,8 @@ final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED, > break; > > case NOTE_INSN_BLOCK_BEG: > - if (debug_info_level == DINFO_LEVEL_NORMAL > - || debug_info_level == DINFO_LEVEL_VERBOSE > - || write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG > + if (debug_info_level >= DINFO_LEVEL_NORMAL > + || dwarf_debuginfo_p () > || write_symbols == VMS_DEBUG) > { > int n = BLOCK_NUMBER (NOTE_BLOCK (insn)); > @@ -2344,10 +2343,8 @@ final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED, > case NOTE_INSN_BLOCK_END: > maybe_output_next_view (seen); > > - if (debug_info_level == DINFO_LEVEL_NORMAL > - || debug_info_level == DINFO_LEVEL_VERBOSE > - || write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG > + if (debug_info_level >= DINFO_LEVEL_NORMAL > + || dwarf_debuginfo_p () > || write_symbols == VMS_DEBUG) > { > int n = BLOCK_NUMBER (NOTE_BLOCK (insn)); > diff --git a/gcc/flags.h b/gcc/flags.h > index 3415493..cc7b79b 100644 > --- a/gcc/flags.h > +++ b/gcc/flags.h > @@ -40,6 +40,10 @@ unsigned int debug_set_count (uint32_t w_symbols); > > const char * debug_set_names (uint32_t w_symbols); > > +/* Return true iff DWARF2 debug info is enabled. */ > + > +extern bool dwarf_debuginfo_p (); > + > extern void strip_off_ending (char *, int); > extern int base_of_path (const char *path, const char **base_out); > > diff --git a/gcc/opts.c b/gcc/opts.c > index 1604241..a751d95 100644 > --- a/gcc/opts.c > +++ b/gcc/opts.c > @@ -126,6 +126,14 @@ debug_set_names (uint32_t w_symbols) > return df_set_names; > } > > +/* Return TRUE iff dwarf2 debug info is enabled. */ > + > +bool > +dwarf_debuginfo_p () > +{ > + return (write_symbols & DWARF2_DEBUG); > +} > + > /* Parse the -femit-struct-debug-detailed option value > and set the flag variables. */ > > diff --git a/gcc/targhooks.c b/gcc/targhooks.c > index 2e0fdb7..7d5bffd 100644 > --- a/gcc/targhooks.c > +++ b/gcc/targhooks.c > @@ -1976,7 +1976,7 @@ default_debug_unwind_info (void) > > /* Otherwise, only turn it on if dwarf2 debugging is enabled. */ > #ifdef DWARF2_DEBUGGING_INFO > - if (write_symbols == DWARF2_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) > + if (dwarf_debuginfo_p ()) > return UI_DWARF2; > #endif > > diff --git a/gcc/toplev.c b/gcc/toplev.c > index 1016fb9..6a6ebe9 100644 > --- a/gcc/toplev.c > +++ b/gcc/toplev.c > @@ -1527,8 +1527,7 @@ process_options (void) > debug_nonbind_markers_p > = (optimize > && debug_info_level >= DINFO_LEVEL_NORMAL > - && (write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG) > + && dwarf_debuginfo_p () > && !(flag_selective_scheduling || flag_selective_scheduling2)); > > if (dwarf2out_as_loc_support == AUTODETECT_VALUE) > @@ -1543,8 +1542,7 @@ process_options (void) > debug_variable_location_views > = (flag_var_tracking > && debug_info_level >= DINFO_LEVEL_NORMAL > - && (write_symbols == DWARF2_DEBUG > - || write_symbols == VMS_AND_DWARF2_DEBUG) > + && dwarf_debuginfo_p () > && !dwarf_strict > && dwarf2out_as_loc_support > && dwarf2out_as_locview_support); > -- > 1.8.3.1 > ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate 2021-05-20 9:40 ` Richard Biener @ 2021-05-21 0:01 ` Indu Bhagat 0 siblings, 0 replies; 7+ messages in thread From: Indu Bhagat @ 2021-05-21 0:01 UTC (permalink / raw) To: Richard Biener; +Cc: GCC Patches On 5/20/21 2:40 AM, Richard Biener wrote: > On Thu, May 13, 2021 at 12:52 AM Indu Bhagat via Gcc-patches > <gcc-patches@gcc.gnu.org> wrote: >> >> [Changes from V2] >> - Tested build (make all-gcc) of cross compiler for target triplets >> containing c6x/mips/powerpc and darwin/cygwin. >> [End of changes from V2] >> >> This patch introduces a dwarf_debuginfo_p predicate that abstracts and >> replaces complex checks on write_symbols. > > OK. > > Thanks, > Richard. > > Committed. Thanks, Indu >> gcc/c-family/ChangeLog: >> >> * c-lex.c (init_c_lex): Use dwarf_debuginfo_p. >> >> gcc/ChangeLog: >> >> * config/c6x/c6x.c (c6x_output_file_unwind): Use dwarf_debuginfo_p. >> * config/darwin.c (darwin_override_options): Likewise. >> * config/i386/cygming.h (DBX_REGISTER_NUMBER): Likewise. >> * config/i386/darwin.h (DBX_REGISTER_NUMBER): Likewise. >> (DWARF2_FRAME_REG_OUT): Likewise. >> * config/mips/mips.c (mips_output_filename): Likewise. >> * config/rs6000/rs6000.c (rs6000_xcoff_declare_function_name): >> Likewise. >> (rs6000_dbx_register_number): Likewise. >> * dbxout.c: Include flags.h. >> * dwarf2cfi.c (cfi_label_required_p): Likewise. >> (dwarf2out_do_frame): Likewise. >> * except.c: Include flags.h. >> * final.c (dwarf2_debug_info_emitted_p): Likewise. >> (final_scan_insn_1): Likewise. >> * flags.h (dwarf_debuginfo_p): New function declaration. >> * opts.c (dwarf_debuginfo_p): New function definition. >> * targhooks.c (default_debug_unwind_info): Use dwarf_debuginfo_p. >> * toplev.c (process_options): Likewise. >> --- >> gcc/c-family/c-lex.c | 4 ++-- >> gcc/config/c6x/c6x.c | 4 ++-- >> gcc/config/darwin.c | 3 ++- >> gcc/config/i386/cygming.h | 2 +- >> gcc/config/i386/darwin.h | 4 ++-- >> gcc/config/mips/mips.c | 3 ++- >> gcc/config/rs6000/rs6000.c | 4 ++-- >> gcc/dbxout.c | 1 + >> gcc/dwarf2cfi.c | 9 ++++----- >> gcc/except.c | 1 + >> gcc/final.c | 15 ++++++--------- >> gcc/flags.h | 4 ++++ >> gcc/opts.c | 8 ++++++++ >> gcc/targhooks.c | 2 +- >> gcc/toplev.c | 6 ++---- >> 15 files changed, 40 insertions(+), 30 deletions(-) >> >> diff --git a/gcc/c-family/c-lex.c b/gcc/c-family/c-lex.c >> index 1c66ecd..c44e7a1 100644 >> --- a/gcc/c-family/c-lex.c >> +++ b/gcc/c-family/c-lex.c >> @@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see >> #include "stor-layout.h" >> #include "c-pragma.h" >> #include "debug.h" >> +#include "flags.h" >> #include "file-prefix-map.h" /* remap_macro_filename() */ >> #include "langhooks.h" >> #include "attribs.h" >> @@ -87,8 +88,7 @@ init_c_lex (void) >> >> /* Set the debug callbacks if we can use them. */ >> if ((debug_info_level == DINFO_LEVEL_VERBOSE >> - && (write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG)) >> + && dwarf_debuginfo_p ()) >> || flag_dump_go_spec != NULL) >> { >> cb->define = cb_define; >> diff --git a/gcc/config/c6x/c6x.c b/gcc/config/c6x/c6x.c >> index f9ad1e5..e2011f0 100644 >> --- a/gcc/config/c6x/c6x.c >> +++ b/gcc/config/c6x/c6x.c >> @@ -59,6 +59,7 @@ >> #include "regrename.h" >> #include "dumpfile.h" >> #include "builtins.h" >> +#include "flags.h" >> >> /* This file should be included last. */ >> #include "target-def.h" >> @@ -439,8 +440,7 @@ c6x_output_file_unwind (FILE * f) >> { >> if (flag_unwind_tables || flag_exceptions) >> { >> - if (write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG) >> + if (dwarf_debuginfo_p ()) >> asm_fprintf (f, "\t.cfi_sections .debug_frame, .c6xabi.exidx\n"); >> else >> asm_fprintf (f, "\t.cfi_sections .c6xabi.exidx\n"); >> diff --git a/gcc/config/darwin.c b/gcc/config/darwin.c >> index 5d17391..026c1fb 100644 >> --- a/gcc/config/darwin.c >> +++ b/gcc/config/darwin.c >> @@ -46,6 +46,7 @@ along with GCC; see the file COPYING3. If not see >> #include "lto-section-names.h" >> #include "intl.h" >> #include "optabs.h" >> +#include "flags.h" >> >> /* Fix and Continue. >> >> @@ -3348,7 +3349,7 @@ darwin_override_options (void) >> && generating_for_darwin_version >= 9 >> && (flag_gtoggle ? (debug_info_level == DINFO_LEVEL_NONE) >> : (debug_info_level >= DINFO_LEVEL_NORMAL)) >> - && write_symbols == DWARF2_DEBUG) >> + && dwarf_debuginfo_p ()) >> flag_var_tracking_uninit = flag_var_tracking; >> >> /* Final check on PCI options; for Darwin these are not dependent on the PIE >> diff --git a/gcc/config/i386/cygming.h b/gcc/config/i386/cygming.h >> index cfbca34..ac458cd 100644 >> --- a/gcc/config/i386/cygming.h >> +++ b/gcc/config/i386/cygming.h >> @@ -82,7 +82,7 @@ along with GCC; see the file COPYING3. If not see >> #undef DBX_REGISTER_NUMBER >> #define DBX_REGISTER_NUMBER(n) \ >> (TARGET_64BIT ? dbx64_register_map[n] \ >> - : (write_symbols == DWARF2_DEBUG \ >> + : (dwarf_debuginfo_p () \ >> ? svr4_dbx_register_map[n] : dbx_register_map[n])) >> >> /* Map gcc register number to DWARF 2 CFA column number. For 32 bit >> diff --git a/gcc/config/i386/darwin.h b/gcc/config/i386/darwin.h >> index afa9f1b..5312003 100644 >> --- a/gcc/config/i386/darwin.h >> +++ b/gcc/config/i386/darwin.h >> @@ -275,13 +275,13 @@ along with GCC; see the file COPYING3. If not see >> #undef DBX_REGISTER_NUMBER >> #define DBX_REGISTER_NUMBER(n) \ >> (TARGET_64BIT ? dbx64_register_map[n] \ >> - : write_symbols == DWARF2_DEBUG ? svr4_dbx_register_map[n] \ >> + : dwarf_debuginfo_p () ? svr4_dbx_register_map[n] \ >> : dbx_register_map[n]) >> >> /* Unfortunately, the 32-bit EH information also doesn't use the standard >> DWARF register numbers. */ >> #define DWARF2_FRAME_REG_OUT(n, for_eh) \ >> - (! (for_eh) || write_symbols != DWARF2_DEBUG || TARGET_64BIT ? (n) \ >> + (! (for_eh) || !dwarf_debuginfo_p () || TARGET_64BIT ? (n) \ >> : (n) == 5 ? 4 \ >> : (n) == 4 ? 5 \ >> : (n) >= 11 && (n) <= 18 ? (n) + 1 \ >> diff --git a/gcc/config/mips/mips.c b/gcc/config/mips/mips.c >> index 3155459..529e1c9 100644 >> --- a/gcc/config/mips/mips.c >> +++ b/gcc/config/mips/mips.c >> @@ -65,6 +65,7 @@ along with GCC; see the file COPYING3. If not see >> #include "context.h" >> #include "builtins.h" >> #include "rtl-iter.h" >> +#include "flags.h" >> >> /* This file should be included last. */ >> #include "target-def.h" >> @@ -9489,7 +9490,7 @@ mips_output_filename (FILE *stream, const char *name) >> { >> /* If we are emitting DWARF-2, let dwarf2out handle the ".file" >> directives. */ >> - if (write_symbols == DWARF2_DEBUG) >> + if (dwarf_debuginfo_p ()) >> return; >> else if (mips_output_filename_first_time) >> { >> diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c >> index d1b76f6..26f32e5 100644 >> --- a/gcc/config/rs6000/rs6000.c >> +++ b/gcc/config/rs6000/rs6000.c >> @@ -21606,7 +21606,7 @@ rs6000_xcoff_declare_function_name (FILE *file, const char *name, tree decl) >> { >> if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG) >> xcoffout_declare_function (file, decl, buffer); >> - else if (write_symbols == DWARF2_DEBUG) >> + else if (dwarf_debuginfo_p ()) >> { >> name = (*targetm.strip_name_encoding) (name); >> fprintf (file, "\t.function .%s,.%s,2,0\n", name, name); >> @@ -23765,7 +23765,7 @@ rs6000_dbx_register_number (unsigned int regno, unsigned int format) >> { >> /* On some platforms, we use the standard DWARF register >> numbering for .debug_info and .debug_frame. */ >> - if ((format == 0 && write_symbols == DWARF2_DEBUG) || format == 1) >> + if ((format == 0 && dwarf_debuginfo_p ()) || format == 1) >> { >> #ifdef RS6000_USE_DWARF_NUMBERING >> if (regno <= 31) >> diff --git a/gcc/dbxout.c b/gcc/dbxout.c >> index d20527b..6be2827 100644 >> --- a/gcc/dbxout.c >> +++ b/gcc/dbxout.c >> @@ -92,6 +92,7 @@ along with GCC; see the file COPYING3. If not see >> #include "langhooks.h" >> #include "expr.h" >> #include "file-prefix-map.h" /* remap_debug_filename() */ >> +#include "flags.h" >> >> #ifdef XCOFF_DEBUGGING_INFO >> #include "xcoffout.h" >> diff --git a/gcc/dwarf2cfi.c b/gcc/dwarf2cfi.c >> index 362ff3f..c27ac19 100644 >> --- a/gcc/dwarf2cfi.c >> +++ b/gcc/dwarf2cfi.c >> @@ -39,7 +39,7 @@ along with GCC; see the file COPYING3. If not see >> #include "expr.h" /* init_return_column_size */ >> #include "output.h" /* asm_out_file */ >> #include "debug.h" /* dwarf2out_do_frame, dwarf2out_do_cfi_asm */ >> - >> +#include "flags.h" /* dwarf_debuginfo_p */ >> >> /* ??? Poison these here until it can be done generically. They've been >> totally replaced in this file; make sure it stays that way. */ >> @@ -2289,8 +2289,7 @@ cfi_label_required_p (dw_cfi_ref cfi) >> >> if (dwarf_version == 2 >> && debug_info_level > DINFO_LEVEL_TERSE >> - && (write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG)) >> + && dwarf_debuginfo_p ()) >> { >> switch (cfi->dw_cfi_opc) >> { >> @@ -3557,9 +3556,9 @@ bool >> dwarf2out_do_frame (void) >> { >> /* We want to emit correct CFA location expressions or lists, so we >> - have to return true if we're going to output debug info, even if >> + have to return true if we're going to generate debug info, even if >> we're not going to output frame or unwind info. */ >> - if (write_symbols == DWARF2_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) >> + if (dwarf_debuginfo_p ()) >> return true; >> >> if (saved_do_cfi_asm > 0) >> diff --git a/gcc/except.c b/gcc/except.c >> index a7902bb..d481a5e 100644 >> --- a/gcc/except.c >> +++ b/gcc/except.c >> @@ -144,6 +144,7 @@ along with GCC; see the file COPYING3. If not see >> #include "cfgloop.h" >> #include "builtins.h" >> #include "tree-hash-traits.h" >> +#include "flags.h" >> >> static GTY(()) int call_site_base; >> >> diff --git a/gcc/final.c b/gcc/final.c >> index e0a70fc..38c3d70 100644 >> --- a/gcc/final.c >> +++ b/gcc/final.c >> @@ -1428,7 +1428,8 @@ asm_str_count (const char *templ) >> static bool >> dwarf2_debug_info_emitted_p (tree decl) >> { >> - if (write_symbols != DWARF2_DEBUG && write_symbols != VMS_AND_DWARF2_DEBUG) >> + /* When DWARF2 debug info is not generated internally. */ >> + if (!dwarf_debuginfo_p ()) >> return false; >> >> if (DECL_IGNORED_P (decl)) >> @@ -2306,10 +2307,8 @@ final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED, >> break; >> >> case NOTE_INSN_BLOCK_BEG: >> - if (debug_info_level == DINFO_LEVEL_NORMAL >> - || debug_info_level == DINFO_LEVEL_VERBOSE >> - || write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG >> + if (debug_info_level >= DINFO_LEVEL_NORMAL >> + || dwarf_debuginfo_p () >> || write_symbols == VMS_DEBUG) >> { >> int n = BLOCK_NUMBER (NOTE_BLOCK (insn)); >> @@ -2344,10 +2343,8 @@ final_scan_insn_1 (rtx_insn *insn, FILE *file, int optimize_p ATTRIBUTE_UNUSED, >> case NOTE_INSN_BLOCK_END: >> maybe_output_next_view (seen); >> >> - if (debug_info_level == DINFO_LEVEL_NORMAL >> - || debug_info_level == DINFO_LEVEL_VERBOSE >> - || write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG >> + if (debug_info_level >= DINFO_LEVEL_NORMAL >> + || dwarf_debuginfo_p () >> || write_symbols == VMS_DEBUG) >> { >> int n = BLOCK_NUMBER (NOTE_BLOCK (insn)); >> diff --git a/gcc/flags.h b/gcc/flags.h >> index 3415493..cc7b79b 100644 >> --- a/gcc/flags.h >> +++ b/gcc/flags.h >> @@ -40,6 +40,10 @@ unsigned int debug_set_count (uint32_t w_symbols); >> >> const char * debug_set_names (uint32_t w_symbols); >> >> +/* Return true iff DWARF2 debug info is enabled. */ >> + >> +extern bool dwarf_debuginfo_p (); >> + >> extern void strip_off_ending (char *, int); >> extern int base_of_path (const char *path, const char **base_out); >> >> diff --git a/gcc/opts.c b/gcc/opts.c >> index 1604241..a751d95 100644 >> --- a/gcc/opts.c >> +++ b/gcc/opts.c >> @@ -126,6 +126,14 @@ debug_set_names (uint32_t w_symbols) >> return df_set_names; >> } >> >> +/* Return TRUE iff dwarf2 debug info is enabled. */ >> + >> +bool >> +dwarf_debuginfo_p () >> +{ >> + return (write_symbols & DWARF2_DEBUG); >> +} >> + >> /* Parse the -femit-struct-debug-detailed option value >> and set the flag variables. */ >> >> diff --git a/gcc/targhooks.c b/gcc/targhooks.c >> index 2e0fdb7..7d5bffd 100644 >> --- a/gcc/targhooks.c >> +++ b/gcc/targhooks.c >> @@ -1976,7 +1976,7 @@ default_debug_unwind_info (void) >> >> /* Otherwise, only turn it on if dwarf2 debugging is enabled. */ >> #ifdef DWARF2_DEBUGGING_INFO >> - if (write_symbols == DWARF2_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG) >> + if (dwarf_debuginfo_p ()) >> return UI_DWARF2; >> #endif >> >> diff --git a/gcc/toplev.c b/gcc/toplev.c >> index 1016fb9..6a6ebe9 100644 >> --- a/gcc/toplev.c >> +++ b/gcc/toplev.c >> @@ -1527,8 +1527,7 @@ process_options (void) >> debug_nonbind_markers_p >> = (optimize >> && debug_info_level >= DINFO_LEVEL_NORMAL >> - && (write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG) >> + && dwarf_debuginfo_p () >> && !(flag_selective_scheduling || flag_selective_scheduling2)); >> >> if (dwarf2out_as_loc_support == AUTODETECT_VALUE) >> @@ -1543,8 +1542,7 @@ process_options (void) >> debug_variable_location_views >> = (flag_var_tracking >> && debug_info_level >= DINFO_LEVEL_NORMAL >> - && (write_symbols == DWARF2_DEBUG >> - || write_symbols == VMS_AND_DWARF2_DEBUG) >> + && dwarf_debuginfo_p () >> && !dwarf_strict >> && dwarf2out_as_loc_support >> && dwarf2out_as_locview_support); >> -- >> 1.8.3.1 >> ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2021-05-21 0:01 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2021-05-12 22:13 [PATCH, V3 0/2] Fix write_symbols for supporting multiple debug formats Indu Bhagat 2021-05-12 22:13 ` [PATCH,V3 1/2] opts: change write_symbols to support bitmasks Indu Bhagat 2021-05-20 9:40 ` Richard Biener 2021-05-21 0:01 ` Indu Bhagat 2021-05-12 22:13 ` [PATCH,V3 2/2] dwarf: new dwarf_debuginfo_p predicate Indu Bhagat 2021-05-20 9:40 ` Richard Biener 2021-05-21 0:01 ` Indu Bhagat
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).