Emit unwind information in the .debug_frame section when the .cfi_sections .debug_frame directive is used.

[rastogishubham]

Summary

By default the unwind information is emitted in the eh_frame section, but when the

.cfi_sections .debug_frame

directive is used, the information is supposed to be emitted in the .debug_frame section. This doesn't seem to work, however. This patch addresses that bug.

[rastogishubham]

Add a newline to the end of the test file

[aprantl]

Can you explain why this works?

It looks like you're effectively calling MCDwarfFrameemitter::Emit() twice with the exact same input (since it checks for IsEH || IsDebugFrame) if both flags are true?

llvm/lib/MC/MCObjectStreamer.cpp

198 ↗

(On Diff #481405)

Why introduce two flags in Emit() if one is always the inverse of the other?

llvm/test/DebugInfo/debugframeinfo.s

2 ↗

(On Diff #481405)

You need to restrict this testcase to some specific architecture or check less specific things. For example, there are AArch64 register names in the CHECK output.

Generally, you just want to test that it is emitted at all, so checking just that any contents exists in the section should be enough, right?

[rastogishubham]

@aprantl

My thought process was, if Emit is to be called by something else that does not set those flags to be true, then the debug frame data should not be emitted, but that should never happen, since the whole point of the function is to emit the debug frame data. I can simply do this by not checking for

isEH

[rastogishubham]

Addressed review feedback, reduced the test to not have any references to AArch63 registers and added a triple to the run line. Removed the extra IsDebugFrame bool and made the check for emission of debug frame information simpler

[aprantl]

Let's give this a try. Let's watch the bots carefully for any regressions.

[rastogishubham]

Moved test to Aarch64 folder because of test failurers

[aprantl]

llvm/test/DebugInfo/AArch64/debugframeinfo.s

2

Sorry, I should have caught this during the review!

[glandium]

FWIW, I'm seeing targetAtom != NULL assertions in function Fixup in ld.hpp in ld64 when build Firefox with LTO since this change (I can only guess the crashes mentioned in the revert are the same?).

[rastogishubham]

@glandium Yes you are right, those are the same issues that we saw.

llvm/test/DebugInfo/debugframeinfo.s

2 ↗

(On Diff #481405)

How does it look now?

[rastogishubham]

The original patch was not addressing the issue correctly. The problem is that the function

MCDwarfFrameEmitter::Emit

skips emitting the CIE and FDE in arm64 because the architecture supports emitting unwind information without having an eh frame section. This doesn't however mean that the debug frame section should be omitted if the

.cfi_sections .debug_frame

directive is used. This patch just makes sure that the CIE and FDE is emitted in the debug frame section if that is required.

[rastogishubham]

Updated test to make sure eh_frame section is empty

[aprantl]

llvm/lib/MC/MCDwarf.cpp

1858

unrelated formatting change

1878

The old condition made sense on its own, but now it may be useful to comment why we want to continue when IsEH==true?

1905

The old condition was basically: "prefer dwarf over eh_frame". What does the IsEH flag mean and should we add a comment here?

llvm/lib/MC/MCDwarf.cpp

 } // end namespace llvm
 
 void MCDwarfFrameEmitter::Emit(MCObjectStreamer &Streamer, MCAsmBackend *MAB,
                                bool IsEH) {
   MCContext &Context = Streamer.getContext();
   const MCObjectFileInfo *MOFI = Context.getObjectFileInfo();
   const MCAsmInfo *AsmInfo = Context.getAsmInfo();
   FrameEmitterImpl Emitter(IsEH, Streamer);
   ArrayRef<MCDwarfFrameInfo> FrameArray = Streamer.getDwarfFrameInfos();
-
   // Emit the compact unwind info if available.
   bool NeedsEHFrameSection = !MOFI->getSupportsCompactUnwindWithoutEHFrame();
   if (IsEH && MOFI->getCompactUnwindSection()) {
     Streamer.generateCompactUnwindEncodings(MAB);
     bool SectionEmitted = false;
     for (const MCDwarfFrameInfo &Frame : FrameArray) {
       if (Frame.CompactUnwindEncoding == 0) continue;
       if (!SectionEmitted) {
         Streamer.switchSection(MOFI->getCompactUnwindSection());
         Streamer.emitValueToAlignment(Align(AsmInfo->getCodePointerSize()));
         SectionEmitted = true;
       }
       NeedsEHFrameSection |=
         Frame.CompactUnwindEncoding ==
           MOFI->getCompactUnwindDwarfEHFrameOnly();
       Emitter.EmitCompactUnwind(Frame);
     }
   }
 
-  if (!NeedsEHFrameSection) return;
+  if (!NeedsEHFrameSection && IsEH) return;
 
   MCSection &Section =
       IsEH ? *const_cast<MCObjectFileInfo *>(MOFI)->getEHFrameSection()
            : *MOFI->getDwarfFrameSection();
 
   Streamer.switchSection(&Section);
   MCSymbol *SectionStart = Context.createTempSymbol();
   Streamer.emitLabel(SectionStart);

   llvm::stable_sort(FrameArrayX,
                     [](const MCDwarfFrameInfo &X, const MCDwarfFrameInfo &Y) {
                       return CIEKey(X) < CIEKey(Y);
                     });
   for (auto I = FrameArrayX.begin(), E = FrameArrayX.end(); I != E;) {
     const MCDwarfFrameInfo &Frame = *I;
     ++I;
     if (CanOmitDwarf && Frame.CompactUnwindEncoding !=
-          MOFI->getCompactUnwindDwarfEHFrameOnly())
+          MOFI->getCompactUnwindDwarfEHFrameOnly() && IsEH)
       // Don't generate an EH frame if we don't need one. I.e., it's taken care
       // of by the compact unwind encoding.
       continue;
 
     CIEKey Key(Frame);
     const MCSymbol *&CIEStart = IsEH ? CIEStarts[Key] : DummyDebugKey;
     if (!CIEStart)
       CIEStart = &Emitter.EmitCIE(Frame);

llvm/test/DebugInfo/AArch64/debugframeinfo.s

+# RUN: llvm-mc -filetype=obj --triple=arm64-apple-darwin22.1.0 %s -o %t.o
+# RUN: llvm-dwarfdump -debug-frame %t.o | FileCheck %s
+
+# CHECK: .debug_frame contents:
+# CHECK-EMPTY: 
+# CHECK-NEXT: 00000000 00000014 ffffffff CIE
+# CHECK-NEXT: Format:                DWARF32
+# CHECK-NEXT: Version:               4
+# CHECK-NEXT: Augmentation:          ""
+# CHECK-NEXT: Address size:          8
+# CHECK-NEXT: Segment desc size:     0
+# CHECK-NEXT: Code alignment factor: 1
+# CHECK-NEXT: Data alignment factor: -8
+# CHECK-NEXT: Return address column: 30
+# CHECK-EMPTY: 
+# CHECK-NEXT: DW_CFA_def_cfa: WSP +0
+# CHECK-NEXT: DW_CFA_nop:
+# CHECK-NEXT: DW_CFA_nop:
+# CHECK-NEXT: DW_CFA_nop:
+# CHECK-NEXT: DW_CFA_nop:
+# CHECK-NEXT: DW_CFA_nop:
+# CHECK-NEXT: DW_CFA_nop:
+# CHECK-EMPTY: 
+# CHECK-NEXT: CFA=WSP
+# CHECK-EMPTY: 
+# CHECK-NEXT: 00000018 00000014 00000000 FDE cie=00000000 pc=00000000...00000000
+# CHECK-NEXT: Format:       DWARF32
+# CHECK-EMPTY: 
+# CHECK-NEXT: 0x0: CFA=WSP
+
+# CHECK: .eh_frame contents:
+# CHECK-EMPTY:
+# CHECK-EMPTY:
+
+        .cfi_sections .debug_frame
+        .cfi_startproc
+        .cfi_personality 0x9b, g
+        .cfi_lsda 0x1b, h
+        .cfi_endproc
+        .global g
+g:
+        .global h
+h: