185f80d71SDavid Blaikie //===-- llvm/CodeGen/DwarfFile.cpp - Dwarf Debug Framework ----------------===// 285f80d71SDavid Blaikie // 385f80d71SDavid Blaikie // The LLVM Compiler Infrastructure 485f80d71SDavid Blaikie // 585f80d71SDavid Blaikie // This file is distributed under the University of Illinois Open Source 685f80d71SDavid Blaikie // License. See LICENSE.TXT for details. 785f80d71SDavid Blaikie // 885f80d71SDavid Blaikie //===----------------------------------------------------------------------===// 985f80d71SDavid Blaikie 1085f80d71SDavid Blaikie #include "DwarfFile.h" 1185f80d71SDavid Blaikie #include "DwarfDebug.h" 1285f80d71SDavid Blaikie #include "DwarfUnit.h" 13d9903888SChandler Carruth #include "llvm/ADT/STLExtras.h" 14d9903888SChandler Carruth #include "llvm/IR/DataLayout.h" 1585f80d71SDavid Blaikie #include "llvm/MC/MCStreamer.h" 1685f80d71SDavid Blaikie #include "llvm/Support/LEB128.h" 1785f80d71SDavid Blaikie #include "llvm/Target/TargetLoweringObjectFile.h" 1885f80d71SDavid Blaikie 1985f80d71SDavid Blaikie namespace llvm { 209412d63fSFrederic Riss DwarfFile::DwarfFile(AsmPrinter *AP, StringRef Pref, BumpPtrAllocator &DA) 219412d63fSFrederic Riss : Asm(AP), StrPool(DA, *Asm, Pref) {} 2285f80d71SDavid Blaikie 2305e736fbSDavid Blaikie DwarfFile::~DwarfFile() {} 2485f80d71SDavid Blaikie 2585f80d71SDavid Blaikie // Define a unique number for the abbreviation. 2685f80d71SDavid Blaikie // 2785f80d71SDavid Blaikie void DwarfFile::assignAbbrevNumber(DIEAbbrev &Abbrev) { 2885f80d71SDavid Blaikie // Check the set for priors. 2985f80d71SDavid Blaikie DIEAbbrev *InSet = AbbreviationsSet.GetOrInsertNode(&Abbrev); 3085f80d71SDavid Blaikie 3185f80d71SDavid Blaikie // If it's newly added. 3285f80d71SDavid Blaikie if (InSet == &Abbrev) { 3385f80d71SDavid Blaikie // Add to abbreviation list. 3485f80d71SDavid Blaikie Abbreviations.push_back(&Abbrev); 3585f80d71SDavid Blaikie 3685f80d71SDavid Blaikie // Assign the vector position + 1 as its number. 3785f80d71SDavid Blaikie Abbrev.setNumber(Abbreviations.size()); 3885f80d71SDavid Blaikie } else { 3985f80d71SDavid Blaikie // Assign existing abbreviation number. 4085f80d71SDavid Blaikie Abbrev.setNumber(InSet->getNumber()); 4185f80d71SDavid Blaikie } 4285f80d71SDavid Blaikie } 4385f80d71SDavid Blaikie 4485f80d71SDavid Blaikie void DwarfFile::addUnit(std::unique_ptr<DwarfUnit> U) { 4585f80d71SDavid Blaikie CUs.push_back(std::move(U)); 4685f80d71SDavid Blaikie } 4785f80d71SDavid Blaikie 4885f80d71SDavid Blaikie // Emit the various dwarf units to the unit section USection with 4985f80d71SDavid Blaikie // the abbreviations going into ASection. 50063d725fSRafael Espindola void DwarfFile::emitUnits(bool UseOffsets) { 5185f80d71SDavid Blaikie for (const auto &TheU : CUs) { 52adcde36cSDavid Blaikie DIE &Die = TheU->getUnitDie(); 5385f80d71SDavid Blaikie const MCSection *USection = TheU->getSection(); 5485f80d71SDavid Blaikie Asm->OutStreamer.SwitchSection(USection); 5585f80d71SDavid Blaikie 56063d725fSRafael Espindola TheU->emitHeader(UseOffsets); 5785f80d71SDavid Blaikie 589412d63fSFrederic Riss Asm->emitDwarfDIE(Die); 5985f80d71SDavid Blaikie } 6085f80d71SDavid Blaikie } 61f299947bSDavid Blaikie 6285f80d71SDavid Blaikie // Compute the size and offset for each DIE. 6385f80d71SDavid Blaikie void DwarfFile::computeSizeAndOffsets() { 6485f80d71SDavid Blaikie // Offset from the first CU in the debug info section is 0 initially. 6585f80d71SDavid Blaikie unsigned SecOffset = 0; 6685f80d71SDavid Blaikie 6785f80d71SDavid Blaikie // Iterate over each compile unit and set the size and offsets for each 6885f80d71SDavid Blaikie // DIE within each compile unit. All offsets are CU relative. 6985f80d71SDavid Blaikie for (const auto &TheU : CUs) { 7085f80d71SDavid Blaikie TheU->setDebugInfoOffset(SecOffset); 7185f80d71SDavid Blaikie 7285f80d71SDavid Blaikie // CU-relative offset is reset to 0 here. 7385f80d71SDavid Blaikie unsigned Offset = sizeof(int32_t) + // Length of Unit Info 7485f80d71SDavid Blaikie TheU->getHeaderSize(); // Unit-specific headers 7585f80d71SDavid Blaikie 7685f80d71SDavid Blaikie // EndOffset here is CU-relative, after laying out 7785f80d71SDavid Blaikie // all of the CU DIE. 78adcde36cSDavid Blaikie unsigned EndOffset = computeSizeAndOffset(TheU->getUnitDie(), Offset); 7985f80d71SDavid Blaikie SecOffset += EndOffset; 8085f80d71SDavid Blaikie } 8185f80d71SDavid Blaikie } 8285f80d71SDavid Blaikie // Compute the size and offset of a DIE. The offset is relative to start of the 8385f80d71SDavid Blaikie // CU. It returns the offset after laying out the DIE. 8485f80d71SDavid Blaikie unsigned DwarfFile::computeSizeAndOffset(DIE &Die, unsigned Offset) { 8585f80d71SDavid Blaikie // Record the abbreviation. 8685f80d71SDavid Blaikie assignAbbrevNumber(Die.getAbbrev()); 8785f80d71SDavid Blaikie 8885f80d71SDavid Blaikie // Get the abbreviation for this DIE. 8985f80d71SDavid Blaikie const DIEAbbrev &Abbrev = Die.getAbbrev(); 9085f80d71SDavid Blaikie 9185f80d71SDavid Blaikie // Set DIE offset 9285f80d71SDavid Blaikie Die.setOffset(Offset); 9385f80d71SDavid Blaikie 9485f80d71SDavid Blaikie // Start the size with the size of abbreviation code. 9585f80d71SDavid Blaikie Offset += getULEB128Size(Die.getAbbrevNumber()); 9685f80d71SDavid Blaikie 9785f80d71SDavid Blaikie const SmallVectorImpl<DIEValue *> &Values = Die.getValues(); 9885f80d71SDavid Blaikie const SmallVectorImpl<DIEAbbrevData> &AbbrevData = Abbrev.getData(); 9985f80d71SDavid Blaikie 10085f80d71SDavid Blaikie // Size the DIE attribute values. 10185f80d71SDavid Blaikie for (unsigned i = 0, N = Values.size(); i < N; ++i) 10285f80d71SDavid Blaikie // Size attribute value. 10385f80d71SDavid Blaikie Offset += Values[i]->SizeOf(Asm, AbbrevData[i].getForm()); 10485f80d71SDavid Blaikie 10585f80d71SDavid Blaikie // Get the children. 10685f80d71SDavid Blaikie const auto &Children = Die.getChildren(); 10785f80d71SDavid Blaikie 10885f80d71SDavid Blaikie // Size the DIE children if any. 10985f80d71SDavid Blaikie if (!Children.empty()) { 11085f80d71SDavid Blaikie assert(Abbrev.hasChildren() && "Children flag not set"); 11185f80d71SDavid Blaikie 11285f80d71SDavid Blaikie for (auto &Child : Children) 11385f80d71SDavid Blaikie Offset = computeSizeAndOffset(*Child, Offset); 11485f80d71SDavid Blaikie 11585f80d71SDavid Blaikie // End of children marker. 11685f80d71SDavid Blaikie Offset += sizeof(int8_t); 11785f80d71SDavid Blaikie } 11885f80d71SDavid Blaikie 11985f80d71SDavid Blaikie Die.setSize(Offset - Die.getOffset()); 12085f80d71SDavid Blaikie return Offset; 12185f80d71SDavid Blaikie } 1229412d63fSFrederic Riss 12385f80d71SDavid Blaikie void DwarfFile::emitAbbrevs(const MCSection *Section) { 12485f80d71SDavid Blaikie // Check to see if it is worth the effort. 12585f80d71SDavid Blaikie if (!Abbreviations.empty()) { 12685f80d71SDavid Blaikie // Start the debug abbrev section. 12785f80d71SDavid Blaikie Asm->OutStreamer.SwitchSection(Section); 1289412d63fSFrederic Riss Asm->emitDwarfAbbrevs(Abbreviations); 12985f80d71SDavid Blaikie } 13085f80d71SDavid Blaikie } 13185f80d71SDavid Blaikie 13285f80d71SDavid Blaikie // Emit strings into a string section. 13385f80d71SDavid Blaikie void DwarfFile::emitStrings(const MCSection *StrSection, 1346741bb09SDavid Blaikie const MCSection *OffsetSection) { 1356741bb09SDavid Blaikie StrPool.emit(*Asm, StrSection, OffsetSection); 13685f80d71SDavid Blaikie } 137f299947bSDavid Blaikie 138ca7e4702SAdrian Prantl bool DwarfFile::addScopeVariable(LexicalScope *LS, DbgVariable *Var) { 13980e5b1ebSDavid Blaikie SmallVectorImpl<DbgVariable *> &Vars = ScopeVariables[LS]; 1403b5c8400SDavid Blaikie DIVariable DV = Var->getVariable(); 1413b5c8400SDavid Blaikie // Variables with positive arg numbers are parameters. 142*7348ddaaSDuncan P. N. Exon Smith if (unsigned ArgNum = DV->getArg()) { 1433b5c8400SDavid Blaikie // Keep all parameters in order at the start of the variable list to ensure 1443b5c8400SDavid Blaikie // function types are correct (no out-of-order parameters) 1453b5c8400SDavid Blaikie // 1463b5c8400SDavid Blaikie // This could be improved by only doing it for optimized builds (unoptimized 1473b5c8400SDavid Blaikie // builds have the right order to begin with), searching from the back (this 1483b5c8400SDavid Blaikie // would catch the unoptimized case quickly), or doing a binary search 1493b5c8400SDavid Blaikie // rather than linear search. 1503b5c8400SDavid Blaikie auto I = Vars.begin(); 1513b5c8400SDavid Blaikie while (I != Vars.end()) { 152*7348ddaaSDuncan P. N. Exon Smith unsigned CurNum = (*I)->getVariable()->getArg(); 1533b5c8400SDavid Blaikie // A local (non-parameter) variable has been found, insert immediately 1543b5c8400SDavid Blaikie // before it. 1553b5c8400SDavid Blaikie if (CurNum == 0) 1563b5c8400SDavid Blaikie break; 1573b5c8400SDavid Blaikie // A later indexed parameter has been found, insert immediately before it. 1583b5c8400SDavid Blaikie if (CurNum > ArgNum) 1593b5c8400SDavid Blaikie break; 160ca7e4702SAdrian Prantl if (CurNum == ArgNum) { 161ca7e4702SAdrian Prantl (*I)->addMMIEntry(*Var); 162ca7e4702SAdrian Prantl return false; 163ca7e4702SAdrian Prantl } 1643b5c8400SDavid Blaikie ++I; 1653b5c8400SDavid Blaikie } 1663b5c8400SDavid Blaikie Vars.insert(I, Var); 167ca7e4702SAdrian Prantl return true; 1683b5c8400SDavid Blaikie } 1693b5c8400SDavid Blaikie 1703b5c8400SDavid Blaikie Vars.push_back(Var); 171ca7e4702SAdrian Prantl return true; 1723b5c8400SDavid Blaikie } 17385f80d71SDavid Blaikie } 174