LLVM  13.0.0git
DebugHandlerBase.cpp
Go to the documentation of this file.
1 //===-- llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp -------*- C++ -*--===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // Common functionality for different debug information format backends.
10 // LLVM currently supports DWARF and CodeView.
11 //
12 //===----------------------------------------------------------------------===//
13 
15 #include "llvm/ADT/Optional.h"
16 #include "llvm/ADT/Twine.h"
22 #include "llvm/IR/DebugInfo.h"
23 #include "llvm/MC/MCStreamer.h"
25 
26 using namespace llvm;
27 
28 #define DEBUG_TYPE "dwarfdebug"
29 
30 /// If true, we drop variable location ranges which exist entirely outside the
31 /// variable's lexical scope instruction ranges.
32 static cl::opt<bool> TrimVarLocs("trim-var-locs", cl::Hidden, cl::init(true));
33 
36  const MachineInstr &Instruction) {
37  DbgVariableLocation Location;
38  // Variables calculated from multiple locations can't be represented here.
39  if (Instruction.getNumDebugOperands() != 1)
40  return None;
41  if (!Instruction.getDebugOperand(0).isReg())
42  return None;
43  Location.Register = Instruction.getDebugOperand(0).getReg();
44  Location.FragmentInfo.reset();
45  // We only handle expressions generated by DIExpression::appendOffset,
46  // which doesn't require a full stack machine.
47  int64_t Offset = 0;
48  const DIExpression *DIExpr = Instruction.getDebugExpression();
49  auto Op = DIExpr->expr_op_begin();
50  // We can handle a DBG_VALUE_LIST iff it has exactly one location operand that
51  // appears exactly once at the start of the expression.
52  if (Instruction.isDebugValueList()) {
53  if (Instruction.getNumDebugOperands() == 1 &&
54  Op->getOp() == dwarf::DW_OP_LLVM_arg)
55  ++Op;
56  else
57  return None;
58  }
59  while (Op != DIExpr->expr_op_end()) {
60  switch (Op->getOp()) {
61  case dwarf::DW_OP_constu: {
62  int Value = Op->getArg(0);
63  ++Op;
64  if (Op != DIExpr->expr_op_end()) {
65  switch (Op->getOp()) {
66  case dwarf::DW_OP_minus:
67  Offset -= Value;
68  break;
69  case dwarf::DW_OP_plus:
70  Offset += Value;
71  break;
72  default:
73  continue;
74  }
75  }
76  } break;
77  case dwarf::DW_OP_plus_uconst:
78  Offset += Op->getArg(0);
79  break;
81  Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)};
82  break;
83  case dwarf::DW_OP_deref:
84  Location.LoadChain.push_back(Offset);
85  Offset = 0;
86  break;
87  default:
88  return None;
89  }
90  ++Op;
91  }
92 
93  // Do one final implicit DW_OP_deref if this was an indirect DBG_VALUE
94  // instruction.
95  // FIXME: Replace these with DIExpression.
96  if (Instruction.isIndirectDebugValue())
97  Location.LoadChain.push_back(Offset);
98 
99  return Location;
100 }
101 
103 
105  if (M->debug_compile_units().empty())
106  Asm = nullptr;
107 }
108 
109 // Each LexicalScope has first instruction and last instruction to mark
110 // beginning and end of a scope respectively. Create an inverse map that list
111 // scopes starts (and ends) with an instruction. One instruction may start (or
112 // end) multiple scopes. Ignore scopes that are not reachable.
115  WorkList.push_back(LScopes.getCurrentFunctionScope());
116  while (!WorkList.empty()) {
117  LexicalScope *S = WorkList.pop_back_val();
118 
119  const SmallVectorImpl<LexicalScope *> &Children = S->getChildren();
120  if (!Children.empty())
121  WorkList.append(Children.begin(), Children.end());
122 
123  if (S->isAbstractScope())
124  continue;
125 
126  for (const InsnRange &R : S->getRanges()) {
127  assert(R.first && "InsnRange does not have first instruction!");
128  assert(R.second && "InsnRange does not have second instruction!");
129  requestLabelBeforeInsn(R.first);
130  requestLabelAfterInsn(R.second);
131  }
132  }
133 }
134 
135 // Return Label preceding the instruction.
137  MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
138  assert(Label && "Didn't insert label before instruction");
139  return Label;
140 }
141 
142 // Return Label immediately following the instruction.
144  return LabelsAfterInsn.lookup(MI);
145 }
146 
147 /// If this type is derived from a base type then return base type size.
149  assert(Ty);
150  const DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty);
151  if (!DDTy)
152  return Ty->getSizeInBits();
153 
154  unsigned Tag = DDTy->getTag();
155 
156  if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
157  Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
158  Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type)
159  return DDTy->getSizeInBits();
160 
161  DIType *BaseType = DDTy->getBaseType();
162 
163  if (!BaseType)
164  return 0;
165 
166  // If this is a derived type, go ahead and get the base type, unless it's a
167  // reference then it's just the size of the field. Pointer types have no need
168  // of this since they're a different type of qualification on the type.
169  if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
170  BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
171  return Ty->getSizeInBits();
172 
173  return getBaseTypeSize(BaseType);
174 }
175 
177  // SROA may generate dbg value intrinsics to assign an unsigned value to a
178  // Fortran CHARACTER(1) type variables. Make them as unsigned.
179  if (isa<DIStringType>(Ty)) {
180  assert((Ty->getSizeInBits()) == 8 && "Not a valid unsigned type!");
181  return true;
182  }
183  if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
184  // FIXME: Enums without a fixed underlying type have unknown signedness
185  // here, leading to incorrectly emitted constants.
186  if (CTy->getTag() == dwarf::DW_TAG_enumeration_type)
187  return false;
188 
189  // (Pieces of) aggregate types that get hacked apart by SROA may be
190  // represented by a constant. Encode them as unsigned bytes.
191  return true;
192  }
193 
194  if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
195  dwarf::Tag T = (dwarf::Tag)Ty->getTag();
196  // Encode pointer constants as unsigned bytes. This is used at least for
197  // null pointer constant emission.
198  // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
199  // here, but accept them for now due to a bug in SROA producing bogus
200  // dbg.values.
201  if (T == dwarf::DW_TAG_pointer_type ||
202  T == dwarf::DW_TAG_ptr_to_member_type ||
203  T == dwarf::DW_TAG_reference_type ||
204  T == dwarf::DW_TAG_rvalue_reference_type)
205  return true;
206  assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
207  T == dwarf::DW_TAG_volatile_type ||
208  T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type);
209  assert(DTy->getBaseType() && "Expected valid base type");
210  return isUnsignedDIType(DTy->getBaseType());
211  }
212 
213  auto *BTy = cast<DIBasicType>(Ty);
214  unsigned Encoding = BTy->getEncoding();
215  assert((Encoding == dwarf::DW_ATE_unsigned ||
216  Encoding == dwarf::DW_ATE_unsigned_char ||
217  Encoding == dwarf::DW_ATE_signed ||
218  Encoding == dwarf::DW_ATE_signed_char ||
219  Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
220  Encoding == dwarf::DW_ATE_boolean ||
221  (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
222  Ty->getName() == "decltype(nullptr)")) &&
223  "Unsupported encoding");
224  return Encoding == dwarf::DW_ATE_unsigned ||
225  Encoding == dwarf::DW_ATE_unsigned_char ||
226  Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
227  Ty->getTag() == dwarf::DW_TAG_unspecified_type;
228 }
229 
230 static bool hasDebugInfo(const MachineModuleInfo *MMI,
231  const MachineFunction *MF) {
232  if (!MMI->hasDebugInfo())
233  return false;
234  auto *SP = MF->getFunction().getSubprogram();
235  if (!SP)
236  return false;
237  assert(SP->getUnit());
238  auto EK = SP->getUnit()->getEmissionKind();
239  if (EK == DICompileUnit::NoDebug)
240  return false;
241  return true;
242 }
243 
245  PrevInstBB = nullptr;
246 
247  if (!Asm || !hasDebugInfo(MMI, MF)) {
249  return;
250  }
251 
252  // Grab the lexical scopes for the function, if we don't have any of those
253  // then we're not going to be able to do anything.
254  LScopes.initialize(*MF);
255  if (LScopes.empty()) {
256  beginFunctionImpl(MF);
257  return;
258  }
259 
260  // Make sure that each lexical scope will have a begin/end label.
262 
263  // Calculate history for local variables.
264  assert(DbgValues.empty() && "DbgValues map wasn't cleaned!");
265  assert(DbgLabels.empty() && "DbgLabels map wasn't cleaned!");
268  InstOrdering.initialize(*MF);
269  if (TrimVarLocs)
270  DbgValues.trimLocationRanges(*MF, LScopes, InstOrdering);
272 
273  // Request labels for the full history.
274  for (const auto &I : DbgValues) {
275  const auto &Entries = I.second;
276  if (Entries.empty())
277  continue;
278 
279  auto IsDescribedByReg = [](const MachineInstr *MI) {
280  return any_of(MI->debug_operands(),
281  [](auto &MO) { return MO.isReg() && MO.getReg(); });
282  };
283 
284  // The first mention of a function argument gets the CurrentFnBegin label,
285  // so arguments are visible when breaking at function entry.
286  //
287  // We do not change the label for values that are described by registers,
288  // as that could place them above their defining instructions. We should
289  // ideally not change the labels for constant debug values either, since
290  // doing that violates the ranges that are calculated in the history map.
291  // However, we currently do not emit debug values for constant arguments
292  // directly at the start of the function, so this code is still useful.
293  // FIXME: If the first mention of an argument is in a unique section basic
294  // block, we cannot always assign the CurrentFnBeginLabel as it lies in a
295  // different section. Temporarily, we disable generating loc list
296  // information or DW_AT_const_value when the block is in a different
297  // section.
298  const DILocalVariable *DIVar =
299  Entries.front().getInstr()->getDebugVariable();
300  if (DIVar->isParameter() &&
301  getDISubprogram(DIVar->getScope())->describes(&MF->getFunction()) &&
302  Entries.front().getInstr()->getParent()->sameSection(&MF->front())) {
303  if (!IsDescribedByReg(Entries.front().getInstr()))
304  LabelsBeforeInsn[Entries.front().getInstr()] = Asm->getFunctionBegin();
305  if (Entries.front().getInstr()->getDebugExpression()->isFragment()) {
306  // Mark all non-overlapping initial fragments.
307  for (auto I = Entries.begin(); I != Entries.end(); ++I) {
308  if (!I->isDbgValue())
309  continue;
310  const DIExpression *Fragment = I->getInstr()->getDebugExpression();
311  if (std::any_of(Entries.begin(), I,
312  [&](DbgValueHistoryMap::Entry Pred) {
313  return Pred.isDbgValue() &&
314  Fragment->fragmentsOverlap(
315  Pred.getInstr()->getDebugExpression());
316  }))
317  break;
318  // The code that generates location lists for DWARF assumes that the
319  // entries' start labels are monotonically increasing, and since we
320  // don't change the label for fragments that are described by
321  // registers, we must bail out when encountering such a fragment.
322  if (IsDescribedByReg(I->getInstr()))
323  break;
324  LabelsBeforeInsn[I->getInstr()] = Asm->getFunctionBegin();
325  }
326  }
327  }
328 
329  for (const auto &Entry : Entries) {
330  if (Entry.isDbgValue())
331  requestLabelBeforeInsn(Entry.getInstr());
332  else
333  requestLabelAfterInsn(Entry.getInstr());
334  }
335  }
336 
337  // Ensure there is a symbol before DBG_LABEL.
338  for (const auto &I : DbgLabels) {
339  const MachineInstr *MI = I.second;
341  }
342 
343  PrevInstLoc = DebugLoc();
345  beginFunctionImpl(MF);
346 }
347 
349  if (!Asm || !MMI->hasDebugInfo())
350  return;
351 
352  assert(CurMI == nullptr);
353  CurMI = MI;
354 
355  // Insert labels where requested.
357  LabelsBeforeInsn.find(MI);
358 
359  // No label needed.
360  if (I == LabelsBeforeInsn.end())
361  return;
362 
363  // Label already assigned.
364  if (I->second)
365  return;
366 
367  if (!PrevLabel) {
369  Asm->OutStreamer->emitLabel(PrevLabel);
370  }
371  I->second = PrevLabel;
372 }
373 
375  if (!Asm || !MMI->hasDebugInfo())
376  return;
377 
378  assert(CurMI != nullptr);
379  // Don't create a new label after DBG_VALUE and other instructions that don't
380  // generate code.
381  if (!CurMI->isMetaInstruction()) {
382  PrevLabel = nullptr;
384  }
385 
387  LabelsAfterInsn.find(CurMI);
388  CurMI = nullptr;
389 
390  // No label needed.
391  if (I == LabelsAfterInsn.end())
392  return;
393 
394  // Label already assigned.
395  if (I->second)
396  return;
397 
398  // We need a label after this instruction.
399  if (!PrevLabel) {
401  Asm->OutStreamer->emitLabel(PrevLabel);
402  }
403  I->second = PrevLabel;
404 }
405 
407  if (Asm && hasDebugInfo(MMI, MF))
408  endFunctionImpl(MF);
409  DbgValues.clear();
410  DbgLabels.clear();
411  LabelsBeforeInsn.clear();
412  LabelsAfterInsn.clear();
413  InstOrdering.clear();
414 }
415 
417  if (!MBB.isBeginSection())
418  return;
419 
420  PrevLabel = MBB.getSymbol();
421 }
422 
424  if (!MBB.isEndSection())
425  return;
426 
427  PrevLabel = nullptr;
428 }
llvm::DebugHandlerBase::beginFunction
void beginFunction(const MachineFunction *MF) override
Gather pre-function debug information.
Definition: DebugHandlerBase.cpp:244
AsmPrinter.h
llvm::DebugHandlerBase::endInstruction
void endInstruction() override
Process end of an instruction.
Definition: DebugHandlerBase.cpp:374
llvm::InstructionOrdering::initialize
void initialize(const MachineFunction &MF)
Definition: DbgEntityHistoryCalculator.cpp:40
llvm::DebugHandlerBase::LScopes
LexicalScopes LScopes
Definition: DebugHandlerBase.h:78
llvm::DebugHandlerBase::beginInstruction
void beginInstruction(const MachineInstr *MI) override
Process beginning of an instruction.
Definition: DebugHandlerBase.cpp:348
MI
IRTranslator LLVM IR MI
Definition: IRTranslator.cpp:100
MachineInstr.h
llvm
Definition: AllocatorList.h:23
llvm::DIType
Base class for types.
Definition: DebugInfoMetadata.h:658
llvm::DbgVariableLocation::FragmentInfo
llvm::Optional< llvm::DIExpression::FragmentInfo > FragmentInfo
Present if the location is part of a larger variable.
Definition: DebugHandlerBase.h:40
llvm::DebugHandlerBase::getLabelAfterInsn
MCSymbol * getLabelAfterInsn(const MachineInstr *MI)
Return Label immediately following the instruction.
Definition: DebugHandlerBase.cpp:143
llvm::MCSymbol
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
M
We currently emits eax Perhaps this is what we really should generate is Is imull three or four cycles eax eax The current instruction priority is based on pattern complexity The former is more complex because it folds a load so the latter will not be emitted Perhaps we should use AddedComplexity to give LEA32r a higher priority We should always try to match LEA first since the LEA matching code does some estimate to determine whether the match is profitable if we care more about code then imull is better It s two bytes shorter than movl leal On a Pentium M
Definition: README.txt:252
Optional.h
llvm::MachineModuleInfo::getContext
const MCContext & getContext() const
Definition: MachineModuleInfo.h:167
llvm::DIType::getSizeInBits
uint64_t getSizeInBits() const
Definition: DebugInfoMetadata.h:697
hasDebugInfo
static bool hasDebugInfo(const MachineModuleInfo *MMI, const MachineFunction *MF)
Definition: DebugHandlerBase.cpp:230
llvm::DbgValueHistoryMap::Entry
Specifies a change in a variable's debug value history.
Definition: DbgEntityHistoryCalculator.h:73
llvm::SmallVector
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1168
llvm::LexicalScope
LexicalScope - This class is used to track scope information.
Definition: LexicalScopes.h:44
llvm::Function::getSubprogram
DISubprogram * getSubprogram() const
Get the attached subprogram.
Definition: Metadata.cpp:1526
llvm::TargetSubtargetInfo::getRegisterInfo
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
Definition: TargetSubtargetInfo.h:124
llvm::cl::Hidden
@ Hidden
Definition: CommandLine.h:140
llvm::DebugHandlerBase::PrevInstLoc
DebugLoc PrevInstLoc
Previous instruction's location information.
Definition: DebugHandlerBase.h:67
llvm::MachineModuleInfo::hasDebugInfo
bool hasDebugInfo() const
Returns true if valid debug info is present.
Definition: MachineModuleInfo.h:203
llvm::DenseMapIterator
Definition: DenseMap.h:56
llvm::DebugHandlerBase::beginModule
void beginModule(Module *M) override
Definition: DebugHandlerBase.cpp:104
llvm::getDISubprogram
DISubprogram * getDISubprogram(const MDNode *Scope)
Find subprogram that is enclosing this scope.
Definition: DebugInfo.cpp:43
llvm::DbgVariableLocation::extractFromMachineInstruction
static Optional< DbgVariableLocation > extractFromMachineInstruction(const MachineInstr &Instruction)
Extract a VariableLocation from a MachineInstr.
Definition: DebugHandlerBase.cpp:35
llvm::DebugHandlerBase::requestLabelAfterInsn
void requestLabelAfterInsn(const MachineInstr *MI)
Ensure that a label will be emitted after MI.
Definition: DebugHandlerBase.h:105
llvm::Optional
Definition: APInt.h:34
T
#define T
Definition: Mips16ISelLowering.cpp:341
llvm::DILocalVariable::isParameter
bool isParameter() const
Definition: DebugInfoMetadata.h:3098
Offset
uint64_t Offset
Definition: ELFObjHandler.cpp:81
llvm::SmallVectorImpl::pop_back_val
LLVM_NODISCARD T pop_back_val()
Definition: SmallVector.h:635
llvm::DIExpression
DWARF expression.
Definition: DebugInfoMetadata.h:2559
llvm::LexicalScopes::initialize
void initialize(const MachineFunction &)
initialize - Scan machine function and constuct lexical scope nest, resets the instance if necessary.
Definition: LexicalScopes.cpp:51
llvm::dwarf::Tag
Tag
Definition: Dwarf.h:104
BaseType
LLVM_DEBUG
#define LLVM_DEBUG(X)
Definition: Debug.h:122
llvm::MachineBasicBlock::isBeginSection
bool isBeginSection() const
Returns true if this block begins any section.
Definition: MachineBasicBlock.h:473
llvm::MachineBasicBlock::getSymbol
MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
Definition: MachineBasicBlock.cpp:59
CommandLine.h
llvm::MachineFunction::front
const MachineBasicBlock & front() const
Definition: MachineFunction.h:749
llvm::DILocalVariable
Local variable.
Definition: DebugInfoMetadata.h:3041
llvm::DebugHandlerBase::Asm
AsmPrinter * Asm
Target of debug info emission.
Definition: DebugHandlerBase.h:58
llvm::SmallVectorImpl::append
void append(in_iter in_start, in_iter in_end)
Add the specified range to the end of the SmallVector.
Definition: SmallVector.h:648
llvm::AsmPrinter::OutStreamer
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
Definition: AsmPrinter.h:97
Twine.h
DebugHandlerBase.h
llvm::DIType::getName
StringRef getName() const
Definition: DebugInfoMetadata.h:704
llvm::calculateDbgEntityHistory
void calculateDbgEntityHistory(const MachineFunction *MF, const TargetRegisterInfo *TRI, DbgValueHistoryMap &DbgValues, DbgLabelInstrMap &DbgLabels)
Definition: DbgEntityHistoryCalculator.cpp:450
llvm::DebugHandlerBase::requestLabelBeforeInsn
void requestLabelBeforeInsn(const MachineInstr *MI)
Ensure that a label will be emitted before MI.
Definition: DebugHandlerBase.h:100
llvm::Instruction
Definition: Instruction.h:45
llvm::MachineModuleInfo
This class contains meta information specific to a module.
Definition: MachineModuleInfo.h:78
llvm::DbgVariableLocation::Register
unsigned Register
Base register.
Definition: DebugHandlerBase.h:33
llvm::DbgVariableLocation::LoadChain
SmallVector< int64_t, 1 > LoadChain
Chain of offsetted loads necessary to load the value if it lives in memory.
Definition: DebugHandlerBase.h:37
llvm::DebugHandlerBase::getLabelBeforeInsn
MCSymbol * getLabelBeforeInsn(const MachineInstr *MI)
Return Label preceding the instruction.
Definition: DebugHandlerBase.cpp:136
llvm::None
const NoneType None
Definition: None.h:23
llvm::AsmPrinter::getFunctionBegin
MCSymbol * getFunctionBegin() const
Definition: AsmPrinter.h:237
llvm::MachineBasicBlock
Definition: MachineBasicBlock.h:95
llvm::DebugHandlerBase::endFunctionImpl
virtual void endFunctionImpl(const MachineFunction *MF)=0
llvm::DebugHandlerBase::getBaseTypeSize
static uint64_t getBaseTypeSize(const DIType *Ty)
If this type is derived from a base type then return base type size.
Definition: DebugHandlerBase.cpp:148
llvm::DILocalVariable::getScope
DILocalScope * getScope() const
Get the local scope for this variable.
Definition: DebugInfoMetadata.h:3094
llvm::DbgVariableLocation
Represents the location at which a variable is stored.
Definition: DebugHandlerBase.h:31
llvm::MachineFunction::getSubtarget
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
Definition: MachineFunction.h:555
llvm::cl::opt< bool >
llvm::DbgLabelInstrMap::empty
bool empty() const
Definition: DbgEntityHistoryCalculator.h:144
llvm::DbgValueHistoryMap::dump
LLVM_DUMP_METHOD void dump() const
Definition: DbgEntityHistoryCalculator.cpp:559
llvm::DebugHandlerBase::PrevInstBB
const MachineBasicBlock * PrevInstBB
Definition: DebugHandlerBase.h:69
llvm::MachineInstr
Representation of each machine instruction.
Definition: MachineInstr.h:64
llvm::Optional::reset
void reset()
Definition: Optional.h:276
llvm::InstructionOrdering::clear
void clear()
Definition: DbgEntityHistoryCalculator.h:34
DebugInfo.h
I
#define I(x, y, z)
Definition: MD5.cpp:59
llvm::cl::init
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:440
llvm::DebugHandlerBase::beginFunctionImpl
virtual void beginFunctionImpl(const MachineFunction *MF)=0
llvm::DbgLabelInstrMap::clear
void clear()
Definition: DbgEntityHistoryCalculator.h:145
assert
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
llvm::DebugHandlerBase::endBasicBlock
void endBasicBlock(const MachineBasicBlock &MBB) override
Process end of a basic block during basic block sections.
Definition: DebugHandlerBase.cpp:423
llvm::AsmPrinter::MF
MachineFunction * MF
The current machine function.
Definition: AsmPrinter.h:100
MachineModuleInfo.h
llvm::MachineInstr::isMetaInstruction
bool isMetaInstruction() const
Return true if this instruction doesn't produce any output in the form of executable instructions.
Definition: MachineInstr.h:1305
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:67
llvm::DebugHandlerBase::DbgLabels
DbgLabelInstrMap DbgLabels
Mapping of inlined labels and DBG_LABEL machine instruction.
Definition: DebugHandlerBase.h:85
llvm::DbgValueHistoryMap::trimLocationRanges
void trimLocationRanges(const MachineFunction &MF, LexicalScopes &LScopes, const InstructionOrdering &Ordering)
Drop location ranges which exist entirely outside each variable's scope.
Definition: DbgEntityHistoryCalculator.cpp:130
llvm::DebugHandlerBase::CurMI
const MachineInstr * CurMI
If nonnull, stores the current machine instruction we're processing.
Definition: DebugHandlerBase.h:76
llvm::DebugHandlerBase::skippedNonDebugFunction
virtual void skippedNonDebugFunction()
Definition: DebugHandlerBase.h:111
llvm::MachineFunction
Definition: MachineFunction.h:227
llvm::dwarf::DW_OP_LLVM_arg
@ DW_OP_LLVM_arg
Only used in LLVM metadata.
Definition: Dwarf.h:147
llvm::InsnRange
std::pair< const MachineInstr *, const MachineInstr * > InsnRange
InsnRange - This is used to track range of instructions with identical lexical scope.
Definition: LexicalScopes.h:39
llvm::DICompileUnit::NoDebug
@ NoDebug
Definition: DebugInfoMetadata.h:1319
llvm::LexicalScopes::empty
bool empty()
empty - Return true if there is any lexical scope information available.
Definition: LexicalScopes.h:153
llvm::dwarf::DW_OP_LLVM_fragment
@ DW_OP_LLVM_fragment
Only used in LLVM metadata.
Definition: Dwarf.h:142
llvm::any_of
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1512
llvm::DINode::getTag
unsigned getTag() const
Definition: DebugInfoMetadata.h:156
TargetSubtargetInfo.h
S
add sub stmia L5 ldr r0 bl L_printf $stub Instead of a and a wouldn t it be better to do three moves *Return an aggregate type is even return S
Definition: README.txt:210
TrimVarLocs
static cl::opt< bool > TrimVarLocs("trim-var-locs", cl::Hidden, cl::init(true))
If true, we drop variable location ranges which exist entirely outside the variable's lexical scope i...
llvm::MachineInstr::getParent
const MachineBasicBlock * getParent() const
Definition: MachineInstr.h:286
llvm::MCContext::createTempSymbol
MCSymbol * createTempSymbol()
Create a temporary symbol with a unique name.
Definition: MCContext.cpp:268
llvm::DebugHandlerBase::beginBasicBlock
void beginBasicBlock(const MachineBasicBlock &MBB) override
Process beginning of a basic block during basic block sections.
Definition: DebugHandlerBase.cpp:416
MBB
MachineBasicBlock & MBB
Definition: AArch64SLSHardening.cpp:74
llvm::MachineFunction::getFunction
Function & getFunction()
Return the LLVM function that this machine code represents.
Definition: MachineFunction.h:521
llvm::MachineBasicBlock::isEndSection
bool isEndSection() const
Returns true if this block ends any section.
Definition: MachineBasicBlock.h:476
llvm::AMDGPU::SendMsg::Op
Op
Definition: SIDefines.h:314
llvm::TargetStackID::Value
Value
Definition: TargetFrameLowering.h:27
llvm::DbgValueHistoryMap::empty
bool empty() const
Definition: DbgEntityHistoryCalculator.h:120
llvm::AsmPrinter
This class is intended to be used as a driving class for all asm writers.
Definition: AsmPrinter.h:82
llvm::DIDerivedType
Derived types.
Definition: DebugInfoMetadata.h:913
llvm::DebugHandlerBase::identifyScopeMarkers
void identifyScopeMarkers()
Indentify instructions that are marking the beginning of or ending of a scope.
Definition: DebugHandlerBase.cpp:113
llvm::DebugHandlerBase::PrevLabel
MCSymbol * PrevLabel
Definition: DebugHandlerBase.h:68
llvm::DebugHandlerBase::DebugHandlerBase
DebugHandlerBase(AsmPrinter *A)
Definition: DebugHandlerBase.cpp:102
llvm::DbgValueHistoryMap::clear
void clear()
Definition: DbgEntityHistoryCalculator.h:121
MCStreamer.h
llvm::LexicalScopes::getCurrentFunctionScope
LexicalScope * getCurrentFunctionScope() const
getCurrentFunctionScope - Return lexical scope for the current function.
Definition: LexicalScopes.h:156
llvm::DebugHandlerBase::MMI
MachineModuleInfo * MMI
Collected machine module information.
Definition: DebugHandlerBase.h:61
llvm::SmallVectorImpl
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: APFloat.h:43
llvm::DIExpression::expr_op_end
expr_op_iterator expr_op_end() const
Definition: DebugInfoMetadata.h:2693
llvm::HexStyle::Asm
@ Asm
0ffh
Definition: MCInstPrinter.h:34
llvm::DebugHandlerBase::LabelsAfterInsn
DenseMap< const MachineInstr *, MCSymbol * > LabelsAfterInsn
Maps instruction with label emitted after instruction.
Definition: DebugHandlerBase.h:93
llvm::DebugHandlerBase::isUnsignedDIType
static bool isUnsignedDIType(const DIType *Ty)
Return true if type encoding is unsigned.
Definition: DebugHandlerBase.cpp:176
llvm::DebugLoc
A debug info location.
Definition: DebugLoc.h:33
llvm::DebugHandlerBase::DbgValues
DbgValueHistoryMap DbgValues
History of DBG_VALUE and clobber instructions for each user variable.
Definition: DebugHandlerBase.h:82
MachineFunction.h
llvm::Value
LLVM Value Representation.
Definition: Value.h:75
llvm::DebugHandlerBase::LabelsBeforeInsn
DenseMap< const MachineInstr *, MCSymbol * > LabelsBeforeInsn
Maps instruction with label emitted before instruction.
Definition: DebugHandlerBase.h:90
llvm::DebugHandlerBase::endFunction
void endFunction(const MachineFunction *MF) override
Gather post-function debug information.
Definition: DebugHandlerBase.cpp:406
llvm::DIExpression::expr_op_begin
expr_op_iterator expr_op_begin() const
Visit the elements via ExprOperand wrappers.
Definition: DebugInfoMetadata.h:2690