[MC] Handle discardable COFF sections in assembly

[rnk]

Summary

This fixes a dumpbin warning on objects produced by the MC assembler
when starting from text. All .debug$S sections are supposed to be marked
IMAGE_SCN_MEM_DISCARDABLE. The main, non-COMDAT .debug$S section had
this set, but any comdat ones were not being marked discardable because
there was no .section flag for it.

This change does two things:

• If the section name starts with .debug, implicitly mark the section as discardable. This means we do the same thing as gas on .s files with DWARF from GCC, which is important.

• Adds the 'D' flag to the .section directive on COFF to explicitly say a section is discardable. We only emit this flag if the section name does not start with .debug. This allows the user to explicitly tweak their section flags without worrying about magic section names.

The only thing you can't do in this scheme is to create a
non-discardable section with a name starting with ".debug", but
hopefully users don't need that.

[rnk]

• Update CV tests

[majnemer]

I wonder if we should just adopt the section name hack for improved compatibility with mingw. We'd give any section which starts with .debug IMAGE_SCN_MEM_DISCARDABLE

[rnk]

In D24582#543071, @majnemer wrote:

I wonder if we should just adopt the section name hack for improved compatibility with mingw. We'd give any section which starts with .debug IMAGE_SCN_MEM_DISCARDABLE

Maybe we should do both? I don't want to leave MCSectionCOFF with an incomplete .section serialization.

[majnemer]

In D24582#543082, @rnk wrote:

In D24582#543071, @majnemer wrote:

I wonder if we should just adopt the section name hack for improved compatibility with mingw. We'd give any section which starts with .debug IMAGE_SCN_MEM_DISCARDABLE

Maybe we should do both? I don't want to leave MCSectionCOFF with an incomplete .section serialization.

It won't work when we try to take our .s output to mingw though. Seeing as how this won't work in the general case, I'd suggest the following:

• Infer IMAGE_SCN_MEM_DISCARDABLE if the section starts with .debug
• Raise an error if we have a section with IMAGE_SCN_MEM_DISCARDABLE which does not start with .debug

[rnk]

In D24582#543125, @majnemer wrote:

In D24582#543082, @rnk wrote:

In D24582#543071, @majnemer wrote:

I wonder if we should just adopt the section name hack for improved compatibility with mingw. We'd give any section which starts with .debug IMAGE_SCN_MEM_DISCARDABLE

Maybe we should do both? I don't want to leave MCSectionCOFF with an incomplete .section serialization.

It won't work when we try to take our .s output to mingw though. Seeing as how this won't work in the general case, I'd suggest the following:

• Infer IMAGE_SCN_MEM_DISCARDABLE if the section starts with .debug
• Raise an error if we have a section with IMAGE_SCN_MEM_DISCARDABLE which does not start with .debug

How about I do all that, and instead of raising an error if there is a discardable section that doesn't start with .debug, I emit the 'D' flag?

[majnemer]

In D24582#543165, @rnk wrote:

In D24582#543125, @majnemer wrote:

In D24582#543082, @rnk wrote:

In D24582#543071, @majnemer wrote:

I wonder if we should just adopt the section name hack for improved compatibility with mingw. We'd give any section which starts with .debug IMAGE_SCN_MEM_DISCARDABLE

Maybe we should do both? I don't want to leave MCSectionCOFF with an incomplete .section serialization.

It won't work when we try to take our .s output to mingw though. Seeing as how this won't work in the general case, I'd suggest the following:

• Infer IMAGE_SCN_MEM_DISCARDABLE if the section starts with .debug
• Raise an error if we have a section with IMAGE_SCN_MEM_DISCARDABLE which does not start with .debug

How about I do all that, and instead of raising an error if there is a discardable section that doesn't start with .debug, I emit the 'D' flag?

SGTM

[rnk]

• Implicitly make .debug sections discardable.

[majnemer]

LGTM

[majnemer]

lib/MC/MCSectionCOFF.cpp

67

Maybe parens because of the bitwise operator?

[rnk]

Thanks!

lib/MC/MCSectionCOFF.cpp

67

Yeah, man, I can never remember the bitwise operator precedence. Parens++

lib/MC/MCParser/COFFAsmParser.cpp

