10b57cec5SDimitry Andric //===-- llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp -------*- C++ -*--===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // Common functionality for different debug information format backends. 100b57cec5SDimitry Andric // LLVM currently supports DWARF and CodeView. 110b57cec5SDimitry Andric // 120b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric #include "llvm/CodeGen/DebugHandlerBase.h" 150b57cec5SDimitry Andric #include "llvm/ADT/Optional.h" 160b57cec5SDimitry Andric #include "llvm/ADT/Twine.h" 170b57cec5SDimitry Andric #include "llvm/CodeGen/AsmPrinter.h" 180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 220b57cec5SDimitry Andric #include "llvm/IR/DebugInfo.h" 230b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h" 240b57cec5SDimitry Andric 250b57cec5SDimitry Andric using namespace llvm; 260b57cec5SDimitry Andric 270b57cec5SDimitry Andric #define DEBUG_TYPE "dwarfdebug" 280b57cec5SDimitry Andric 290b57cec5SDimitry Andric Optional<DbgVariableLocation> 300b57cec5SDimitry Andric DbgVariableLocation::extractFromMachineInstruction( 310b57cec5SDimitry Andric const MachineInstr &Instruction) { 320b57cec5SDimitry Andric DbgVariableLocation Location; 330b57cec5SDimitry Andric if (!Instruction.isDebugValue()) 340b57cec5SDimitry Andric return None; 35*5ffd83dbSDimitry Andric if (!Instruction.getDebugOperand(0).isReg()) 360b57cec5SDimitry Andric return None; 37*5ffd83dbSDimitry Andric Location.Register = Instruction.getDebugOperand(0).getReg(); 380b57cec5SDimitry Andric Location.FragmentInfo.reset(); 390b57cec5SDimitry Andric // We only handle expressions generated by DIExpression::appendOffset, 400b57cec5SDimitry Andric // which doesn't require a full stack machine. 410b57cec5SDimitry Andric int64_t Offset = 0; 420b57cec5SDimitry Andric const DIExpression *DIExpr = Instruction.getDebugExpression(); 430b57cec5SDimitry Andric auto Op = DIExpr->expr_op_begin(); 440b57cec5SDimitry Andric while (Op != DIExpr->expr_op_end()) { 450b57cec5SDimitry Andric switch (Op->getOp()) { 460b57cec5SDimitry Andric case dwarf::DW_OP_constu: { 470b57cec5SDimitry Andric int Value = Op->getArg(0); 480b57cec5SDimitry Andric ++Op; 490b57cec5SDimitry Andric if (Op != DIExpr->expr_op_end()) { 500b57cec5SDimitry Andric switch (Op->getOp()) { 510b57cec5SDimitry Andric case dwarf::DW_OP_minus: 520b57cec5SDimitry Andric Offset -= Value; 530b57cec5SDimitry Andric break; 540b57cec5SDimitry Andric case dwarf::DW_OP_plus: 550b57cec5SDimitry Andric Offset += Value; 560b57cec5SDimitry Andric break; 570b57cec5SDimitry Andric default: 580b57cec5SDimitry Andric continue; 590b57cec5SDimitry Andric } 600b57cec5SDimitry Andric } 610b57cec5SDimitry Andric } break; 620b57cec5SDimitry Andric case dwarf::DW_OP_plus_uconst: 630b57cec5SDimitry Andric Offset += Op->getArg(0); 640b57cec5SDimitry Andric break; 650b57cec5SDimitry Andric case dwarf::DW_OP_LLVM_fragment: 660b57cec5SDimitry Andric Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)}; 670b57cec5SDimitry Andric break; 680b57cec5SDimitry Andric case dwarf::DW_OP_deref: 690b57cec5SDimitry Andric Location.LoadChain.push_back(Offset); 700b57cec5SDimitry Andric Offset = 0; 710b57cec5SDimitry Andric break; 720b57cec5SDimitry Andric default: 730b57cec5SDimitry Andric return None; 740b57cec5SDimitry Andric } 750b57cec5SDimitry Andric ++Op; 760b57cec5SDimitry Andric } 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric // Do one final implicit DW_OP_deref if this was an indirect DBG_VALUE 790b57cec5SDimitry Andric // instruction. 800b57cec5SDimitry Andric // FIXME: Replace these with DIExpression. 810b57cec5SDimitry Andric if (Instruction.isIndirectDebugValue()) 820b57cec5SDimitry Andric Location.LoadChain.push_back(Offset); 830b57cec5SDimitry Andric 840b57cec5SDimitry Andric return Location; 850b57cec5SDimitry Andric } 860b57cec5SDimitry Andric 870b57cec5SDimitry Andric DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {} 880b57cec5SDimitry Andric 890b57cec5SDimitry Andric // Each LexicalScope has first instruction and last instruction to mark 900b57cec5SDimitry Andric // beginning and end of a scope respectively. Create an inverse map that list 910b57cec5SDimitry Andric // scopes starts (and ends) with an instruction. One instruction may start (or 920b57cec5SDimitry Andric // end) multiple scopes. Ignore scopes that are not reachable. 930b57cec5SDimitry Andric void DebugHandlerBase::identifyScopeMarkers() { 940b57cec5SDimitry Andric SmallVector<LexicalScope *, 4> WorkList; 950b57cec5SDimitry Andric WorkList.push_back(LScopes.getCurrentFunctionScope()); 960b57cec5SDimitry Andric while (!WorkList.empty()) { 970b57cec5SDimitry Andric LexicalScope *S = WorkList.pop_back_val(); 980b57cec5SDimitry Andric 990b57cec5SDimitry Andric const SmallVectorImpl<LexicalScope *> &Children = S->getChildren(); 1000b57cec5SDimitry Andric if (!Children.empty()) 1010b57cec5SDimitry Andric WorkList.append(Children.begin(), Children.end()); 1020b57cec5SDimitry Andric 1030b57cec5SDimitry Andric if (S->isAbstractScope()) 1040b57cec5SDimitry Andric continue; 1050b57cec5SDimitry Andric 1060b57cec5SDimitry Andric for (const InsnRange &R : S->getRanges()) { 1070b57cec5SDimitry Andric assert(R.first && "InsnRange does not have first instruction!"); 1080b57cec5SDimitry Andric assert(R.second && "InsnRange does not have second instruction!"); 1090b57cec5SDimitry Andric requestLabelBeforeInsn(R.first); 1100b57cec5SDimitry Andric requestLabelAfterInsn(R.second); 1110b57cec5SDimitry Andric } 1120b57cec5SDimitry Andric } 1130b57cec5SDimitry Andric } 1140b57cec5SDimitry Andric 1150b57cec5SDimitry Andric // Return Label preceding the instruction. 1160b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) { 1170b57cec5SDimitry Andric MCSymbol *Label = LabelsBeforeInsn.lookup(MI); 1180b57cec5SDimitry Andric assert(Label && "Didn't insert label before instruction"); 1190b57cec5SDimitry Andric return Label; 1200b57cec5SDimitry Andric } 1210b57cec5SDimitry Andric 1220b57cec5SDimitry Andric // Return Label immediately following the instruction. 1230b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) { 1240b57cec5SDimitry Andric return LabelsAfterInsn.lookup(MI); 1250b57cec5SDimitry Andric } 1260b57cec5SDimitry Andric 1270b57cec5SDimitry Andric /// If this type is derived from a base type then return base type size. 1280b57cec5SDimitry Andric uint64_t DebugHandlerBase::getBaseTypeSize(const DIType *Ty) { 1290b57cec5SDimitry Andric assert(Ty); 1300b57cec5SDimitry Andric const DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty); 1310b57cec5SDimitry Andric if (!DDTy) 1320b57cec5SDimitry Andric return Ty->getSizeInBits(); 1330b57cec5SDimitry Andric 1340b57cec5SDimitry Andric unsigned Tag = DDTy->getTag(); 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef && 1370b57cec5SDimitry Andric Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type && 1380b57cec5SDimitry Andric Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type) 1390b57cec5SDimitry Andric return DDTy->getSizeInBits(); 1400b57cec5SDimitry Andric 1410b57cec5SDimitry Andric DIType *BaseType = DDTy->getBaseType(); 1420b57cec5SDimitry Andric 1430b57cec5SDimitry Andric if (!BaseType) 1440b57cec5SDimitry Andric return 0; 1450b57cec5SDimitry Andric 1460b57cec5SDimitry Andric // If this is a derived type, go ahead and get the base type, unless it's a 1470b57cec5SDimitry Andric // reference then it's just the size of the field. Pointer types have no need 1480b57cec5SDimitry Andric // of this since they're a different type of qualification on the type. 1490b57cec5SDimitry Andric if (BaseType->getTag() == dwarf::DW_TAG_reference_type || 1500b57cec5SDimitry Andric BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type) 1510b57cec5SDimitry Andric return Ty->getSizeInBits(); 1520b57cec5SDimitry Andric 1530b57cec5SDimitry Andric return getBaseTypeSize(BaseType); 1540b57cec5SDimitry Andric } 1550b57cec5SDimitry Andric 1560b57cec5SDimitry Andric static bool hasDebugInfo(const MachineModuleInfo *MMI, 1570b57cec5SDimitry Andric const MachineFunction *MF) { 1580b57cec5SDimitry Andric if (!MMI->hasDebugInfo()) 1590b57cec5SDimitry Andric return false; 1600b57cec5SDimitry Andric auto *SP = MF->getFunction().getSubprogram(); 1610b57cec5SDimitry Andric if (!SP) 1620b57cec5SDimitry Andric return false; 1630b57cec5SDimitry Andric assert(SP->getUnit()); 1640b57cec5SDimitry Andric auto EK = SP->getUnit()->getEmissionKind(); 1650b57cec5SDimitry Andric if (EK == DICompileUnit::NoDebug) 1660b57cec5SDimitry Andric return false; 1670b57cec5SDimitry Andric return true; 1680b57cec5SDimitry Andric } 1690b57cec5SDimitry Andric 1700b57cec5SDimitry Andric void DebugHandlerBase::beginFunction(const MachineFunction *MF) { 1710b57cec5SDimitry Andric PrevInstBB = nullptr; 1720b57cec5SDimitry Andric 1730b57cec5SDimitry Andric if (!Asm || !hasDebugInfo(MMI, MF)) { 1740b57cec5SDimitry Andric skippedNonDebugFunction(); 1750b57cec5SDimitry Andric return; 1760b57cec5SDimitry Andric } 1770b57cec5SDimitry Andric 1780b57cec5SDimitry Andric // Grab the lexical scopes for the function, if we don't have any of those 1790b57cec5SDimitry Andric // then we're not going to be able to do anything. 1800b57cec5SDimitry Andric LScopes.initialize(*MF); 1810b57cec5SDimitry Andric if (LScopes.empty()) { 1820b57cec5SDimitry Andric beginFunctionImpl(MF); 1830b57cec5SDimitry Andric return; 1840b57cec5SDimitry Andric } 1850b57cec5SDimitry Andric 1860b57cec5SDimitry Andric // Make sure that each lexical scope will have a begin/end label. 1870b57cec5SDimitry Andric identifyScopeMarkers(); 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric // Calculate history for local variables. 1900b57cec5SDimitry Andric assert(DbgValues.empty() && "DbgValues map wasn't cleaned!"); 1910b57cec5SDimitry Andric assert(DbgLabels.empty() && "DbgLabels map wasn't cleaned!"); 1920b57cec5SDimitry Andric calculateDbgEntityHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(), 1930b57cec5SDimitry Andric DbgValues, DbgLabels); 1940b57cec5SDimitry Andric LLVM_DEBUG(DbgValues.dump()); 1950b57cec5SDimitry Andric 1960b57cec5SDimitry Andric // Request labels for the full history. 1970b57cec5SDimitry Andric for (const auto &I : DbgValues) { 1980b57cec5SDimitry Andric const auto &Entries = I.second; 1990b57cec5SDimitry Andric if (Entries.empty()) 2000b57cec5SDimitry Andric continue; 2010b57cec5SDimitry Andric 2020b57cec5SDimitry Andric auto IsDescribedByReg = [](const MachineInstr *MI) { 203*5ffd83dbSDimitry Andric return MI->getDebugOperand(0).isReg() && MI->getDebugOperand(0).getReg(); 2040b57cec5SDimitry Andric }; 2050b57cec5SDimitry Andric 2060b57cec5SDimitry Andric // The first mention of a function argument gets the CurrentFnBegin label, 2070b57cec5SDimitry Andric // so arguments are visible when breaking at function entry. 2080b57cec5SDimitry Andric // 2090b57cec5SDimitry Andric // We do not change the label for values that are described by registers, 2100b57cec5SDimitry Andric // as that could place them above their defining instructions. We should 2110b57cec5SDimitry Andric // ideally not change the labels for constant debug values either, since 2120b57cec5SDimitry Andric // doing that violates the ranges that are calculated in the history map. 2130b57cec5SDimitry Andric // However, we currently do not emit debug values for constant arguments 2140b57cec5SDimitry Andric // directly at the start of the function, so this code is still useful. 2150b57cec5SDimitry Andric const DILocalVariable *DIVar = 2160b57cec5SDimitry Andric Entries.front().getInstr()->getDebugVariable(); 2170b57cec5SDimitry Andric if (DIVar->isParameter() && 2180b57cec5SDimitry Andric getDISubprogram(DIVar->getScope())->describes(&MF->getFunction())) { 2190b57cec5SDimitry Andric if (!IsDescribedByReg(Entries.front().getInstr())) 2200b57cec5SDimitry Andric LabelsBeforeInsn[Entries.front().getInstr()] = Asm->getFunctionBegin(); 2210b57cec5SDimitry Andric if (Entries.front().getInstr()->getDebugExpression()->isFragment()) { 2220b57cec5SDimitry Andric // Mark all non-overlapping initial fragments. 2230b57cec5SDimitry Andric for (auto I = Entries.begin(); I != Entries.end(); ++I) { 2240b57cec5SDimitry Andric if (!I->isDbgValue()) 2250b57cec5SDimitry Andric continue; 2260b57cec5SDimitry Andric const DIExpression *Fragment = I->getInstr()->getDebugExpression(); 2270b57cec5SDimitry Andric if (std::any_of(Entries.begin(), I, 2280b57cec5SDimitry Andric [&](DbgValueHistoryMap::Entry Pred) { 2290b57cec5SDimitry Andric return Pred.isDbgValue() && 2300b57cec5SDimitry Andric Fragment->fragmentsOverlap( 2310b57cec5SDimitry Andric Pred.getInstr()->getDebugExpression()); 2320b57cec5SDimitry Andric })) 2330b57cec5SDimitry Andric break; 2340b57cec5SDimitry Andric // The code that generates location lists for DWARF assumes that the 2350b57cec5SDimitry Andric // entries' start labels are monotonically increasing, and since we 2360b57cec5SDimitry Andric // don't change the label for fragments that are described by 2370b57cec5SDimitry Andric // registers, we must bail out when encountering such a fragment. 2380b57cec5SDimitry Andric if (IsDescribedByReg(I->getInstr())) 2390b57cec5SDimitry Andric break; 2400b57cec5SDimitry Andric LabelsBeforeInsn[I->getInstr()] = Asm->getFunctionBegin(); 2410b57cec5SDimitry Andric } 2420b57cec5SDimitry Andric } 2430b57cec5SDimitry Andric } 2440b57cec5SDimitry Andric 2450b57cec5SDimitry Andric for (const auto &Entry : Entries) { 2460b57cec5SDimitry Andric if (Entry.isDbgValue()) 2470b57cec5SDimitry Andric requestLabelBeforeInsn(Entry.getInstr()); 2480b57cec5SDimitry Andric else 2490b57cec5SDimitry Andric requestLabelAfterInsn(Entry.getInstr()); 2500b57cec5SDimitry Andric } 2510b57cec5SDimitry Andric } 2520b57cec5SDimitry Andric 2530b57cec5SDimitry Andric // Ensure there is a symbol before DBG_LABEL. 2540b57cec5SDimitry Andric for (const auto &I : DbgLabels) { 2550b57cec5SDimitry Andric const MachineInstr *MI = I.second; 2560b57cec5SDimitry Andric requestLabelBeforeInsn(MI); 2570b57cec5SDimitry Andric } 2580b57cec5SDimitry Andric 2590b57cec5SDimitry Andric PrevInstLoc = DebugLoc(); 2600b57cec5SDimitry Andric PrevLabel = Asm->getFunctionBegin(); 2610b57cec5SDimitry Andric beginFunctionImpl(MF); 2620b57cec5SDimitry Andric } 2630b57cec5SDimitry Andric 2640b57cec5SDimitry Andric void DebugHandlerBase::beginInstruction(const MachineInstr *MI) { 2650b57cec5SDimitry Andric if (!MMI->hasDebugInfo()) 2660b57cec5SDimitry Andric return; 2670b57cec5SDimitry Andric 2680b57cec5SDimitry Andric assert(CurMI == nullptr); 2690b57cec5SDimitry Andric CurMI = MI; 2700b57cec5SDimitry Andric 2710b57cec5SDimitry Andric // Insert labels where requested. 2720b57cec5SDimitry Andric DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 2730b57cec5SDimitry Andric LabelsBeforeInsn.find(MI); 2740b57cec5SDimitry Andric 2750b57cec5SDimitry Andric // No label needed. 2760b57cec5SDimitry Andric if (I == LabelsBeforeInsn.end()) 2770b57cec5SDimitry Andric return; 2780b57cec5SDimitry Andric 2790b57cec5SDimitry Andric // Label already assigned. 2800b57cec5SDimitry Andric if (I->second) 2810b57cec5SDimitry Andric return; 2820b57cec5SDimitry Andric 2830b57cec5SDimitry Andric if (!PrevLabel) { 2840b57cec5SDimitry Andric PrevLabel = MMI->getContext().createTempSymbol(); 285*5ffd83dbSDimitry Andric Asm->OutStreamer->emitLabel(PrevLabel); 2860b57cec5SDimitry Andric } 2870b57cec5SDimitry Andric I->second = PrevLabel; 2880b57cec5SDimitry Andric } 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric void DebugHandlerBase::endInstruction() { 2910b57cec5SDimitry Andric if (!MMI->hasDebugInfo()) 2920b57cec5SDimitry Andric return; 2930b57cec5SDimitry Andric 2940b57cec5SDimitry Andric assert(CurMI != nullptr); 2950b57cec5SDimitry Andric // Don't create a new label after DBG_VALUE and other instructions that don't 2960b57cec5SDimitry Andric // generate code. 2970b57cec5SDimitry Andric if (!CurMI->isMetaInstruction()) { 2980b57cec5SDimitry Andric PrevLabel = nullptr; 2990b57cec5SDimitry Andric PrevInstBB = CurMI->getParent(); 3000b57cec5SDimitry Andric } 3010b57cec5SDimitry Andric 3020b57cec5SDimitry Andric DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 3030b57cec5SDimitry Andric LabelsAfterInsn.find(CurMI); 3040b57cec5SDimitry Andric CurMI = nullptr; 3050b57cec5SDimitry Andric 3060b57cec5SDimitry Andric // No label needed. 3070b57cec5SDimitry Andric if (I == LabelsAfterInsn.end()) 3080b57cec5SDimitry Andric return; 3090b57cec5SDimitry Andric 3100b57cec5SDimitry Andric // Label already assigned. 3110b57cec5SDimitry Andric if (I->second) 3120b57cec5SDimitry Andric return; 3130b57cec5SDimitry Andric 3140b57cec5SDimitry Andric // We need a label after this instruction. 3150b57cec5SDimitry Andric if (!PrevLabel) { 3160b57cec5SDimitry Andric PrevLabel = MMI->getContext().createTempSymbol(); 317*5ffd83dbSDimitry Andric Asm->OutStreamer->emitLabel(PrevLabel); 3180b57cec5SDimitry Andric } 3190b57cec5SDimitry Andric I->second = PrevLabel; 3200b57cec5SDimitry Andric } 3210b57cec5SDimitry Andric 3220b57cec5SDimitry Andric void DebugHandlerBase::endFunction(const MachineFunction *MF) { 3230b57cec5SDimitry Andric if (hasDebugInfo(MMI, MF)) 3240b57cec5SDimitry Andric endFunctionImpl(MF); 3250b57cec5SDimitry Andric DbgValues.clear(); 3260b57cec5SDimitry Andric DbgLabels.clear(); 3270b57cec5SDimitry Andric LabelsBeforeInsn.clear(); 3280b57cec5SDimitry Andric LabelsAfterInsn.clear(); 3290b57cec5SDimitry Andric } 330*5ffd83dbSDimitry Andric 331*5ffd83dbSDimitry Andric void DebugHandlerBase::beginBasicBlock(const MachineBasicBlock &MBB) { 332*5ffd83dbSDimitry Andric if (!MBB.isBeginSection()) 333*5ffd83dbSDimitry Andric return; 334*5ffd83dbSDimitry Andric 335*5ffd83dbSDimitry Andric PrevLabel = MBB.getSymbol(); 336*5ffd83dbSDimitry Andric } 337*5ffd83dbSDimitry Andric 338*5ffd83dbSDimitry Andric void DebugHandlerBase::endBasicBlock(const MachineBasicBlock &MBB) { 339*5ffd83dbSDimitry Andric if (!MBB.isEndSection()) 340*5ffd83dbSDimitry Andric return; 341*5ffd83dbSDimitry Andric 342*5ffd83dbSDimitry Andric PrevLabel = nullptr; 343*5ffd83dbSDimitry Andric } 344