Index: include/llvm/MC/MCObjectStreamer.h =================================================================== --- include/llvm/MC/MCObjectStreamer.h +++ include/llvm/MC/MCObjectStreamer.h @@ -41,7 +41,8 @@ SmallVector PendingLabels; virtual void EmitInstToData(const MCInst &Inst, const MCSubtargetInfo&) = 0; - void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) override; + void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame, + MCSymbol *FuncSym) override; void EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) override; // If any labels have been emitted but not assigned fragments, ensure that Index: include/llvm/MC/MCStreamer.h =================================================================== --- include/llvm/MC/MCStreamer.h +++ include/llvm/MC/MCStreamer.h @@ -198,7 +198,7 @@ protected: MCStreamer(MCContext &Ctx); - virtual void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame); + virtual void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame, MCSymbol *FuncSym); virtual void EmitCFIEndProcImpl(MCDwarfFrameInfo &CurFrame); WinEH::FrameInfo *getCurrentWinFrameInfo() { @@ -661,7 +661,7 @@ virtual MCSymbol *getDwarfLineTableSymbol(unsigned CUID); virtual void EmitCFISections(bool EH, bool Debug); - void EmitCFIStartProc(bool IsSimple); + void EmitCFIStartProc(bool IsSimple, MCSymbol *FuncSym); void EmitCFIEndProc(); virtual void EmitCFIDefCfa(int64_t Register, int64_t Offset); virtual void EmitCFIDefCfaOffset(int64_t Offset); Index: lib/CodeGen/AsmPrinter/ARMException.cpp =================================================================== --- lib/CodeGen/AsmPrinter/ARMException.cpp +++ lib/CodeGen/AsmPrinter/ARMException.cpp @@ -66,7 +66,7 @@ "non-EH CFI not yet supported in prologue with EHABI lowering"); if (MoveType == AsmPrinter::CFI_M_Debug) { shouldEmitCFI = true; - Asm->OutStreamer.EmitCFIStartProc(false); + Asm->OutStreamer.EmitCFIStartProc(false, Asm->CurrentFnSym); } } Index: lib/CodeGen/AsmPrinter/DwarfCFIException.cpp =================================================================== --- lib/CodeGen/AsmPrinter/DwarfCFIException.cpp +++ lib/CodeGen/AsmPrinter/DwarfCFIException.cpp @@ -102,7 +102,7 @@ if (!shouldEmitPersonality && !shouldEmitMoves) return; - Asm->OutStreamer.EmitCFIStartProc(/*IsSimple=*/false); + Asm->OutStreamer.EmitCFIStartProc(/*IsSimple=*/false, Asm->CurrentFnSym); // Indicate personality routine, if any. if (!shouldEmitPersonality) Index: lib/MC/MCAsmStreamer.cpp =================================================================== --- lib/MC/MCAsmStreamer.cpp +++ lib/MC/MCAsmStreamer.cpp @@ -54,7 +54,8 @@ unsigned UseDwarfDirectory : 1; void EmitRegisterName(int64_t Register); - void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) override; + void EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame, + MCSymbol *FuncSym) override; void EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) override; public: @@ -925,7 +926,8 @@ EmitEOL(); } -void MCAsmStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) { +void MCAsmStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame, + MCSymbol *FuncSym) { OS << "\t.cfi_startproc"; if (Frame.IsSimple) OS << " simple"; Index: lib/MC/MCObjectStreamer.cpp =================================================================== --- lib/MC/MCObjectStreamer.cpp +++ lib/MC/MCObjectStreamer.cpp @@ -128,10 +128,13 @@ DF->getContents().resize(DF->getContents().size() + Size, 0); } -void MCObjectStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) { - // We need to create a local symbol to avoid relocations. - Frame.Begin = getContext().CreateTempSymbol(); - EmitLabel(Frame.Begin); +void MCObjectStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame, + MCSymbol *FuncSym) { + if (!FuncSym) { + FuncSym = getContext().CreateTempSymbol(); + EmitLabel(FuncSym); + } + Frame.Begin = FuncSym; } void MCObjectStreamer::EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) { Index: lib/MC/MCParser/AsmParser.cpp =================================================================== --- lib/MC/MCParser/AsmParser.cpp +++ lib/MC/MCParser/AsmParser.cpp @@ -172,6 +172,9 @@ /// \brief Are we parsing ms-style inline assembly? bool ParsingInlineAsm; + /// \brief The last symbol we emitted, used for call frame information. + MCSymbol *LastSymbol; + public: AsmParser(SourceMgr &SM, MCContext &Ctx, MCStreamer &Out, const MCAsmInfo &MAI); @@ -491,7 +494,8 @@ : Lexer(_MAI), Ctx(_Ctx), Out(_Out), MAI(_MAI), SrcMgr(_SM), PlatformParser(nullptr), CurBuffer(_SM.getMainFileID()), MacrosEnabledFlag(true), HadError(false), CppHashLineNumber(0), - AssemblerDialect(~0U), IsDarwin(false), ParsingInlineAsm(false) { + AssemblerDialect(~0U), IsDarwin(false), ParsingInlineAsm(false), + LastSymbol(nullptr) { // Save the old handler. SavedDiagHandler = SrcMgr.getDiagHandler(); SavedDiagContext = SrcMgr.getDiagContext(); @@ -1305,6 +1309,9 @@ if (!ParsingInlineAsm) Out.EmitLabel(Sym); + // Record the symbol, so that it can be used for call frame information + LastSymbol = Sym; + // If we are generating dwarf for assembly source files then gather the // info to make a dwarf label entry for this label if needed. if (getContext().getGenDwarfForAssembly()) @@ -2961,7 +2968,7 @@ if (parseIdentifier(Simple) || Simple != "simple") return TokError("unexpected token in .cfi_startproc directive"); - getStreamer().EmitCFIStartProc(!Simple.empty()); + getStreamer().EmitCFIStartProc(!Simple.empty(), LastSymbol); return false; } Index: lib/MC/MCStreamer.cpp =================================================================== --- lib/MC/MCStreamer.cpp +++ lib/MC/MCStreamer.cpp @@ -211,14 +211,14 @@ assert(EH || Debug); } -void MCStreamer::EmitCFIStartProc(bool IsSimple) { +void MCStreamer::EmitCFIStartProc(bool IsSimple, MCSymbol *FuncSym) { MCDwarfFrameInfo *CurFrame = getCurrentDwarfFrameInfo(); if (CurFrame && !CurFrame->End) report_fatal_error("Starting a frame before finishing the previous one!"); MCDwarfFrameInfo Frame; Frame.IsSimple = IsSimple; - EmitCFIStartProcImpl(Frame); + EmitCFIStartProcImpl(Frame, FuncSym); const MCAsmInfo* MAI = Context.getAsmInfo(); if (MAI) { @@ -233,8 +233,8 @@ DwarfFrameInfos.push_back(Frame); } -void MCStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) { -} +void MCStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame, + MCSymbol *FuncSym) {} void MCStreamer::EmitCFIEndProc() { EnsureValidDwarfFrame(); Index: test/DebugInfo/AArch64/eh_frame.s =================================================================== --- test/DebugInfo/AArch64/eh_frame.s +++ test/DebugInfo/AArch64/eh_frame.s @@ -1,5 +1,6 @@ // RUN: llvm-mc -triple aarch64-none-linux-gnu -filetype=obj %s -o %t -// RUN: llvm-objdump -s %t | FileCheck %s +// RUN: llvm-objdump -s %t | FileCheck %s --check-prefix=CHECK +// RUN: llvm-readobj -r %t | FileCheck %s --check-prefix=RELOC .text .globl foo .type foo,@function @@ -46,3 +47,11 @@ // 00000000: PC begin for this FDE is at 00000000 (relocation is applied here) // 04000000: FDE applies up to PC begin+0x14 // 00: Augmentation string length 0 for this FDE + + +// Check the relocations applied to the .eh_frame section. +// These must not contain section-relative relocations to a section which +// is part of a group, as it could be removed. +// RELOC: Section ({{[0-9]+}}) .rela.eh_frame { +// RELOC-NEXT: 0x{{[0-9A-F]+}} R_AARCH64_PREL32 foo 0x0 +// RELOC-NEXT: } Index: test/DebugInfo/AArch64/eh_frame_personality.ll =================================================================== --- test/DebugInfo/AArch64/eh_frame_personality.ll +++ test/DebugInfo/AArch64/eh_frame_personality.ll @@ -1,5 +1,6 @@ ; RUN: llc -verify-machineinstrs -mtriple=aarch64-none-linux-gnu %s -filetype=obj -o %t -; RUN: llvm-objdump -s %t | FileCheck %s +; RUN: llvm-objdump -s %t | FileCheck %s --check-prefix=CHECK +; RUN: llvm-readobj -r %t | FileCheck %s --check-prefix=RELOC declare i32 @__gxx_personality_v0(...) @@ -44,3 +45,12 @@ ; 00: Second part of aug (language-specific data): absolute pointer format used ; 1b: pointer format: pc-relative signed 4-byte. Just like GNU. ; 0c 1f 00: Initial instructions ("DW_CFA_def_cfa x31 ofs 0" in this case) + +; Check the relocations applied to the .eh_frame section. +; These must not contain section-relative relocations to a section which +; is part of a group, as it could be removed. +; RELOC: Section ({{[0-9]+}}) .rela.eh_frame { +; RELOC-NEXT: 0x{{[0-9A-F]+}} R_AARCH64_ABS64 __gxx_personality_v0 0x0 +; RELOC-NEXT: 0x{{[0-9A-F]+}} R_AARCH64_PREL32 foo 0x0 +; RELOC-NEXT: 0x{{[0-9A-F]+}} R_AARCH64_ABS64 .gcc_except_table 0x0 +; RELOC-NEXT: }