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" |
Pavel Labath | 9025f95 | 2018-03-21 11:46:37 +0000 | [diff] [blame] | 19 | #include "llvm/Support/FormatVariadic.h" |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 20 | #include "llvm/Support/raw_ostream.h" |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 21 | #include <cstddef> |
| 22 | #include <cstdint> |
| 23 | |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 24 | using namespace llvm; |
| 25 | using namespace dwarf; |
| 26 | |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 27 | void DWARFAbbreviationDeclaration::clear() { |
| 28 | Code = 0; |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 29 | Tag = DW_TAG_null; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 30 | CodeByteSize = 0; |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 31 | HasChildren = false; |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 32 | AttributeSpecs.clear(); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 33 | FixedAttributeSize.reset(); |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | DWARFAbbreviationDeclaration::DWARFAbbreviationDeclaration() { |
| 37 | clear(); |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 38 | } |
| 39 | |
| 40 | bool |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 41 | DWARFAbbreviationDeclaration::extract(DataExtractor Data, |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 42 | uint32_t* OffsetPtr) { |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 43 | clear(); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 44 | const uint32_t Offset = *OffsetPtr; |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 45 | Code = Data.getULEB128(OffsetPtr); |
| 46 | if (Code == 0) { |
| 47 | return false; |
| 48 | } |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 49 | CodeByteSize = *OffsetPtr - Offset; |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 50 | Tag = static_cast<llvm::dwarf::Tag>(Data.getULEB128(OffsetPtr)); |
| 51 | if (Tag == DW_TAG_null) { |
| 52 | clear(); |
| 53 | return false; |
| 54 | } |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 55 | uint8_t ChildrenByte = Data.getU8(OffsetPtr); |
| 56 | HasChildren = (ChildrenByte == DW_CHILDREN_yes); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 57 | // Assign a value to our optional FixedAttributeSize member variable. If |
| 58 | // this member variable still has a value after the while loop below, then |
| 59 | // all attribute data in this abbreviation declaration has a fixed byte size. |
| 60 | FixedAttributeSize = FixedSizeInfo(); |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 61 | |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 62 | // Read all of the abbreviation attributes and forms. |
Alexey Samsonov | d5cc93c | 2013-10-31 17:20:14 +0000 | [diff] [blame] | 63 | while (true) { |
Greg Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 64 | auto A = static_cast<Attribute>(Data.getULEB128(OffsetPtr)); |
| 65 | auto F = static_cast<Form>(Data.getULEB128(OffsetPtr)); |
| 66 | if (A && F) { |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 67 | bool IsImplicitConst = (F == DW_FORM_implicit_const); |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 68 | if (IsImplicitConst) { |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame] | 69 | int64_t V = Data.getSLEB128(OffsetPtr); |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 70 | AttributeSpecs.push_back(AttributeSpec(A, F, V)); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 71 | continue; |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 72 | } |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame] | 73 | Optional<uint8_t> ByteSize; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 74 | // If this abbrevation still has a fixed byte size, then update the |
| 75 | // FixedAttributeSize as needed. |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 76 | switch (F) { |
| 77 | case DW_FORM_addr: |
| 78 | if (FixedAttributeSize) |
| 79 | ++FixedAttributeSize->NumAddrs; |
| 80 | break; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 81 | |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 82 | case DW_FORM_ref_addr: |
| 83 | if (FixedAttributeSize) |
| 84 | ++FixedAttributeSize->NumRefAddrs; |
| 85 | break; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 86 | |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 87 | case DW_FORM_strp: |
| 88 | case DW_FORM_GNU_ref_alt: |
| 89 | case DW_FORM_GNU_strp_alt: |
| 90 | case DW_FORM_line_strp: |
| 91 | case DW_FORM_sec_offset: |
| 92 | case DW_FORM_strp_sup: |
| 93 | if (FixedAttributeSize) |
| 94 | ++FixedAttributeSize->NumDwarfOffsets; |
| 95 | break; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 96 | |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 97 | default: |
| 98 | // The form has a byte size that doesn't depend on Params. |
| 99 | // If it's a fixed size, keep track of it. |
Pavel Labath | 322711f | 2018-03-14 09:39:54 +0000 | [diff] [blame] | 100 | if ((ByteSize = dwarf::getFixedFormByteSize(F, dwarf::FormParams()))) { |
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 { |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 130 | OS << '[' << getCode() << "] "; |
Pavel Labath | 9025f95 | 2018-03-21 11:46:37 +0000 | [diff] [blame] | 131 | OS << formatv("{0}", getTag()); |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 132 | OS << "\tDW_CHILDREN_" << (hasChildren() ? "yes" : "no") << '\n'; |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 133 | for (const AttributeSpec &Spec : AttributeSpecs) { |
Pavel Labath | 9025f95 | 2018-03-21 11:46:37 +0000 | [diff] [blame] | 134 | OS << formatv("\t{0}\t{1}", Spec.Attr, Spec.Form); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 135 | if (Spec.isImplicitConst()) |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame] | 136 | OS << '\t' << Spec.getImplicitConstValue(); |
Benjamin Kramer | 21a5092 | 2011-09-15 04:15:59 +0000 | [diff] [blame] | 137 | OS << '\n'; |
Benjamin Kramer | 4137b6a | 2011-09-15 04:00:58 +0000 | [diff] [blame] | 138 | } |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 139 | OS << '\n'; |
| 140 | } |
| 141 | |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 142 | Optional<uint32_t> |
| 143 | DWARFAbbreviationDeclaration::findAttributeIndex(dwarf::Attribute Attr) const { |
Alexey Samsonov | 1eabf98 | 2014-03-13 07:52:54 +0000 | [diff] [blame] | 144 | for (uint32_t i = 0, e = AttributeSpecs.size(); i != e; ++i) { |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 145 | if (AttributeSpecs[i].Attr == Attr) |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 146 | return i; |
| 147 | } |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 148 | return None; |
| 149 | } |
| 150 | |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 151 | Optional<DWARFFormValue> DWARFAbbreviationDeclaration::getAttributeValue( |
| 152 | const uint32_t DIEOffset, const dwarf::Attribute Attr, |
| 153 | const DWARFUnit &U) const { |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 154 | Optional<uint32_t> MatchAttrIndex = findAttributeIndex(Attr); |
| 155 | if (!MatchAttrIndex) |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 156 | return None; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 157 | |
| 158 | auto DebugInfoData = U.getDebugInfoExtractor(); |
| 159 | |
| 160 | // Add the byte size of ULEB that for the abbrev Code so we can start |
| 161 | // skipping the attribute data. |
| 162 | uint32_t Offset = DIEOffset + CodeByteSize; |
| 163 | uint32_t AttrIndex = 0; |
| 164 | for (const auto &Spec : AttributeSpecs) { |
| 165 | if (*MatchAttrIndex == AttrIndex) { |
| 166 | // We have arrived at the attribute to extract, extract if from Offset. |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 167 | DWARFFormValue FormValue(Spec.Form); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 168 | if (Spec.isImplicitConst()) { |
Benjamin Kramer | eb14c11 | 2017-09-21 15:27:45 +0000 | [diff] [blame] | 169 | FormValue.setSValue(Spec.getImplicitConstValue()); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 170 | return FormValue; |
| 171 | } |
Paul Robinson | e5400f8 | 2017-11-07 19:57:12 +0000 | [diff] [blame] | 172 | if (FormValue.extractValue(DebugInfoData, &Offset, U.getFormParams(), &U)) |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 173 | return FormValue; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 174 | } |
| 175 | // March Offset along until we get to the attribute we want. |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 176 | if (auto FixedSize = Spec.getByteSize(U)) |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 177 | Offset += *FixedSize; |
| 178 | else |
Paul Robinson | 75c068c | 2017-06-26 18:43:01 +0000 | [diff] [blame] | 179 | DWARFFormValue::skipValue(Spec.Form, DebugInfoData, &Offset, |
| 180 | U.getFormParams()); |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 181 | ++AttrIndex; |
| 182 | } |
Greg Clayton | 1cbf3fa | 2016-12-13 23:20:56 +0000 | [diff] [blame] | 183 | return None; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 184 | } |
| 185 | |
| 186 | size_t DWARFAbbreviationDeclaration::FixedSizeInfo::getByteSize( |
| 187 | const DWARFUnit &U) const { |
| 188 | size_t ByteSize = NumBytes; |
| 189 | if (NumAddrs) |
| 190 | ByteSize += NumAddrs * U.getAddressByteSize(); |
| 191 | if (NumRefAddrs) |
| 192 | ByteSize += NumRefAddrs * U.getRefAddrByteSize(); |
| 193 | if (NumDwarfOffsets) |
| 194 | ByteSize += NumDwarfOffsets * U.getDwarfOffsetByteSize(); |
| 195 | return ByteSize; |
| 196 | } |
| 197 | |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 198 | Optional<int64_t> DWARFAbbreviationDeclaration::AttributeSpec::getByteSize( |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 199 | const DWARFUnit &U) const { |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 200 | if (isImplicitConst()) |
| 201 | return 0; |
Benjamin Kramer | 0fad6dd | 2017-10-31 19:55:08 +0000 | [diff] [blame] | 202 | if (ByteSize.HasByteSize) |
| 203 | return ByteSize.ByteSize; |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 204 | Optional<int64_t> S; |
Pavel Labath | 322711f | 2018-03-14 09:39:54 +0000 | [diff] [blame] | 205 | auto FixedByteSize = dwarf::getFixedFormByteSize(Form, U.getFormParams()); |
Victor Leschuk | cbddae7 | 2017-01-10 21:18:26 +0000 | [diff] [blame] | 206 | if (FixedByteSize) |
| 207 | S = *FixedByteSize; |
| 208 | return S; |
Greg Clayton | 6f6e4db | 2016-11-15 01:23:06 +0000 | [diff] [blame] | 209 | } |
| 210 | |
| 211 | Optional<size_t> DWARFAbbreviationDeclaration::getFixedAttributesByteSize( |
| 212 | const DWARFUnit &U) const { |
| 213 | if (FixedAttributeSize) |
| 214 | return FixedAttributeSize->getByteSize(U); |
| 215 | return None; |
Benjamin Kramer | aa2f78f | 2011-09-13 19:42:23 +0000 | [diff] [blame] | 216 | } |