[DebugInfo] Enable CodeView DebugInfo for basic block sections

[TaoPan]

Summary

With basic block sections, there are multiple flexible text sections for
a function, allow multiple .cv_loc directives for a function.

Signed-off-by: Pan, Tao <[e-mail]>

[TaoPan]

Could you please have a review?

[rnk]

llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp

1734

I wrote some comments about this on D99487, since there was discussion there about this.

llvm/lib/MC/MCStreamer.cpp

331

This check prevents us from crashing later in CodeViewContext::emitLineTableForFunction when it calls:

OS.emitAbsoluteSymbolDiff(J->getLabel(), FuncBegin, 4);

If those two labels are in different sections, this just moves the crash later. Which makes me wonder if any BB section splitting happens in the test case you added. Does it exercise that yet, or does that come later?

The codeview line table format assumes functions are contiguous to avoid extra relocations. There is a relocation to the function start at the beginning, and the rest is a sequence of code offsets and line numbers. I wonder if it would be better to plan to produce a line table per section instead of trying to make one holistic line table. Then we could keep this check. So, if that is the long term plan, maybe we can leave this code here in this change.

llvm/test/DebugInfo/COFF/basic-block-sections.ll

13

Can you include the .section directives in this test case?

[TaoPan]

Add .section directives test

[TaoPan]

Forgot .section directives in the first CHECK of the last update

[TaoPan]

Thanks for your review comment!
I'll take leave between 5.1~5.6 for national holiday and personal affair, I'll response further review comment after then.

llvm/lib/MC/MCStreamer.cpp

331

Both removing and restoring this check, OS.emitAbsoluteSymbolDiff(J->getLabel(), FuncBegin, 4); of CodeViewContext::emitLineTableForFunction won't be called in my test.
I compared to llvm/test/DebugInfo/X86/basic-block-sections_1.ll (Linux ELF test), it's also not per section line table, it's per file line table, the format is as below, no function and section information.
Address Line Column File ISA Discriminator Flags
0x0000000000000000 1 0 1 0 0 is_stmt
Is there any reason that need per section line table?

llvm/test/DebugInfo/COFF/basic-block-sections.ll

13

I added .section directives

[rnk]

llvm/lib/MC/MCStreamer.cpp

331

I'm pretty confident that we do reach emitAbsoluteSymbolDiff when emitting emitLineTableForFunction, but I discovered that it doesn't assert, it produces a relocation instead. I haven't reasoned through what the relocation does, but I see it in your test case. I confused emitAbsoluteSymbolDiff with the computeLabelDiff helper in the same file, see here:
https://github.com/llvm/llvm-project/blob/main/llvm/lib/MC/MCCodeView.cpp#L454

So, I agree, removing this assertion doesn't cause a crash now, but it will if you introduce inlining into the test case and attempt to produce an inline line table. (.cv_inline_linetable).

Even though we don't crash in the non-inline line table case, it's not clear to me what a debugger would do with a an unsorted, non-ascending, possibly negative line table, which is what you would get after the linker applies relocations.

[TaoPan]

Remove same modification of parent D99487 and add .cv_inline_linetable to test

[TaoPan]

Remove same modification of D100735

[TaoPan]

git rebase

[TaoPan]

llvm/lib/MC/MCStreamer.cpp

331

Thanks for your guidance!
I added inline function to test, I can produce an inline line table (.cv_inline_linetable) with llc to asm then llvm-mc to obj (line 2 and 4 in my test). I can reproduce your mentioned problem if llc directly to obj, I'm investigating the problem that Success is false in https://github.com/llvm/llvm-project/blob/main/llvm/lib/MC/MCCodeView.cpp#L454

[TaoPan]

llvm/lib/MC/MCStreamer.cpp

331

Thanks Rnk!
We are facing two problems in turn.

1. At first, with BB section splitting, relocations at the beginning of all BB sections are needed, so this check should be removed, it blocks emit later relocations after the first one.
2. Then emit line table, I understood the codeview line table format depends on beginning relocation and contiguous text. Before enabling BB section splitting, function is the smallest unit satisfying the condition, after enabling BB section splitting, section become the smallest unit satisfying the condition. Your design that produce a line table per section is good.

