Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 1 | //===- DWARFAbbreviationDeclaration.cpp -----------------------------------===// |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 2 | // |
| 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 Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 10 | #include "llvm/DebugInfo/DWARF/DWARFAbbreviationDeclaration.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 11 | |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 12 | #include "llvm/ADT/None.h" |
| 13 | #include "llvm/ADT/Optional.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 14 | #include "llvm/BinaryFormat/Dwarf.h" |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 15 | #include "llvm/DebugInfo/DWARF/DWARFFormValue.h" |
| 16 | #include "llvm/DebugInfo/DWARF/DWARFUnit.h" |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 17 | #include "llvm/Support/DataExtractor.h" |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Format.h" |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 19 | #include "llvm/Support/raw_ostream.h" |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 20 | #include <cstddef> |
| 21 | #include <cstdint> |
| 22 | |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 23 | using namespace llvm; |
| 24 | using namespace dwarf; |
| 25 | |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 26 | void DWARFAbbreviationDeclaration::clear() { |
| 27 | Code = 0; |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 28 | Tag = DW_TAG_null; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 29 | CodeByteSize = 0; |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 30 | HasChildren = false; |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 31 | AttributeSpecs.clear(); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 32 | FixedAttributeSize.reset(); |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 33 | } |
| 34 | |
| 35 | DWARFAbbreviationDeclaration::DWARFAbbreviationDeclaration() { |
| 36 | clear(); |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | bool |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 40 | DWARFAbbreviationDeclaration::extract(DataExtractor Data, |
| 41 | uint32_t* OffsetPtr) { |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 42 | clear(); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 43 | const uint32_t Offset = *OffsetPtr; |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 44 | Code = Data.getULEB128(OffsetPtr); |
| 45 | if (Code == 0) { |
| 46 | return false; |
| 47 | } |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 48 | CodeByteSize = *OffsetPtr - Offset; |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 49 | Tag = static_cast<llvm::dwarf::Tag>(Data.getULEB128(OffsetPtr)); |
| 50 | if (Tag == DW_TAG_null) { |
| 51 | clear(); |
| 52 | return false; |
| 53 | } |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 54 | uint8_t ChildrenByte = Data.getU8(OffsetPtr); |
| 55 | HasChildren = (ChildrenByte == DW_CHILDREN_yes); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 56 | // 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 Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 60 | |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 61 | // Read all of the abbreviation attributes and forms. |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 62 | while (true) { |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 63 | auto A = static_cast<Attribute>(Data.getULEB128(OffsetPtr)); |
| 64 | auto F = static_cast<Form>(Data.getULEB128(OffsetPtr)); |
| 65 | if (A && F) { |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 66 | bool IsImplicitConst = (F == DW_FORM_implicit_const); |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 67 | if (IsImplicitConst) { |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 68 | int64_t V = Data.getSLEB128(OffsetPtr); |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 69 | AttributeSpecs.push_back(AttributeSpec(A, F, V)); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 70 | continue; |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 71 | } |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 72 | Optional<uint8_t> ByteSize; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 73 | // If this abbrevation still has a fixed byte size, then update the |
| 74 | // FixedAttributeSize as needed. |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 75 | switch (F) { |
| 76 | case DW_FORM_addr: |
| 77 | if (FixedAttributeSize) |
| 78 | ++FixedAttributeSize->NumAddrs; |
| 79 | break; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 80 | |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 81 | case DW_FORM_ref_addr: |
| 82 | if (FixedAttributeSize) |
| 83 | ++FixedAttributeSize->NumRefAddrs; |
| 84 | break; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 85 | |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 86 | 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 Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 95 | |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 96 | 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 Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 99 | if ((ByteSize = |
| 100 | DWARFFormValue::getFixedByteSize(F, DWARFFormParams()))) { |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 101 | if (FixedAttributeSize) |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 102 | FixedAttributeSize->NumBytes += *ByteSize; |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 103 | break; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 104 | } |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 105 | // 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 Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 110 | } |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 111 | // Record this attribute and its fixed size if it has one. |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 112 | AttributeSpecs.push_back(AttributeSpec(A, F, ByteSize)); |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 113 | } 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 Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 116 | break; |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 117 | } 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 Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 125 | } |
| 126 | return true; |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 127 | } |
| 128 | |
| 129 | void DWARFAbbreviationDeclaration::dump(raw_ostream &OS) const { |
Mehdi Amini | 149f6ea | 2016-10-05 05:59:29 +0000 | [diff] [blame] | 130 | auto tagString = TagString(getTag()); |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 131 | OS << '[' << getCode() << "] "; |
Mehdi Amini | 149f6ea | 2016-10-05 05:59:29 +0000 | [diff] [blame] | 132 | if (!tagString.empty()) |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 133 | OS << tagString; |
| 134 | else |
| 135 | OS << format("DW_TAG_Unknown_%x", getTag()); |
| 136 | OS << "\tDW_CHILDREN_" << (hasChildren() ? "yes" : "no") << '\n'; |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 137 | for (const AttributeSpec &Spec : AttributeSpecs) { |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 138 | OS << '\t'; |
Mehdi Amini | 149f6ea | 2016-10-05 05:59:29 +0000 | [diff] [blame] | 139 | auto attrString = AttributeString(Spec.Attr); |
| 140 | if (!attrString.empty()) |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 141 | OS << attrString; |
| 142 | else |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 143 | OS << format("DW_AT_Unknown_%x", Spec.Attr); |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 144 | OS << '\t'; |
Mehdi Amini | 149f6ea | 2016-10-05 05:59:29 +0000 | [diff] [blame] | 145 | auto formString = FormEncodingString(Spec.Form); |
| 146 | if (!formString.empty()) |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 147 | OS << formString; |
| 148 | else |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 149 | OS << format("DW_FORM_Unknown_%x", Spec.Form); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 150 | if (Spec.isImplicitConst()) |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 151 | OS << '\t' << Spec.getImplicitConstValue(); |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 152 | OS << '\n'; |
Benjamin Kramer | 4137b6a | 2011-09-15 04:00:58 +0000 | [diff] [blame] | 153 | } |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 154 | OS << '\n'; |
| 155 | } |
| 156 | |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 157 | Optional<uint32_t> |
| 158 | DWARFAbbreviationDeclaration::findAttributeIndex(dwarf::Attribute Attr) const { |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 159 | for (uint32_t i = 0, e = AttributeSpecs.size(); i != e; ++i) { |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 160 | if (AttributeSpecs[i].Attr == Attr) |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 161 | return i; |
| 162 | } |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 163 | return None; |
| 164 | } |
| 165 | |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 166 | Optional<DWARFFormValue> DWARFAbbreviationDeclaration::getAttributeValue( |
| 167 | const uint32_t DIEOffset, const dwarf::Attribute Attr, |
| 168 | const DWARFUnit &U) const { |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 169 | Optional<uint32_t> MatchAttrIndex = findAttributeIndex(Attr); |
| 170 | if (!MatchAttrIndex) |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 171 | return None; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 172 | |
| 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 Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 182 | DWARFFormValue FormValue(Spec.Form); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 183 | if (Spec.isImplicitConst()) { |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 184 | FormValue.setSValue(Spec.getImplicitConstValue()); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 185 | return FormValue; |
| 186 | } |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 187 | if (FormValue.extractValue(DebugInfoData, &Offset, &U)) |
| 188 | return FormValue; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 189 | } |
| 190 | // March Offset along until we get to the attribute we want. |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 191 | if (auto FixedSize = Spec.getByteSize(U)) |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 192 | Offset += *FixedSize; |
| 193 | else |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 194 | DWARFFormValue::skipValue(Spec.Form, DebugInfoData, &Offset, |
| 195 | U.getFormParams()); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 196 | ++AttrIndex; |
| 197 | } |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 198 | return None; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 199 | } |
| 200 | |
| 201 | size_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 Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 213 | Optional<int64_t> DWARFAbbreviationDeclaration::AttributeSpec::getByteSize( |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 214 | const DWARFUnit &U) const { |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 215 | if (isImplicitConst()) |
| 216 | return 0; |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame^] | 217 | if (ByteSize.HasByteSize) |
| 218 | return ByteSize.ByteSize; |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 219 | Optional<int64_t> S; |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 220 | auto FixedByteSize = |
| 221 | DWARFFormValue::getFixedByteSize(Form, U.getFormParams()); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 222 | if (FixedByteSize) |
| 223 | S = *FixedByteSize; |
| 224 | return S; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 225 | } |
| 226 | |
| 227 | Optional<size_t> DWARFAbbreviationDeclaration::getFixedAttributesByteSize( |
| 228 | const DWARFUnit &U) const { |
| 229 | if (FixedAttributeSize) |
| 230 | return FixedAttributeSize->getByteSize(U); |
| 231 | return None; |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 232 | } |