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 | |
| 28 | /// Base class containing the logic for constructing DWARF expressions |
| 29 | /// independently of whether they are emitted into a DIE or into a .debug_loc |
| 30 | /// entry. |
| 31 | class DwarfExpression { |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 32 | protected: |
Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 33 | // Various convenience accessors that extract things out of AsmPrinter. |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 34 | unsigned DwarfVersion; |
Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 35 | |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 36 | public: |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 37 | DwarfExpression(unsigned DwarfVersion) : DwarfVersion(DwarfVersion) {} |
Adrian Prantl | 9cffbd8 | 2015-01-12 23:36:50 +0000 | [diff] [blame] | 38 | virtual ~DwarfExpression() {} |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 39 | |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 40 | /// Output a dwarf operand and an optional assembler comment. |
| 41 | virtual void EmitOp(uint8_t Op, const char *Comment = nullptr) = 0; |
| 42 | /// Emit a raw signed value. |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 43 | virtual void EmitSigned(int64_t Value) = 0; |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 44 | /// Emit a raw unsigned value. |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 45 | virtual void EmitUnsigned(uint64_t Value) = 0; |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 46 | /// Return whether the given machine register is the frame register in the |
| 47 | /// current function. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 48 | virtual bool isFrameRegister(const TargetRegisterInfo &TRI, unsigned MachineReg) = 0; |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 49 | |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 50 | /// Emit a dwarf register operation. |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 51 | void AddReg(int DwarfReg, const char *Comment = nullptr); |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 52 | /// Emit an (double-)indirect dwarf register operation. |
| 53 | void AddRegIndirect(int DwarfReg, int Offset, bool Deref = false); |
| 54 | |
| 55 | /// Emit a dwarf register operation for describing |
| 56 | /// - a small value occupying only part of a register or |
| 57 | /// - a register representing only part of a value. |
| 58 | void AddOpPiece(unsigned SizeInBits, unsigned OffsetInBits = 0); |
| 59 | /// Emit a shift-right dwarf expression. |
| 60 | void AddShr(unsigned ShiftBy); |
Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 61 | /// Emit a DW_OP_stack_value, if supported. |
| 62 | /// |
| 63 | /// The proper way to describe a constant value is |
| 64 | /// DW_OP_constu <const>, DW_OP_stack_value. |
| 65 | /// Unfortunately, DW_OP_stack_value was not available until DWARF-4, |
| 66 | /// so we will continue to generate DW_OP_constu <const> for DWARF-2 |
| 67 | /// and DWARF-3. Technically, this is incorrect since DW_OP_const <const> |
| 68 | /// actually describes a value at a constant addess, not a constant value. |
| 69 | /// However, in the past there was no better way to describe a constant |
| 70 | /// value, so the producers and consumers started to rely on heuristics |
| 71 | /// to disambiguate the value vs. location status of the expression. |
| 72 | /// See PR21176 for more details. |
| 73 | void AddStackValue(); |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 74 | |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 75 | /// Emit an indirect dwarf register operation for the given machine register. |
Adrian Prantl | ad768c3 | 2015-01-14 01:01:28 +0000 | [diff] [blame] | 76 | /// \return false if no DWARF register exists for MachineReg. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 77 | bool AddMachineRegIndirect(const TargetRegisterInfo &TRI, unsigned MachineReg, |
| 78 | int Offset = 0); |
Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 79 | |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 80 | /// \brief Emit a partial DWARF register operation. |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 81 | /// \param MachineReg the register |
| 82 | /// \param PieceSizeInBits size and |
| 83 | /// \param PieceOffsetInBits offset of the piece in bits, if this is one |
| 84 | /// piece of an aggregate value. |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 85 | /// |
| 86 | /// If size and offset is zero an operation for the entire |
| 87 | /// register is emitted: Some targets do not provide a DWARF |
| 88 | /// register number for every register. If this is the case, this |
| 89 | /// function will attempt to emit a DWARF register by emitting a |
| 90 | /// piece of a super-register or by piecing together multiple |
| 91 | /// subregisters that alias the register. |
Adrian Prantl | ad768c3 | 2015-01-14 01:01:28 +0000 | [diff] [blame] | 92 | /// |
| 93 | /// \return false if no DWARF register exists for MachineReg. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 94 | bool AddMachineRegPiece(const TargetRegisterInfo &TRI, unsigned MachineReg, |
| 95 | unsigned PieceSizeInBits = 0, |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 96 | unsigned PieceOffsetInBits = 0); |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 97 | |
| 98 | /// Emit a signed constant. |
| 99 | void AddSignedConstant(int Value); |
| 100 | /// Emit an unsigned constant. |
| 101 | void AddUnsignedConstant(unsigned Value); |
Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 102 | /// Emit an unsigned constant. |
Benjamin Kramer | c321e53 | 2016-06-08 19:09:22 +0000 | [diff] [blame] | 103 | void AddUnsignedConstant(const APInt &Value); |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 104 | |
Duncan P. N. Exon Smith | 60635e3 | 2015-04-21 18:44:06 +0000 | [diff] [blame] | 105 | /// \brief Emit an entire expression on top of a machine register location. |
| 106 | /// |
Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 107 | /// \param PieceOffsetInBits If this is one piece out of a fragmented |
| 108 | /// location, this is the offset of the piece inside the entire variable. |
Adrian Prantl | ad768c3 | 2015-01-14 01:01:28 +0000 | [diff] [blame] | 109 | /// \return false if no DWARF register exists for MachineReg. |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 110 | bool AddMachineRegExpression(const TargetRegisterInfo &TRI, |
| 111 | const DIExpression *Expr, unsigned MachineReg, |
Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 112 | unsigned PieceOffsetInBits = 0); |
Adrian Prantl | 531641a | 2015-01-22 00:00:59 +0000 | [diff] [blame] | 113 | /// Emit a the operations remaining the DIExpressionIterator I. |
Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 114 | /// \param PieceOffsetInBits If this is one piece out of a fragmented |
| 115 | /// location, this is the offset of the piece inside the entire variable. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 116 | void AddExpression(DIExpression::expr_op_iterator I, |
| 117 | DIExpression::expr_op_iterator E, |
Duncan P. N. Exon Smith | 57bab0b | 2015-02-17 22:30:56 +0000 | [diff] [blame] | 118 | unsigned PieceOffsetInBits = 0); |
Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 119 | }; |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 120 | |
| 121 | /// DwarfExpression implementation for .debug_loc entries. |
| 122 | class DebugLocDwarfExpression : public DwarfExpression { |
| 123 | ByteStreamer &BS; |
| 124 | |
| 125 | public: |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 126 | DebugLocDwarfExpression(unsigned DwarfVersion, ByteStreamer &BS) |
| 127 | : DwarfExpression(DwarfVersion), BS(BS) {} |
Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 128 | |
Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 129 | void EmitOp(uint8_t Op, const char *Comment = nullptr) override; |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 130 | void EmitSigned(int64_t Value) override; |
| 131 | void EmitUnsigned(uint64_t Value) override; |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 132 | bool isFrameRegister(const TargetRegisterInfo &TRI, |
| 133 | unsigned MachineReg) override; |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 134 | }; |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 135 | |
| 136 | /// DwarfExpression implementation for singular DW_AT_location. |
| 137 | class DIEDwarfExpression : public DwarfExpression { |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 138 | const AsmPrinter &AP; |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 139 | DwarfUnit &DU; |
| 140 | DIELoc &DIE; |
| 141 | |
| 142 | public: |
Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 143 | DIEDwarfExpression(const AsmPrinter &AP, DwarfUnit &DU, DIELoc &DIE); |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 144 | void EmitOp(uint8_t Op, const char *Comment = nullptr) override; |
Adrian Prantl | 5123368 | 2015-03-10 19:23:37 +0000 | [diff] [blame] | 145 | void EmitSigned(int64_t Value) override; |
| 146 | void EmitUnsigned(uint64_t Value) override; |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 147 | bool isFrameRegister(const TargetRegisterInfo &TRI, |
| 148 | unsigned MachineReg) override; |
Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 149 | }; |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 150 | } |
Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 151 | |
| 152 | #endif |