David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 1 | //===-- llvm/CodeGen/DebugLocEntry.h - Entry in debug_loc list -*- C++ -*--===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 10 | #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCENTRY_H |
| 11 | #define LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCENTRY_H |
Adrian Prantl | 96b1551 | 2015-10-15 20:58:55 +0000 | [diff] [blame] | 12 | |
| 13 | #include "DebugLocStream.h" |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 14 | #include "llvm/IR/Constants.h" |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 15 | #include "llvm/IR/DebugInfo.h" |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 16 | #include "llvm/MC/MCSymbol.h" |
Chandler Carruth | d990388 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MachineLocation.h" |
Benjamin Kramer | 4dbf337 | 2016-03-04 10:49:30 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Debug.h" |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 19 | |
| 20 | namespace llvm { |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 21 | class AsmPrinter; |
Duncan P. N. Exon Smith | c0f7dd7 | 2015-04-17 16:36:10 +0000 | [diff] [blame] | 22 | |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 23 | /// \brief This struct describes location entries emitted in the .debug_loc |
| 24 | /// section. |
| 25 | class DebugLocEntry { |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 26 | /// Begin and end symbols for the address range that this location is valid. |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 27 | const MCSymbol *Begin; |
| 28 | const MCSymbol *End; |
| 29 | |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 30 | public: |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 31 | /// \brief A single location or constant. |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 32 | struct Value { |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 33 | Value(const DIExpression *Expr, int64_t i) |
Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 34 | : Expression(Expr), EntryKind(E_Integer) { |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 35 | Constant.Int = i; |
| 36 | } |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 37 | Value(const DIExpression *Expr, const ConstantFP *CFP) |
Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 38 | : Expression(Expr), EntryKind(E_ConstantFP) { |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 39 | Constant.CFP = CFP; |
| 40 | } |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 41 | Value(const DIExpression *Expr, const ConstantInt *CIP) |
Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 42 | : Expression(Expr), EntryKind(E_ConstantInt) { |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 43 | Constant.CIP = CIP; |
| 44 | } |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 45 | Value(const DIExpression *Expr, MachineLocation Loc) |
Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 46 | : Expression(Expr), EntryKind(E_Location), Loc(Loc) { |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 47 | assert(cast<DIExpression>(Expr)->isValid()); |
David Blaikie | d306baf | 2014-04-01 22:04:07 +0000 | [diff] [blame] | 48 | } |
| 49 | |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 50 | /// Any complex address location expression for this Value. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 51 | const DIExpression *Expression; |
Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 52 | |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 53 | /// Type of entry that this represents. |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 54 | enum EntryType { E_Location, E_Integer, E_ConstantFP, E_ConstantInt }; |
| 55 | enum EntryType EntryKind; |
| 56 | |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 57 | /// Either a constant, |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 58 | union { |
| 59 | int64_t Int; |
| 60 | const ConstantFP *CFP; |
| 61 | const ConstantInt *CIP; |
| 62 | } Constant; |
| 63 | |
| 64 | // Or a location in the machine frame. |
| 65 | MachineLocation Loc; |
| 66 | |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 67 | bool isLocation() const { return EntryKind == E_Location; } |
| 68 | bool isInt() const { return EntryKind == E_Integer; } |
| 69 | bool isConstantFP() const { return EntryKind == E_ConstantFP; } |
| 70 | bool isConstantInt() const { return EntryKind == E_ConstantInt; } |
| 71 | int64_t getInt() const { return Constant.Int; } |
| 72 | const ConstantFP *getConstantFP() const { return Constant.CFP; } |
| 73 | const ConstantInt *getConstantInt() const { return Constant.CIP; } |
| 74 | MachineLocation getLoc() const { return Loc; } |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 75 | bool isFragment() const { return getExpression()->isFragment(); } |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 76 | const DIExpression *getExpression() const { return Expression; } |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 77 | friend bool operator==(const Value &, const Value &); |
| 78 | friend bool operator<(const Value &, const Value &); |
Matthias Braun | 194ded5 | 2017-01-28 06:53:55 +0000 | [diff] [blame^] | 79 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
| 80 | LLVM_DUMP_METHOD void dump() const { |
Adrian Prantl | dba58fb | 2016-02-29 22:28:22 +0000 | [diff] [blame] | 81 | if (isLocation()) { |
| 82 | llvm::dbgs() << "Loc = { reg=" << Loc.getReg() << " "; |
| 83 | if (Loc.isIndirect()) |
| 84 | llvm::dbgs() << '+' << Loc.getOffset(); |
| 85 | llvm::dbgs() << "} "; |
| 86 | } |
| 87 | else if (isConstantInt()) |
| 88 | Constant.CIP->dump(); |
| 89 | else if (isConstantFP()) |
| 90 | Constant.CFP->dump(); |
| 91 | if (Expression) |
| 92 | Expression->dump(); |
| 93 | } |
Matthias Braun | 194ded5 | 2017-01-28 06:53:55 +0000 | [diff] [blame^] | 94 | #endif |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 95 | }; |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 96 | |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 97 | private: |
Adrian Prantl | be4b517 | 2014-08-11 21:06:03 +0000 | [diff] [blame] | 98 | /// A nonempty list of locations/constants belonging to this entry, |
| 99 | /// sorted by offset. |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 100 | SmallVector<Value, 1> Values; |
| 101 | |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 102 | public: |
David Blaikie | e1a26a6 | 2014-08-05 23:14:16 +0000 | [diff] [blame] | 103 | DebugLocEntry(const MCSymbol *B, const MCSymbol *E, Value Val) |
| 104 | : Begin(B), End(E) { |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 105 | Values.push_back(std::move(Val)); |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 106 | } |
| 107 | |
Adrian Prantl | e09ee3f | 2014-08-11 20:59:28 +0000 | [diff] [blame] | 108 | /// \brief If this and Next are describing different pieces of the same |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 109 | /// variable, merge them by appending Next's values to the current |
| 110 | /// list of values. |
| 111 | /// Return true if the merge was successful. |
Keno Fischer | f8eb6a1 | 2016-01-16 01:11:33 +0000 | [diff] [blame] | 112 | bool MergeValues(const DebugLocEntry &Next); |
Adrian Prantl | e09ee3f | 2014-08-11 20:59:28 +0000 | [diff] [blame] | 113 | |
| 114 | /// \brief Attempt to merge this DebugLocEntry with Next and return |
| 115 | /// true if the merge was successful. Entries can be merged if they |
| 116 | /// share the same Loc/Constant and if Next immediately follows this |
| 117 | /// Entry. |
| 118 | bool MergeRanges(const DebugLocEntry &Next) { |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 119 | // If this and Next are describing the same variable, merge them. |
Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 120 | if ((End == Next.Begin && Values == Next.Values)) { |
David Blaikie | 6fa9966 | 2014-04-01 23:19:23 +0000 | [diff] [blame] | 121 | End = Next.End; |
| 122 | return true; |
| 123 | } |
| 124 | return false; |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 125 | } |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 126 | |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 127 | const MCSymbol *getBeginSym() const { return Begin; } |
| 128 | const MCSymbol *getEndSym() const { return End; } |
Craig Topper | 3af9722 | 2014-08-27 05:25:00 +0000 | [diff] [blame] | 129 | ArrayRef<Value> getValues() const { return Values; } |
Adrian Prantl | 1c6f2ec | 2014-08-11 21:06:00 +0000 | [diff] [blame] | 130 | void addValues(ArrayRef<DebugLocEntry::Value> Vals) { |
| 131 | Values.append(Vals.begin(), Vals.end()); |
Adrian Prantl | 293dd93 | 2014-08-11 21:05:55 +0000 | [diff] [blame] | 132 | sortUniqueValues(); |
David Majnemer | 0a16c22 | 2016-08-11 21:15:00 +0000 | [diff] [blame] | 133 | assert(all_of(Values, [](DebugLocEntry::Value V) { |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 134 | return V.isFragment(); |
Adrian Prantl | 1c6f2ec | 2014-08-11 21:06:00 +0000 | [diff] [blame] | 135 | }) && "value must be a piece"); |
Adrian Prantl | 293dd93 | 2014-08-11 21:05:55 +0000 | [diff] [blame] | 136 | } |
| 137 | |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 138 | // \brief Sort the pieces by offset. |
Adrian Prantl | 293dd93 | 2014-08-11 21:05:55 +0000 | [diff] [blame] | 139 | // Remove any duplicate entries by dropping all but the first. |
| 140 | void sortUniqueValues() { |
| 141 | std::sort(Values.begin(), Values.end()); |
Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 142 | Values.erase( |
| 143 | std::unique( |
| 144 | Values.begin(), Values.end(), [](const Value &A, const Value &B) { |
| 145 | return A.getExpression() == B.getExpression(); |
| 146 | }), |
| 147 | Values.end()); |
Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 148 | } |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 149 | |
| 150 | /// \brief Lower this entry into a DWARF expression. |
Duncan P. N. Exon Smith | 3a73d9e | 2015-06-21 16:54:56 +0000 | [diff] [blame] | 151 | void finalize(const AsmPrinter &AP, DebugLocStream::ListBuilder &List, |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 152 | const DIBasicType *BT); |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 153 | }; |
| 154 | |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 155 | /// \brief Compare two Values for equality. |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 156 | inline bool operator==(const DebugLocEntry::Value &A, |
| 157 | const DebugLocEntry::Value &B) { |
| 158 | if (A.EntryKind != B.EntryKind) |
| 159 | return false; |
| 160 | |
Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 161 | if (A.Expression != B.Expression) |
| 162 | return false; |
| 163 | |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 164 | switch (A.EntryKind) { |
| 165 | case DebugLocEntry::Value::E_Location: |
| 166 | return A.Loc == B.Loc; |
| 167 | case DebugLocEntry::Value::E_Integer: |
| 168 | return A.Constant.Int == B.Constant.Int; |
| 169 | case DebugLocEntry::Value::E_ConstantFP: |
| 170 | return A.Constant.CFP == B.Constant.CFP; |
| 171 | case DebugLocEntry::Value::E_ConstantInt: |
| 172 | return A.Constant.CIP == B.Constant.CIP; |
| 173 | } |
| 174 | llvm_unreachable("unhandled EntryKind"); |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 175 | } |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 176 | |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 177 | /// Compare two fragments based on their offset. |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 178 | inline bool operator<(const DebugLocEntry::Value &A, |
| 179 | const DebugLocEntry::Value &B) { |
Adrian Prantl | 49797ca | 2016-12-22 05:27:12 +0000 | [diff] [blame] | 180 | return A.getExpression()->getFragmentInfo()->OffsetInBits < |
| 181 | B.getExpression()->getFragmentInfo()->OffsetInBits; |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 182 | } |
| 183 | |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 184 | } |
Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 185 | |
David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 186 | #endif |