Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 1 | //===-- llvm/CodeGen/DwarfExpression.h - Dwarf Compile Unit ---*- 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 | // |
| 10 | // This file contains support for writing dwarf compile unit. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFEXPRESSION_H |
| 15 | #define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFEXPRESSION_H |
| 16 | |
Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 17 | #include "llvm/IR/DebugInfo.h" |
Chandler Carruth | d990388 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 18 | #include "llvm/Support/DataTypes.h" |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 19 | |
| 20 | namespace llvm { |
| 21 | |
Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 22 | class AsmPrinter; |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 23 | class ByteStreamer; |
Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 24 | class TargetRegisterInfo; |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 25 | class DwarfUnit; |
| 26 | class DIELoc; |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 27 | |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 28 | /// Holds a DIExpression and keeps track of how many operands have been consumed |
| 29 | /// so far. |
| 30 | class DIExpressionCursor { |
| 31 | DIExpression::expr_op_iterator Start, End; |
| 32 | public: |
| 33 | DIExpressionCursor(const DIExpression *Expr) { |
| 34 | if (!Expr) { |
| 35 | assert(Start == End); |
| 36 | return; |
| 37 | } |
| 38 | Start = Expr->expr_op_begin(); |
| 39 | End = Expr->expr_op_end(); |
| 40 | } |
| 41 | |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 42 | DIExpressionCursor(ArrayRef<uint64_t> Expr) |
| 43 | : Start(Expr.begin()), End(Expr.end()) {} |
| 44 | |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 45 | /// Consume one operation. |
| 46 | Optional<DIExpression::ExprOperand> take() { |
| 47 | if (Start == End) |
| 48 | return None; |
| 49 | return *(Start++); |
| 50 | } |
| 51 | |
| 52 | /// Consume N operations. |
| 53 | void consume(unsigned N) { std::advance(Start, N); } |
| 54 | |
| 55 | /// Return the current operation. |
| 56 | Optional<DIExpression::ExprOperand> peek() const { |
| 57 | if (Start == End) |
| 58 | return None; |
| 59 | return *(Start); |
| 60 | } |
| 61 | |
| 62 | /// Return the next operation. |
| 63 | Optional<DIExpression::ExprOperand> peekNext() const { |
| 64 | if (Start == End) |
| 65 | return None; |
| 66 | |
| 67 | auto Next = Start.getNext(); |
| 68 | if (Next == End) |
| 69 | return None; |
| 70 | |
| 71 | return *Next; |
| 72 | } |
Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 73 | /// Determine whether there are any operations left in this expression. |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 74 | operator bool() const { return Start != End; } |
Adrian Prantl | 5542da4 | 2016-12-22 06:10:41 +0000 | [diff] [blame] | 75 | |
| 76 | /// Retrieve the fragment information, if any. |
| 77 | Optional<DIExpression::FragmentInfo> getFragmentInfo() const { |
| 78 | return DIExpression::getFragmentInfo(Start, End); |
| 79 | } |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 80 | }; |
| 81 | |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 82 | /// Base class containing the logic for constructing DWARF expressions |
| 83 | /// independently of whether they are emitted into a DIE or into a .debug_loc |
| 84 | /// entry. |
| 85 | class DwarfExpression { |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 86 | protected: |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 87 | unsigned DwarfVersion; |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 88 | /// Current Fragment Offset in Bits. |
| 89 | uint64_t OffsetInBits = 0; |
| 90 | |
| 91 | /// Sometimes we need to add a DW_OP_bit_piece to describe a subregister. |
| 92 | unsigned SubRegisterSizeInBits = 0; |
| 93 | unsigned SubRegisterOffsetInBits = 0; |
| 94 | |
| 95 | /// Push a DW_OP_piece / DW_OP_bit_piece for emitting later, if one is needed |
| 96 | /// to represent a subregister. |
| 97 | void setSubRegisterPiece(unsigned SizeInBits, unsigned OffsetInBits) { |
| 98 | SubRegisterSizeInBits = SizeInBits; |
| 99 | SubRegisterOffsetInBits = OffsetInBits; |
| 100 | } |
Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 101 | |
Adrian Prantl | 981f03e | 2017-03-16 17:14:56 +0000 | [diff] [blame^] | 102 | /// Add masking operations to stencil out a subregister. |
| 103 | void maskSubRegister(); |
| 104 | |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 105 | public: |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 106 | DwarfExpression(unsigned DwarfVersion) : DwarfVersion(DwarfVersion) {} |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 107 | virtual ~DwarfExpression() {}; |
| 108 | |
| 109 | /// This needs to be called last to commit any pending changes. |
| 110 | void finalize(); |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 111 | |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 112 | /// Output a dwarf operand and an optional assembler comment. |
| 113 | virtual void EmitOp(uint8_t Op, const char *Comment = nullptr) = 0; |
| 114 | /// Emit a raw signed value. |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 115 | virtual void EmitSigned(int64_t Value) = 0; |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 116 | /// Emit a raw unsigned value. |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 117 | virtual void EmitUnsigned(uint64_t Value) = 0; |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 118 | /// Return whether the given machine register is the frame register in the |
| 119 | /// current function. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 120 | virtual bool isFrameRegister(const TargetRegisterInfo &TRI, unsigned MachineReg) = 0; |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 121 | |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 122 | /// Emit a dwarf register operation. |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 123 | void AddReg(int DwarfReg, const char *Comment = nullptr); |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 124 | /// Emit an (double-)indirect dwarf register operation. |
Tim Northover | 5d27063 | 2017-01-25 20:58:07 +0000 | [diff] [blame] | 125 | void AddRegIndirect(int DwarfReg, int Offset); |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 126 | |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 127 | /// Emit a DW_OP_piece or DW_OP_bit_piece operation for a variable fragment. |
| 128 | /// \param OffsetInBits This is an optional offset into the location that |
| 129 | /// is at the top of the DWARF stack. |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 130 | void AddOpPiece(unsigned SizeInBits, unsigned OffsetInBits = 0); |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 131 | |
Adrian Prantl | 981f03e | 2017-03-16 17:14:56 +0000 | [diff] [blame^] | 132 | /// Emit a shift-right dwarf operation. |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 133 | void AddShr(unsigned ShiftBy); |
Adrian Prantl | 981f03e | 2017-03-16 17:14:56 +0000 | [diff] [blame^] | 134 | /// Emit a bitwise and dwarf operation. |
| 135 | void AddAnd(unsigned Mask); |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 136 | |
Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 137 | /// Emit a DW_OP_stack_value, if supported. |
| 138 | /// |
Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 139 | /// The proper way to describe a constant value is DW_OP_constu <const>, |
| 140 | /// DW_OP_stack_value. Unfortunately, DW_OP_stack_value was not available |
| 141 | /// until DWARF 4, so we will continue to generate DW_OP_constu <const> for |
| 142 | /// DWARF 2 and DWARF 3. Technically, this is incorrect since DW_OP_const |
| 143 | /// <const> actually describes a value at a constant addess, not a constant |
| 144 | /// value. However, in the past there was no better way to describe a |
| 145 | /// constant value, so the producers and consumers started to rely on |
| 146 | /// heuristics to disambiguate the value vs. location status of the |
| 147 | /// expression. See PR21176 for more details. |
Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 148 | void AddStackValue(); |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 149 | |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 150 | /// Emit an indirect dwarf register operation for the given machine register. |
Adrian Prantl | ad768c3 | 2015-01-14 01:01:28 +0000 | [diff] [blame] | 151 | /// \return false if no DWARF register exists for MachineReg. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 152 | bool AddMachineRegIndirect(const TargetRegisterInfo &TRI, unsigned MachineReg, |
| 153 | int Offset = 0); |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 154 | |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 155 | /// Emit a partial DWARF register operation. |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 156 | /// |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 157 | /// \param MachineReg The register number. |
Adrian Prantl | 5542da4 | 2016-12-22 06:10:41 +0000 | [diff] [blame] | 158 | /// \param MaxSize If the register must be composed from |
| 159 | /// sub-registers this is an upper bound |
| 160 | /// for how many bits the emitted DW_OP_piece |
| 161 | /// may cover. |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 162 | /// |
| 163 | /// If size and offset is zero an operation for the entire register is |
| 164 | /// emitted: Some targets do not provide a DWARF register number for every |
| 165 | /// register. If this is the case, this function will attempt to emit a DWARF |
| 166 | /// register by emitting a fragment of a super-register or by piecing together |
| 167 | /// multiple subregisters that alias the register. |
Adrian Prantl | ad768c3 | 2015-01-14 01:01:28 +0000 | [diff] [blame] | 168 | /// |
| 169 | /// \return false if no DWARF register exists for MachineReg. |
Adrian Prantl | 5542da4 | 2016-12-22 06:10:41 +0000 | [diff] [blame] | 170 | bool AddMachineReg(const TargetRegisterInfo &TRI, unsigned MachineReg, |
| 171 | unsigned MaxSize = ~1U); |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 172 | |
| 173 | /// Emit a signed constant. |
Adrian Prantl | 29ce701 | 2016-06-24 21:35:09 +0000 | [diff] [blame] | 174 | void AddSignedConstant(int64_t Value); |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 175 | /// Emit an unsigned constant. |
Adrian Prantl | 29ce701 | 2016-06-24 21:35:09 +0000 | [diff] [blame] | 176 | void AddUnsignedConstant(uint64_t Value); |
Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 177 | /// Emit an unsigned constant. |
Benjamin Kramer | c321e53 | 2016-06-08 19:09:22 +0000 | [diff] [blame] | 178 | void AddUnsignedConstant(const APInt &Value); |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 179 | |
Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 180 | /// Emit a machine register location. As an optimization this may also consume |
| 181 | /// the prefix of a DwarfExpression if a more efficient representation for |
| 182 | /// combining the register location and the first operation exists. |
Duncan P. N. Exon Smith | 60635e3 | 2015-04-21 18:44:06 +0000 | [diff] [blame] | 183 | /// |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 184 | /// \param FragmentOffsetInBits If this is one fragment out of a fragmented |
| 185 | /// location, this is the offset of the |
| 186 | /// fragment inside the entire variable. |
| 187 | /// \return false if no DWARF register exists |
| 188 | /// for MachineReg. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 189 | bool AddMachineRegExpression(const TargetRegisterInfo &TRI, |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 190 | DIExpressionCursor &Expr, unsigned MachineReg, |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 191 | unsigned FragmentOffsetInBits = 0); |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 192 | /// Emit all remaining operations in the DIExpressionCursor. |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 193 | /// |
| 194 | /// \param FragmentOffsetInBits If this is one fragment out of multiple |
| 195 | /// locations, this is the offset of the |
| 196 | /// fragment inside the entire variable. |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 197 | void AddExpression(DIExpressionCursor &&Expr, |
Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 198 | unsigned FragmentOffsetInBits = 0); |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 199 | |
| 200 | /// If applicable, emit an empty DW_OP_piece / DW_OP_bit_piece to advance to |
| 201 | /// the fragment described by \c Expr. |
| 202 | void addFragmentOffset(const DIExpression *Expr); |
Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 203 | }; |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 204 | |
| 205 | /// DwarfExpression implementation for .debug_loc entries. |
| 206 | class DebugLocDwarfExpression : public DwarfExpression { |
| 207 | ByteStreamer &BS; |
| 208 | |
| 209 | public: |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 210 | DebugLocDwarfExpression(unsigned DwarfVersion, ByteStreamer &BS) |
| 211 | : DwarfExpression(DwarfVersion), BS(BS) {} |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 212 | |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 213 | void EmitOp(uint8_t Op, const char *Comment = nullptr) override; |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 214 | void EmitSigned(int64_t Value) override; |
| 215 | void EmitUnsigned(uint64_t Value) override; |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 216 | bool isFrameRegister(const TargetRegisterInfo &TRI, |
| 217 | unsigned MachineReg) override; |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 218 | }; |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 219 | |
| 220 | /// DwarfExpression implementation for singular DW_AT_location. |
| 221 | class DIEDwarfExpression : public DwarfExpression { |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 222 | const AsmPrinter &AP; |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 223 | DwarfUnit &DU; |
| 224 | DIELoc &DIE; |
| 225 | |
| 226 | public: |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 227 | DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU, DIELoc &DIE); |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 228 | void EmitOp(uint8_t Op, const char *Comment = nullptr) override; |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 229 | void EmitSigned(int64_t Value) override; |
| 230 | void EmitUnsigned(uint64_t Value) override; |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 231 | bool isFrameRegister(const TargetRegisterInfo &TRI, |
| 232 | unsigned MachineReg) override; |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 233 | DIELoc *finalize() { |
| 234 | DwarfExpression::finalize(); |
| 235 | return &DIE; |
| 236 | } |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 237 | }; |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 238 | } |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 239 | |
| 240 | #endif |