| //===-- llvm/CodeGen/DebugLocEntry.h - Entry in debug_loc list -*- C++ -*--===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCENTRY_H |
| #define LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCENTRY_H |
| |
| #include "DebugLocStream.h" |
| #include "llvm/Config/llvm-config.h" |
| #include "llvm/IR/Constants.h" |
| #include "llvm/IR/DebugInfo.h" |
| #include "llvm/MC/MCSymbol.h" |
| #include "llvm/MC/MachineLocation.h" |
| #include "llvm/Support/Debug.h" |
| |
| namespace llvm { |
| class AsmPrinter; |
| |
| /// This struct describes location entries emitted in the .debug_loc |
| /// section. |
| class DebugLocEntry { |
| /// Begin and end symbols for the address range that this location is valid. |
| const MCSymbol *Begin; |
| const MCSymbol *End; |
| |
| public: |
| /// A single location or constant. |
| struct Value { |
| Value(const DIExpression *Expr, int64_t i) |
| : Expression(Expr), EntryKind(E_Integer) { |
| Constant.Int = i; |
| } |
| Value(const DIExpression *Expr, const ConstantFP *CFP) |
| : Expression(Expr), EntryKind(E_ConstantFP) { |
| Constant.CFP = CFP; |
| } |
| Value(const DIExpression *Expr, const ConstantInt *CIP) |
| : Expression(Expr), EntryKind(E_ConstantInt) { |
| Constant.CIP = CIP; |
| } |
| Value(const DIExpression *Expr, MachineLocation Loc) |
| : Expression(Expr), EntryKind(E_Location), Loc(Loc) { |
| assert(cast<DIExpression>(Expr)->isValid()); |
| } |
| |
| /// Any complex address location expression for this Value. |
| const DIExpression *Expression; |
| |
| /// Type of entry that this represents. |
| enum EntryType { E_Location, E_Integer, E_ConstantFP, E_ConstantInt }; |
| enum EntryType EntryKind; |
| |
| /// Either a constant, |
| union { |
| int64_t Int; |
| const ConstantFP *CFP; |
| const ConstantInt *CIP; |
| } Constant; |
| |
| // Or a location in the machine frame. |
| MachineLocation Loc; |
| |
| bool isLocation() const { return EntryKind == E_Location; } |
| bool isInt() const { return EntryKind == E_Integer; } |
| bool isConstantFP() const { return EntryKind == E_ConstantFP; } |
| bool isConstantInt() const { return EntryKind == E_ConstantInt; } |
| int64_t getInt() const { return Constant.Int; } |
| const ConstantFP *getConstantFP() const { return Constant.CFP; } |
| const ConstantInt *getConstantInt() const { return Constant.CIP; } |
| MachineLocation getLoc() const { return Loc; } |
| bool isFragment() const { return getExpression()->isFragment(); } |
| const DIExpression *getExpression() const { return Expression; } |
| friend bool operator==(const Value &, const Value &); |
| friend bool operator<(const Value &, const Value &); |
| #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
| LLVM_DUMP_METHOD void dump() const { |
| if (isLocation()) { |
| llvm::dbgs() << "Loc = { reg=" << Loc.getReg() << " "; |
| if (Loc.isIndirect()) |
| llvm::dbgs() << "+0"; |
| llvm::dbgs() << "} "; |
| } |
| else if (isConstantInt()) |
| Constant.CIP->dump(); |
| else if (isConstantFP()) |
| Constant.CFP->dump(); |
| if (Expression) |
| Expression->dump(); |
| } |
| #endif |
| }; |
| |
| private: |
| /// A nonempty list of locations/constants belonging to this entry, |
| /// sorted by offset. |
| SmallVector<Value, 1> Values; |
| |
| public: |
| DebugLocEntry(const MCSymbol *B, const MCSymbol *E, Value Val) |
| : Begin(B), End(E) { |
| Values.push_back(std::move(Val)); |
| } |
| |
| /// If this and Next are describing different pieces of the same |
| /// variable, merge them by appending Next's values to the current |
| /// list of values. |
| /// Return true if the merge was successful. |
| bool MergeValues(const DebugLocEntry &Next); |
| |
| /// Attempt to merge this DebugLocEntry with Next and return |
| /// true if the merge was successful. Entries can be merged if they |
| /// share the same Loc/Constant and if Next immediately follows this |
| /// Entry. |
| bool MergeRanges(const DebugLocEntry &Next) { |
| // If this and Next are describing the same variable, merge them. |
| if ((End == Next.Begin && Values == Next.Values)) { |
| End = Next.End; |
| return true; |
| } |
| return false; |
| } |
| |
| const MCSymbol *getBeginSym() const { return Begin; } |
| const MCSymbol *getEndSym() const { return End; } |
| ArrayRef<Value> getValues() const { return Values; } |
| void addValues(ArrayRef<DebugLocEntry::Value> Vals) { |
| Values.append(Vals.begin(), Vals.end()); |
| sortUniqueValues(); |
| assert(all_of(Values, [](DebugLocEntry::Value V) { |
| return V.isFragment(); |
| }) && "value must be a piece"); |
| } |
| |
| // Sort the pieces by offset. |
| // Remove any duplicate entries by dropping all but the first. |
| void sortUniqueValues() { |
| llvm::sort(Values.begin(), Values.end()); |
| Values.erase( |
| std::unique( |
| Values.begin(), Values.end(), [](const Value &A, const Value &B) { |
| return A.getExpression() == B.getExpression(); |
| }), |
| Values.end()); |
| } |
| |
| /// Lower this entry into a DWARF expression. |
| void finalize(const AsmPrinter &AP, DebugLocStream::ListBuilder &List, |
| const DIBasicType *BT); |
| }; |
| |
| /// Compare two Values for equality. |
| inline bool operator==(const DebugLocEntry::Value &A, |
| const DebugLocEntry::Value &B) { |
| if (A.EntryKind != B.EntryKind) |
| return false; |
| |
| if (A.Expression != B.Expression) |
| return false; |
| |
| switch (A.EntryKind) { |
| case DebugLocEntry::Value::E_Location: |
| return A.Loc == B.Loc; |
| case DebugLocEntry::Value::E_Integer: |
| return A.Constant.Int == B.Constant.Int; |
| case DebugLocEntry::Value::E_ConstantFP: |
| return A.Constant.CFP == B.Constant.CFP; |
| case DebugLocEntry::Value::E_ConstantInt: |
| return A.Constant.CIP == B.Constant.CIP; |
| } |
| llvm_unreachable("unhandled EntryKind"); |
| } |
| |
| /// Compare two fragments based on their offset. |
| inline bool operator<(const DebugLocEntry::Value &A, |
| const DebugLocEntry::Value &B) { |
| return A.getExpression()->getFragmentInfo()->OffsetInBits < |
| B.getExpression()->getFragmentInfo()->OffsetInBits; |
| } |
| |
| } |
| |
| #endif |