[MC] Enable .file support on COFF and diagnose it on unsupported targets
authorReid Kleckner <rnk@google.com>
Fri, 21 Dec 2018 23:35:48 +0000 (23:35 +0000)
committerReid Kleckner <rnk@google.com>
Fri, 21 Dec 2018 23:35:48 +0000 (23:35 +0000)
commit98bbd07cc3aa2d7477c90a3fff1184c1b03c5f32
tree5983d37856eb915bf8e1c71e63bfba7199a33831
parent499a66ecc0fdcd8a3318e5988672889e63a2c8a6
[MC] Enable .file support on COFF and diagnose it on unsupported targets

Summary:
The "single parameter" .file directive appears to be an ELF-only feature
that is intended to insert the main source filename into the string
table table.

I noticed that if you assemble an ELF .s file for COFF, typically it
will assert right away on a .file directive near the top of the file. My
first change was to make this emit a proper error in the asm parser so
that we don't assert so easily.

However, COFF actually does have some support for this directive, and if
you emit an object file, llvm-mc does not assert. When emitting a COFF
object, MC will take those file names and create "debug" symbol table
entries for them. I'm not familiar with these kinds of symbol table
entries, and I'm not aware of any users of them, but @compnerd added
them a while ago. They don't introduce absolute paths, and most main
source file paths are short enough that this extra entry shouldn't cause
any problems, so I enabled the flag in MCAsmInfoCOFF that indicates that
it's supported.

This has the side effect of adding an extra debug symbol to every object
produced by clang, which is a pretty big functional change. My question
is, should we keep the functionality or remove it in the name of symbol
table minimalism?

Reviewers: mstorsjo, compnerd

Subscribers: hiraditya, compnerd, llvm-commits

Differential Revision: https://reviews.llvm.org/D55900

llvm-svn: 349976
llvm/lib/MC/MCAsmInfoCOFF.cpp
llvm/lib/MC/MCParser/AsmParser.cpp
llvm/test/MC/COFF/file.s
llvm/test/MC/MachO/file-single.s [new file with mode: 0644]