1e94042caSEugene Zelenko //===- DWARFAcceleratorTable.cpp ------------------------------------------===//
282af9438SZachary Turner //
382af9438SZachary Turner //                     The LLVM Compiler Infrastructure
482af9438SZachary Turner //
582af9438SZachary Turner // This file is distributed under the University of Illinois Open Source
682af9438SZachary Turner // License. See LICENSE.TXT for details.
782af9438SZachary Turner //
882af9438SZachary Turner //===----------------------------------------------------------------------===//
982af9438SZachary Turner 
1082af9438SZachary Turner #include "llvm/DebugInfo/DWARF/DWARFAcceleratorTable.h"
11264b5d9eSZachary Turner 
126bda14b3SChandler Carruth #include "llvm/ADT/SmallVector.h"
13264b5d9eSZachary Turner #include "llvm/BinaryFormat/Dwarf.h"
14f8a96425SGeorge Rimar #include "llvm/DebugInfo/DWARF/DWARFContext.h"
15e94042caSEugene Zelenko #include "llvm/DebugInfo/DWARF/DWARFFormValue.h"
16e94042caSEugene Zelenko #include "llvm/DebugInfo/DWARF/DWARFRelocMap.h"
17e94042caSEugene Zelenko #include "llvm/Support/Compiler.h"
1882af9438SZachary Turner #include "llvm/Support/Format.h"
1982af9438SZachary Turner #include "llvm/Support/raw_ostream.h"
20e94042caSEugene Zelenko #include <cstddef>
21e94042caSEugene Zelenko #include <cstdint>
22e94042caSEugene Zelenko #include <utility>
2382af9438SZachary Turner 
24e94042caSEugene Zelenko using namespace llvm;
2582af9438SZachary Turner 
2682af9438SZachary Turner bool DWARFAcceleratorTable::extract() {
2782af9438SZachary Turner   uint32_t Offset = 0;
2882af9438SZachary Turner 
2982af9438SZachary Turner   // Check that we can at least read the header.
3082af9438SZachary Turner   if (!AccelSection.isValidOffset(offsetof(Header, HeaderDataLength)+4))
3182af9438SZachary Turner     return false;
3282af9438SZachary Turner 
3382af9438SZachary Turner   Hdr.Magic = AccelSection.getU32(&Offset);
3482af9438SZachary Turner   Hdr.Version = AccelSection.getU16(&Offset);
3582af9438SZachary Turner   Hdr.HashFunction = AccelSection.getU16(&Offset);
3682af9438SZachary Turner   Hdr.NumBuckets = AccelSection.getU32(&Offset);
3782af9438SZachary Turner   Hdr.NumHashes = AccelSection.getU32(&Offset);
3882af9438SZachary Turner   Hdr.HeaderDataLength = AccelSection.getU32(&Offset);
3982af9438SZachary Turner 
4082af9438SZachary Turner   // Check that we can read all the hashes and offsets from the
4182af9438SZachary Turner   // section (see SourceLevelDebugging.rst for the structure of the index).
4282af9438SZachary Turner   if (!AccelSection.isValidOffset(sizeof(Hdr) + Hdr.HeaderDataLength +
4382af9438SZachary Turner                                   Hdr.NumBuckets*4 + Hdr.NumHashes*8))
4482af9438SZachary Turner     return false;
4582af9438SZachary Turner 
4682af9438SZachary Turner   HdrData.DIEOffsetBase = AccelSection.getU32(&Offset);
4782af9438SZachary Turner   uint32_t NumAtoms = AccelSection.getU32(&Offset);
4882af9438SZachary Turner 
4982af9438SZachary Turner   for (unsigned i = 0; i < NumAtoms; ++i) {
5082af9438SZachary Turner     uint16_t AtomType = AccelSection.getU16(&Offset);
516c273763SGreg Clayton     auto AtomForm = static_cast<dwarf::Form>(AccelSection.getU16(&Offset));
5282af9438SZachary Turner     HdrData.Atoms.push_back(std::make_pair(AtomType, AtomForm));
5382af9438SZachary Turner   }
5482af9438SZachary Turner 
5582af9438SZachary Turner   return true;
5682af9438SZachary Turner }
5782af9438SZachary Turner 
58e41823bbSSpyridoula Gravani uint32_t DWARFAcceleratorTable::getNumBuckets() { return Hdr.NumBuckets; }
59e41823bbSSpyridoula Gravani uint32_t DWARFAcceleratorTable::getNumHashes() { return Hdr.NumHashes; }
60e41823bbSSpyridoula Gravani uint32_t DWARFAcceleratorTable::getSizeHdr() { return sizeof(Hdr); }
61e41823bbSSpyridoula Gravani uint32_t DWARFAcceleratorTable::getHeaderDataLength() {
62e41823bbSSpyridoula Gravani   return Hdr.HeaderDataLength;
63e41823bbSSpyridoula Gravani }
64e41823bbSSpyridoula Gravani 
65*837c110cSSpyridoula Gravani ArrayRef<std::pair<DWARFAcceleratorTable::HeaderData::AtomType,
66*837c110cSSpyridoula Gravani                    DWARFAcceleratorTable::HeaderData::Form>>
67*837c110cSSpyridoula Gravani DWARFAcceleratorTable::getAtomsDesc() {
68*837c110cSSpyridoula Gravani   return HdrData.Atoms;
69*837c110cSSpyridoula Gravani }
70*837c110cSSpyridoula Gravani 
71*837c110cSSpyridoula Gravani bool DWARFAcceleratorTable::validateForms() {
72*837c110cSSpyridoula Gravani   for (auto Atom : getAtomsDesc()) {
73*837c110cSSpyridoula Gravani     DWARFFormValue FormValue(Atom.second);
74*837c110cSSpyridoula Gravani     switch (Atom.first) {
75*837c110cSSpyridoula Gravani     case dwarf::DW_ATOM_die_offset:
76*837c110cSSpyridoula Gravani       if ((!FormValue.isFormClass(DWARFFormValue::FC_Constant) &&
77*837c110cSSpyridoula Gravani            !FormValue.isFormClass(DWARFFormValue::FC_Flag)) ||
78*837c110cSSpyridoula Gravani           FormValue.getForm() == dwarf::DW_FORM_sdata)
79*837c110cSSpyridoula Gravani         return false;
80*837c110cSSpyridoula Gravani     default:
81*837c110cSSpyridoula Gravani       break;
82*837c110cSSpyridoula Gravani     }
83*837c110cSSpyridoula Gravani   }
84*837c110cSSpyridoula Gravani   return true;
85*837c110cSSpyridoula Gravani }
86*837c110cSSpyridoula Gravani 
87*837c110cSSpyridoula Gravani uint32_t DWARFAcceleratorTable::readAtoms(uint32_t &HashDataOffset) {
88*837c110cSSpyridoula Gravani   uint32_t DieOffset = dwarf::DW_INVALID_OFFSET;
89*837c110cSSpyridoula Gravani 
90*837c110cSSpyridoula Gravani   for (auto Atom : getAtomsDesc()) {
91*837c110cSSpyridoula Gravani     DWARFFormValue FormValue(Atom.second);
92*837c110cSSpyridoula Gravani     FormValue.extractValue(AccelSection, &HashDataOffset, NULL);
93*837c110cSSpyridoula Gravani     switch (Atom.first) {
94*837c110cSSpyridoula Gravani     case dwarf::DW_ATOM_die_offset:
95*837c110cSSpyridoula Gravani       DieOffset = *FormValue.getAsUnsignedConstant();
96*837c110cSSpyridoula Gravani       break;
97*837c110cSSpyridoula Gravani     default:
98*837c110cSSpyridoula Gravani       break;
99*837c110cSSpyridoula Gravani     }
100*837c110cSSpyridoula Gravani   }
101*837c110cSSpyridoula Gravani   return DieOffset;
102*837c110cSSpyridoula Gravani }
103*837c110cSSpyridoula Gravani 
1048c209aa8SMatthias Braun LLVM_DUMP_METHOD void DWARFAcceleratorTable::dump(raw_ostream &OS) const {
10582af9438SZachary Turner   // Dump the header.
10682af9438SZachary Turner   OS << "Magic = " << format("0x%08x", Hdr.Magic) << '\n'
10782af9438SZachary Turner      << "Version = " << format("0x%04x", Hdr.Version) << '\n'
10882af9438SZachary Turner      << "Hash function = " << format("0x%08x", Hdr.HashFunction) << '\n'
10982af9438SZachary Turner      << "Bucket count = " << Hdr.NumBuckets << '\n'
11082af9438SZachary Turner      << "Hashes count = " << Hdr.NumHashes << '\n'
11182af9438SZachary Turner      << "HeaderData length = " << Hdr.HeaderDataLength << '\n'
11282af9438SZachary Turner      << "DIE offset base = " << HdrData.DIEOffsetBase << '\n'
11382af9438SZachary Turner      << "Number of atoms = " << HdrData.Atoms.size() << '\n';
11482af9438SZachary Turner 
11582af9438SZachary Turner   unsigned i = 0;
11682af9438SZachary Turner   SmallVector<DWARFFormValue, 3> AtomForms;
11782af9438SZachary Turner   for (const auto &Atom: HdrData.Atoms) {
11882af9438SZachary Turner     OS << format("Atom[%d] Type: ", i++);
119149f6eaeSMehdi Amini     auto TypeString = dwarf::AtomTypeString(Atom.first);
120149f6eaeSMehdi Amini     if (!TypeString.empty())
12182af9438SZachary Turner       OS << TypeString;
12282af9438SZachary Turner     else
12382af9438SZachary Turner       OS << format("DW_ATOM_Unknown_0x%x", Atom.first);
12482af9438SZachary Turner     OS << " Form: ";
125149f6eaeSMehdi Amini     auto FormString = dwarf::FormEncodingString(Atom.second);
126149f6eaeSMehdi Amini     if (!FormString.empty())
12782af9438SZachary Turner       OS << FormString;
12882af9438SZachary Turner     else
12982af9438SZachary Turner       OS << format("DW_FORM_Unknown_0x%x", Atom.second);
13082af9438SZachary Turner     OS << '\n';
13182af9438SZachary Turner     AtomForms.push_back(DWARFFormValue(Atom.second));
13282af9438SZachary Turner   }
13382af9438SZachary Turner 
13482af9438SZachary Turner   // Now go through the actual tables and dump them.
13582af9438SZachary Turner   uint32_t Offset = sizeof(Hdr) + Hdr.HeaderDataLength;
13682af9438SZachary Turner   unsigned HashesBase = Offset + Hdr.NumBuckets * 4;
13782af9438SZachary Turner   unsigned OffsetsBase = HashesBase + Hdr.NumHashes * 4;
13882af9438SZachary Turner 
13982af9438SZachary Turner   for (unsigned Bucket = 0; Bucket < Hdr.NumBuckets; ++Bucket) {
14082af9438SZachary Turner     unsigned Index = AccelSection.getU32(&Offset);
14182af9438SZachary Turner 
14282af9438SZachary Turner     OS << format("Bucket[%d]\n", Bucket);
14382af9438SZachary Turner     if (Index == UINT32_MAX) {
14482af9438SZachary Turner       OS << "  EMPTY\n";
14582af9438SZachary Turner       continue;
14682af9438SZachary Turner     }
14782af9438SZachary Turner 
14882af9438SZachary Turner     for (unsigned HashIdx = Index; HashIdx < Hdr.NumHashes; ++HashIdx) {
14982af9438SZachary Turner       unsigned HashOffset = HashesBase + HashIdx*4;
15082af9438SZachary Turner       unsigned OffsetsOffset = OffsetsBase + HashIdx*4;
15182af9438SZachary Turner       uint32_t Hash = AccelSection.getU32(&HashOffset);
15282af9438SZachary Turner 
15382af9438SZachary Turner       if (Hash % Hdr.NumBuckets != Bucket)
15482af9438SZachary Turner         break;
15582af9438SZachary Turner 
15682af9438SZachary Turner       unsigned DataOffset = AccelSection.getU32(&OffsetsOffset);
15782af9438SZachary Turner       OS << format("  Hash = 0x%08x Offset = 0x%08x\n", Hash, DataOffset);
15882af9438SZachary Turner       if (!AccelSection.isValidOffset(DataOffset)) {
15982af9438SZachary Turner         OS << "    Invalid section offset\n";
16082af9438SZachary Turner         continue;
16182af9438SZachary Turner       }
16282af9438SZachary Turner       while (AccelSection.isValidOffsetForDataOfSize(DataOffset, 4)) {
16317536b93SPaul Robinson         unsigned StringOffset = AccelSection.getRelocatedValue(4, &DataOffset);
16482af9438SZachary Turner         if (!StringOffset)
16582af9438SZachary Turner           break;
16682af9438SZachary Turner         OS << format("    Name: %08x \"%s\"\n", StringOffset,
16782af9438SZachary Turner                      StringSection.getCStr(&StringOffset));
16882af9438SZachary Turner         unsigned NumData = AccelSection.getU32(&DataOffset);
16982af9438SZachary Turner         for (unsigned Data = 0; Data < NumData; ++Data) {
17082af9438SZachary Turner           OS << format("    Data[%d] => ", Data);
17182af9438SZachary Turner           unsigned i = 0;
17282af9438SZachary Turner           for (auto &Atom : AtomForms) {
17382af9438SZachary Turner             OS << format("{Atom[%d]: ", i++);
17482af9438SZachary Turner             if (Atom.extractValue(AccelSection, &DataOffset, nullptr))
175cddab279SGreg Clayton               Atom.dump(OS);
17682af9438SZachary Turner             else
17782af9438SZachary Turner               OS << "Error extracting the value";
17882af9438SZachary Turner             OS << "} ";
17982af9438SZachary Turner           }
18082af9438SZachary Turner           OS << '\n';
18182af9438SZachary Turner         }
18282af9438SZachary Turner       }
18382af9438SZachary Turner     }
18482af9438SZachary Turner   }
18582af9438SZachary Turner }
186