I think it’s ok fix 1 and 2 at the same time.
As you know, 2 is not easy handling, it should be a long term plan.
How do you think of decoupling D99487 BB sections on Windows COFF(release mode, is controlled by default off option) and BB sections CodeView DebugInfo on Windows COFF (debug mode)?

[TaoPan]

Disable .cv_loc directive emission outside the primary function section.

[rnk]

llvm/lib/MC/MCStreamer.cpp

328

Please make this change in the AsmPrinter, not the assembler. The assembler should still emit an error: if the user directly uses cv_loc directives, the assembler should produce an error. The compiler needs to avoid asking the assembler to do the impossible.

[TaoPan]

Don't emit location of BB sections

[TaoPan]

llvm/lib/MC/MCStreamer.cpp

328

Thanks for your review comments!
I moved change from assembler to AsmPrinter, the new added condition of not emitting location is same as the condition of creating BB section (calling to getSectionForMachineBasicBlock()) in AsmPrinter.cpp.

[rnk]

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2947 ↗

(On Diff #350198)

Please add a comment here.

Also, are you sure this is the right condition? Aren't there MBBs that do not begin sections but belong to a non-primary section?

[TaoPan]

Change condition from MachineBasicBlock is begin section to MachineFunction has BB sections and add comment

[TaoPan]

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2947 ↗

(On Diff #350198)

Thanks!
I added comment and changed condition to the MachineFunction which has the MachineInstr has BB sections and the MachineBasicBlock which has the MachineInstr is not entry block, how do you think?

[rnk]

Sorry for the delay.

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2952 ↗

(On Diff #350516)

Instead of just the entry block, can this be MI->getParent()->getSectionID() == MBBSectionId::Default? That would cover all blocks in the default section, right?

[tmsriram]

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2949 ↗

(On Diff #350516)

Typo, "section" and "primary". Similar comment rnk@. The condition below only checks whether it is not the entry block but the comment says it is all non-primary basic blocks.

[TaoPan]

Thanks for your review comments!

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2949 ↗

(On Diff #350516)

Thanks for pointing out the confuse comment! How about "The codeview line table format requires functions are contiguous, if function has BB sections, all MBBs have their own section, all sections are not contiguous, emit codeview relocation only for entry block MBB in this case."?

2952 ↗

(On Diff #350516)

I think MBBSectionId can not be used for distinguishing basic blocks in the default section or not. The enum values of MBBSectionId are Default = 0, Exception, Cold. Section ID of all MBBs are MBBSectionId::Default in BB Sections case.
I tried C function like below:
int bazb(...) {

...           // Unique section for function bazb, the MBB is entry block: .text,"xr",one_only,"?bazb@@YAHH@Z"
if (...) {
  ...         // BB section 1: .text,"xr",associative,"?bazb@@YAHH@Z.__part.1"
} else {
  ...         // BB section 2: .text,"xr",associative,"?bazb@@YAHH@Z.__part.2"
}
...           // BB section 3: .text,"xr",associative,"?bazb@@YAHH@Z.__part.3"
if (...) {
  ...         // BB section 4: .text,"xr",associative,"?bazb@@YAHH@Z.__part.4"
} else {
  ...         // BB section 5: .text,"xr",associative,"?bazb@@YAHH@Z.__part.5"
}
...           // BB section 6: .text,"xr",associative,"?bazb@@YAHH@Z.__part.6"

}
I think if function has BB sections, all basic blocks have their own section, all non-EntryBlock sections are relocatable BB Sections. In other words, entry block is unique block in the default section.

[rnk]

lgtm

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2949 ↗

(On Diff #350516)

Please fix the typo before committing.

2952 ↗

(On Diff #350516)

I see. I guess that's me being confused between intra-function hot cold splitting and BB sections. The condition is correct, then.

[TaoPan]

Fix the typo of comment

[TaoPan]

In D101421#2854680, @rnk wrote:

lgtm

Thanks for your big help!

llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2949 ↗

(On Diff #350516)

I updated the comments.

llvm/include/llvm/CodeGen/TargetLoweringObjectFileImpl.h

MCSection *SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind,
                                     const TargetMachine &TM) const override;
 
   void getNameWithPrefix(SmallVectorImpl<char> &OutName, const GlobalValue *GV,
                          const TargetMachine &TM) const override;
 
   MCSection *getSectionForJumpTable(const Function &F,
                                     const TargetMachine &TM) const override;
 
+  MCSection *
+  getSectionForMachineBasicBlock(const Function &F,
+                                 const MachineBasicBlock &MBB,
+                                 const TargetMachine &TM) const override;
+
+  MCSection *
+  getUniqueSectionForFunction(const Function &F,
+                              const TargetMachine &TM) const override;
+
   /// Emit Obj-C garbage collection and linker options.
   void emitModuleMetadata(MCStreamer &Streamer, Module &M) const override;
 
   MCSection *getStaticCtorSection(unsigned Priority,
                                   const MCSymbol *KeySym) const override;
   MCSection *getStaticDtorSection(unsigned Priority,
                                   const MCSymbol *KeySym) const override;
 

llvm/lib/CodeGen/BasicBlockSections.cpp

auto Comparator = [&](const MachineBasicBlock &X,
     // their position within the section.
     if (XSectionID.Type == MBBSectionID::SectionType::Default)
       return FuncBBClusterInfo[X.getNumber()]->PositionInCluster <
              FuncBBClusterInfo[Y.getNumber()]->PositionInCluster;
     return X.getNumber() < Y.getNumber();
   };
 
   sortBasicBlocksAndUpdateBranches(MF, Comparator);
+  if (MF.getTarget().getTargetTriple().isOSBinFormatELF())
     avoidZeroOffsetLandingPad(MF);
   return true;
 }
 
 // Basic Block Sections can be enabled for a subset of machine basic blocks.
 // This is done by passing a file containing names of functions for which basic
 // block sections are desired.  Additionally, machine basic block ids of the
 // functions can also be specified for a finer granularity. Moreover, a cluster
 // of basic blocks could be assigned to the same section.

llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp

MCSection *TargetLoweringObjectFileCOFF::getSectionForJumpTable(
   Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
   unsigned UniqueID = NextUniqueID++;
 
   return getContext().getCOFFSection(
       SecName, Characteristics, Kind, COMDATSymName,
       COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE, UniqueID);
 }
 
+/// Returns a unique section for the given machine basic block.
+MCSection *TargetLoweringObjectFileCOFF::getSectionForMachineBasicBlock(
+    const Function &F, const MachineBasicBlock &MBB,
+    const TargetMachine &TM) const {
+  assert(MBB.isBeginSection() && "Basic block does not start a section!");
+  SectionKind Kind = SectionKind::getText();
+  unsigned Characteristics = getCOFFSectionFlags(Kind, TM);
+  // If we have -ffunction-sections then we should emit the global value to a
+  // uniqued section specifically for it.
+  if (TM.getFunctionSections() || F.hasComdat())
+    Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
+  unsigned UniqueID = MCContext::GenericSectionID;
+  StringRef COMDATSymName;
+  if (TM.getUniqueBasicBlockSectionNames())
+    COMDATSymName = MBB.getSymbol()->getName();
+  else {
+    UniqueID = NextUniqueID++;
+    COMDATSymName = MBB.getParent()->getName();
+  }
+
+  // TODO: construct exception section in the case of section ID of MBB is
+  // MBBSectionID::ExceptionSectionID and cold section in the case of section
+  // ID of MBB is MBBSectionID::ColdSectionID
+  SmallString<128> Name;
+  Name += getCOFFSectionNameForUniqueGlobal(SectionKind::getText());
+
+  // Append "$symbol" to the section name *before* IR-level mangling is
+  // applied when targetting mingw. This is what GCC does, and the ld.bfd
+  // COFF linker will not properly handle comdats otherwise.
+  if (getTargetTriple().isWindowsGNUEnvironment()) {
+    Name += '$';
+    Name += COMDATSymName;
+  }
+
+  return getContext().getCOFFSection(
+      Name, Characteristics, SectionKind::getText(), COMDATSymName,
+      COFF::IMAGE_COMDAT_SELECT_NODUPLICATES, UniqueID);
+}
+
+MCSection *TargetLoweringObjectFileCOFF::getUniqueSectionForFunction(
+    const Function &F, const TargetMachine &TM) const {
+  SectionKind Kind = SectionKind::getText();
+  unsigned Characteristics = getCOFFSectionFlags(Kind, TM);
+  // If we have -ffunction-sections then we should emit the global value to a
+  // uniqued section specifically for it.
+  if (TM.getFunctionSections() || F.hasComdat())
+    Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
+  return getContext().getCOFFSection(
+      getCOFFSectionNameForUniqueGlobal(Kind), Characteristics, Kind,
+      TM.getSymbol(&F)->getName(), COFF::IMAGE_COMDAT_SELECT_NODUPLICATES,
+      NextUniqueID++);
+}
+
 void TargetLoweringObjectFileCOFF::emitModuleMetadata(MCStreamer &Streamer,
                                                       Module &M) const {
   emitLinkerDirectives(Streamer, M);
 
   unsigned Version = 0;
   unsigned Flags = 0;
   StringRef Section;
 

llvm/lib/MC/MCStreamer.cpp

if (!FI) {
     getContext().reportError(
         Loc, "function id not introduced by .cv_func_id or .cv_inline_site_id");
     return false;
   }
 
   // Track the section
   if (FI->Section == nullptr)
     FI->Section = getCurrentSectionOnly();
-  else if (FI->Section != getCurrentSectionOnly()) {
-    getContext().reportError(
-        Loc,
-        "all .cv_loc directives for a function must be in the same section");
-    return false;
-  }
   return true;
 }
 
 void MCStreamer::emitCVLinetableDirective(unsigned FunctionId,
                                           const MCSymbol *Begin,
                                           const MCSymbol *End) {}
 
 void MCStreamer::emitCVInlineLinetableDirective(unsigned PrimaryFunctionId,
                                                 unsigned SourceFileId,

llvm/test/DebugInfo/COFF/basic-block-sections.ll

+; RUN: llc -O0 %s -basic-block-sections=all -unique-basic-block-section-names -mtriple=i686-pc-win32 -filetype=asm -frame-pointer=all -o - | FileCheck --check-prefix=X86 %s
+; RUN: llc -O0 %s -basic-block-sections=all -unique-basic-block-section-names -mtriple=i686-pc-win32  -frame-pointer=all -o - | llvm-mc -triple=i686-pc-win32 -filetype=obj | llvm-readobj -S --sr --codeview - | FileCheck --check-prefix=OBJ32 %s
+; RUN: llc -O0 %s -basic-block-sections=all -unique-basic-block-section-names -mtriple=x86_64-pc-win32 -filetype=asm -frame-pointer=all -o - | FileCheck --check-prefix=X64 %s
+; RUN: llc -O0 %s -basic-block-sections=all -unique-basic-block-section-names -mtriple=x86_64-pc-win32 -frame-pointer=all -o - | llvm-mc -triple=x86_64-pc-win32 -filetype=obj | llvm-readobj -S --sr --codeview - | FileCheck --check-prefix=OBJ64 %s
+
+;; Generated with below C++ source:
+;; void f1();
+;; void f3(bool b) {
+;;   if (b)
+;;     f1();
+;; }
+
+; X86-LABEL:  "?f3@@YAX_N@Z":
+; X86:        .cv_file 1 "c:\\work\\basic-block-sections.cpp"
+; X86:        .cv_loc 0 1 2 0
+; X86-LABEL:  Ltmp0:
+; X86:        .cv_loc 0 1 3 0
+; X86-LABEL:  "?f3@@YAX_N@Z.__part.1":
+; X86:        .cv_loc 0 1 4 0
+; X86-LABEL:  "?f3@@YAX_N@Z.__part.2":
+; X86:        .cv_loc 0 1 5 0
+; X86:        retl
+; X86:        [[END_OF_F3:.?Lfunc_end.*]]:
+
+; Line table
+; X86:        .cv_linetable 0, "?f3@@YAX_N@Z", [[END_OF_F3]]
+; X86-NEXT:   .section .debug$S,"dr"
+; File index to string table offset subsection
+; X86-NEXT:   .cv_filechecksums
+; String table
+; X86-NEXT:   .cv_stringtable
+
+; OBJ32:      Section {
+; OBJ32:        Name: .debug$S
+; OBJ32:        Characteristics [ (0x42300040)
+; OBJ32:        ]
+; OBJ32:      Section {
+; OBJ32:        Name: .debug$S
+; OBJ32:        Characteristics [ (0x42301040)
+; OBJ32:        ]
+; OBJ32:        Relocations [
+; OBJ32:          0xC IMAGE_REL_I386_DIR32NB ?f3@@YAX_N@Z (13)
+; OBJ32:          0x78 IMAGE_REL_I386_SECREL ?f3@@YAX_N@Z (13)
+; OBJ32:          0x7C IMAGE_REL_I386_SECTION ?f3@@YAX_N@Z (13)
+; OBJ32:          0xB8 IMAGE_REL_I386_SECREL .text (0)
+; OBJ32:          0xBC IMAGE_REL_I386_SECTION .text (0)
+; OBJ32:          0xCC IMAGE_REL_I386_SECREL ?f3@@YAX_N@Z (13)
+; OBJ32:          0xD0 IMAGE_REL_I386_SECTION ?f3@@YAX_N@Z (13)
+; OBJ32:        ]
+; OBJ32:      CodeViewDebugInfo [
+; OBJ32:        Subsection [
+; OBJ32-NEXT:     SubSectionType: Symbols (0xF1)
+; OBJ32:          {{.*}}Proc{{.*}}Sym {
+; OBJ32:            CodeSize: 0x1D
+; OBJ32:            DisplayName: f3
+; OBJ32:            LinkageName: ?f3@@YAX_N@Z
+; OBJ32:          }
+; OBJ32:          ProcEnd {
+; OBJ32:          }
+; OBJ32-NEXT:   ]
+; OBJ32:        FunctionLineTable [
+; OBJ32-NEXT:     LinkageName: ?f3@@YAX_N@Z
+; OBJ32-NEXT:     Flags: 0x0
+; OBJ32-NEXT:     CodeSize: 0x1D
+; OBJ32-NEXT:     FilenameSegment [
+; OBJ32-NEXT:       Filename: c:\work\basic-block-sections.cpp
+; OBJ32-NEXT:     +0x0 [
+; OBJ32-NEXT:       LineNumberStart: 2
+; OBJ32-NEXT:       LineNumberEndDelta: 0
+; OBJ32-NEXT:       IsStatement: No
+; OBJ32-NEXT:     ]
+; OBJ32-NEXT:     +0xB [
+; OBJ32-NEXT:       LineNumberStart: 3
+; OBJ32-NEXT:       LineNumberEndDelta: 0
+; OBJ32-NEXT:       IsStatement: No
+; OBJ32-NEXT:     ]
+; OBJ32-NEXT:     +0x14 [
+; OBJ32-NEXT:       LineNumberStart: 4
+; OBJ32-NEXT:       LineNumberEndDelta: 0
+; OBJ32-NEXT:       IsStatement: No
+; OBJ32-NEXT:     ]
+; OBJ32-NEXT:     +0x1B [
+; OBJ32-NEXT:       LineNumberStart: 5
+; OBJ32-NEXT:       LineNumberEndDelta: 0
+; OBJ32-NEXT:       IsStatement: No
+; OBJ32-NEXT:     ]
+; OBJ32-NEXT:   ]
+; X64-LABEL:  "?f3@@YAX_N@Z":
+; X64:        .cv_file 1 "c:\\work\\basic-block-sections.cpp"
+; X64:        .cv_loc 0 1 2 0
+; X64-LABEL:  .Ltmp0:
+; X64:        .cv_loc 0 1 3 0
+; X64-LABEL:  "?f3@@YAX_N@Z.__part.1":
+; X64:        .cv_loc 0 1 4 0
+; X64-LABEL:  "?f3@@YAX_N@Z.__part.2":
+; X64:        .cv_loc 0 1 5 0
+; X64:        addq    $40, %rsp
+; X64-NEXT:   retq
+; X64:        [[END_OF_F3:.?Lfunc_end.*]]:
+
+; Line table
+; X64:        .cv_linetable 0, "?f3@@YAX_N@Z", [[END_OF_F3]]
+; X64-NEXT:   .section .debug$S,"dr"
+; File index to string table offset subsection
+; X64-NEXT:   .cv_filechecksums
+; String table
+; X64-NEXT:   .cv_stringtable
+
+; OBJ64:      Section {
+; OBJ64:        Name: .debug$S
+; OBJ64:        Characteristics [ (0x42300040)
+; OBJ64:        ]
+; OBJ64:      Section {
+; OBJ64:        Name: .debug$S
+; OBJ64:        Characteristics [ (0x42301040)
+; OBJ64:        ]
+; OBJ64:        Relocations [
+; OBJ64:          0x2C IMAGE_REL_AMD64_SECREL ?f3@@YAX_N@Z (17)
+; OBJ64:          0x30 IMAGE_REL_AMD64_SECTION ?f3@@YAX_N@Z (17)
+; OBJ64:          0x6C IMAGE_REL_AMD64_SECREL .text (0)
+; OBJ64:          0x70 IMAGE_REL_AMD64_SECTION .text (0)
+; OBJ64:          0x80 IMAGE_REL_AMD64_SECREL ?f3@@YAX_N@Z (17)
+; OBJ64:          0x84 IMAGE_REL_AMD64_SECTION ?f3@@YAX_N@Z (17)
+; OBJ64:        ]
+; OBJ64:      CodeViewDebugInfo [
+; OBJ64:        Subsection [
+; OBJ64-NEXT:     SubSectionType: Symbols (0xF1)
+; OBJ64:          {{.*}}Proc{{.*}}Sym {
+; OBJ64:            CodeSize: 0x20
+; OBJ64:            DisplayName: f3
+; OBJ64:            LinkageName: ?f3@@YAX_N@Z
+; OBJ64:          }
+; OBJ64:          ProcEnd {
+; OBJ64:          }
+; OBJ64-NEXT:   ]
+; OBJ64:        FunctionLineTable [
+; OBJ64-NEXT:     LinkageName: ?f3@@YAX_N@Z
+; OBJ64-NEXT:     Flags: 0x0
+; OBJ64-NEXT:     CodeSize: 0x20
+; OBJ64-NEXT:     FilenameSegment [
+; OBJ64-NEXT:       Filename: c:\work\basic-block-sections.cpp
+; OBJ64-NEXT:     +0x0 [
+; OBJ64-NEXT:       LineNumberStart: 2
+; OBJ64-NEXT:       LineNumberEndDelta: 0
+; OBJ64-NEXT:       IsStatement: No
+; OBJ64-NEXT:     ]
+; OBJ64-NEXT:     +0xB [
+; OBJ64-NEXT:       LineNumberStart: 3
+; OBJ64-NEXT:       LineNumberEndDelta: 0
+; OBJ64-NEXT:       IsStatement: No
+; OBJ64-NEXT:     ]
+; OBJ64-NEXT:     +0x14 [
+; OBJ64-NEXT:       LineNumberStart: 4
+; OBJ64-NEXT:       LineNumberEndDelta: 0
+; OBJ64-NEXT:       IsStatement: No
+; OBJ64-NEXT:     ]
+; OBJ64-NEXT:     +0x1B [
+; OBJ64-NEXT:       LineNumberStart: 5
+; OBJ64-NEXT:       LineNumberEndDelta: 0
+; OBJ64-NEXT:       IsStatement: No
+; OBJ64-NEXT:     ]
+; OBJ64-NEXT:   ]
+
+; ModuleID = 'basic-block-sections.cpp'
+source_filename = "basic-block-sections.cpp"
+target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-pc-windows-msvc19.0.24245"
+
+; Function Attrs: noinline optnone uwtable mustprogress
+define dso_local void @"?f3@@YAX_N@Z"(i1 zeroext %0) #0 !dbg !8 {
+  %2 = alloca i8, align 1
+  %3 = zext i1 %0 to i8
+  store i8 %3, i8* %2, align 1
+  call void @llvm.dbg.declare(metadata i8* %2, metadata !12, metadata !DIExpression()), !dbg !13
+  %4 = load i8, i8* %2, align 1, !dbg !14
+  %5 = trunc i8 %4 to i1, !dbg !14
+  br i1 %5, label %6, label %7, !dbg !14
+
+6:                                                ; preds = %1
+  call void @"?f1@@YAXXZ"(), !dbg !15
+  br label %7, !dbg !15
+
+7:                                                ; preds = %6, %1
+  ret void, !dbg !17
+}
+
+; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
+
+declare dso_local void @"?f1@@YAXXZ"() #2
+
+attributes #0 = { noinline optnone uwtable mustprogress "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #1 = { nofree nosync nounwind readnone speculatable willreturn }
+attributes #2 = { "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" "unsafe-fp-math"="false" "use-soft-float"="false" }
+
+!llvm.dbg.cu = !{!0}
+!llvm.module.flags = !{!3, !4, !5, !6}
+!llvm.ident = !{!7}
+
+!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 12.0.0 (https://github.com/llvm/llvm-project.git 5207f19d103dc3e0ec974fa64d2c031d84d497a8)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
+!1 = !DIFile(filename: "basic-block-sections.cpp", directory: "c:\\work", checksumkind: CSK_MD5, checksum: "38d417097a2d2dd73e59660521597146")
+!2 = !{}
+!3 = !{i32 2, !"CodeView", i32 1}
+!4 = !{i32 2, !"Debug Info Version", i32 3}
+!5 = !{i32 1, !"wchar_size", i32 2}
+!6 = !{i32 7, !"PIC Level", i32 2}
+!7 = !{!"clang version 12.0.0 (https://github.com/llvm/llvm-project.git 5207f19d103dc3e0ec974fa64d2c031d84d497a8)"}
+!8 = distinct !DISubprogram(name: "f3", linkageName: "?f3@@YAX_N@Z", scope: !1, file: !1, line: 2, type: !9, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
+!9 = !DISubroutineType(types: !10)
+!10 = !{null, !11}
+!11 = !DIBasicType(name: "bool", size: 8, encoding: DW_ATE_boolean)
+!12 = !DILocalVariable(name: "b", arg: 1, scope: !8, file: !1, line: 2, type: !11)
+!13 = !DILocation(line: 2, scope: !8)
+!14 = !DILocation(line: 3, scope: !8)
+!15 = !DILocation(line: 4, scope: !16)
+!16 = distinct !DILexicalBlock(scope: !8, file: !1, line: 3)
+!17 = !DILocation(line: 5, scope: !8)

llvm/test/MC/COFF/cv-loc-cross-section.s

-# RUN: not llvm-mc -triple=x86_64-pc-win32 < %s -o /dev/null 2>&1 | FileCheck %s
-
-  .text
-  .global baz
-baz:
-.Lfunc_begin0:
-  .cv_file 1 "t.cpp"
-  .cv_func_id 0
-  .cv_loc 0 1 1 1
-  pushq %rbp
-  movq %rsp, %rbp
-  .cv_loc 0 1 2 1
-
-  .data # Switching sections raises an error.
-
-  incl    x(%rip)
-  .cv_loc 0 1 3 1
-# CHECK: error: all .cv_loc directives for a function must be in the same section
-  popq %rbp
-  retq
-.Lfunc_end0:
-
-  .section  .debug$S,"dr"
-  .cv_linetable 0 .Lfunc_begin0 .Lfunc_end0
-  .short 2   # Record length
-  .short 2   # Record kind: S_INLINESITE_END