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/CodeGen/AsmPrinter.h" 160b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 200b57cec5SDimitry Andric #include "llvm/IR/DebugInfo.h" 21*0fca6ea1SDimitry Andric #include "llvm/IR/Module.h" 220b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h" 23e8d8bef9SDimitry Andric #include "llvm/Support/CommandLine.h" 240b57cec5SDimitry Andric 250b57cec5SDimitry Andric using namespace llvm; 260b57cec5SDimitry Andric 270b57cec5SDimitry Andric #define DEBUG_TYPE "dwarfdebug" 280b57cec5SDimitry Andric 29e8d8bef9SDimitry Andric /// If true, we drop variable location ranges which exist entirely outside the 30e8d8bef9SDimitry Andric /// variable's lexical scope instruction ranges. 31e8d8bef9SDimitry Andric static cl::opt<bool> TrimVarLocs("trim-var-locs", cl::Hidden, cl::init(true)); 32e8d8bef9SDimitry Andric 33bdd1243dSDimitry Andric std::optional<DbgVariableLocation> 340b57cec5SDimitry Andric DbgVariableLocation::extractFromMachineInstruction( 350b57cec5SDimitry Andric const MachineInstr &Instruction) { 360b57cec5SDimitry Andric DbgVariableLocation Location; 37fe6060f1SDimitry Andric // Variables calculated from multiple locations can't be represented here. 38fe6060f1SDimitry Andric if (Instruction.getNumDebugOperands() != 1) 39bdd1243dSDimitry Andric return std::nullopt; 405ffd83dbSDimitry Andric if (!Instruction.getDebugOperand(0).isReg()) 41bdd1243dSDimitry Andric return std::nullopt; 425ffd83dbSDimitry Andric Location.Register = Instruction.getDebugOperand(0).getReg(); 430b57cec5SDimitry Andric Location.FragmentInfo.reset(); 440b57cec5SDimitry Andric // We only handle expressions generated by DIExpression::appendOffset, 450b57cec5SDimitry Andric // which doesn't require a full stack machine. 460b57cec5SDimitry Andric int64_t Offset = 0; 470b57cec5SDimitry Andric const DIExpression *DIExpr = Instruction.getDebugExpression(); 480b57cec5SDimitry Andric auto Op = DIExpr->expr_op_begin(); 49fe6060f1SDimitry Andric // We can handle a DBG_VALUE_LIST iff it has exactly one location operand that 50fe6060f1SDimitry Andric // appears exactly once at the start of the expression. 51fe6060f1SDimitry Andric if (Instruction.isDebugValueList()) { 52fe6060f1SDimitry Andric if (Instruction.getNumDebugOperands() == 1 && 53fe6060f1SDimitry Andric Op->getOp() == dwarf::DW_OP_LLVM_arg) 54fe6060f1SDimitry Andric ++Op; 55fe6060f1SDimitry Andric else 56bdd1243dSDimitry Andric return std::nullopt; 57fe6060f1SDimitry Andric } 580b57cec5SDimitry Andric while (Op != DIExpr->expr_op_end()) { 590b57cec5SDimitry Andric switch (Op->getOp()) { 600b57cec5SDimitry Andric case dwarf::DW_OP_constu: { 610b57cec5SDimitry Andric int Value = Op->getArg(0); 620b57cec5SDimitry Andric ++Op; 630b57cec5SDimitry Andric if (Op != DIExpr->expr_op_end()) { 640b57cec5SDimitry Andric switch (Op->getOp()) { 650b57cec5SDimitry Andric case dwarf::DW_OP_minus: 660b57cec5SDimitry Andric Offset -= Value; 670b57cec5SDimitry Andric break; 680b57cec5SDimitry Andric case dwarf::DW_OP_plus: 690b57cec5SDimitry Andric Offset += Value; 700b57cec5SDimitry Andric break; 710b57cec5SDimitry Andric default: 720b57cec5SDimitry Andric continue; 730b57cec5SDimitry Andric } 740b57cec5SDimitry Andric } 750b57cec5SDimitry Andric } break; 760b57cec5SDimitry Andric case dwarf::DW_OP_plus_uconst: 770b57cec5SDimitry Andric Offset += Op->getArg(0); 780b57cec5SDimitry Andric break; 790b57cec5SDimitry Andric case dwarf::DW_OP_LLVM_fragment: 800b57cec5SDimitry Andric Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)}; 810b57cec5SDimitry Andric break; 820b57cec5SDimitry Andric case dwarf::DW_OP_deref: 830b57cec5SDimitry Andric Location.LoadChain.push_back(Offset); 840b57cec5SDimitry Andric Offset = 0; 850b57cec5SDimitry Andric break; 860b57cec5SDimitry Andric default: 87bdd1243dSDimitry Andric return std::nullopt; 880b57cec5SDimitry Andric } 890b57cec5SDimitry Andric ++Op; 900b57cec5SDimitry Andric } 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric // Do one final implicit DW_OP_deref if this was an indirect DBG_VALUE 930b57cec5SDimitry Andric // instruction. 940b57cec5SDimitry Andric // FIXME: Replace these with DIExpression. 950b57cec5SDimitry Andric if (Instruction.isIndirectDebugValue()) 960b57cec5SDimitry Andric Location.LoadChain.push_back(Offset); 970b57cec5SDimitry Andric 980b57cec5SDimitry Andric return Location; 990b57cec5SDimitry Andric } 1000b57cec5SDimitry Andric 1010b57cec5SDimitry Andric DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {} 1020b57cec5SDimitry Andric 103*0fca6ea1SDimitry Andric DebugHandlerBase::~DebugHandlerBase() = default; 104*0fca6ea1SDimitry Andric 105e8d8bef9SDimitry Andric void DebugHandlerBase::beginModule(Module *M) { 106e8d8bef9SDimitry Andric if (M->debug_compile_units().empty()) 107e8d8bef9SDimitry Andric Asm = nullptr; 108e8d8bef9SDimitry Andric } 109e8d8bef9SDimitry Andric 1100b57cec5SDimitry Andric // Each LexicalScope has first instruction and last instruction to mark 1110b57cec5SDimitry Andric // beginning and end of a scope respectively. Create an inverse map that list 1120b57cec5SDimitry Andric // scopes starts (and ends) with an instruction. One instruction may start (or 1130b57cec5SDimitry Andric // end) multiple scopes. Ignore scopes that are not reachable. 1140b57cec5SDimitry Andric void DebugHandlerBase::identifyScopeMarkers() { 1150b57cec5SDimitry Andric SmallVector<LexicalScope *, 4> WorkList; 1160b57cec5SDimitry Andric WorkList.push_back(LScopes.getCurrentFunctionScope()); 1170b57cec5SDimitry Andric while (!WorkList.empty()) { 1180b57cec5SDimitry Andric LexicalScope *S = WorkList.pop_back_val(); 1190b57cec5SDimitry Andric 1200b57cec5SDimitry Andric const SmallVectorImpl<LexicalScope *> &Children = S->getChildren(); 1210b57cec5SDimitry Andric if (!Children.empty()) 1220b57cec5SDimitry Andric WorkList.append(Children.begin(), Children.end()); 1230b57cec5SDimitry Andric 1240b57cec5SDimitry Andric if (S->isAbstractScope()) 1250b57cec5SDimitry Andric continue; 1260b57cec5SDimitry Andric 1270b57cec5SDimitry Andric for (const InsnRange &R : S->getRanges()) { 1280b57cec5SDimitry Andric assert(R.first && "InsnRange does not have first instruction!"); 1290b57cec5SDimitry Andric assert(R.second && "InsnRange does not have second instruction!"); 1300b57cec5SDimitry Andric requestLabelBeforeInsn(R.first); 1310b57cec5SDimitry Andric requestLabelAfterInsn(R.second); 1320b57cec5SDimitry Andric } 1330b57cec5SDimitry Andric } 1340b57cec5SDimitry Andric } 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric // Return Label preceding the instruction. 1370b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) { 1380b57cec5SDimitry Andric MCSymbol *Label = LabelsBeforeInsn.lookup(MI); 1390b57cec5SDimitry Andric assert(Label && "Didn't insert label before instruction"); 1400b57cec5SDimitry Andric return Label; 1410b57cec5SDimitry Andric } 1420b57cec5SDimitry Andric 1430b57cec5SDimitry Andric // Return Label immediately following the instruction. 1440b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) { 1450b57cec5SDimitry Andric return LabelsAfterInsn.lookup(MI); 1460b57cec5SDimitry Andric } 1470b57cec5SDimitry Andric 1480b57cec5SDimitry Andric /// If this type is derived from a base type then return base type size. 1490b57cec5SDimitry Andric uint64_t DebugHandlerBase::getBaseTypeSize(const DIType *Ty) { 1500b57cec5SDimitry Andric assert(Ty); 1510b57cec5SDimitry Andric const DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty); 1520b57cec5SDimitry Andric if (!DDTy) 1530b57cec5SDimitry Andric return Ty->getSizeInBits(); 1540b57cec5SDimitry Andric 1550b57cec5SDimitry Andric unsigned Tag = DDTy->getTag(); 1560b57cec5SDimitry Andric 1570b57cec5SDimitry Andric if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef && 1580b57cec5SDimitry Andric Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type && 15904eeddc0SDimitry Andric Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type && 160*0fca6ea1SDimitry Andric Tag != dwarf::DW_TAG_immutable_type && 161*0fca6ea1SDimitry Andric Tag != dwarf::DW_TAG_template_alias) 1620b57cec5SDimitry Andric return DDTy->getSizeInBits(); 1630b57cec5SDimitry Andric 1640b57cec5SDimitry Andric DIType *BaseType = DDTy->getBaseType(); 1650b57cec5SDimitry Andric 1660b57cec5SDimitry Andric if (!BaseType) 1670b57cec5SDimitry Andric return 0; 1680b57cec5SDimitry Andric 1690b57cec5SDimitry Andric // If this is a derived type, go ahead and get the base type, unless it's a 1700b57cec5SDimitry Andric // reference then it's just the size of the field. Pointer types have no need 1710b57cec5SDimitry Andric // of this since they're a different type of qualification on the type. 1720b57cec5SDimitry Andric if (BaseType->getTag() == dwarf::DW_TAG_reference_type || 1730b57cec5SDimitry Andric BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type) 1740b57cec5SDimitry Andric return Ty->getSizeInBits(); 1750b57cec5SDimitry Andric 1760b57cec5SDimitry Andric return getBaseTypeSize(BaseType); 1770b57cec5SDimitry Andric } 1780b57cec5SDimitry Andric 179e8d8bef9SDimitry Andric bool DebugHandlerBase::isUnsignedDIType(const DIType *Ty) { 180fe6060f1SDimitry Andric if (isa<DIStringType>(Ty)) { 181349cc55cSDimitry Andric // Some transformations (e.g. instcombine) may decide to turn a Fortran 182349cc55cSDimitry Andric // character object into an integer, and later ones (e.g. SROA) may 183349cc55cSDimitry Andric // further inject a constant integer in a llvm.dbg.value call to track 184349cc55cSDimitry Andric // the object's value. Here we trust the transformations are doing the 185349cc55cSDimitry Andric // right thing, and treat the constant as unsigned to preserve that value 186349cc55cSDimitry Andric // (i.e. avoid sign extension). 187fe6060f1SDimitry Andric return true; 188fe6060f1SDimitry Andric } 189349cc55cSDimitry Andric 190e8d8bef9SDimitry Andric if (auto *CTy = dyn_cast<DICompositeType>(Ty)) { 191349cc55cSDimitry Andric if (CTy->getTag() == dwarf::DW_TAG_enumeration_type) { 192349cc55cSDimitry Andric if (!(Ty = CTy->getBaseType())) 193e8d8bef9SDimitry Andric // FIXME: Enums without a fixed underlying type have unknown signedness 194e8d8bef9SDimitry Andric // here, leading to incorrectly emitted constants. 195e8d8bef9SDimitry Andric return false; 196349cc55cSDimitry Andric } else 197e8d8bef9SDimitry Andric // (Pieces of) aggregate types that get hacked apart by SROA may be 198e8d8bef9SDimitry Andric // represented by a constant. Encode them as unsigned bytes. 199e8d8bef9SDimitry Andric return true; 200e8d8bef9SDimitry Andric } 201e8d8bef9SDimitry Andric 202e8d8bef9SDimitry Andric if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) { 203e8d8bef9SDimitry Andric dwarf::Tag T = (dwarf::Tag)Ty->getTag(); 204e8d8bef9SDimitry Andric // Encode pointer constants as unsigned bytes. This is used at least for 205e8d8bef9SDimitry Andric // null pointer constant emission. 206e8d8bef9SDimitry Andric // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed 207e8d8bef9SDimitry Andric // here, but accept them for now due to a bug in SROA producing bogus 208e8d8bef9SDimitry Andric // dbg.values. 209e8d8bef9SDimitry Andric if (T == dwarf::DW_TAG_pointer_type || 210e8d8bef9SDimitry Andric T == dwarf::DW_TAG_ptr_to_member_type || 211e8d8bef9SDimitry Andric T == dwarf::DW_TAG_reference_type || 212e8d8bef9SDimitry Andric T == dwarf::DW_TAG_rvalue_reference_type) 213e8d8bef9SDimitry Andric return true; 214e8d8bef9SDimitry Andric assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type || 215e8d8bef9SDimitry Andric T == dwarf::DW_TAG_volatile_type || 21604eeddc0SDimitry Andric T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type || 217*0fca6ea1SDimitry Andric T == dwarf::DW_TAG_immutable_type || 218*0fca6ea1SDimitry Andric T == dwarf::DW_TAG_template_alias); 219e8d8bef9SDimitry Andric assert(DTy->getBaseType() && "Expected valid base type"); 220e8d8bef9SDimitry Andric return isUnsignedDIType(DTy->getBaseType()); 221e8d8bef9SDimitry Andric } 222e8d8bef9SDimitry Andric 223e8d8bef9SDimitry Andric auto *BTy = cast<DIBasicType>(Ty); 224e8d8bef9SDimitry Andric unsigned Encoding = BTy->getEncoding(); 225e8d8bef9SDimitry Andric assert((Encoding == dwarf::DW_ATE_unsigned || 226e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_unsigned_char || 227e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_signed || 228e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_signed_char || 229e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF || 230e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_boolean || 23106c3fb27SDimitry Andric Encoding == dwarf::DW_ATE_complex_float || 232*0fca6ea1SDimitry Andric Encoding == dwarf::DW_ATE_signed_fixed || 233*0fca6ea1SDimitry Andric Encoding == dwarf::DW_ATE_unsigned_fixed || 234e8d8bef9SDimitry Andric (Ty->getTag() == dwarf::DW_TAG_unspecified_type && 235e8d8bef9SDimitry Andric Ty->getName() == "decltype(nullptr)")) && 236e8d8bef9SDimitry Andric "Unsupported encoding"); 237e8d8bef9SDimitry Andric return Encoding == dwarf::DW_ATE_unsigned || 238e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_unsigned_char || 239e8d8bef9SDimitry Andric Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean || 240*0fca6ea1SDimitry Andric Encoding == llvm::dwarf::DW_ATE_unsigned_fixed || 241e8d8bef9SDimitry Andric Ty->getTag() == dwarf::DW_TAG_unspecified_type; 242e8d8bef9SDimitry Andric } 243e8d8bef9SDimitry Andric 2440b57cec5SDimitry Andric static bool hasDebugInfo(const MachineModuleInfo *MMI, 2450b57cec5SDimitry Andric const MachineFunction *MF) { 2460b57cec5SDimitry Andric if (!MMI->hasDebugInfo()) 2470b57cec5SDimitry Andric return false; 2480b57cec5SDimitry Andric auto *SP = MF->getFunction().getSubprogram(); 2490b57cec5SDimitry Andric if (!SP) 2500b57cec5SDimitry Andric return false; 2510b57cec5SDimitry Andric assert(SP->getUnit()); 2520b57cec5SDimitry Andric auto EK = SP->getUnit()->getEmissionKind(); 2530b57cec5SDimitry Andric if (EK == DICompileUnit::NoDebug) 2540b57cec5SDimitry Andric return false; 2550b57cec5SDimitry Andric return true; 2560b57cec5SDimitry Andric } 2570b57cec5SDimitry Andric 2580b57cec5SDimitry Andric void DebugHandlerBase::beginFunction(const MachineFunction *MF) { 2590b57cec5SDimitry Andric PrevInstBB = nullptr; 2600b57cec5SDimitry Andric 2610b57cec5SDimitry Andric if (!Asm || !hasDebugInfo(MMI, MF)) { 2620b57cec5SDimitry Andric skippedNonDebugFunction(); 2630b57cec5SDimitry Andric return; 2640b57cec5SDimitry Andric } 2650b57cec5SDimitry Andric 2660b57cec5SDimitry Andric // Grab the lexical scopes for the function, if we don't have any of those 2670b57cec5SDimitry Andric // then we're not going to be able to do anything. 2680b57cec5SDimitry Andric LScopes.initialize(*MF); 2690b57cec5SDimitry Andric if (LScopes.empty()) { 2700b57cec5SDimitry Andric beginFunctionImpl(MF); 2710b57cec5SDimitry Andric return; 2720b57cec5SDimitry Andric } 2730b57cec5SDimitry Andric 2740b57cec5SDimitry Andric // Make sure that each lexical scope will have a begin/end label. 2750b57cec5SDimitry Andric identifyScopeMarkers(); 2760b57cec5SDimitry Andric 2770b57cec5SDimitry Andric // Calculate history for local variables. 2780b57cec5SDimitry Andric assert(DbgValues.empty() && "DbgValues map wasn't cleaned!"); 2790b57cec5SDimitry Andric assert(DbgLabels.empty() && "DbgLabels map wasn't cleaned!"); 2800b57cec5SDimitry Andric calculateDbgEntityHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(), 2810b57cec5SDimitry Andric DbgValues, DbgLabels); 282e8d8bef9SDimitry Andric InstOrdering.initialize(*MF); 283e8d8bef9SDimitry Andric if (TrimVarLocs) 284e8d8bef9SDimitry Andric DbgValues.trimLocationRanges(*MF, LScopes, InstOrdering); 28506c3fb27SDimitry Andric LLVM_DEBUG(DbgValues.dump(MF->getName())); 2860b57cec5SDimitry Andric 2870b57cec5SDimitry Andric // Request labels for the full history. 2880b57cec5SDimitry Andric for (const auto &I : DbgValues) { 2890b57cec5SDimitry Andric const auto &Entries = I.second; 2900b57cec5SDimitry Andric if (Entries.empty()) 2910b57cec5SDimitry Andric continue; 2920b57cec5SDimitry Andric 2930b57cec5SDimitry Andric auto IsDescribedByReg = [](const MachineInstr *MI) { 294fe6060f1SDimitry Andric return any_of(MI->debug_operands(), 295fe6060f1SDimitry Andric [](auto &MO) { return MO.isReg() && MO.getReg(); }); 2960b57cec5SDimitry Andric }; 2970b57cec5SDimitry Andric 2980b57cec5SDimitry Andric // The first mention of a function argument gets the CurrentFnBegin label, 2990b57cec5SDimitry Andric // so arguments are visible when breaking at function entry. 3000b57cec5SDimitry Andric // 3010b57cec5SDimitry Andric // We do not change the label for values that are described by registers, 3020b57cec5SDimitry Andric // as that could place them above their defining instructions. We should 3030b57cec5SDimitry Andric // ideally not change the labels for constant debug values either, since 3040b57cec5SDimitry Andric // doing that violates the ranges that are calculated in the history map. 3050b57cec5SDimitry Andric // However, we currently do not emit debug values for constant arguments 3060b57cec5SDimitry Andric // directly at the start of the function, so this code is still useful. 3070b57cec5SDimitry Andric const DILocalVariable *DIVar = 3080b57cec5SDimitry Andric Entries.front().getInstr()->getDebugVariable(); 3090b57cec5SDimitry Andric if (DIVar->isParameter() && 310fe6060f1SDimitry Andric getDISubprogram(DIVar->getScope())->describes(&MF->getFunction())) { 3110b57cec5SDimitry Andric if (!IsDescribedByReg(Entries.front().getInstr())) 3120b57cec5SDimitry Andric LabelsBeforeInsn[Entries.front().getInstr()] = Asm->getFunctionBegin(); 3130b57cec5SDimitry Andric if (Entries.front().getInstr()->getDebugExpression()->isFragment()) { 3140b57cec5SDimitry Andric // Mark all non-overlapping initial fragments. 315fcaf7f86SDimitry Andric for (const auto *I = Entries.begin(); I != Entries.end(); ++I) { 3160b57cec5SDimitry Andric if (!I->isDbgValue()) 3170b57cec5SDimitry Andric continue; 3180b57cec5SDimitry Andric const DIExpression *Fragment = I->getInstr()->getDebugExpression(); 3190b57cec5SDimitry Andric if (std::any_of(Entries.begin(), I, 3200b57cec5SDimitry Andric [&](DbgValueHistoryMap::Entry Pred) { 3210b57cec5SDimitry Andric return Pred.isDbgValue() && 3220b57cec5SDimitry Andric Fragment->fragmentsOverlap( 3230b57cec5SDimitry Andric Pred.getInstr()->getDebugExpression()); 3240b57cec5SDimitry Andric })) 3250b57cec5SDimitry Andric break; 3260b57cec5SDimitry Andric // The code that generates location lists for DWARF assumes that the 3270b57cec5SDimitry Andric // entries' start labels are monotonically increasing, and since we 3280b57cec5SDimitry Andric // don't change the label for fragments that are described by 3290b57cec5SDimitry Andric // registers, we must bail out when encountering such a fragment. 3300b57cec5SDimitry Andric if (IsDescribedByReg(I->getInstr())) 3310b57cec5SDimitry Andric break; 3320b57cec5SDimitry Andric LabelsBeforeInsn[I->getInstr()] = Asm->getFunctionBegin(); 3330b57cec5SDimitry Andric } 3340b57cec5SDimitry Andric } 3350b57cec5SDimitry Andric } 3360b57cec5SDimitry Andric 3370b57cec5SDimitry Andric for (const auto &Entry : Entries) { 3380b57cec5SDimitry Andric if (Entry.isDbgValue()) 3390b57cec5SDimitry Andric requestLabelBeforeInsn(Entry.getInstr()); 3400b57cec5SDimitry Andric else 3410b57cec5SDimitry Andric requestLabelAfterInsn(Entry.getInstr()); 3420b57cec5SDimitry Andric } 3430b57cec5SDimitry Andric } 3440b57cec5SDimitry Andric 3450b57cec5SDimitry Andric // Ensure there is a symbol before DBG_LABEL. 3460b57cec5SDimitry Andric for (const auto &I : DbgLabels) { 3470b57cec5SDimitry Andric const MachineInstr *MI = I.second; 3480b57cec5SDimitry Andric requestLabelBeforeInsn(MI); 3490b57cec5SDimitry Andric } 3500b57cec5SDimitry Andric 3510b57cec5SDimitry Andric PrevInstLoc = DebugLoc(); 3520b57cec5SDimitry Andric PrevLabel = Asm->getFunctionBegin(); 3530b57cec5SDimitry Andric beginFunctionImpl(MF); 3540b57cec5SDimitry Andric } 3550b57cec5SDimitry Andric 3560b57cec5SDimitry Andric void DebugHandlerBase::beginInstruction(const MachineInstr *MI) { 357e8d8bef9SDimitry Andric if (!Asm || !MMI->hasDebugInfo()) 3580b57cec5SDimitry Andric return; 3590b57cec5SDimitry Andric 3600b57cec5SDimitry Andric assert(CurMI == nullptr); 3610b57cec5SDimitry Andric CurMI = MI; 3620b57cec5SDimitry Andric 3630b57cec5SDimitry Andric // Insert labels where requested. 3640b57cec5SDimitry Andric DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 3650b57cec5SDimitry Andric LabelsBeforeInsn.find(MI); 3660b57cec5SDimitry Andric 3670b57cec5SDimitry Andric // No label needed. 3680b57cec5SDimitry Andric if (I == LabelsBeforeInsn.end()) 3690b57cec5SDimitry Andric return; 3700b57cec5SDimitry Andric 3710b57cec5SDimitry Andric // Label already assigned. 3720b57cec5SDimitry Andric if (I->second) 3730b57cec5SDimitry Andric return; 3740b57cec5SDimitry Andric 3750b57cec5SDimitry Andric if (!PrevLabel) { 3760b57cec5SDimitry Andric PrevLabel = MMI->getContext().createTempSymbol(); 3775ffd83dbSDimitry Andric Asm->OutStreamer->emitLabel(PrevLabel); 3780b57cec5SDimitry Andric } 3790b57cec5SDimitry Andric I->second = PrevLabel; 3800b57cec5SDimitry Andric } 3810b57cec5SDimitry Andric 3820b57cec5SDimitry Andric void DebugHandlerBase::endInstruction() { 383e8d8bef9SDimitry Andric if (!Asm || !MMI->hasDebugInfo()) 3840b57cec5SDimitry Andric return; 3850b57cec5SDimitry Andric 3860b57cec5SDimitry Andric assert(CurMI != nullptr); 3870b57cec5SDimitry Andric // Don't create a new label after DBG_VALUE and other instructions that don't 3880b57cec5SDimitry Andric // generate code. 3890b57cec5SDimitry Andric if (!CurMI->isMetaInstruction()) { 3900b57cec5SDimitry Andric PrevLabel = nullptr; 3910b57cec5SDimitry Andric PrevInstBB = CurMI->getParent(); 3920b57cec5SDimitry Andric } 3930b57cec5SDimitry Andric 3940b57cec5SDimitry Andric DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 3950b57cec5SDimitry Andric LabelsAfterInsn.find(CurMI); 396fe6060f1SDimitry Andric 397fe6060f1SDimitry Andric // No label needed or label already assigned. 398fe6060f1SDimitry Andric if (I == LabelsAfterInsn.end() || I->second) { 3990b57cec5SDimitry Andric CurMI = nullptr; 4000b57cec5SDimitry Andric return; 401fe6060f1SDimitry Andric } 4020b57cec5SDimitry Andric 403fe6060f1SDimitry Andric // We need a label after this instruction. With basic block sections, just 404fe6060f1SDimitry Andric // use the end symbol of the section if this is the last instruction of the 405fe6060f1SDimitry Andric // section. This reduces the need for an additional label and also helps 406fe6060f1SDimitry Andric // merging ranges. 407fe6060f1SDimitry Andric if (CurMI->getParent()->isEndSection() && CurMI->getNextNode() == nullptr) { 408fe6060f1SDimitry Andric PrevLabel = CurMI->getParent()->getEndSymbol(); 409fe6060f1SDimitry Andric } else if (!PrevLabel) { 4100b57cec5SDimitry Andric PrevLabel = MMI->getContext().createTempSymbol(); 4115ffd83dbSDimitry Andric Asm->OutStreamer->emitLabel(PrevLabel); 4120b57cec5SDimitry Andric } 4130b57cec5SDimitry Andric I->second = PrevLabel; 414fe6060f1SDimitry Andric CurMI = nullptr; 4150b57cec5SDimitry Andric } 4160b57cec5SDimitry Andric 4170b57cec5SDimitry Andric void DebugHandlerBase::endFunction(const MachineFunction *MF) { 418e8d8bef9SDimitry Andric if (Asm && hasDebugInfo(MMI, MF)) 4190b57cec5SDimitry Andric endFunctionImpl(MF); 4200b57cec5SDimitry Andric DbgValues.clear(); 4210b57cec5SDimitry Andric DbgLabels.clear(); 4220b57cec5SDimitry Andric LabelsBeforeInsn.clear(); 4230b57cec5SDimitry Andric LabelsAfterInsn.clear(); 424e8d8bef9SDimitry Andric InstOrdering.clear(); 4250b57cec5SDimitry Andric } 4265ffd83dbSDimitry Andric 427bdd1243dSDimitry Andric void DebugHandlerBase::beginBasicBlockSection(const MachineBasicBlock &MBB) { 428bdd1243dSDimitry Andric EpilogBeginBlock = nullptr; 429bdd1243dSDimitry Andric if (!MBB.isEntryBlock()) 4305ffd83dbSDimitry Andric PrevLabel = MBB.getSymbol(); 4315ffd83dbSDimitry Andric } 4325ffd83dbSDimitry Andric 433bdd1243dSDimitry Andric void DebugHandlerBase::endBasicBlockSection(const MachineBasicBlock &MBB) { 4345ffd83dbSDimitry Andric PrevLabel = nullptr; 4355ffd83dbSDimitry Andric } 436