Skip to content

Commit 39bb89c

Browse files
jalopezg-gitjalopezg-git
committed
[llvm-debuginfo-analyzer] Add support for DWARF DW_AT_byte_size 
1 parent 9b63bdd commit 39bb89c

File tree

18 files changed

+134
-29
lines changed

18 files changed

+134
-29
lines changed

‎llvm/docs/CommandGuide/llvm-debuginfo-analyzer.rst‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,8 @@ toolchain name, binary file format, etc.
161161
transformations, in order to display built-in types (int, bool, etc.);
162162
parameters and arguments used during template instantiation; parent
163163
name hierarchy; array dimensions information; compiler generated
164-
elements and the underlying types associated with the types aliases.
164+
elements; type sizes and the underlying types associated with the types
165+
aliases.
165166

166167
.. code-block:: text
167168
@@ -171,6 +172,7 @@ toolchain name, binary file format, etc.
171172
=encoded: Template arguments encoded in the template name.
172173
=qualified: The element type include parents in its name.
173174
=reference: Element declaration and definition references.
175+
=size: Sizes for compound and base types.
174176
=subrange: Subrange encoding information for arrays.
175177
=typename: Template parameters.
176178
=underlying: Underlying type for type definitions.
@@ -258,6 +260,7 @@ toolchain name, binary file format, etc.
258260
=qualified
259261
=qualifier
260262
=register
263+
=size
261264
=subrange
262265
=system
263266
=typename

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

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,6 +64,10 @@ using LVElementKindSet = std::set<LVElementKind>;
6464
using LVElementDispatch = std::map<LVElementKind, LVElementGetFunction>;
6565
using LVElementRequest = std::vector<LVElementGetFunction>;
6666

