1f9c275feSReid Kleckner //===-- llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp -------*- C++ -*--===// 2f9c275feSReid Kleckner // 3f9c275feSReid Kleckner // The LLVM Compiler Infrastructure 4f9c275feSReid Kleckner // 5f9c275feSReid Kleckner // This file is distributed under the University of Illinois Open Source 6f9c275feSReid Kleckner // License. See LICENSE.TXT for details. 7f9c275feSReid Kleckner // 8f9c275feSReid Kleckner //===----------------------------------------------------------------------===// 9f9c275feSReid Kleckner // 10f9c275feSReid Kleckner // Common functionality for different debug information format backends. 11f9c275feSReid Kleckner // LLVM currently supports DWARF and CodeView. 12f9c275feSReid Kleckner // 13f9c275feSReid Kleckner //===----------------------------------------------------------------------===// 14f9c275feSReid Kleckner 15f9c275feSReid Kleckner #include "DebugHandlerBase.h" 16f9c275feSReid Kleckner #include "llvm/CodeGen/AsmPrinter.h" 17f9c275feSReid Kleckner #include "llvm/CodeGen/MachineFunction.h" 18f9c275feSReid Kleckner #include "llvm/CodeGen/MachineInstr.h" 19f9c275feSReid Kleckner #include "llvm/CodeGen/MachineModuleInfo.h" 2028865809SReid Kleckner #include "llvm/IR/DebugInfo.h" 21a5b1eef8SReid Kleckner #include "llvm/MC/MCStreamer.h" 22f9c275feSReid Kleckner #include "llvm/Target/TargetSubtargetInfo.h" 23f9c275feSReid Kleckner 24f9c275feSReid Kleckner using namespace llvm; 25f9c275feSReid Kleckner 26223303c5SBob Haarman bool DbgVariableLocation::extractFromMachineInstruction( 27223303c5SBob Haarman DbgVariableLocation &Location, const MachineInstr &Instruction) { 28223303c5SBob Haarman if (!Instruction.isDebugValue()) 29223303c5SBob Haarman return false; 30223303c5SBob Haarman if (!Instruction.getOperand(0).isReg()) 31223303c5SBob Haarman return false; 32223303c5SBob Haarman Location.Register = Instruction.getOperand(0).getReg(); 33223303c5SBob Haarman Location.InMemory = Instruction.getOperand(1).isImm(); 34223303c5SBob Haarman Location.Deref = false; 35223303c5SBob Haarman Location.FragmentInfo.reset(); 36223303c5SBob Haarman // We only handle expressions generated by DIExpression::appendOffset, 37223303c5SBob Haarman // which doesn't require a full stack machine. 38223303c5SBob Haarman int64_t Offset = 0; 39223303c5SBob Haarman const DIExpression *DIExpr = Instruction.getDebugExpression(); 40223303c5SBob Haarman auto Op = DIExpr->expr_op_begin(); 41223303c5SBob Haarman while (Op != DIExpr->expr_op_end()) { 42223303c5SBob Haarman switch (Op->getOp()) { 43223303c5SBob Haarman case dwarf::DW_OP_constu: { 44223303c5SBob Haarman int Value = Op->getArg(0); 45223303c5SBob Haarman ++Op; 46223303c5SBob Haarman if (Op != DIExpr->expr_op_end()) { 47223303c5SBob Haarman switch (Op->getOp()) { 48223303c5SBob Haarman case dwarf::DW_OP_minus: 49223303c5SBob Haarman Offset -= Value; 50223303c5SBob Haarman break; 51223303c5SBob Haarman case dwarf::DW_OP_plus: 52223303c5SBob Haarman Offset += Value; 53*68e46019SBob Haarman break; 54223303c5SBob Haarman default: 55223303c5SBob Haarman continue; 56223303c5SBob Haarman } 57223303c5SBob Haarman } 58223303c5SBob Haarman } break; 59223303c5SBob Haarman case dwarf::DW_OP_plus_uconst: 60223303c5SBob Haarman Offset += Op->getArg(0); 61223303c5SBob Haarman break; 62223303c5SBob Haarman case dwarf::DW_OP_LLVM_fragment: 63223303c5SBob Haarman Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)}; 64223303c5SBob Haarman break; 65223303c5SBob Haarman case dwarf::DW_OP_deref: 66223303c5SBob Haarman Location.Deref = true; 67223303c5SBob Haarman break; 68223303c5SBob Haarman default: 69223303c5SBob Haarman return false; 70223303c5SBob Haarman } 71223303c5SBob Haarman ++Op; 72223303c5SBob Haarman } 73223303c5SBob Haarman 74223303c5SBob Haarman Location.Offset = Offset; 75223303c5SBob Haarman return true; 76223303c5SBob Haarman } 77223303c5SBob Haarman 78f9c275feSReid Kleckner DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {} 79f9c275feSReid Kleckner 80f9c275feSReid Kleckner // Each LexicalScope has first instruction and last instruction to mark 81f9c275feSReid Kleckner // beginning and end of a scope respectively. Create an inverse map that list 82f9c275feSReid Kleckner // scopes starts (and ends) with an instruction. One instruction may start (or 83f9c275feSReid Kleckner // end) multiple scopes. Ignore scopes that are not reachable. 84f9c275feSReid Kleckner void DebugHandlerBase::identifyScopeMarkers() { 85f9c275feSReid Kleckner SmallVector<LexicalScope *, 4> WorkList; 86f9c275feSReid Kleckner WorkList.push_back(LScopes.getCurrentFunctionScope()); 87f9c275feSReid Kleckner while (!WorkList.empty()) { 88f9c275feSReid Kleckner LexicalScope *S = WorkList.pop_back_val(); 89f9c275feSReid Kleckner 90f9c275feSReid Kleckner const SmallVectorImpl<LexicalScope *> &Children = S->getChildren(); 91f9c275feSReid Kleckner if (!Children.empty()) 92f9c275feSReid Kleckner WorkList.append(Children.begin(), Children.end()); 93f9c275feSReid Kleckner 94f9c275feSReid Kleckner if (S->isAbstractScope()) 95f9c275feSReid Kleckner continue; 96f9c275feSReid Kleckner 97f9c275feSReid Kleckner for (const InsnRange &R : S->getRanges()) { 98f9c275feSReid Kleckner assert(R.first && "InsnRange does not have first instruction!"); 99f9c275feSReid Kleckner assert(R.second && "InsnRange does not have second instruction!"); 100f9c275feSReid Kleckner requestLabelBeforeInsn(R.first); 101f9c275feSReid Kleckner requestLabelAfterInsn(R.second); 102f9c275feSReid Kleckner } 103f9c275feSReid Kleckner } 104f9c275feSReid Kleckner } 105f9c275feSReid Kleckner 106f9c275feSReid Kleckner // Return Label preceding the instruction. 107f9c275feSReid Kleckner MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) { 108f9c275feSReid Kleckner MCSymbol *Label = LabelsBeforeInsn.lookup(MI); 109f9c275feSReid Kleckner assert(Label && "Didn't insert label before instruction"); 110f9c275feSReid Kleckner return Label; 111f9c275feSReid Kleckner } 112f9c275feSReid Kleckner 113f9c275feSReid Kleckner // Return Label immediately following the instruction. 114f9c275feSReid Kleckner MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) { 115f9c275feSReid Kleckner return LabelsAfterInsn.lookup(MI); 116f9c275feSReid Kleckner } 117f9c275feSReid Kleckner 118941fa758SAdrian Prantl int DebugHandlerBase::fragmentCmp(const DIExpression *P1, 119941fa758SAdrian Prantl const DIExpression *P2) { 12049797ca6SAdrian Prantl auto Fragment1 = *P1->getFragmentInfo(); 12149797ca6SAdrian Prantl auto Fragment2 = *P2->getFragmentInfo(); 12249797ca6SAdrian Prantl unsigned l1 = Fragment1.OffsetInBits; 12349797ca6SAdrian Prantl unsigned l2 = Fragment2.OffsetInBits; 12449797ca6SAdrian Prantl unsigned r1 = l1 + Fragment1.SizeInBits; 12549797ca6SAdrian Prantl unsigned r2 = l2 + Fragment2.SizeInBits; 126f9c275feSReid Kleckner if (r1 <= l2) 127f9c275feSReid Kleckner return -1; 128f9c275feSReid Kleckner else if (r2 <= l1) 129f9c275feSReid Kleckner return 1; 130f9c275feSReid Kleckner else 131f9c275feSReid Kleckner return 0; 132f9c275feSReid Kleckner } 133f9c275feSReid Kleckner 134941fa758SAdrian Prantl bool DebugHandlerBase::fragmentsOverlap(const DIExpression *P1, 135941fa758SAdrian Prantl const DIExpression *P2) { 136941fa758SAdrian Prantl if (!P1->isFragment() || !P2->isFragment()) 137f9c275feSReid Kleckner return true; 138941fa758SAdrian Prantl return fragmentCmp(P1, P2) == 0; 139f9c275feSReid Kleckner } 140f9c275feSReid Kleckner 141acee5685SAmjad Aboud /// If this type is derived from a base type then return base type size. 142acee5685SAmjad Aboud uint64_t DebugHandlerBase::getBaseTypeSize(const DITypeRef TyRef) { 143acee5685SAmjad Aboud DIType *Ty = TyRef.resolve(); 144acee5685SAmjad Aboud assert(Ty); 145acee5685SAmjad Aboud DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty); 146acee5685SAmjad Aboud if (!DDTy) 147acee5685SAmjad Aboud return Ty->getSizeInBits(); 148acee5685SAmjad Aboud 149acee5685SAmjad Aboud unsigned Tag = DDTy->getTag(); 150acee5685SAmjad Aboud 151acee5685SAmjad Aboud if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef && 152acee5685SAmjad Aboud Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type && 153e1156c2eSVictor Leschuk Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type) 154acee5685SAmjad Aboud return DDTy->getSizeInBits(); 155acee5685SAmjad Aboud 156acee5685SAmjad Aboud DIType *BaseType = DDTy->getBaseType().resolve(); 157acee5685SAmjad Aboud 158acee5685SAmjad Aboud assert(BaseType && "Unexpected invalid base type"); 159acee5685SAmjad Aboud 160acee5685SAmjad Aboud // If this is a derived type, go ahead and get the base type, unless it's a 161acee5685SAmjad Aboud // reference then it's just the size of the field. Pointer types have no need 162acee5685SAmjad Aboud // of this since they're a different type of qualification on the type. 163acee5685SAmjad Aboud if (BaseType->getTag() == dwarf::DW_TAG_reference_type || 164acee5685SAmjad Aboud BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type) 165acee5685SAmjad Aboud return Ty->getSizeInBits(); 166acee5685SAmjad Aboud 167acee5685SAmjad Aboud return getBaseTypeSize(BaseType); 168acee5685SAmjad Aboud } 169acee5685SAmjad Aboud 170debb3c35SBenjamin Kramer static bool hasDebugInfo(const MachineModuleInfo *MMI, 171debb3c35SBenjamin Kramer const MachineFunction *MF) { 172b2fbb4b2SDavid Blaikie if (!MMI->hasDebugInfo()) 173b2fbb4b2SDavid Blaikie return false; 174b2fbb4b2SDavid Blaikie auto *SP = MF->getFunction()->getSubprogram(); 175b2fbb4b2SDavid Blaikie if (!SP) 176b2fbb4b2SDavid Blaikie return false; 177b2fbb4b2SDavid Blaikie assert(SP->getUnit()); 178b2fbb4b2SDavid Blaikie auto EK = SP->getUnit()->getEmissionKind(); 179b2fbb4b2SDavid Blaikie if (EK == DICompileUnit::NoDebug) 180b2fbb4b2SDavid Blaikie return false; 181b2fbb4b2SDavid Blaikie return true; 182b2fbb4b2SDavid Blaikie } 183b2fbb4b2SDavid Blaikie 184f9c275feSReid Kleckner void DebugHandlerBase::beginFunction(const MachineFunction *MF) { 1858f333795SAdrian Prantl PrevInstBB = nullptr; 186b2fbb4b2SDavid Blaikie 1875bc8543aSReid Kleckner if (!Asm || !hasDebugInfo(MMI, MF)) { 188b2fbb4b2SDavid Blaikie skippedNonDebugFunction(); 189b2fbb4b2SDavid Blaikie return; 190b2fbb4b2SDavid Blaikie } 191b2fbb4b2SDavid Blaikie 192f9c275feSReid Kleckner // Grab the lexical scopes for the function, if we don't have any of those 193f9c275feSReid Kleckner // then we're not going to be able to do anything. 194f9c275feSReid Kleckner LScopes.initialize(*MF); 195b2fbb4b2SDavid Blaikie if (LScopes.empty()) { 196b2fbb4b2SDavid Blaikie beginFunctionImpl(MF); 197f9c275feSReid Kleckner return; 198b2fbb4b2SDavid Blaikie } 199f9c275feSReid Kleckner 200f9c275feSReid Kleckner // Make sure that each lexical scope will have a begin/end label. 201f9c275feSReid Kleckner identifyScopeMarkers(); 202f9c275feSReid Kleckner 203f9c275feSReid Kleckner // Calculate history for local variables. 204f9c275feSReid Kleckner assert(DbgValues.empty() && "DbgValues map wasn't cleaned!"); 205f9c275feSReid Kleckner calculateDbgValueHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(), 206f9c275feSReid Kleckner DbgValues); 207f9c275feSReid Kleckner 208f9c275feSReid Kleckner // Request labels for the full history. 209f9c275feSReid Kleckner for (const auto &I : DbgValues) { 210f9c275feSReid Kleckner const auto &Ranges = I.second; 211f9c275feSReid Kleckner if (Ranges.empty()) 212f9c275feSReid Kleckner continue; 213f9c275feSReid Kleckner 214f9c275feSReid Kleckner // The first mention of a function argument gets the CurrentFnBegin 215f9c275feSReid Kleckner // label, so arguments are visible when breaking at function entry. 216f9c275feSReid Kleckner const DILocalVariable *DIVar = Ranges.front().first->getDebugVariable(); 217f9c275feSReid Kleckner if (DIVar->isParameter() && 218f9c275feSReid Kleckner getDISubprogram(DIVar->getScope())->describes(MF->getFunction())) { 219f9c275feSReid Kleckner LabelsBeforeInsn[Ranges.front().first] = Asm->getFunctionBegin(); 220941fa758SAdrian Prantl if (Ranges.front().first->getDebugExpression()->isFragment()) { 221941fa758SAdrian Prantl // Mark all non-overlapping initial fragments. 222f9c275feSReid Kleckner for (auto I = Ranges.begin(); I != Ranges.end(); ++I) { 223941fa758SAdrian Prantl const DIExpression *Fragment = I->first->getDebugExpression(); 224f9c275feSReid Kleckner if (std::all_of(Ranges.begin(), I, 225f9c275feSReid Kleckner [&](DbgValueHistoryMap::InstrRange Pred) { 226941fa758SAdrian Prantl return !fragmentsOverlap( 227941fa758SAdrian Prantl Fragment, Pred.first->getDebugExpression()); 228f9c275feSReid Kleckner })) 229f9c275feSReid Kleckner LabelsBeforeInsn[I->first] = Asm->getFunctionBegin(); 230f9c275feSReid Kleckner else 231f9c275feSReid Kleckner break; 232f9c275feSReid Kleckner } 233f9c275feSReid Kleckner } 234f9c275feSReid Kleckner } 235f9c275feSReid Kleckner 236f9c275feSReid Kleckner for (const auto &Range : Ranges) { 237f9c275feSReid Kleckner requestLabelBeforeInsn(Range.first); 238f9c275feSReid Kleckner if (Range.second) 239f9c275feSReid Kleckner requestLabelAfterInsn(Range.second); 240f9c275feSReid Kleckner } 241f9c275feSReid Kleckner } 242f9c275feSReid Kleckner 243f9c275feSReid Kleckner PrevInstLoc = DebugLoc(); 244f9c275feSReid Kleckner PrevLabel = Asm->getFunctionBegin(); 245b2fbb4b2SDavid Blaikie beginFunctionImpl(MF); 246f9c275feSReid Kleckner } 247f9c275feSReid Kleckner 248f9c275feSReid Kleckner void DebugHandlerBase::beginInstruction(const MachineInstr *MI) { 249f9c275feSReid Kleckner if (!MMI->hasDebugInfo()) 250f9c275feSReid Kleckner return; 251f9c275feSReid Kleckner 252f9c275feSReid Kleckner assert(CurMI == nullptr); 253f9c275feSReid Kleckner CurMI = MI; 254f9c275feSReid Kleckner 255f9c275feSReid Kleckner // Insert labels where requested. 256f9c275feSReid Kleckner DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 257f9c275feSReid Kleckner LabelsBeforeInsn.find(MI); 258f9c275feSReid Kleckner 259f9c275feSReid Kleckner // No label needed. 260f9c275feSReid Kleckner if (I == LabelsBeforeInsn.end()) 261f9c275feSReid Kleckner return; 262f9c275feSReid Kleckner 263f9c275feSReid Kleckner // Label already assigned. 264f9c275feSReid Kleckner if (I->second) 265f9c275feSReid Kleckner return; 266f9c275feSReid Kleckner 267f9c275feSReid Kleckner if (!PrevLabel) { 268f9c275feSReid Kleckner PrevLabel = MMI->getContext().createTempSymbol(); 269f9c275feSReid Kleckner Asm->OutStreamer->EmitLabel(PrevLabel); 270f9c275feSReid Kleckner } 271f9c275feSReid Kleckner I->second = PrevLabel; 272f9c275feSReid Kleckner } 273f9c275feSReid Kleckner 274f9c275feSReid Kleckner void DebugHandlerBase::endInstruction() { 275f9c275feSReid Kleckner if (!MMI->hasDebugInfo()) 276f9c275feSReid Kleckner return; 277f9c275feSReid Kleckner 278f9c275feSReid Kleckner assert(CurMI != nullptr); 279fb31da13SAdrian Prantl // Don't create a new label after DBG_VALUE and other instructions that don't 280fb31da13SAdrian Prantl // generate code. 281fb31da13SAdrian Prantl if (!CurMI->isMetaInstruction()) { 282f9c275feSReid Kleckner PrevLabel = nullptr; 283ac7fe5e0SPaul Robinson PrevInstBB = CurMI->getParent(); 284ac7fe5e0SPaul Robinson } 285f9c275feSReid Kleckner 286f9c275feSReid Kleckner DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 287f9c275feSReid Kleckner LabelsAfterInsn.find(CurMI); 288f9c275feSReid Kleckner CurMI = nullptr; 289f9c275feSReid Kleckner 290f9c275feSReid Kleckner // No label needed. 291f9c275feSReid Kleckner if (I == LabelsAfterInsn.end()) 292f9c275feSReid Kleckner return; 293f9c275feSReid Kleckner 294f9c275feSReid Kleckner // Label already assigned. 295f9c275feSReid Kleckner if (I->second) 296f9c275feSReid Kleckner return; 297f9c275feSReid Kleckner 298f9c275feSReid Kleckner // We need a label after this instruction. 299f9c275feSReid Kleckner if (!PrevLabel) { 300f9c275feSReid Kleckner PrevLabel = MMI->getContext().createTempSymbol(); 301f9c275feSReid Kleckner Asm->OutStreamer->EmitLabel(PrevLabel); 302f9c275feSReid Kleckner } 303f9c275feSReid Kleckner I->second = PrevLabel; 304f9c275feSReid Kleckner } 305f9c275feSReid Kleckner 306f9c275feSReid Kleckner void DebugHandlerBase::endFunction(const MachineFunction *MF) { 307b2fbb4b2SDavid Blaikie if (hasDebugInfo(MMI, MF)) 308b2fbb4b2SDavid Blaikie endFunctionImpl(MF); 309f9c275feSReid Kleckner DbgValues.clear(); 310f9c275feSReid Kleckner LabelsBeforeInsn.clear(); 311f9c275feSReid Kleckner LabelsAfterInsn.clear(); 312f9c275feSReid Kleckner } 313