blob: f17b00e5605b52eed93f6b26b1b5719c5a2480a5 [file] [log] [blame]
Eugene Zelenkoe94042c2017-02-27 23:43:14 +00001//===- DWARFAcceleratorTable.cpp ------------------------------------------===//
Frederic Riss7c41c642014-11-20 16:21:06 +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
Zachary Turner82af9432015-01-30 18:07:45 +000010#include "llvm/DebugInfo/DWARF/DWARFAcceleratorTable.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000011
Chandler Carruth6bda14b2017-06-06 11:49:48 +000012#include "llvm/ADT/SmallVector.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000013#include "llvm/BinaryFormat/Dwarf.h"
George Rimarf8a96422017-04-21 09:12:18 +000014#include "llvm/DebugInfo/DWARF/DWARFContext.h"
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000015#include "llvm/DebugInfo/DWARF/DWARFFormValue.h"
16#include "llvm/DebugInfo/DWARF/DWARFRelocMap.h"
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000017#include "llvm/Support/Compiler.h"
Frederic Risse837ec22014-11-14 16:15:53 +000018#include "llvm/Support/Format.h"
19#include "llvm/Support/raw_ostream.h"
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000020#include <cstddef>
21#include <cstdint>
22#include <utility>
Frederic Risse837ec22014-11-14 16:15:53 +000023
Eugene Zelenkoe94042c2017-02-27 23:43:14 +000024using namespace llvm;
Frederic Risse837ec22014-11-14 16:15:53 +000025
26bool DWARFAcceleratorTable::extract() {
27 uint32_t Offset = 0;
28
29 // Check that we can at least read the header.
30 if (!AccelSection.isValidOffset(offsetof(Header, HeaderDataLength)+4))
31 return false;
32
33 Hdr.Magic = AccelSection.getU32(&Offset);
34 Hdr.Version = AccelSection.getU16(&Offset);
35 Hdr.HashFunction = AccelSection.getU16(&Offset);
36 Hdr.NumBuckets = AccelSection.getU32(&Offset);
37 Hdr.NumHashes = AccelSection.getU32(&Offset);
38 Hdr.HeaderDataLength = AccelSection.getU32(&Offset);
39
40 // Check that we can read all the hashes and offsets from the
41 // section (see SourceLevelDebugging.rst for the structure of the index).
42 if (!AccelSection.isValidOffset(sizeof(Hdr) + Hdr.HeaderDataLength +
43 Hdr.NumBuckets*4 + Hdr.NumHashes*8))
44 return false;
45
46 HdrData.DIEOffsetBase = AccelSection.getU32(&Offset);
47 uint32_t NumAtoms = AccelSection.getU32(&Offset);
48
49 for (unsigned i = 0; i < NumAtoms; ++i) {
50 uint16_t AtomType = AccelSection.getU16(&Offset);
Greg Clayton6c273762016-10-27 16:32:04 +000051 auto AtomForm = static_cast<dwarf::Form>(AccelSection.getU16(&Offset));
Frederic Risse837ec22014-11-14 16:15:53 +000052 HdrData.Atoms.push_back(std::make_pair(AtomType, AtomForm));
53 }
54
55 return true;
56}
57
Spyridoula Gravanie41823b2017-06-14 00:17:55 +000058uint32_t DWARFAcceleratorTable::getNumBuckets() { return Hdr.NumBuckets; }
59uint32_t DWARFAcceleratorTable::getNumHashes() { return Hdr.NumHashes; }
60uint32_t DWARFAcceleratorTable::getSizeHdr() { return sizeof(Hdr); }
61uint32_t DWARFAcceleratorTable::getHeaderDataLength() {
62 return Hdr.HeaderDataLength;
63}
64
Spyridoula Gravani837c1102017-06-29 20:13:05 +000065ArrayRef<std::pair<DWARFAcceleratorTable::HeaderData::AtomType,
66 DWARFAcceleratorTable::HeaderData::Form>>
67DWARFAcceleratorTable::getAtomsDesc() {
68 return HdrData.Atoms;
69}
70
71bool DWARFAcceleratorTable::validateForms() {
72 for (auto Atom : getAtomsDesc()) {
73 DWARFFormValue FormValue(Atom.second);
74 switch (Atom.first) {
75 case dwarf::DW_ATOM_die_offset:
Spyridoula Gravani70d35e12017-07-31 18:01:16 +000076 case dwarf::DW_ATOM_die_tag:
77 case dwarf::DW_ATOM_type_flags:
Spyridoula Gravani837c1102017-06-29 20:13:05 +000078 if ((!FormValue.isFormClass(DWARFFormValue::FC_Constant) &&
79 !FormValue.isFormClass(DWARFFormValue::FC_Flag)) ||
80 FormValue.getForm() == dwarf::DW_FORM_sdata)
81 return false;
82 default:
83 break;
84 }
85 }
86 return true;
87}
88
Spyridoula Gravani70d35e12017-07-31 18:01:16 +000089std::pair<uint32_t, dwarf::Tag>
90DWARFAcceleratorTable::readAtoms(uint32_t &HashDataOffset) {
Spyridoula Gravani837c1102017-06-29 20:13:05 +000091 uint32_t DieOffset = dwarf::DW_INVALID_OFFSET;
Spyridoula Gravani70d35e12017-07-31 18:01:16 +000092 dwarf::Tag DieTag = dwarf::DW_TAG_null;
Spyridoula Gravani837c1102017-06-29 20:13:05 +000093
94 for (auto Atom : getAtomsDesc()) {
95 DWARFFormValue FormValue(Atom.second);
96 FormValue.extractValue(AccelSection, &HashDataOffset, NULL);
97 switch (Atom.first) {
98 case dwarf::DW_ATOM_die_offset:
99 DieOffset = *FormValue.getAsUnsignedConstant();
100 break;
Spyridoula Gravani70d35e12017-07-31 18:01:16 +0000101 case dwarf::DW_ATOM_die_tag:
102 DieTag = (dwarf::Tag)*FormValue.getAsUnsignedConstant();
103 break;
Spyridoula Gravani837c1102017-06-29 20:13:05 +0000104 default:
105 break;
106 }
107 }
Spyridoula Gravani70d35e12017-07-31 18:01:16 +0000108 return {DieOffset, DieTag};
Spyridoula Gravani837c1102017-06-29 20:13:05 +0000109}
110
Matthias Braun8c209aa2017-01-28 02:02:38 +0000111LLVM_DUMP_METHOD void DWARFAcceleratorTable::dump(raw_ostream &OS) const {
Frederic Risse837ec22014-11-14 16:15:53 +0000112 // Dump the header.
113 OS << "Magic = " << format("0x%08x", Hdr.Magic) << '\n'
114 << "Version = " << format("0x%04x", Hdr.Version) << '\n'
115 << "Hash function = " << format("0x%08x", Hdr.HashFunction) << '\n'
116 << "Bucket count = " << Hdr.NumBuckets << '\n'
117 << "Hashes count = " << Hdr.NumHashes << '\n'
118 << "HeaderData length = " << Hdr.HeaderDataLength << '\n'
119 << "DIE offset base = " << HdrData.DIEOffsetBase << '\n'
120 << "Number of atoms = " << HdrData.Atoms.size() << '\n';
121
122 unsigned i = 0;
Frederic Riss77a07432014-11-20 16:21:11 +0000123 SmallVector<DWARFFormValue, 3> AtomForms;
Frederic Risse837ec22014-11-14 16:15:53 +0000124 for (const auto &Atom: HdrData.Atoms) {
125 OS << format("Atom[%d] Type: ", i++);
Mehdi Amini149f6ea2016-10-05 05:59:29 +0000126 auto TypeString = dwarf::AtomTypeString(Atom.first);
127 if (!TypeString.empty())
Frederic Risse837ec22014-11-14 16:15:53 +0000128 OS << TypeString;
129 else
130 OS << format("DW_ATOM_Unknown_0x%x", Atom.first);
131 OS << " Form: ";
Mehdi Amini149f6ea2016-10-05 05:59:29 +0000132 auto FormString = dwarf::FormEncodingString(Atom.second);
133 if (!FormString.empty())
Frederic Risse837ec22014-11-14 16:15:53 +0000134 OS << FormString;
135 else
Frederic Riss77a07432014-11-20 16:21:11 +0000136 OS << format("DW_FORM_Unknown_0x%x", Atom.second);
Frederic Risse837ec22014-11-14 16:15:53 +0000137 OS << '\n';
Frederic Riss77a07432014-11-20 16:21:11 +0000138 AtomForms.push_back(DWARFFormValue(Atom.second));
Frederic Risse837ec22014-11-14 16:15:53 +0000139 }
140
141 // Now go through the actual tables and dump them.
142 uint32_t Offset = sizeof(Hdr) + Hdr.HeaderDataLength;
143 unsigned HashesBase = Offset + Hdr.NumBuckets * 4;
144 unsigned OffsetsBase = HashesBase + Hdr.NumHashes * 4;
145
146 for (unsigned Bucket = 0; Bucket < Hdr.NumBuckets; ++Bucket) {
147 unsigned Index = AccelSection.getU32(&Offset);
148
149 OS << format("Bucket[%d]\n", Bucket);
150 if (Index == UINT32_MAX) {
151 OS << " EMPTY\n";
152 continue;
153 }
154
155 for (unsigned HashIdx = Index; HashIdx < Hdr.NumHashes; ++HashIdx) {
156 unsigned HashOffset = HashesBase + HashIdx*4;
157 unsigned OffsetsOffset = OffsetsBase + HashIdx*4;
158 uint32_t Hash = AccelSection.getU32(&HashOffset);
159
160 if (Hash % Hdr.NumBuckets != Bucket)
161 break;
162
163 unsigned DataOffset = AccelSection.getU32(&OffsetsOffset);
164 OS << format(" Hash = 0x%08x Offset = 0x%08x\n", Hash, DataOffset);
165 if (!AccelSection.isValidOffset(DataOffset)) {
166 OS << " Invalid section offset\n";
167 continue;
168 }
Frederic Riss7c500472014-11-14 19:30:08 +0000169 while (AccelSection.isValidOffsetForDataOfSize(DataOffset, 4)) {
Paul Robinson17536b92017-06-29 16:52:08 +0000170 unsigned StringOffset = AccelSection.getRelocatedValue(4, &DataOffset);
Frederic Riss7c500472014-11-14 19:30:08 +0000171 if (!StringOffset)
172 break;
Frederic Risse837ec22014-11-14 16:15:53 +0000173 OS << format(" Name: %08x \"%s\"\n", StringOffset,
174 StringSection.getCStr(&StringOffset));
175 unsigned NumData = AccelSection.getU32(&DataOffset);
176 for (unsigned Data = 0; Data < NumData; ++Data) {
177 OS << format(" Data[%d] => ", Data);
178 unsigned i = 0;
Frederic Riss77a07432014-11-20 16:21:11 +0000179 for (auto &Atom : AtomForms) {
Frederic Risse837ec22014-11-14 16:15:53 +0000180 OS << format("{Atom[%d]: ", i++);
Frederic Riss77a07432014-11-20 16:21:11 +0000181 if (Atom.extractValue(AccelSection, &DataOffset, nullptr))
Greg Claytoncddab272016-10-31 16:46:02 +0000182 Atom.dump(OS);
Frederic Risse837ec22014-11-14 16:15:53 +0000183 else
184 OS << "Error extracting the value";
185 OS << "} ";
186 }
187 OS << '\n';
188 }
189 }
190 }
191 }
192}