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 65837c110cSSpyridoula Gravani ArrayRef<std::pair<DWARFAcceleratorTable::HeaderData::AtomType, 66837c110cSSpyridoula Gravani DWARFAcceleratorTable::HeaderData::Form>> 67837c110cSSpyridoula Gravani DWARFAcceleratorTable::getAtomsDesc() { 68837c110cSSpyridoula Gravani return HdrData.Atoms; 69837c110cSSpyridoula Gravani } 70837c110cSSpyridoula Gravani 71837c110cSSpyridoula Gravani bool DWARFAcceleratorTable::validateForms() { 72837c110cSSpyridoula Gravani for (auto Atom : getAtomsDesc()) { 73837c110cSSpyridoula Gravani DWARFFormValue FormValue(Atom.second); 74837c110cSSpyridoula Gravani switch (Atom.first) { 75837c110cSSpyridoula Gravani case dwarf::DW_ATOM_die_offset: 76*70d35e10SSpyridoula Gravani case dwarf::DW_ATOM_die_tag: 77*70d35e10SSpyridoula Gravani case dwarf::DW_ATOM_type_flags: 78837c110cSSpyridoula Gravani if ((!FormValue.isFormClass(DWARFFormValue::FC_Constant) && 79837c110cSSpyridoula Gravani !FormValue.isFormClass(DWARFFormValue::FC_Flag)) || 80837c110cSSpyridoula Gravani FormValue.getForm() == dwarf::DW_FORM_sdata) 81837c110cSSpyridoula Gravani return false; 82837c110cSSpyridoula Gravani default: 83837c110cSSpyridoula Gravani break; 84837c110cSSpyridoula Gravani } 85837c110cSSpyridoula Gravani } 86837c110cSSpyridoula Gravani return true; 87837c110cSSpyridoula Gravani } 88837c110cSSpyridoula Gravani 89*70d35e10SSpyridoula Gravani std::pair<uint32_t, dwarf::Tag> 90*70d35e10SSpyridoula Gravani DWARFAcceleratorTable::readAtoms(uint32_t &HashDataOffset) { 91837c110cSSpyridoula Gravani uint32_t DieOffset = dwarf::DW_INVALID_OFFSET; 92*70d35e10SSpyridoula Gravani dwarf::Tag DieTag = dwarf::DW_TAG_null; 93837c110cSSpyridoula Gravani 94837c110cSSpyridoula Gravani for (auto Atom : getAtomsDesc()) { 95837c110cSSpyridoula Gravani DWARFFormValue FormValue(Atom.second); 96837c110cSSpyridoula Gravani FormValue.extractValue(AccelSection, &HashDataOffset, NULL); 97837c110cSSpyridoula Gravani switch (Atom.first) { 98837c110cSSpyridoula Gravani case dwarf::DW_ATOM_die_offset: 99837c110cSSpyridoula Gravani DieOffset = *FormValue.getAsUnsignedConstant(); 100837c110cSSpyridoula Gravani break; 101*70d35e10SSpyridoula Gravani case dwarf::DW_ATOM_die_tag: 102*70d35e10SSpyridoula Gravani DieTag = (dwarf::Tag)*FormValue.getAsUnsignedConstant(); 103*70d35e10SSpyridoula Gravani break; 104837c110cSSpyridoula Gravani default: 105837c110cSSpyridoula Gravani break; 106837c110cSSpyridoula Gravani } 107837c110cSSpyridoula Gravani } 108*70d35e10SSpyridoula Gravani return {DieOffset, DieTag}; 109837c110cSSpyridoula Gravani } 110837c110cSSpyridoula Gravani 1118c209aa8SMatthias Braun LLVM_DUMP_METHOD void DWARFAcceleratorTable::dump(raw_ostream &OS) const { 11282af9438SZachary Turner // Dump the header. 11382af9438SZachary Turner OS << "Magic = " << format("0x%08x", Hdr.Magic) << '\n' 11482af9438SZachary Turner << "Version = " << format("0x%04x", Hdr.Version) << '\n' 11582af9438SZachary Turner << "Hash function = " << format("0x%08x", Hdr.HashFunction) << '\n' 11682af9438SZachary Turner << "Bucket count = " << Hdr.NumBuckets << '\n' 11782af9438SZachary Turner << "Hashes count = " << Hdr.NumHashes << '\n' 11882af9438SZachary Turner << "HeaderData length = " << Hdr.HeaderDataLength << '\n' 11982af9438SZachary Turner << "DIE offset base = " << HdrData.DIEOffsetBase << '\n' 12082af9438SZachary Turner << "Number of atoms = " << HdrData.Atoms.size() << '\n'; 12182af9438SZachary Turner 12282af9438SZachary Turner unsigned i = 0; 12382af9438SZachary Turner SmallVector<DWARFFormValue, 3> AtomForms; 12482af9438SZachary Turner for (const auto &Atom: HdrData.Atoms) { 12582af9438SZachary Turner OS << format("Atom[%d] Type: ", i++); 126149f6eaeSMehdi Amini auto TypeString = dwarf::AtomTypeString(Atom.first); 127149f6eaeSMehdi Amini if (!TypeString.empty()) 12882af9438SZachary Turner OS << TypeString; 12982af9438SZachary Turner else 13082af9438SZachary Turner OS << format("DW_ATOM_Unknown_0x%x", Atom.first); 13182af9438SZachary Turner OS << " Form: "; 132149f6eaeSMehdi Amini auto FormString = dwarf::FormEncodingString(Atom.second); 133149f6eaeSMehdi Amini if (!FormString.empty()) 13482af9438SZachary Turner OS << FormString; 13582af9438SZachary Turner else 13682af9438SZachary Turner OS << format("DW_FORM_Unknown_0x%x", Atom.second); 13782af9438SZachary Turner OS << '\n'; 13882af9438SZachary Turner AtomForms.push_back(DWARFFormValue(Atom.second)); 13982af9438SZachary Turner } 14082af9438SZachary Turner 14182af9438SZachary Turner // Now go through the actual tables and dump them. 14282af9438SZachary Turner uint32_t Offset = sizeof(Hdr) + Hdr.HeaderDataLength; 14382af9438SZachary Turner unsigned HashesBase = Offset + Hdr.NumBuckets * 4; 14482af9438SZachary Turner unsigned OffsetsBase = HashesBase + Hdr.NumHashes * 4; 14582af9438SZachary Turner 14682af9438SZachary Turner for (unsigned Bucket = 0; Bucket < Hdr.NumBuckets; ++Bucket) { 14782af9438SZachary Turner unsigned Index = AccelSection.getU32(&Offset); 14882af9438SZachary Turner 14982af9438SZachary Turner OS << format("Bucket[%d]\n", Bucket); 15082af9438SZachary Turner if (Index == UINT32_MAX) { 15182af9438SZachary Turner OS << " EMPTY\n"; 15282af9438SZachary Turner continue; 15382af9438SZachary Turner } 15482af9438SZachary Turner 15582af9438SZachary Turner for (unsigned HashIdx = Index; HashIdx < Hdr.NumHashes; ++HashIdx) { 15682af9438SZachary Turner unsigned HashOffset = HashesBase + HashIdx*4; 15782af9438SZachary Turner unsigned OffsetsOffset = OffsetsBase + HashIdx*4; 15882af9438SZachary Turner uint32_t Hash = AccelSection.getU32(&HashOffset); 15982af9438SZachary Turner 16082af9438SZachary Turner if (Hash % Hdr.NumBuckets != Bucket) 16182af9438SZachary Turner break; 16282af9438SZachary Turner 16382af9438SZachary Turner unsigned DataOffset = AccelSection.getU32(&OffsetsOffset); 16482af9438SZachary Turner OS << format(" Hash = 0x%08x Offset = 0x%08x\n", Hash, DataOffset); 16582af9438SZachary Turner if (!AccelSection.isValidOffset(DataOffset)) { 16682af9438SZachary Turner OS << " Invalid section offset\n"; 16782af9438SZachary Turner continue; 16882af9438SZachary Turner } 16982af9438SZachary Turner while (AccelSection.isValidOffsetForDataOfSize(DataOffset, 4)) { 17017536b93SPaul Robinson unsigned StringOffset = AccelSection.getRelocatedValue(4, &DataOffset); 17182af9438SZachary Turner if (!StringOffset) 17282af9438SZachary Turner break; 17382af9438SZachary Turner OS << format(" Name: %08x \"%s\"\n", StringOffset, 17482af9438SZachary Turner StringSection.getCStr(&StringOffset)); 17582af9438SZachary Turner unsigned NumData = AccelSection.getU32(&DataOffset); 17682af9438SZachary Turner for (unsigned Data = 0; Data < NumData; ++Data) { 17782af9438SZachary Turner OS << format(" Data[%d] => ", Data); 17882af9438SZachary Turner unsigned i = 0; 17982af9438SZachary Turner for (auto &Atom : AtomForms) { 18082af9438SZachary Turner OS << format("{Atom[%d]: ", i++); 18182af9438SZachary Turner if (Atom.extractValue(AccelSection, &DataOffset, nullptr)) 182cddab279SGreg Clayton Atom.dump(OS); 18382af9438SZachary Turner else 18482af9438SZachary Turner OS << "Error extracting the value"; 18582af9438SZachary Turner OS << "} "; 18682af9438SZachary Turner } 18782af9438SZachary Turner OS << '\n'; 18882af9438SZachary Turner } 18982af9438SZachary Turner } 19082af9438SZachary Turner } 19182af9438SZachary Turner } 19282af9438SZachary Turner } 193