This is needed so that we can output references to $early-debug-symbol + constant offset where $early-debug-symbol is the beginning of a .debug_info section containing early debug info from the compile-stage. Constant offsets are always fine for any object formats I know, I tested ia64-linux apart from x86_64-linux. I have access to darwin at home (x86_64), so can try there as well.
The question is whether we want to assemble "+" HOST_WIDE_INT_PRINT_DEC directly for the non-ASM_OUTPUT_DWARF_OFFSET case as well as opposed to building a PLUS (we do build a SYMBOL_REF already). I've also refrained from changing all existing callers to dw2_asm_output_offset to pass a 0 offset argument to avoid the overloading - please tell me if you prefer that. The LTO support adds a single call here: @@ -9064,8 +9248,12 @@ output_die (dw_die_ref die) size = DWARF2_ADDR_SIZE; else size = DWARF_OFFSET_SIZE; - dw2_asm_output_offset (size, sym, debug_info_section, "%s", - name); + if (AT_ref (a)->with_offset) + dw2_asm_output_offset (size, sym, AT_ref (a)->die_offset, + debug_info_section, "%s", name); + else + dw2_asm_output_offset (size, sym, debug_info_section, "%s", + name); } (ignore that ->with_offset, it can hopefully go if die_offset is zero for other cases - just checking with an assert right now). Bootstrap & regtest pending on x86_64-unknown-linux-gnu. The patch is an effective no-op currently (the offset != 0 condition is always false for now). Ok? CCing affected target maintainers - I've verified this on ia64 by just generating assembly for a simple testcase with -g and changing one of the generated section-relative offsets in the suggested way (adding "+4"), passing through the assembler and inspecting the resulting relocations. Thanks, Richard. 2015-08-19 Richard Biener <rguent...@suse.de> * dwarf2asm.h (dw2_asm_output_offset): Add overload with extra offset argument. * dwarf2asm.c (dw2_asm_output_offset): Implement that. * doc/tm.texi.in (ASM_OUTPUT_DWARF_OFFSET): Adjust documentation to reflect new offset parameter. * doc/tm.texi: Regenerate. * config/darwin.h (ASM_OUTPUT_DWARF_OFFSET): Adjust. * config/darwin-protos.h (darwin_asm_output_dwarf_delta): Add offset argument. (darwin_asm_output_dwarf_offset): Likewise. * config/darwin.c (darwin_asm_output_dwarf_delta): Add offset argument. (darwin_asm_output_dwarf_offset): Pass offset argument through. * config/ia64/ia64.h (ASM_OUTPUT_DWARF_OFFSET): Adjust. * config/i386/cygmin.h (ASM_OUTPUT_DWARF_OFFSET): Likewise. Index: gcc/dwarf2asm.c =================================================================== --- gcc/dwarf2asm.c (revision 226856) +++ gcc/dwarf2asm.c (working copy) @@ -33,6 +33,8 @@ along with GCC; see the file COPYING3. #include "dwarf2asm.h" #include "dwarf2.h" #include "tm_p.h" +#include "function.h" +#include "emit-rtl.h" /* Output an unaligned integer with the given value and size. Prefer not @@ -190,12 +192,39 @@ dw2_asm_output_offset (int size, const c va_start (ap, comment); #ifdef ASM_OUTPUT_DWARF_OFFSET - ASM_OUTPUT_DWARF_OFFSET (asm_out_file, size, label, base); + ASM_OUTPUT_DWARF_OFFSET (asm_out_file, size, label, 0, base); #else dw2_assemble_integer (size, gen_rtx_SYMBOL_REF (Pmode, label)); #endif if (flag_debug_asm && comment) + { + fprintf (asm_out_file, "\t%s ", ASM_COMMENT_START); + vfprintf (asm_out_file, comment, ap); + } + fputc ('\n', asm_out_file); + + va_end (ap); +} + +void +dw2_asm_output_offset (int size, const char *label, HOST_WIDE_INT offset, + section *base ATTRIBUTE_UNUSED, + const char *comment, ...) +{ + va_list ap; + + va_start (ap, comment); + +#ifdef ASM_OUTPUT_DWARF_OFFSET + ASM_OUTPUT_DWARF_OFFSET (asm_out_file, size, label, offset, base); +#else + dw2_assemble_integer (size, gen_rtx_PLUS (Pmode, + gen_rtx_SYMBOL_REF (Pmode, label), + gen_int_mode (offset, Pmode))); +#endif + + if (flag_debug_asm && comment) { fprintf (asm_out_file, "\t%s ", ASM_COMMENT_START); vfprintf (asm_out_file, comment, ap); Index: gcc/dwarf2asm.h =================================================================== --- gcc/dwarf2asm.h (revision 226856) +++ gcc/dwarf2asm.h (working copy) @@ -40,6 +40,10 @@ extern void dw2_asm_output_offset (int, const char *, ...) ATTRIBUTE_NULL_PRINTF_4; +extern void dw2_asm_output_offset (int, const char *, HOST_WIDE_INT, + section *, const char *, ...) + ATTRIBUTE_NULL_PRINTF_5; + extern void dw2_asm_output_addr (int, const char *, const char *, ...) ATTRIBUTE_NULL_PRINTF_3; Index: gcc/doc/tm.texi.in =================================================================== --- gcc/doc/tm.texi.in (revision 226856) +++ gcc/doc/tm.texi.in (working copy) @@ -7020,10 +7020,11 @@ between the two given labels in system d slots on IA64 VMS, using an integer of the given size. @end defmac -@defmac ASM_OUTPUT_DWARF_OFFSET (@var{stream}, @var{size}, @var{label}, @var{section}) +@defmac ASM_OUTPUT_DWARF_OFFSET (@var{stream}, @var{size}, @var{label}, @var{offset}, @var{section}) A C statement to issue assembly directives that create a -section-relative reference to the given @var{label}, using an integer of the -given @var{size}. The label is known to be defined in the given @var{section}. +section-relative reference to the given @var{label} plus @var{offset}, using +an integer of the given @var{size}. The label is known to be defined in the +given @var{section}. @end defmac @defmac ASM_OUTPUT_DWARF_PCREL (@var{stream}, @var{size}, @var{label}) Index: gcc/config/darwin-protos.h =================================================================== --- gcc/config/darwin-protos.h (revision 226856) +++ gcc/config/darwin-protos.h (working copy) @@ -91,9 +91,9 @@ extern void darwin_globalize_label (FILE extern void darwin_assemble_visibility (tree, int); extern void darwin_asm_output_dwarf_delta (FILE *, int, const char *, - const char *); + const char *, HOST_WIDE_INT); extern void darwin_asm_output_dwarf_offset (FILE *, int, const char *, - section *); + HOST_WIDE_INT, section *); extern void darwin_asm_declare_object_name (FILE *, const char *, tree); extern void darwin_asm_declare_constant_name (FILE *, const char *, Index: gcc/config/darwin.c =================================================================== --- gcc/config/darwin.c (revision 226856) +++ gcc/config/darwin.c (working copy) @@ -2814,7 +2814,8 @@ static int darwin_dwarf_label_counter; void darwin_asm_output_dwarf_delta (FILE *file, int size, - const char *lab1, const char *lab2) + const char *lab1, const char *lab2, + HOST_WIDE_INT offset) { int islocaldiff = (lab1[0] == '*' && lab1[1] == 'L' && lab2[0] == '*' && lab2[1] == 'L'); @@ -2828,6 +2829,8 @@ darwin_asm_output_dwarf_delta (FILE *fil assemble_name_raw (file, lab1); fprintf (file, "-"); assemble_name_raw (file, lab2); + if (offset != 0) + fprintf (file, "+" HOST_WIDE_INT_PRINT_DEC, offset); if (islocaldiff) fprintf (file, "\n\t%s L$set$%d", directive, darwin_dwarf_label_counter++); } @@ -2839,7 +2842,7 @@ darwin_asm_output_dwarf_delta (FILE *fil void darwin_asm_output_dwarf_offset (FILE *file, int size, const char * lab, - section *base) + HOST_WIDE_INT offset, section *base) { char sname[64]; int namelen; @@ -2850,7 +2853,7 @@ darwin_asm_output_dwarf_offset (FILE *fi namelen = strchr (base->named.name + 8, ',') - (base->named.name + 8); sprintf (sname, "*Lsection%.*s", namelen, base->named.name + 8); - darwin_asm_output_dwarf_delta (file, size, lab, sname); + darwin_asm_output_dwarf_delta (file, size, lab, sname, offset); } /* Called from the within the TARGET_ASM_FILE_START for each target. */ Index: gcc/config/darwin.h =================================================================== --- gcc/config/darwin.h (revision 226856) +++ gcc/config/darwin.h (working copy) @@ -826,10 +826,10 @@ enum machopic_addr_class { ((CODE) == 1 || (GLOBAL) == 0) ? DW_EH_PE_pcrel : DW_EH_PE_absptr) #define ASM_OUTPUT_DWARF_DELTA(FILE,SIZE,LABEL1,LABEL2) \ - darwin_asm_output_dwarf_delta (FILE, SIZE, LABEL1, LABEL2) + darwin_asm_output_dwarf_delta (FILE, SIZE, LABEL1, LABEL2, 0) -#define ASM_OUTPUT_DWARF_OFFSET(FILE,SIZE,LABEL,BASE) \ - darwin_asm_output_dwarf_offset (FILE, SIZE, LABEL, BASE) +#define ASM_OUTPUT_DWARF_OFFSET(FILE,SIZE,LABEL,OFFSET,BASE) \ + darwin_asm_output_dwarf_offset (FILE, SIZE, LABEL, OFFSET, BASE) #define ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX(ASM_OUT_FILE, ENCODING, SIZE, ADDR, DONE) \ if (ENCODING == ASM_PREFERRED_EH_DATA_FORMAT (2, 1)) { \ Index: gcc/config/ia64/ia64.h =================================================================== --- gcc/config/ia64/ia64.h (revision 226856) +++ gcc/config/ia64/ia64.h (working copy) @@ -1583,11 +1583,13 @@ do { \ /* Use section-relative relocations for debugging offsets. Unlike other targets that fake this by putting the section VMA at 0, IA-64 has proper relocations for them. */ -#define ASM_OUTPUT_DWARF_OFFSET(FILE, SIZE, LABEL, SECTION) \ +#define ASM_OUTPUT_DWARF_OFFSET(FILE, SIZE, LABEL, OFFSET, SECTION) \ do { \ fputs (integer_asm_op (SIZE, FALSE), FILE); \ fputs ("@secrel(", FILE); \ assemble_name (FILE, LABEL); \ + if (offset != 0) \ + fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC, OFFSET); \ fputc (')', FILE); \ } while (0) Index: gcc/config/i386/cygming.h =================================================================== --- gcc/config/i386/cygming.h (revision 226856) +++ gcc/config/i386/cygming.h (working copy) @@ -97,13 +97,15 @@ along with GCC; see the file COPYING3. /* Use section relative relocations for debugging offsets. Unlike other targets that fake this by putting the section VMA at 0, PE won't allow it. */ -#define ASM_OUTPUT_DWARF_OFFSET(FILE, SIZE, LABEL, SECTION) \ +#define ASM_OUTPUT_DWARF_OFFSET(FILE, SIZE, LABEL, OFFSET, SECTION) \ do { \ switch (SIZE) \ { \ case 4: \ fputs ("\t.secrel32\t", FILE); \ assemble_name (FILE, LABEL); \ + if (offset != 0) \ + fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC, offset) \ break; \ case 8: \ /* This is a hack. There is no 64-bit section relative \ @@ -113,6 +115,8 @@ along with GCC; see the file COPYING3. Fake the 64-bit offset by zero-extending it. */ \ fputs ("\t.secrel32\t", FILE); \ assemble_name (FILE, LABEL); \ + if (offset != 0) \ + fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC, offset) \ fputs ("\n\t.long\t0", FILE); \ break; \ default: \