Skip to content

Commit 5e54a5c

Browse files
committed
[llvm-debuginfo-analyzer] Add support for parsing DWARF / CodeView source language
1 parent 3bc3b1c commit 5e54a5c

25 files changed

+104
-3
lines changed

llvm/include/llvm/DebugInfo/LogicalView/Core/LVElement.h

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@
1818
#include "llvm/Support/Casting.h"
1919
#include <map>
2020
#include <set>
21+
#include <variant>
2122
#include <vector>
2223

2324
namespace llvm {
@@ -64,6 +65,22 @@ using LVElementKindSet = std::set<LVElementKind>;
6465
using LVElementDispatch = std::map<LVElementKind, LVElementGetFunction>;
6566
using LVElementRequest = std::vector<LVElementGetFunction>;
6667

68+
/// A source language supported by any of the debug info representations.
69+
struct LVSourceLanguage {
70+
LVSourceLanguage() = default;
71+
LVSourceLanguage(llvm::dwarf::SourceLanguage SL) : Language(SL) {}
72+
LVSourceLanguage(llvm::codeview::SourceLanguage SL) : Language(SL) {}
73+
74+
bool isValid() const { return Language.index() != 0; }
75+
template <typename T> T getAs() { return std::get<T>(Language); }
76+
StringRef getName() const;
77+
78+
private:
79+
std::variant<std::monostate, llvm::dwarf::SourceLanguage,
80+
llvm::codeview::SourceLanguage>
81+
Language;
82+
};
83+
6784
class LVElement : public LVObject {
6885
enum class Property {
6986
IsLine, // A logical line.
@@ -214,6 +231,9 @@ class LVElement : public LVObject {
214231
virtual StringRef getProducer() const { return StringRef(); }
215232
virtual void setProducer(StringRef ProducerName) {}
216233

234+
virtual LVSourceLanguage getSourceLanguage() const { return {}; }
235+
virtual void setSourceLanguage(LVSourceLanguage SL) {}
236+
217237
virtual bool isCompileUnit() const { return false; }
218238
virtual bool isRoot() const { return false; }
219239

llvm/include/llvm/DebugInfo/LogicalView/Core/LVScope.h

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -407,6 +407,9 @@ class LVScopeCompileUnit final : public LVScope {
407407
// Toolchain producer.
408408
size_t ProducerIndex = 0;
409409

410+
// Source language.
411+
LVSourceLanguage SourceLanguage{};
412+
410413
// Compilation directory name.
411414
size_t CompilationDirectoryIndex = 0;
412415

@@ -540,6 +543,9 @@ class LVScopeCompileUnit final : public LVScope {
540543
ProducerIndex = getStringPool().getIndex(ProducerName);
541544
}
542545

546+
LVSourceLanguage getSourceLanguage() const override { return SourceLanguage; }
547+
void setSourceLanguage(LVSourceLanguage SL) override { SourceLanguage = SL; }
548+
543549
void setCPUType(codeview::CPUType Type) { CompilationCPUType = Type; }
544550
codeview::CPUType getCPUType() { return CompilationCPUType; }
545551

llvm/lib/DebugInfo/LogicalView/Core/LVElement.cpp

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
//===----------------------------------------------------------------------===//
1212

1313
#include "llvm/DebugInfo/LogicalView/Core/LVElement.h"
14+
#include "llvm/DebugInfo/CodeView/EnumTables.h"
1415
#include "llvm/DebugInfo/LogicalView/Core/LVReader.h"
1516
#include "llvm/DebugInfo/LogicalView/Core/LVScope.h"
1617
#include "llvm/DebugInfo/LogicalView/Core/LVType.h"
@@ -19,6 +20,23 @@ using namespace llvm;
1920
using namespace llvm::codeview;
2021
using namespace llvm::logicalview;
2122

23+
StringRef LVSourceLanguage::getName() const {
24+
if (!isValid())
25+
return {};
26+
switch (Language.index()) {
27+
case 1: // DWARF
28+
return llvm::dwarf::LanguageString(
29+
std::get<llvm::dwarf::SourceLanguage>(Language));
30+
case 2: // CodeView
31+
{
32+
static auto LangNames = llvm::codeview::getSourceLanguageNames();
33+
return LangNames[std::get<llvm::codeview::SourceLanguage>(Language)].Name;
34+
}
35+
default:
36+
llvm_unreachable("Unsupported language");
37+
}
38+
}
39+
2240
#define DEBUG_TYPE "Element"
2341

2442
LVElementDispatch LVElement::Dispatch = {

llvm/lib/DebugInfo/LogicalView/Core/LVScope.cpp

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1707,11 +1707,17 @@ void LVScopeCompileUnit::print(raw_ostream &OS, bool Full) const {
17071707

17081708
void LVScopeCompileUnit::printExtra(raw_ostream &OS, bool Full) const {
17091709
OS << formattedKind(kind()) << " '" << getName() << "'\n";
1710-
if (options().getPrintFormatting() && options().getAttributeProducer())
1710+
if (options().getPrintFormatting() && options().getAttributeProducer()) {
17111711
printAttributes(OS, Full, "{Producer} ",
17121712
const_cast<LVScopeCompileUnit *>(this), getProducer(),
17131713
/*UseQuotes=*/true,
17141714
/*PrintRef=*/false);
1715+
if (auto SL = getSourceLanguage(); SL.isValid())
1716+
printAttributes(OS, Full, "{Language} ",
1717+
const_cast<LVScopeCompileUnit *>(this), SL.getName(),
1718+
/*UseQuotes=*/true,
1719+
/*PrintRef=*/false);
1720+
}
17151721

17161722
// Reset file index, to allow its children to print the correct filename.
17171723
options().resetFilenameIndex();

llvm/lib/DebugInfo/LogicalView/Readers/LVCodeViewVisitor.cpp

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -947,8 +947,11 @@ Error LVSymbolVisitor::visitKnownRecord(CVSymbol &Record,
947947
// The name of the CU, was extracted from the 'BuildInfo' subsection.
948948
Reader->setCompileUnitCPUType(Compile2.Machine);
949949
Scope->setName(CurrentObjectName);
950-
if (options().getAttributeProducer())
950+
if (options().getAttributeProducer()) {
951951
Scope->setProducer(Compile2.Version);
952+
Scope->setSourceLanguage(LVSourceLanguage{
953+
static_cast<llvm::codeview::SourceLanguage>(Compile2.getLanguage())});
954+
}
952955
getReader().isSystemEntry(Scope, CurrentObjectName);
953956

954957
// The line records in CodeView are recorded per Module ID. Update
@@ -992,8 +995,11 @@ Error LVSymbolVisitor::visitKnownRecord(CVSymbol &Record,
992995
// The name of the CU, was extracted from the 'BuildInfo' subsection.
993996
Reader->setCompileUnitCPUType(Compile3.Machine);
994997
Scope->setName(CurrentObjectName);
995-
if (options().getAttributeProducer())
998+
if (options().getAttributeProducer()) {
996999
Scope->setProducer(Compile3.Version);
1000+
Scope->setSourceLanguage(LVSourceLanguage{
1001+
static_cast<llvm::codeview::SourceLanguage>(Compile3.getLanguage())});
1002+
}
9971003
getReader().isSystemEntry(Scope, CurrentObjectName);
9981004

9991005
// The line records in CodeView are recorded per Module ID. Update

llvm/lib/DebugInfo/LogicalView/Readers/LVDWARFReader.cpp

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -383,6 +383,11 @@ void LVDWARFReader::processOneAttribute(const DWARFDie &Die,
383383
if (options().getAttributeProducer())
384384
CurrentElement->setProducer(dwarf::toStringRef(FormValue));
385385
break;
386+
case dwarf::DW_AT_language:
387+
if (options().getAttributeProducer())
388+
CurrentElement->setSourceLanguage(LVSourceLanguage{
389+
static_cast<llvm::dwarf::SourceLanguage>(GetAsUnsignedConstant())});
390+
break;
386391
case dwarf::DW_AT_upper_bound:
387392
CurrentElement->setUpperBound(GetBoundValue(FormValue));
388393
break;

llvm/test/tools/llvm-debuginfo-analyzer/COFF/02-coff-logical-lines.test

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
; ONE-EMPTY:
2727
; ONE-NEXT: [001] {CompileUnit} 'hello-world.cpp'
2828
; ONE-NEXT: [002] {Producer} 'clang version 15.0.0 {{.*}}'
29+
; ONE-NEXT: [002] {Language} 'Cpp'
2930
; ONE-NEXT: [002] {Function} extern not_inlined 'main' -> 'int'
3031
; ONE-NEXT: [003] 4 {Line}
3132
; ONE-NEXT: [003] {Code} 'subq $0x28, %rsp'
@@ -43,6 +44,7 @@
4344
; ONE-EMPTY:
4445
; ONE-NEXT: [001] {CompileUnit} 'hello-world.cpp'
4546
; ONE-NEXT: [002] {Producer} 'Microsoft (R) Optimizing Compiler'
47+
; ONE-NEXT: [002] {Language} 'Cpp'
4648
; ONE-NEXT: [002] {Function} extern not_inlined 'main' -> 'int'
4749
; ONE-NEXT: [003] 4 {Line}
4850
; ONE-NEXT: [003] {Code} 'subq $0x28, %rsp'

llvm/test/tools/llvm-debuginfo-analyzer/COFF/03-coff-incorrect-lexical-scope-typedef.test

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@
4242
; ONE-EMPTY:
4343
; ONE-NEXT: [001] {CompileUnit} 'pr-44884.cpp'
4444
; ONE-NEXT: [002] {Producer} 'clang version 15.0.0 {{.*}}'
45+
; ONE-NEXT: [002] {Language} 'Cpp'
4546
; ONE-NEXT: [002] {Function} extern not_inlined 'bar' -> 'int'
4647
; ONE-NEXT: [003] {Parameter} 'Input' -> 'float'
4748
; ONE-NEXT: [003] 1 {Line}
@@ -63,6 +64,7 @@
6364
; ONE-EMPTY:
6465
; ONE-NEXT: [001] {CompileUnit} 'pr-44884.cpp'
6566
; ONE-NEXT: [002] {Producer} 'Microsoft (R) Optimizing Compiler'
67+
; ONE-NEXT: [002] {Language} 'Cpp'
6668
; ONE-NEXT: [002] {Function} extern not_inlined 'bar' -> 'int'
6769
; ONE-NEXT: [003] {Variable} 'Input' -> 'float'
6870
; ONE-NEXT: [003] 1 {Line}

llvm/test/tools/llvm-debuginfo-analyzer/COFF/04-coff-missing-nested-enumerators.test

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,7 @@
3737
; ONE-EMPTY:
3838
; ONE-NEXT: [001] {CompileUnit} 'pr-46466.cpp'
3939
; ONE-NEXT: [002] {Producer} 'clang version 15.0.0 {{.*}}'
40+
; ONE-NEXT: [002] {Language} 'Cpp'
4041
; ONE-NEXT: [002] {Variable} extern 'S' -> 'Struct'
4142
; ONE-NEXT: [002] 1 {Struct} 'Struct'
4243
; ONE-NEXT: [003] {Member} public 'U' -> 'Union'
@@ -50,6 +51,7 @@
5051
; ONE-EMPTY:
5152
; ONE-NEXT: [001] {CompileUnit} 'pr-46466.cpp'
5253
; ONE-NEXT: [002] {Producer} 'Microsoft (R) Optimizing Compiler'
54+
; ONE-NEXT: [002] {Language} 'Cpp'
5355
; ONE-NEXT: [002] {Variable} extern 'S' -> 'Struct'
5456
; ONE-NEXT: [002] 1 {Struct} 'Struct'
5557
; ONE-NEXT: [003] {Member} public 'U' -> 'Union'

llvm/test/tools/llvm-debuginfo-analyzer/COFF/05-coff-incorrect-lexical-scope-variable.test

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,7 @@
4343
; ONE-EMPTY:
4444
; ONE-NEXT: [001] {CompileUnit} 'pr-43860.cpp'
4545
; ONE-NEXT: [002] {Producer} 'clang version 15.0.0 {{.*}}'
46+
; ONE-NEXT: [002] {Language} 'Cpp'
4647
; ONE-NEXT: [002] 2 {Function} inlined 'InlineFunction' -> 'int'
4748
; ONE-NEXT: [003] {Parameter} '' -> 'int'
4849
; ONE-NEXT: [002] {Function} extern not_inlined 'test' -> 'int'
@@ -59,6 +60,7 @@
5960
; ONE-EMPTY:
6061
; ONE-NEXT: [001] {CompileUnit} 'pr-43860.cpp'
6162
; ONE-NEXT: [002] {Producer} 'Microsoft (R) Optimizing Compiler'
63+
; ONE-NEXT: [002] {Language} 'Cpp'
6264
; ONE-NEXT: [002] {Function} extern declared_inlined 'InlineFunction' -> 'int'
6365
; ONE-NEXT: [003] {Block}
6466
; ONE-NEXT: [004] {Variable} 'Var_2' -> 'int'

0 commit comments

Comments
 (0)