Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 1 | //===- DWARFAcceleratorTable.cpp ------------------------------------------===// |
Frederic Riss | 7c41c64 | 2014-11-20 16:21:06 +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 | |
Zachary Turner | 82af943 | 2015-01-30 18:07:45 +0000 | [diff] [blame] | 10 | #include "llvm/DebugInfo/DWARF/DWARFAcceleratorTable.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 11 | |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 12 | #include "llvm/ADT/SmallVector.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 13 | #include "llvm/BinaryFormat/Dwarf.h" |
George Rimar | f8a9642 | 2017-04-21 09:12:18 +0000 | [diff] [blame] | 14 | #include "llvm/DebugInfo/DWARF/DWARFContext.h" |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 15 | #include "llvm/DebugInfo/DWARF/DWARFFormValue.h" |
| 16 | #include "llvm/DebugInfo/DWARF/DWARFRelocMap.h" |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 17 | #include "llvm/Support/Compiler.h" |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Format.h" |
| 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 | #include <utility> |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 23 | |
Eugene Zelenko | e94042c | 2017-02-27 23:43:14 +0000 | [diff] [blame] | 24 | using namespace llvm; |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 25 | |
| 26 | bool 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 Clayton | 6c27376 | 2016-10-27 16:32:04 +0000 | [diff] [blame] | 51 | auto AtomForm = static_cast<dwarf::Form>(AccelSection.getU16(&Offset)); |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 52 | HdrData.Atoms.push_back(std::make_pair(AtomType, AtomForm)); |
| 53 | } |
| 54 | |
| 55 | return true; |
| 56 | } |
| 57 | |
Spyridoula Gravani | e41823b | 2017-06-14 00:17:55 +0000 | [diff] [blame] | 58 | uint32_t DWARFAcceleratorTable::getNumBuckets() { return Hdr.NumBuckets; } |
| 59 | uint32_t DWARFAcceleratorTable::getNumHashes() { return Hdr.NumHashes; } |
| 60 | uint32_t DWARFAcceleratorTable::getSizeHdr() { return sizeof(Hdr); } |
| 61 | uint32_t DWARFAcceleratorTable::getHeaderDataLength() { |
| 62 | return Hdr.HeaderDataLength; |
| 63 | } |
| 64 | |
Spyridoula Gravani | 837c110 | 2017-06-29 20:13:05 +0000 | [diff] [blame] | 65 | ArrayRef<std::pair<DWARFAcceleratorTable::HeaderData::AtomType, |
| 66 | DWARFAcceleratorTable::HeaderData::Form>> |
| 67 | DWARFAcceleratorTable::getAtomsDesc() { |
| 68 | return HdrData.Atoms; |
| 69 | } |
| 70 | |
| 71 | bool DWARFAcceleratorTable::validateForms() { |
| 72 | for (auto Atom : getAtomsDesc()) { |
| 73 | DWARFFormValue FormValue(Atom.second); |
| 74 | switch (Atom.first) { |
| 75 | case dwarf::DW_ATOM_die_offset: |
Spyridoula Gravani | 70d35e1 | 2017-07-31 18:01:16 +0000 | [diff] [blame] | 76 | case dwarf::DW_ATOM_die_tag: |
| 77 | case dwarf::DW_ATOM_type_flags: |
Spyridoula Gravani | 837c110 | 2017-06-29 20:13:05 +0000 | [diff] [blame] | 78 | 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 Gravani | 70d35e1 | 2017-07-31 18:01:16 +0000 | [diff] [blame] | 89 | std::pair<uint32_t, dwarf::Tag> |
| 90 | DWARFAcceleratorTable::readAtoms(uint32_t &HashDataOffset) { |
Spyridoula Gravani | 837c110 | 2017-06-29 20:13:05 +0000 | [diff] [blame] | 91 | uint32_t DieOffset = dwarf::DW_INVALID_OFFSET; |
Spyridoula Gravani | 70d35e1 | 2017-07-31 18:01:16 +0000 | [diff] [blame] | 92 | dwarf::Tag DieTag = dwarf::DW_TAG_null; |
Spyridoula Gravani | 837c110 | 2017-06-29 20:13:05 +0000 | [diff] [blame] | 93 | |
| 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 Gravani | 70d35e1 | 2017-07-31 18:01:16 +0000 | [diff] [blame] | 101 | case dwarf::DW_ATOM_die_tag: |
| 102 | DieTag = (dwarf::Tag)*FormValue.getAsUnsignedConstant(); |
| 103 | break; |
Spyridoula Gravani | 837c110 | 2017-06-29 20:13:05 +0000 | [diff] [blame] | 104 | default: |
| 105 | break; |
| 106 | } |
| 107 | } |
Spyridoula Gravani | 70d35e1 | 2017-07-31 18:01:16 +0000 | [diff] [blame] | 108 | return {DieOffset, DieTag}; |
Spyridoula Gravani | 837c110 | 2017-06-29 20:13:05 +0000 | [diff] [blame] | 109 | } |
| 110 | |
Matthias Braun | 8c209aa | 2017-01-28 02:02:38 +0000 | [diff] [blame] | 111 | LLVM_DUMP_METHOD void DWARFAcceleratorTable::dump(raw_ostream &OS) const { |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 112 | // 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 Riss | 77a0743 | 2014-11-20 16:21:11 +0000 | [diff] [blame] | 123 | SmallVector<DWARFFormValue, 3> AtomForms; |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 124 | for (const auto &Atom: HdrData.Atoms) { |
| 125 | OS << format("Atom[%d] Type: ", i++); |
Mehdi Amini | 149f6ea | 2016-10-05 05:59:29 +0000 | [diff] [blame] | 126 | auto TypeString = dwarf::AtomTypeString(Atom.first); |
| 127 | if (!TypeString.empty()) |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 128 | OS << TypeString; |
| 129 | else |
| 130 | OS << format("DW_ATOM_Unknown_0x%x", Atom.first); |
| 131 | OS << " Form: "; |
Mehdi Amini | 149f6ea | 2016-10-05 05:59:29 +0000 | [diff] [blame] | 132 | auto FormString = dwarf::FormEncodingString(Atom.second); |
| 133 | if (!FormString.empty()) |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 134 | OS << FormString; |
| 135 | else |
Frederic Riss | 77a0743 | 2014-11-20 16:21:11 +0000 | [diff] [blame] | 136 | OS << format("DW_FORM_Unknown_0x%x", Atom.second); |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 137 | OS << '\n'; |
Frederic Riss | 77a0743 | 2014-11-20 16:21:11 +0000 | [diff] [blame] | 138 | AtomForms.push_back(DWARFFormValue(Atom.second)); |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 139 | } |
| 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 Riss | 7c50047 | 2014-11-14 19:30:08 +0000 | [diff] [blame] | 169 | while (AccelSection.isValidOffsetForDataOfSize(DataOffset, 4)) { |
Paul Robinson | 17536b9 | 2017-06-29 16:52:08 +0000 | [diff] [blame] | 170 | unsigned StringOffset = AccelSection.getRelocatedValue(4, &DataOffset); |
Frederic Riss | 7c50047 | 2014-11-14 19:30:08 +0000 | [diff] [blame] | 171 | if (!StringOffset) |
| 172 | break; |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 173 | 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 Riss | 77a0743 | 2014-11-20 16:21:11 +0000 | [diff] [blame] | 179 | for (auto &Atom : AtomForms) { |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 180 | OS << format("{Atom[%d]: ", i++); |
Frederic Riss | 77a0743 | 2014-11-20 16:21:11 +0000 | [diff] [blame] | 181 | if (Atom.extractValue(AccelSection, &DataOffset, nullptr)) |
Greg Clayton | cddab27 | 2016-10-31 16:46:02 +0000 | [diff] [blame] | 182 | Atom.dump(OS); |
Frederic Riss | e837ec2 | 2014-11-14 16:15:53 +0000 | [diff] [blame] | 183 | else |
| 184 | OS << "Error extracting the value"; |
| 185 | OS << "} "; |
| 186 | } |
| 187 | OS << '\n'; |
| 188 | } |
| 189 | } |
| 190 | } |
| 191 | } |
| 192 | } |