67+
// Assume 8-bit bytes; this is consistent, e.g. with
68+
// lldb/source/Plugins/SymbolFile/DWARF/DWARFASTParserClang.cpp.
69+
constexpr unsigned int DWARF_CHAR_BIT = 8u;
70+
6771
class LVElement : public LVObject {
6872
enum class Property {
6973
IsLine, // A logical line.
@@ -239,6 +243,9 @@ class LVElement : public LVObject {
239243
virtual bool isBase() const { return false; }
240244
virtual bool isTemplateParam() const { return false; }
241245

246+
uint32_t getStorageSizeInBytes() const {
247+
return (getBitSize() + (DWARF_CHAR_BIT - 1)) / DWARF_CHAR_BIT;
248+
}
242249
virtual uint32_t getBitSize() const { return 0; }
243250
virtual void setBitSize(uint32_t Size) {}
244251

‎llvm/include/llvm/DebugInfo/LogicalView/Core/LVOptions.h‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,7 @@ enum class LVAttributeKind {
119119
Range, // --attribute=range
120120
Reference, // --attribute=reference
121121
Register, // --attribute=register
122+
Size, // --attribute=size
122123
Standard, // --attribute=standard
123124
Subrange, // --attribute=subrange
124125
System, // --attribute=system
@@ -349,6 +350,7 @@ class LVOptions {
349350
ATTRIBUTE_OPTION(Range);
350351
ATTRIBUTE_OPTION(Reference);
351352
ATTRIBUTE_OPTION(Register);
353+
ATTRIBUTE_OPTION(Size);
352354
ATTRIBUTE_OPTION(Standard);
353355
ATTRIBUTE_OPTION(Subrange);
354356
ATTRIBUTE_OPTION(System);

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,9 @@ class LVScope : public LVElement {
9393
LVProperties<Property> Properties;
9494
static LVScopeDispatch Dispatch;
9595

96+
// Size in bits if this scope represents also a compound type.
97+
uint32_t BitSize = 0;
98+
9699
// Coverage factor in units (bytes).
97100
unsigned CoverageFactor = 0;
98101

@@ -269,6 +272,9 @@ class LVScope : public LVElement {
269272
bool removeElement(LVElement *Element) override;
270273
void updateLevel(LVScope *Parent, bool Moved) override;
271274

275+
uint32_t getBitSize() const override { return BitSize; }
276+
void setBitSize(uint32_t Size) override { BitSize = Size; }
277+
272278
void resolve() override;
273279
void resolveName() override;
274280
void resolveReferences() override;

‎llvm/include/llvm/DebugInfo/LogicalView/Core/LVType.h‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,9 @@ class LVType : public LVElement {
5656
LVProperties<Property> Properties;
5757
static LVTypeDispatch Dispatch;
5858

59+
// Size in bits of a symbol of this type.
60+
uint32_t BitSize = 0;
61+
5962
// Find the current type in the given 'Targets'.
6063
LVType *findIn(const LVTypes *Targets) const;
6164

@@ -109,6 +112,10 @@ class LVType : public LVElement {
109112
virtual LVElement *getUnderlyingType() { return nullptr; }
110113
virtual void setUnderlyingType(LVElement *Element) {}
111114

115+
// Return the size in bits of an entity of this type.
116+
uint32_t getBitSize() const override { return BitSize; }
117+
void setBitSize(uint32_t Size) override { BitSize = Size; }
118+
112119
void resolveName() override;
113120
void resolveReferences() override;
114121

‎llvm/lib/DebugInfo/LogicalView/Core/LVOptions.cpp‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,7 @@ void LVOptions::resolveDependencies() {
6767
setAttributeQualified();
6868
setAttributeQualifier();
6969
setAttributeRegister();
70+
setAttributeSize();
7071
setAttributeSubrange();
7172
setAttributeSystem();
7273
setAttributeTypename();
@@ -208,7 +209,7 @@ void LVOptions::resolveDependencies() {
208209
// 1) Sort the CUs, to get a fast compare.
209210
// 2) Encode template instantiations, so the names include template
210211
// parameter information.
211-
// 3) Include qualified types.
212+
// 3) Include qualified types and their sizes.
212213
// 4) Include any inserted abstract references.
213214
// 5) For added/missing elements add the '+' or '-' tags.
214215
if (getCompareExecute()) {
@@ -221,6 +222,7 @@ void LVOptions::resolveDependencies() {
221222
setAttributeInserted();
222223
setAttributeMissing();
223224
setAttributeQualified();
225+
setAttributeSize();
224226
}
225227

226228
// Enable formatting for printing (indentation, print children).

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

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1011,9 +1011,13 @@ void LVScope::printExtra(raw_ostream &OS, bool Full) const {
10111011
// Do not print any type or name for a lexical block.
10121012
if (!getIsBlock()) {
10131013
OS << " " << formattedName(getName());
1014-
if (!getIsAggregate())
1014+
if (!getIsAggregate()) {
10151015
OS << " -> " << typeOffsetAsString()
10161016
<< formattedNames(getTypeQualifiedName(), typeAsString());
1017+
}
1018+
if (uint32_t Size = getStorageSizeInBytes();
1019+
options().getAttributeSize() && Size)
1020+
OS << " [Size = " << Size << "]";
10171021
}
10181022
OS << "\n";
10191023

‎llvm/lib/DebugInfo/LogicalView/Core/LVType.cpp‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -292,7 +292,11 @@ void LVType::print(raw_ostream &OS, bool Full) const {
292292
}
293293

294294
void LVType::printExtra(raw_ostream &OS, bool Full) const {
295-
OS << formattedKind(kind()) << " " << formattedName(getName()) << "\n";
295+
OS << formattedKind(kind()) << " " << formattedName(getName());
296+
if (uint32_t Size = getStorageSizeInBytes();
297+
options().getAttributeSize() && Size)
298+
OS << " [Size = " << Size << "]";
299+
OS << "\n";
296300
}
297301

298302
//===----------------------------------------------------------------------===//

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1987,6 +1987,7 @@ Error LVLogicalVisitor::visitKnownRecord(CVType &Record, ClassRecord &Class,
19871987
Scope->setName(Class.getName());
19881988
if (Class.hasUniqueName())
19891989
Scope->setLinkageName(Class.getUniqueName());
1990+
Scope->setBitSize(Class.getSize() * DWARF_CHAR_BIT);
19901991

19911992
if (Class.isNested()) {
19921993
Scope->setIsNested();
@@ -2455,6 +2456,7 @@ Error LVLogicalVisitor::visitKnownRecord(CVType &Record, UnionRecord &Union,
24552456
Scope->setName(Union.getName());
24562457
if (Union.hasUniqueName())
24572458
Scope->setLinkageName(Union.getUniqueName());
2459+
Scope->setBitSize(Union.getSize() * DWARF_CHAR_BIT);
24582460

24592461
if (Union.isNested()) {
24602462
Scope->setIsNested();
@@ -3208,6 +3210,7 @@ LVType *LVLogicalVisitor::createBaseType(TypeIndex TI, StringRef TypeName) {
32083210

32093211
if (createElement(TIR, SimpleKind)) {
32103212
CurrentType->setName(TypeName);
3213+
CurrentType->setBitSize(getSizeInBytesForTypeIndex(TIR) * DWARF_CHAR_BIT);
32113214
Reader->getCompileUnit()->addElement(CurrentType);
32123215
}
32133216
return CurrentType;

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -307,6 +307,9 @@ void LVDWARFReader::processOneAttribute(const DWARFDie &Die,
307307
case dwarf::DW_AT_bit_size:
308308
CurrentElement->setBitSize(GetAsUnsignedConstant());
309309
break;
310+
case dwarf::DW_AT_byte_size:
311+
CurrentElement->setBitSize(GetAsUnsignedConstant() * DWARF_CHAR_BIT);
312+
break;
310313
case dwarf::DW_AT_call_file:
311314
CurrentElement->setCallFilenameIndex(IncrementFileIndex
312315
? GetAsUnsignedConstant() + 1

0 commit comments

Comments
 (0)