LLVM  14.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  const DILocalVariable *DIVar =
294  Entries.front().getInstr()->getDebugVariable();
295  if (DIVar->isParameter() &&
296  getDISubprogram(DIVar->getScope())->describes(&MF->getFunction())) {
297  if (!IsDescribedByReg(Entries.front().getInstr()))
298  LabelsBeforeInsn[Entries.front().getInstr()] = Asm->getFunctionBegin();
299  if (Entries.front().getInstr()->getDebugExpression()->isFragment()) {
300  // Mark all non-overlapping initial fragments.
301  for (auto I = Entries.begin(); I != Entries.end(); ++I) {
302  if (!I->isDbgValue())
303  continue;
304  const DIExpression *Fragment = I->getInstr()->getDebugExpression();
305  if (std::any_of(Entries.begin(), I,
306  [&](DbgValueHistoryMap::Entry Pred) {
307  return Pred.isDbgValue() &&
308  Fragment->fragmentsOverlap(
309  Pred.getInstr()->getDebugExpression());
310  }))
311  break;
312  // The code that generates location lists for DWARF assumes that the
313  // entries' start labels are monotonically increasing, and since we
314  // don't change the label for fragments that are described by
315  // registers, we must bail out when encountering such a fragment.
316  if (IsDescribedByReg(I->getInstr()))
317  break;
318  LabelsBeforeInsn[I->getInstr()] = Asm->getFunctionBegin();
319  }
320  }
321  }
322 
323  for (const auto &Entry : Entries) {
324  if (Entry.isDbgValue())
325  requestLabelBeforeInsn(Entry.getInstr());
326  else
327  requestLabelAfterInsn(Entry.getInstr());
328  }
329  }
330 
331  // Ensure there is a symbol before DBG_LABEL.
332  for (const auto &I : DbgLabels) {
333  const MachineInstr *MI = I.second;
335  }
336 
337  PrevInstLoc = DebugLoc();
339  beginFunctionImpl(MF);
340 }
341 
343  if (!Asm || !MMI->hasDebugInfo())
344  return;
345 
346  assert(CurMI == nullptr);
347  CurMI = MI;
348 
349  // Insert labels where requested.
351  LabelsBeforeInsn.find(MI);
352 
353  // No label needed.
354  if (I == LabelsBeforeInsn.end())
355  return;
356 
357  // Label already assigned.
358  if (I->second)
359  return;
360 
361  if (!PrevLabel) {
363  Asm->OutStreamer->emitLabel(PrevLabel);
364  }
365  I->second = PrevLabel;
366 }
367 
369  if (!Asm || !MMI->hasDebugInfo())
370  return;
371 
372  assert(CurMI != nullptr);
373  // Don't create a new label after DBG_VALUE and other instructions that don't
374  // generate code.
375  if (!CurMI->isMetaInstruction()) {
376  PrevLabel = nullptr;
378  }
379 
381  LabelsAfterInsn.find(CurMI);
382 
383  // No label needed or label already assigned.
384  if (I == LabelsAfterInsn.end() || I->second) {
385  CurMI = nullptr;
386  return;
387  }
388 
389  // We need a label after this instruction. With basic block sections, just
390  // use the end symbol of the section if this is the last instruction of the
391  // section. This reduces the need for an additional label and also helps
392  // merging ranges.
393  if (CurMI->getParent()->isEndSection() && CurMI->getNextNode() == nullptr) {
395  } else if (!PrevLabel) {
397  Asm->OutStreamer->emitLabel(PrevLabel);
398  }
399  I->second = PrevLabel;
400  CurMI = nullptr;
401 }
402 
404  if (Asm && hasDebugInfo(MMI, MF))
405  endFunctionImpl(MF);
406  DbgValues.clear();
407  DbgLabels.clear();
408  LabelsBeforeInsn.clear();
409  LabelsAfterInsn.clear();
410  InstOrdering.clear();
411 }
412 
414  if (!MBB.isBeginSection())
415  return;
416 
417  PrevLabel = MBB.getSymbol();
418 }
419 
421  if (!MBB.isEndSection())
422  return;
423 
424  PrevLabel = nullptr;
425 }
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:368
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:342
MI
IRTranslator LLVM IR MI
Definition: IRTranslator.cpp:102
MachineInstr.h
llvm
---------------------— PointerInfo ------------------------------------—
Definition: AllocatorList.h:23
llvm::DIType
Base class for types.
Definition: DebugInfoMetadata.h:662
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:701
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::ilist_node_with_parent::getNextNode
NodeTy * getNextNode()
Get the next node, or nullptr for the list tail.
Definition: ilist_node.h:288
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:1532
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:143
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:129
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:33
T
#define T
Definition: Mips16ISelLowering.cpp:341
llvm::DILocalVariable::isParameter
bool isParameter() const
Definition: DebugInfoMetadata.h:3110
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:2557
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:564
llvm::MachineBasicBlock::getSymbol
MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
Definition: MachineBasicBlock.cpp:60
CommandLine.h
llvm::DILocalVariable
Local variable.
Definition: DebugInfoMetadata.h:3053
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:708
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:247
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:3106
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:622
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:278
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:443
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:420
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:1317
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:230
llvm::DINode::getTag
dwarf::Tag getTag() const
Definition: DebugInfoMetadata.h:160
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:1323
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:1554
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:303
llvm::DebugHandlerBase::beginBasicBlock
void beginBasicBlock(const MachineBasicBlock &MBB) override
Process beginning of a basic block during basic block sections.
Definition: DebugHandlerBase.cpp:413
llvm::MachineBasicBlock::getEndSymbol
MCSymbol * getEndSymbol() const
Returns the MCSymbol marking the end of this basic block.
Definition: MachineBasicBlock.cpp:102
MBB
MachineBasicBlock & MBB
Definition: AArch64SLSHardening.cpp:74
llvm::MachineFunction::getFunction
Function & getFunction()
Return the LLVM function that this machine code represents.
Definition: MachineFunction.h:588
llvm::MachineBasicBlock::isEndSection
bool isEndSection() const
Returns true if this block ends any section.
Definition: MachineBasicBlock.h:567
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:917
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:2701
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:403
llvm::DIExpression::expr_op_begin
expr_op_iterator expr_op_begin() const
Visit the elements via ExprOperand wrappers.
Definition: DebugInfoMetadata.h:2698