blob: a88dcfcf5423779540f66cf3142095cd464c9a85 [file] [log] [blame]
Eugene Zelenkoe94042c2017-02-27 23:43:14 +00001//===- DWARFAbbreviationDeclaration.cpp -----------------------------------===//
Benjamin Krameraa2f78f2011-09-13 19:42:23 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Chandler Carruth6bda14b2017-06-06 11:49:48 +000010#include "llvm/DebugInfo/DWARF/DWARFAbbreviationDeclaration.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000011
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000012#include "llvm/ADT/None.h"
13#include "llvm/ADT/Optional.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000014#include "llvm/BinaryFormat/Dwarf.h"
Greg Clayton6f6e4db2016-11-15 01:23:06 +000015#include "llvm/DebugInfo/DWARF/DWARFFormValue.h"
16#include "llvm/DebugInfo/DWARF/DWARFUnit.h"
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000017#include "llvm/Support/DataExtractor.h"
Benjamin Kramer21a50922011-09-15 04:15:59 +000018#include "llvm/Support/Format.h"
Benjamin Krameraa2f78f2011-09-13 19:42:23 +000019#include "llvm/Support/raw_ostream.h"
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000020#include <cstddef>
21#include <cstdint>
22
Benjamin Krameraa2f78f2011-09-13 19:42:23 +000023using namespace llvm;
24using namespace dwarf;
25
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000026void DWARFAbbreviationDeclaration::clear() {
27 Code = 0;
Greg Clayton6c273762016-10-27 16:32:04 +000028 Tag = DW_TAG_null;
Greg Clayton6f6e4db2016-11-15 01:23:06 +000029 CodeByteSize = 0;
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000030 HasChildren = false;
Alexey Samsonov1eabf982014-03-13 07:52:54 +000031 AttributeSpecs.clear();
Greg Clayton6f6e4db2016-11-15 01:23:06 +000032 FixedAttributeSize.reset();
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000033}
34
35DWARFAbbreviationDeclaration::DWARFAbbreviationDeclaration() {
36 clear();
Benjamin Krameraa2f78f2011-09-13 19:42:23 +000037}
38
39bool
Greg Clayton6c273762016-10-27 16:32:04 +000040DWARFAbbreviationDeclaration::extract(DataExtractor Data,
41 uint32_t* OffsetPtr) {
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000042 clear();
Greg Clayton6f6e4db2016-11-15 01:23:06 +000043 const uint32_t Offset = *OffsetPtr;
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000044 Code = Data.getULEB128(OffsetPtr);
45 if (Code == 0) {
46 return false;
47 }
Greg Clayton6f6e4db2016-11-15 01:23:06 +000048 CodeByteSize = *OffsetPtr - Offset;
Greg Clayton6c273762016-10-27 16:32:04 +000049 Tag = static_cast<llvm::dwarf::Tag>(Data.getULEB128(OffsetPtr));
50 if (Tag == DW_TAG_null) {
51 clear();
52 return false;
53 }
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000054 uint8_t ChildrenByte = Data.getU8(OffsetPtr);
55 HasChildren = (ChildrenByte == DW_CHILDREN_yes);
Greg Clayton6f6e4db2016-11-15 01:23:06 +000056 // Assign a value to our optional FixedAttributeSize member variable. If
57 // this member variable still has a value after the while loop below, then
58 // all attribute data in this abbreviation declaration has a fixed byte size.
59 FixedAttributeSize = FixedSizeInfo();
Benjamin Krameraa2f78f2011-09-13 19:42:23 +000060
Greg Clayton6f6e4db2016-11-15 01:23:06 +000061 // Read all of the abbreviation attributes and forms.
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +000062 while (true) {
Greg Clayton6c273762016-10-27 16:32:04 +000063 auto A = static_cast<Attribute>(Data.getULEB128(OffsetPtr));
64 auto F = static_cast<Form>(Data.getULEB128(OffsetPtr));
65 if (A && F) {
Victor Leschukcbddae72017-01-10 21:18:26 +000066 bool IsImplicitConst = (F == DW_FORM_implicit_const);
Paul Robinson75c068c2017-06-26 18:43:01 +000067 if (IsImplicitConst) {
Benjamin Kramereb14c112017-09-21 15:27:45 +000068 int64_t V = Data.getSLEB128(OffsetPtr);
Paul Robinson75c068c2017-06-26 18:43:01 +000069 AttributeSpecs.push_back(AttributeSpec(A, F, V));
Victor Leschukcbddae72017-01-10 21:18:26 +000070 continue;
Paul Robinson75c068c2017-06-26 18:43:01 +000071 }
Benjamin Kramereb14c112017-09-21 15:27:45 +000072 Optional<uint8_t> ByteSize;
Greg Clayton6f6e4db2016-11-15 01:23:06 +000073 // If this abbrevation still has a fixed byte size, then update the
74 // FixedAttributeSize as needed.
Paul Robinson75c068c2017-06-26 18:43:01 +000075 switch (F) {
76 case DW_FORM_addr:
77 if (FixedAttributeSize)
78 ++FixedAttributeSize->NumAddrs;
79 break;
Greg Clayton6f6e4db2016-11-15 01:23:06 +000080
Paul Robinson75c068c2017-06-26 18:43:01 +000081 case DW_FORM_ref_addr:
82 if (FixedAttributeSize)
83 ++FixedAttributeSize->NumRefAddrs;
84 break;
Greg Clayton6f6e4db2016-11-15 01:23:06 +000085
Paul Robinson75c068c2017-06-26 18:43:01 +000086 case DW_FORM_strp:
87 case DW_FORM_GNU_ref_alt:
88 case DW_FORM_GNU_strp_alt:
89 case DW_FORM_line_strp:
90 case DW_FORM_sec_offset:
91 case DW_FORM_strp_sup:
92 if (FixedAttributeSize)
93 ++FixedAttributeSize->NumDwarfOffsets;
94 break;
Greg Clayton6f6e4db2016-11-15 01:23:06 +000095
Paul Robinson75c068c2017-06-26 18:43:01 +000096 default:
97 // The form has a byte size that doesn't depend on Params.
98 // If it's a fixed size, keep track of it.
Benjamin Kramereb14c112017-09-21 15:27:45 +000099 if ((ByteSize =
100 DWARFFormValue::getFixedByteSize(F, DWARFFormParams()))) {
Paul Robinson75c068c2017-06-26 18:43:01 +0000101 if (FixedAttributeSize)
Benjamin Kramereb14c112017-09-21 15:27:45 +0000102 FixedAttributeSize->NumBytes += *ByteSize;
Paul Robinson75c068c2017-06-26 18:43:01 +0000103 break;
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000104 }
Paul Robinson75c068c2017-06-26 18:43:01 +0000105 // Indicate we no longer have a fixed byte size for this
106 // abbreviation by clearing the FixedAttributeSize optional value
107 // so it doesn't have a value.
108 FixedAttributeSize.reset();
109 break;
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000110 }
Paul Robinson75c068c2017-06-26 18:43:01 +0000111 // Record this attribute and its fixed size if it has one.
Benjamin Kramereb14c112017-09-21 15:27:45 +0000112 AttributeSpecs.push_back(AttributeSpec(A, F, ByteSize));
Greg Clayton6c273762016-10-27 16:32:04 +0000113 } else if (A == 0 && F == 0) {
114 // We successfully reached the end of this abbreviation declaration
115 // since both attribute and form are zero.
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +0000116 break;
Greg Clayton6c273762016-10-27 16:32:04 +0000117 } else {
118 // Attribute and form pairs must either both be non-zero, in which case
119 // they are added to the abbreviation declaration, or both be zero to
120 // terminate the abbrevation declaration. In this case only one was
121 // zero which is an error.
122 clear();
123 return false;
124 }
Alexey Samsonovd5cc93c2013-10-31 17:20:14 +0000125 }
126 return true;
Benjamin Krameraa2f78f2011-09-13 19:42:23 +0000127}
128
129void DWARFAbbreviationDeclaration::dump(raw_ostream &OS) const {
Mehdi Amini149f6ea2016-10-05 05:59:29 +0000130 auto tagString = TagString(getTag());
Benjamin Kramer21a50922011-09-15 04:15:59 +0000131 OS << '[' << getCode() << "] ";
Mehdi Amini149f6ea2016-10-05 05:59:29 +0000132 if (!tagString.empty())
Benjamin Kramer21a50922011-09-15 04:15:59 +0000133 OS << tagString;
134 else
135 OS << format("DW_TAG_Unknown_%x", getTag());
136 OS << "\tDW_CHILDREN_" << (hasChildren() ? "yes" : "no") << '\n';
Alexey Samsonov1eabf982014-03-13 07:52:54 +0000137 for (const AttributeSpec &Spec : AttributeSpecs) {
Benjamin Kramer21a50922011-09-15 04:15:59 +0000138 OS << '\t';
Mehdi Amini149f6ea2016-10-05 05:59:29 +0000139 auto attrString = AttributeString(Spec.Attr);
140 if (!attrString.empty())
Benjamin Kramer21a50922011-09-15 04:15:59 +0000141 OS << attrString;
142 else
Alexey Samsonov1eabf982014-03-13 07:52:54 +0000143 OS << format("DW_AT_Unknown_%x", Spec.Attr);
Benjamin Kramer21a50922011-09-15 04:15:59 +0000144 OS << '\t';
Mehdi Amini149f6ea2016-10-05 05:59:29 +0000145 auto formString = FormEncodingString(Spec.Form);
146 if (!formString.empty())
Benjamin Kramer21a50922011-09-15 04:15:59 +0000147 OS << formString;
148 else
Alexey Samsonov1eabf982014-03-13 07:52:54 +0000149 OS << format("DW_FORM_Unknown_%x", Spec.Form);
Victor Leschukcbddae72017-01-10 21:18:26 +0000150 if (Spec.isImplicitConst())
Benjamin Kramereb14c112017-09-21 15:27:45 +0000151 OS << '\t' << Spec.getImplicitConstValue();
Benjamin Kramer21a50922011-09-15 04:15:59 +0000152 OS << '\n';
Benjamin Kramer4137b6a2011-09-15 04:00:58 +0000153 }
Benjamin Krameraa2f78f2011-09-13 19:42:23 +0000154 OS << '\n';
155}
156
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000157Optional<uint32_t>
158DWARFAbbreviationDeclaration::findAttributeIndex(dwarf::Attribute Attr) const {
Alexey Samsonov1eabf982014-03-13 07:52:54 +0000159 for (uint32_t i = 0, e = AttributeSpecs.size(); i != e; ++i) {
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000160 if (AttributeSpecs[i].Attr == Attr)
Benjamin Krameraa2f78f2011-09-13 19:42:23 +0000161 return i;
162 }
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000163 return None;
164}
165
Greg Clayton1cbf3fa2016-12-13 23:20:56 +0000166Optional<DWARFFormValue> DWARFAbbreviationDeclaration::getAttributeValue(
167 const uint32_t DIEOffset, const dwarf::Attribute Attr,
168 const DWARFUnit &U) const {
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000169 Optional<uint32_t> MatchAttrIndex = findAttributeIndex(Attr);
170 if (!MatchAttrIndex)
Greg Clayton1cbf3fa2016-12-13 23:20:56 +0000171 return None;
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000172
173 auto DebugInfoData = U.getDebugInfoExtractor();
174
175 // Add the byte size of ULEB that for the abbrev Code so we can start
176 // skipping the attribute data.
177 uint32_t Offset = DIEOffset + CodeByteSize;
178 uint32_t AttrIndex = 0;
179 for (const auto &Spec : AttributeSpecs) {
180 if (*MatchAttrIndex == AttrIndex) {
181 // We have arrived at the attribute to extract, extract if from Offset.
Greg Clayton1cbf3fa2016-12-13 23:20:56 +0000182 DWARFFormValue FormValue(Spec.Form);
Victor Leschukcbddae72017-01-10 21:18:26 +0000183 if (Spec.isImplicitConst()) {
Benjamin Kramereb14c112017-09-21 15:27:45 +0000184 FormValue.setSValue(Spec.getImplicitConstValue());
Victor Leschukcbddae72017-01-10 21:18:26 +0000185 return FormValue;
186 }
Greg Clayton1cbf3fa2016-12-13 23:20:56 +0000187 if (FormValue.extractValue(DebugInfoData, &Offset, &U))
188 return FormValue;
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000189 }
190 // March Offset along until we get to the attribute we want.
Victor Leschukcbddae72017-01-10 21:18:26 +0000191 if (auto FixedSize = Spec.getByteSize(U))
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000192 Offset += *FixedSize;
193 else
Paul Robinson75c068c2017-06-26 18:43:01 +0000194 DWARFFormValue::skipValue(Spec.Form, DebugInfoData, &Offset,
195 U.getFormParams());
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000196 ++AttrIndex;
197 }
Greg Clayton1cbf3fa2016-12-13 23:20:56 +0000198 return None;
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000199}
200
201size_t DWARFAbbreviationDeclaration::FixedSizeInfo::getByteSize(
202 const DWARFUnit &U) const {
203 size_t ByteSize = NumBytes;
204 if (NumAddrs)
205 ByteSize += NumAddrs * U.getAddressByteSize();
206 if (NumRefAddrs)
207 ByteSize += NumRefAddrs * U.getRefAddrByteSize();
208 if (NumDwarfOffsets)
209 ByteSize += NumDwarfOffsets * U.getDwarfOffsetByteSize();
210 return ByteSize;
211}
212
Victor Leschukcbddae72017-01-10 21:18:26 +0000213Optional<int64_t> DWARFAbbreviationDeclaration::AttributeSpec::getByteSize(
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000214 const DWARFUnit &U) const {
Victor Leschukcbddae72017-01-10 21:18:26 +0000215 if (isImplicitConst())
216 return 0;
Benjamin Kramereb14c112017-09-21 15:27:45 +0000217 if (ByteSize.HasByteSize)
218 return ByteSize.ByteSize;
Victor Leschukcbddae72017-01-10 21:18:26 +0000219 Optional<int64_t> S;
Paul Robinson75c068c2017-06-26 18:43:01 +0000220 auto FixedByteSize =
221 DWARFFormValue::getFixedByteSize(Form, U.getFormParams());
Victor Leschukcbddae72017-01-10 21:18:26 +0000222 if (FixedByteSize)
223 S = *FixedByteSize;
224 return S;
Greg Clayton6f6e4db2016-11-15 01:23:06 +0000225}
226
227Optional<size_t> DWARFAbbreviationDeclaration::getFixedAttributesByteSize(
228 const DWARFUnit &U) const {
229 if (FixedAttributeSize)
230 return FixedAttributeSize->getByteSize(U);
231 return None;
Benjamin Krameraa2f78f2011-09-13 19:42:23 +0000232}