Home | History | Annotate | Line # | Download | only in CodeGen
      1 //===-- llvm/CodeGen/DebugHandlerBase.h -----------------------*- 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 
     14 #ifndef LLVM_CODEGEN_DEBUGHANDLERBASE_H
     15 #define LLVM_CODEGEN_DEBUGHANDLERBASE_H
     16 
     17 #include "llvm/ADT/Optional.h"
     18 #include "llvm/CodeGen/AsmPrinterHandler.h"
     19 #include "llvm/CodeGen/DbgEntityHistoryCalculator.h"
     20 #include "llvm/CodeGen/LexicalScopes.h"
     21 #include "llvm/IR/DebugInfoMetadata.h"
     22 #include "llvm/IR/DebugLoc.h"
     23 
     24 namespace llvm {
     25 
     26 class AsmPrinter;
     27 class MachineInstr;
     28 class MachineModuleInfo;
     29 
     30 /// Represents the location at which a variable is stored.
     31 struct DbgVariableLocation {
     32   /// Base register.
     33   unsigned Register;
     34 
     35   /// Chain of offsetted loads necessary to load the value if it lives in
     36   /// memory. Every load except for the last is pointer-sized.
     37   SmallVector<int64_t, 1> LoadChain;
     38 
     39   /// Present if the location is part of a larger variable.
     40   llvm::Optional<llvm::DIExpression::FragmentInfo> FragmentInfo;
     41 
     42   /// Extract a VariableLocation from a MachineInstr.
     43   /// This will only work if Instruction is a debug value instruction
     44   /// and the associated DIExpression is in one of the supported forms.
     45   /// If these requirements are not met, the returned Optional will not
     46   /// have a value.
     47   static Optional<DbgVariableLocation>
     48   extractFromMachineInstruction(const MachineInstr &Instruction);
     49 };
     50 
     51 /// Base class for debug information backends. Common functionality related to
     52 /// tracking which variables and scopes are alive at a given PC live here.
     53 class DebugHandlerBase : public AsmPrinterHandler {
     54 protected:
     55   DebugHandlerBase(AsmPrinter *A);
     56 
     57   /// Target of debug info emission.
     58   AsmPrinter *Asm;
     59 
     60   /// Collected machine module information.
     61   MachineModuleInfo *MMI;
     62 
     63   /// Previous instruction's location information. This is used to
     64   /// determine label location to indicate scope boundaries in debug info.
     65   /// We track the previous instruction's source location (if not line 0),
     66   /// whether it was a label, and its parent BB.
     67   DebugLoc PrevInstLoc;
     68   MCSymbol *PrevLabel = nullptr;
     69   const MachineBasicBlock *PrevInstBB = nullptr;
     70 
     71   /// This location indicates end of function prologue and beginning of
     72   /// function body.
     73   DebugLoc PrologEndLoc;
     74 
     75   /// If nonnull, stores the current machine instruction we're processing.
     76   const MachineInstr *CurMI = nullptr;
     77 
     78   LexicalScopes LScopes;
     79 
     80   /// History of DBG_VALUE and clobber instructions for each user
     81   /// variable.  Variables are listed in order of appearance.
     82   DbgValueHistoryMap DbgValues;
     83 
     84   /// Mapping of inlined labels and DBG_LABEL machine instruction.
     85   DbgLabelInstrMap DbgLabels;
     86 
     87   /// Maps instruction with label emitted before instruction.
     88   /// FIXME: Make this private from DwarfDebug, we have the necessary accessors
     89   /// for it.
     90   DenseMap<const MachineInstr *, MCSymbol *> LabelsBeforeInsn;
     91 
     92   /// Maps instruction with label emitted after instruction.
     93   DenseMap<const MachineInstr *, MCSymbol *> LabelsAfterInsn;
     94 
     95   /// Indentify instructions that are marking the beginning of or
     96   /// ending of a scope.
     97   void identifyScopeMarkers();
     98 
     99   /// Ensure that a label will be emitted before MI.
    100   void requestLabelBeforeInsn(const MachineInstr *MI) {
    101     LabelsBeforeInsn.insert(std::make_pair(MI, nullptr));
    102   }
    103 
    104   /// Ensure that a label will be emitted after MI.
    105   void requestLabelAfterInsn(const MachineInstr *MI) {
    106     LabelsAfterInsn.insert(std::make_pair(MI, nullptr));
    107   }
    108 
    109   virtual void beginFunctionImpl(const MachineFunction *MF) = 0;
    110   virtual void endFunctionImpl(const MachineFunction *MF) = 0;
    111   virtual void skippedNonDebugFunction() {}
    112 
    113 private:
    114   InstructionOrdering InstOrdering;
    115 
    116   // AsmPrinterHandler overrides.
    117 public:
    118   void beginModule(Module *M) override;
    119 
    120   void beginInstruction(const MachineInstr *MI) override;
    121   void endInstruction() override;
    122 
    123   void beginFunction(const MachineFunction *MF) override;
    124   void endFunction(const MachineFunction *MF) override;
    125 
    126   void beginBasicBlock(const MachineBasicBlock &MBB) override;
    127   void endBasicBlock(const MachineBasicBlock &MBB) override;
    128 
    129   /// Return Label preceding the instruction.
    130   MCSymbol *getLabelBeforeInsn(const MachineInstr *MI);
    131 
    132   /// Return Label immediately following the instruction.
    133   MCSymbol *getLabelAfterInsn(const MachineInstr *MI);
    134 
    135   /// If this type is derived from a base type then return base type size.
    136   static uint64_t getBaseTypeSize(const DIType *Ty);
    137 
    138   /// Return true if type encoding is unsigned.
    139   static bool isUnsignedDIType(const DIType *Ty);
    140 
    141   const InstructionOrdering &getInstOrdering() const { return InstOrdering; }
    142 };
    143 
    144 } // namespace llvm
    145 
    146 #endif
    147