static SectionKind computeSectionKind(unsigned Flags) {
   if (Flags & COFF::IMAGE_SCN_MEM_READ &&
       (Flags & COFF::IMAGE_SCN_MEM_WRITE) == 0)
     return SectionKind::getReadOnly();
   return SectionKind::getData();
 }
 
 bool COFFAsmParser::ParseSectionFlags(StringRef FlagsString, unsigned* Flags) {
   enum {
-    None      = 0,
-    Alloc     = 1 << 0,
-    Code      = 1 << 1,
-    Load      = 1 << 2,
-    InitData  = 1 << 3,
-    Shared    = 1 << 4,
-    NoLoad    = 1 << 5,
-    NoRead    = 1 << 6,
-    NoWrite  =  1 << 7
+    None        = 0,
+    Alloc       = 1 << 0,
+    Code        = 1 << 1,
+    Load        = 1 << 2,
+    InitData    = 1 << 3,
+    Shared      = 1 << 4,
+    NoLoad      = 1 << 5,
+    NoRead      = 1 << 6,
+    NoWrite     = 1 << 7,
+    Discardable = 1 << 8,
   };
 
   bool ReadOnlyRemoved = false;
   unsigned SecFlags = None;
 
   for (char FlagChar : FlagsString) {
     switch (FlagChar) {
     case 'a':
case 'd': // data section
         SecFlags |= Load;
       break;
 
     case 'n': // section is not loaded
       SecFlags |= NoLoad;
       SecFlags &= ~Load;
       break;
 
+    case 'D': // discardable
+      SecFlags |= Discardable;
+      break;
+
     case 'r': // read-only
       ReadOnlyRemoved = false;
       SecFlags |= NoWrite;
       if ((SecFlags & Code) == 0)
         SecFlags |= InitData;
       if ((SecFlags & NoLoad) == 0)
         SecFlags |= Load;
       break;
bool COFFAsmParser::ParseSectionFlags(StringRef FlagsString, unsigned* Flags) {
   if (SecFlags & Code)
     *Flags |= COFF::IMAGE_SCN_CNT_CODE | COFF::IMAGE_SCN_MEM_EXECUTE;
   if (SecFlags & InitData)
     *Flags |= COFF::IMAGE_SCN_CNT_INITIALIZED_DATA;
   if ((SecFlags & Alloc) && (SecFlags & Load) == 0)
     *Flags |= COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA;
   if (SecFlags & NoLoad)
     *Flags |= COFF::IMAGE_SCN_LNK_REMOVE;
+  if (SecFlags & Discardable)
+    *Flags |= COFF::IMAGE_SCN_MEM_DISCARDABLE;
   if ((SecFlags & NoRead) == 0)
     *Flags |= COFF::IMAGE_SCN_MEM_READ;
   if ((SecFlags & NoWrite) == 0)
     *Flags |= COFF::IMAGE_SCN_MEM_WRITE;
   if (SecFlags & Shared)
     *Flags |= COFF::IMAGE_SCN_MEM_SHARED;
 
   return false;

 }
 
 // .section name [, "flags"] [, identifier [ identifier ], identifier]
 //
 // Supported flags:
 //   a: Ignored.
 //   b: BSS section (uninitialized data)
 //   d: data section (initialized data)
-//   n: Discardable section
+//   n: "noload" section (removed by linker)
+//   D: Discardable section
 //   r: Readable section
 //   s: Shared section
 //   w: Writable section
 //   x: Executable section
 //   y: Not-readable section (clears 'r')
 //
 // Subsections are not supported.
 bool COFFAsmParser::ParseDirectiveSection(StringRef, SMLoc) {

lib/MC/MCSectionCOFF.cpp

void MCSectionCOFF::PrintSwitchToSection(const MCAsmInfo &MAI,
   else if (getCharacteristics() & COFF::IMAGE_SCN_MEM_READ)
     OS << 'r';
   else
     OS << 'y';
   if (getCharacteristics() & COFF::IMAGE_SCN_LNK_REMOVE)
     OS << 'n';
   if (getCharacteristics() & COFF::IMAGE_SCN_MEM_SHARED)
     OS << 's';
+  if (getCharacteristics() & COFF::IMAGE_SCN_MEM_DISCARDABLE)
+    OS << 'D';
   OS << '"';
 
   if (getCharacteristics() & COFF::IMAGE_SCN_LNK_COMDAT) {
     OS << ",";
     switch (Selection) {
       case COFF::IMAGE_COMDAT_SELECT_NODUPLICATES:
         OS << "one_only,";
         break;

test/DebugInfo/COFF/asm.ll

 ; X86:      .cv_file 1 "D:\\asm.c"
 ; X86:      .cv_loc 0 1 4 0 is_stmt 0
 ; X86:      .cv_loc 0 1 5 0
 ; X86:      calll   _g
 ; X86:      .cv_loc 0 1 6 0
 ; X86:      ret
 ; X86:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X86-LABEL: .section        .debug$S,"dr"
+; X86-LABEL: .section        .debug$S,"drD"
 ; X86-NEXT: .p2align 2
 ; X86-NEXT: .long   4
 ; Symbol subsection
 ; X86-NEXT: .long   241
 ; X86-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X86-NEXT: [[F1_START]]:
 ; X86-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X86-NEXT: [[PROC_SEGMENT_START]]:

 ; X64:      .cv_loc 0 1 4 0
 ; X64:      .cv_loc 0 1 5 0
 ; X64:      callq   g
 ; X64:      .cv_loc 0 1 6 0
 ; X64:      addq    $40, %rsp
 ; X64-NEXT: ret
 ; X64:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X64-LABEL: .section        .debug$S,"dr"
+; X64-LABEL: .section        .debug$S,"drD"
 ; X64-NEXT: .p2align 2
 ; X64-NEXT: .long   4
 ; Symbol subsection
 ; X64-NEXT: .long   241
 ; X64-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X64-NEXT: [[F1_START]]:
 ; X64-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X64-NEXT: [[PROC_SEGMENT_START]]:

test/DebugInfo/COFF/comdat.ll

 ; RUN: llc < %s | FileCheck %s
 
 ; Verify that we get *two* .debug$S sections, the main one describing bar and
 ; main, and one for f and fin$f, which is comdat with f.
 
 ; Start in the main symbol section describing bar and main.
 
-; CHECK: .section .debug$S,"dr"{{$}}
+; CHECK: .section .debug$S,"drD"{{$}}
 ; CHECK: .long 4 # Debug section magic
 ; CHECK: # Symbol subsection for bar
 ; CHECK-NOT: Debug section magic
 ; CHECK: # Symbol subsection for main
 
 ; Emit symbol info for f and its associated code in a separate associated
 ; section.
 
-; CHECK: .section .debug$S,"dr",associative,f{{$}}
+; CHECK: .section .debug$S,"drD",associative,f{{$}}
 ; CHECK: .long 4 # Debug section magic
 ; CHECK: # Symbol subsection for f
 ; CHECK-NOT: Debug section magic
 ; CHECK: # Symbol subsection for ?fin$0@0@f@@
 
 ; Switch back to the main section for the shared file checksum table and string
 ; table.
 
-; CHECK: .section .debug$S,"dr"{{$}}
+; CHECK: .section .debug$S,"drD"{{$}}
 ; CHECK-NOT: Debug section magic
 ; CHECK: .cv_filechecksums
 ; CHECK: .cv_stringtable
 ; CHECK-NOT: .section .debug$S,
 
 ; Generated with this C++ source:
 ; void foo();
 ; void bar();

test/DebugInfo/COFF/globals.ll

 ; RUN: llc < %s | FileCheck %s --check-prefix=ASM
 ; RUN: llc < %s -filetype=obj | llvm-readobj - -codeview | FileCheck %s --check-prefix=OBJ
 
 ; C++ source to regenerate:
 ; $ cat t.cpp
 ; int first;
 ; template <typename T> struct A { static const int comdat = 3; };
 ; const int *middle = &A<void>::comdat;
 ; int last;
 ; $ clang t.cpp -S -emit-llvm -g -gcodeview -o t.ll
 
-; ASM:        .section        .debug$S,"dr"
+; ASM:        .section        .debug$S,"drD"
 ; ASM:        .p2align        2
 ; ASM:        .long   4                       # Debug section magic
 
 ; ASM:        .short  {{.*-.*}}               # Record length
 ; ASM:        .short  4364                    # Record kind: S_LDATA32
 ; ASM:        .long   116                     # Type
 ; ASM:        .secrel32       "?first@@3HA"   # DataOffset
 ; ASM:        .secidx "?first@@3HA"           # Segment
 ; ASM:        .asciz  "first"                 # Name
 
 ; ASM:        .short  {{.*-.*}}               # Record length
 ; ASM:        .short  4371                    # Record kind: S_GTHREAD32
 ; ASM:        .long   4097                    # Type
 ; ASM:        .secrel32       "?middle@@3PEBHEB" # DataOffset
 ; ASM:        .secidx "?middle@@3PEBHEB"      # Segment
 ; ASM:        .asciz  "middle"                # Name
 
 ; ASM:        .short  {{.*-.*}}               # Record length
 ; ASM:        .short  4365                    # Record kind: S_GDATA32
 ; ASM:        .long   116                     # Type
 ; ASM:        .secrel32       "?last@@3HA"    # DataOffset
 ; ASM:        .secidx "?last@@3HA"            # Segment
 ; ASM:        .asciz  "last"                  # Name
 
-; ASM:        .section        .debug$S,"dr",associative,"?comdat@?$A@X@@2HB"
+; ASM:        .section        .debug$S,"drD",associative,"?comdat@?$A@X@@2HB"
 ; ASM:        .p2align        2
 ; ASM:        .long   4                       # Debug section magic
 
 ; ASM:        .short  {{.*-.*}}               # Record length
 ; ASM:        .short  4365                    # Record kind: S_GDATA32
 ; ASM:        .long   4096                    # Type
 ; ASM:        .secrel32       "?comdat@?$A@X@@2HB" # DataOffset
 ; ASM:        .secidx "?comdat@?$A@X@@2HB"    # Segment

test/DebugInfo/COFF/inlining.ll

 ; ASM: .cv_loc 2 1 6 5                 # t.cpp:6:5
 ; ASM: addl    $3, "?x@@3HC"
 ; ASM: .cv_loc 1 1 11 5                # t.cpp:11:5
 ; ASM: addl    $5, "?x@@3HC"
 ; ASM: .cv_loc 0 1 16 5                # t.cpp:16:5
 ; ASM: addl    $7, "?x@@3HC"
 ; ASM: .cv_loc 0 1 17 1                # t.cpp:17:1
 
-; ASM: .section .debug$S,"dr"
+; ASM: .section .debug$S,"drD"
 ; ASM: .long   246                     # Inlinee lines subsection
 ; ASM: .long   [[inline_end:.*]]-[[inline_beg:.*]] #
 ; ASM: [[inline_beg]]:
 ; ASM: .long   0
 ; ASM: # Inlined function bar starts at t.cpp:8
 ; ASM: .long   4098                    # Type index of inlined function
 ; ASM: .long   0                       # Offset into filechecksum table
 ; ASM: .long   8                       # Starting line number

 ; ASM: .short 4429
 ; ASM: .long
 ; ASM: .long
 ; ASM: .long
 ; ASM: .cv_inline_linetable 2 1 2 Lfunc_begin0 Lfunc_end0
 ; ASM: .short  4430
 ; ASM: .short  4430
 
-; ASM: .section .debug$T,"dr"
+; ASM: .section .debug$T,"drD"
 ; ASM: .long 4 # Debug section magic
 ; ASM: # ArgList (0x1000) {
 ; ASM: #   TypeLeafKind: LF_ARGLIST (0x1201)
 ; ASM: #   NumArgs: 0
 ; ASM: #   Arguments [
 ; ASM: #   ]
 ; ASM: # }
 ; ASM: .byte   0x06, 0x00, 0x01, 0x12

test/DebugInfo/COFF/multifile.ll

 ; X86:      .cv_loc 0 2 2 0 # two.c:2:0
 ; X86:      calll   _g
 ; X86:      .cv_loc 0 1 7 0 # one.c:7:0
 ; X86:      calll   _g
 ; X86:      .cv_loc 0 1 8 0 # one.c:8:0
 ; X86:      ret
 ; X86:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X86-LABEL: .section        .debug$S,"dr"
+; X86-LABEL: .section        .debug$S,"drD"
 ; X86-NEXT: .p2align 2
 ; X86-NEXT: .long   4
 ; Symbol subsection
 ; X86-NEXT: .long   241
 ; X86-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X86-NEXT: [[F1_START]]:
 ; X86-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X86-NEXT: [[PROC_SEGMENT_START]]:

 ; X64:      callq   g
 ; X64:      .cv_loc 0 2 7 0 # one.c:7:0
 ; X64:      callq   g
 ; X64:      .cv_loc 0 2 8 0 # one.c:8:0
 ; X64:      addq    $40, %rsp
 ; X64-NEXT: ret
 ; X64:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X64-LABEL: .section        .debug$S,"dr"
+; X64-LABEL: .section        .debug$S,"drD"
 ; X64-NEXT: .p2align 2
 ; X64-NEXT: .long   4
 ; Symbol subsection
 ; X64-NEXT: .long   241
 ; X64-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X64-NEXT: [[F1_START]]:
 ; X64-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X64-NEXT: [[PROC_SEGMENT_START]]:

test/DebugInfo/COFF/multifunction.ll

 ; X86:      .cv_loc 2 1 13 63 # source.c:13:63
 ; X86:      calll   _y
 ; X86:      .cv_loc 2 1 14 72 # source.c:14:72
 ; X86:      calll   _z
 ; X86:      .cv_loc 2 1 15 73 # source.c:15:73
 ; X86:      ret
 ; X86:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X86-LABEL: .section        .debug$S,"dr"
+; X86-LABEL: .section        .debug$S,"drD"
 ; X86-NEXT: .p2align 2
 ; X86-NEXT: .long   4
 ; Symbol subsection for x
 ; X86-NEXT: .long   241
 ; X86-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X86-NEXT: [[F1_START]]:
 ; X86-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X86-NEXT: [[PROC_SEGMENT_START]]:

 ; X64:      callq   y
 ; X64:      .cv_loc 2 1 14 72 # source.c:14:72
 ; X64:      callq   z
 ; X64:      .cv_loc 2 1 15 73 # source.c:15:73
 ; X64:      addq    $40, %rsp
 ; X64-NEXT: ret
 ; X64:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X64-LABEL: .section        .debug$S,"dr"
+; X64-LABEL: .section        .debug$S,"drD"
 ; X64-NEXT: .p2align 2
 ; X64-NEXT: .long   4
 ; Symbol subsection for x
 ; X64-NEXT: .long   241
 ; X64-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X64-NEXT: [[F1_START]]:
 ; X64-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X64-NEXT: [[PROC_SEGMENT_START]]:

test/DebugInfo/COFF/pr28747.ll

 ; RUN: llc < %s | FileCheck %s
 
-; CHECK:             .section .debug$S,"dr"{{$}}
+; CHECK:             .section .debug$S,"drD"{{$}}
 ; CHECK-NEXT:        .p2align 2
 ; CHECK-NEXT:        .long 4
 ; CHECK-NEXT:        .cv_filechecksums
 ; CHECK-NEXT:        .cv_stringtable
 
 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
 target triple = "i686-pc-windows-msvc18.0.0"
 

test/DebugInfo/COFF/simple.ll

 ; X86:      # BB
 ; X86:      .cv_file 1 "D:\\test.c"
 ; X86:      .cv_loc 0 1 4 2 is_stmt 0 # test.c:4:2
 ; X86:      calll   _g
 ; X86:      .cv_loc 0 1 5 0 # test.c:5:0
 ; X86:      ret
 ; X86:      [[END_OF_F:Lfunc_end.*]]:
 ;
-; X86-LABEL: .section        .debug$S,"dr"
+; X86-LABEL: .section        .debug$S,"drD"
 ; X86-NEXT: .p2align 2
 ; X86-NEXT: .long   4
 ; Symbol subsection
 ; X86-NEXT: .long   241
 ; X86-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X86-NEXT: [[F1_START]]:
 ; X86-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X86-NEXT: [[PROC_SEGMENT_START]]:

 ; X64:      subq    $40, %rsp
 ; X64:      .cv_loc 0 1 4 2 # test.c:4:2
 ; X64-NEXT: callq   g
 ; X64:      .cv_loc 0 1 5 0 # test.c:5:0
 ; X64:      addq    $40, %rsp
 ; X64-NEXT: ret
 ; X64:      [[END_OF_F:.?Lfunc_end.*]]:
 ;
-; X64-LABEL: .section        .debug$S,"dr"
+; X64-LABEL: .section        .debug$S,"drD"
 ; X64-NEXT: .p2align 2
 ; X64-NEXT: .long   4
 ; Symbol subsection
 ; X64-NEXT: .long   241
 ; X64-NEXT: .long [[F1_END:.*]]-[[F1_START:.*]] #
 ; X64-NEXT: [[F1_START]]:
 ; X64-NEXT: .short [[PROC_SEGMENT_END:.*]]-[[PROC_SEGMENT_START:.*]] #
 ; X64-NEXT: [[PROC_SEGMENT_START]]:

test/DebugInfo/COFF/tail-call-without-lexical-scopes.ll

 ; X86:      .cv_file 1 "D:\\test.cpp"
 
 ; X86-LABEL: {{^}}"?bar@@YAXHZZ":
 ; X86:      .cv_loc  1 1 4 0
 ; X86:      jmp "?foo@@YAXXZ"
 ; X86:      [[END_OF_BAR:.?Lfunc_end.*]]:{{$}}
 ; X86-NOT:  ret
 
-; X86-LABEL: .section        .debug$S,"dr"
+; X86-LABEL: .section        .debug$S,"drD"
 ; X86:       .secrel32 "?bar@@YAXHZZ"
 ; X86-NEXT:  .secidx   "?bar@@YAXHZZ"
 ; X86:       .cv_linetable 1, "?bar@@YAXHZZ", [[END_OF_BAR]]
 ; X86:       .cv_filechecksums
 ; X86:       .cv_stringtable
 
 ; ModuleID = 'test.cpp'
 target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"

test/DebugInfo/X86/coff_debug_info_type.ll

 ; RUN: llc -mtriple=i686-pc-mingw32 -dwarf-accel-tables=Enable -filetype=asm -O0 < %s | FileCheck %s
 ; RUN: llc -mtriple=i686-pc-cygwin -dwarf-accel-tables=Enable -filetype=asm -O0 < %s | FileCheck %s
 ; RUN: llc -mtriple=i686-w64-mingw32 -dwarf-accel-tables=Enable -filetype=asm -O0 < %s | FileCheck %s
 ; CHECK:    .section  .debug_info
 ; CHECK:    .section  .apple_names
 ; CHECK:    .section  .apple_types
 
 ; RUN: sed -e 's/"Dwarf Version"/"CodeView"/' %s \
 ; RUN:     | llc -mtriple=i686-pc-win32 -filetype=asm -O0 \
 ; RUN:     | FileCheck -check-prefix=WIN32 %s
-; WIN32:    .section .debug$S,"dr"
+; WIN32:    .section .debug$S,"drD"
 
 ; RUN: llc -mtriple=i686-pc-win32 -filetype=null -O0 < %s
 
 ; generated from:
 ; clang -g -S -emit-llvm test.c -o test.ll
 ; int main()
 ; {
 ;   return 0;

test/MC/COFF/section.s

 // CHECK:   }
 
 // Test that the defaults are used
 .section s      ; .long 1
 .section s_, "" ; .long 1
 .section s_a,"a"; .long 1
 .section s_b,"b"; .long 1
 .section s_d,"d"; .long 1
+.section s_D,"D"; .long 1
 .section s_n,"n"; .long 1
 .section s_r,"r"; .long 1
 .section s_s,"s"; .long 1
 .section s_w,"w"; .long 1
 .section s_x,"x"; .long 1
 .section s_y,"y"; .long 1
 
 // CHECK:        Section {

 // CHECK:          Characteristics [
 // CHECK-NEXT:       IMAGE_SCN_ALIGN_1BYTES
 // CHECK-NEXT:       IMAGE_SCN_CNT_INITIALIZED_DATA
 // CHECK-NEXT:       IMAGE_SCN_MEM_READ
 // CHECK-NEXT:       IMAGE_SCN_MEM_WRITE
 // CHECK-NEXT:     ]
 // CHECK:        }
 // CHECK:        Section {
+// CHECK:          Name: s_D
+// CHECK:          Characteristics [
+// CHECK-NEXT:       IMAGE_SCN_ALIGN_1BYTES
+// CHECK-NEXT:       IMAGE_SCN_MEM_DISCARDABLE
+// CHECK-NEXT:       IMAGE_SCN_MEM_READ
+// CHECK-NEXT:       IMAGE_SCN_MEM_WRITE
+// CHECK-NEXT:     ]
+// CHECK:        }
+// CHECK:        Section {
 // CHECK:          Name: s_n
 // CHECK:          Characteristics [
 // CHECK-NEXT:       IMAGE_SCN_ALIGN_1BYTES
 // CHECK-NEXT:       IMAGE_SCN_LNK_REMOVE
 // CHECK-NEXT:       IMAGE_SCN_MEM_READ
 // CHECK-NEXT:       IMAGE_SCN_MEM_WRITE
 // CHECK-NEXT:     ]
 // CHECK:        }