blob: 43c98442d8b2dba290c03f4e5cca3ca5445ad615 [file] [log] [blame]
Adrian Prantlb16d9eb2015-01-12 22:19:22 +00001//===-- llvm/CodeGen/DwarfExpression.cpp - Dwarf Debug Framework ----------===//
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 debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
13
14#include "DwarfExpression.h"
Adrian Prantla4c30d62015-01-12 23:36:56 +000015#include "DwarfDebug.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000016#include "llvm/ADT/SmallBitVector.h"
Adrian Prantla4c30d62015-01-12 23:36:56 +000017#include "llvm/CodeGen/AsmPrinter.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000018#include "llvm/Support/Dwarf.h"
19#include "llvm/Target/TargetMachine.h"
20#include "llvm/Target/TargetRegisterInfo.h"
21#include "llvm/Target/TargetSubtargetInfo.h"
22
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000023using namespace llvm;
24
Adrian Prantl66f25952015-01-13 00:04:06 +000025void DwarfExpression::AddReg(int DwarfReg, const char *Comment) {
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000026 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
27 if (DwarfReg < 32) {
28 EmitOp(dwarf::DW_OP_reg0 + DwarfReg, Comment);
29 } else {
30 EmitOp(dwarf::DW_OP_regx, Comment);
31 EmitUnsigned(DwarfReg);
32 }
33}
34
Tim Northover5d270632017-01-25 20:58:07 +000035void DwarfExpression::AddRegIndirect(int DwarfReg, int Offset) {
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000036 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
37 if (DwarfReg < 32) {
38 EmitOp(dwarf::DW_OP_breg0 + DwarfReg);
39 } else {
40 EmitOp(dwarf::DW_OP_bregx);
41 EmitUnsigned(DwarfReg);
42 }
43 EmitSigned(Offset);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000044}
45
Adrian Prantl66f25952015-01-13 00:04:06 +000046void DwarfExpression::AddOpPiece(unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000047 if (!SizeInBits)
48 return;
49
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000050 const unsigned SizeOfByte = 8;
51 if (OffsetInBits > 0 || SizeInBits % SizeOfByte) {
52 EmitOp(dwarf::DW_OP_bit_piece);
53 EmitUnsigned(SizeInBits);
54 EmitUnsigned(OffsetInBits);
55 } else {
56 EmitOp(dwarf::DW_OP_piece);
57 unsigned ByteSize = SizeInBits / SizeOfByte;
58 EmitUnsigned(ByteSize);
59 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000060 this->OffsetInBits += SizeInBits;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000061}
62
63void DwarfExpression::AddShr(unsigned ShiftBy) {
64 EmitOp(dwarf::DW_OP_constu);
65 EmitUnsigned(ShiftBy);
66 EmitOp(dwarf::DW_OP_shr);
67}
68
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000069bool DwarfExpression::AddMachineRegIndirect(const TargetRegisterInfo &TRI,
70 unsigned MachineReg, int Offset) {
71 if (isFrameRegister(TRI, MachineReg)) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000072 // If variable offset is based in frame register then use fbreg.
73 EmitOp(dwarf::DW_OP_fbreg);
74 EmitSigned(Offset);
Adrian Prantlb2838152015-03-03 20:12:52 +000075 return true;
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000076 }
Adrian Prantlb2838152015-03-03 20:12:52 +000077
78 int DwarfReg = TRI.getDwarfRegNum(MachineReg, false);
79 if (DwarfReg < 0)
80 return false;
81
82 AddRegIndirect(DwarfReg, Offset);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000083 return true;
84}
85
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000086bool DwarfExpression::AddMachineReg(const TargetRegisterInfo &TRI,
Adrian Prantl5542da42016-12-22 06:10:41 +000087 unsigned MachineReg, unsigned MaxSize) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000088 if (!TRI.isPhysicalRegister(MachineReg))
Adrian Prantl40cb8192015-01-25 19:04:08 +000089 return false;
90
Adrian Prantl92da14b2015-03-02 22:02:33 +000091 int Reg = TRI.getDwarfRegNum(MachineReg, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000092
93 // If this is a valid register number, emit it.
94 if (Reg >= 0) {
95 AddReg(Reg);
Adrian Prantlad768c32015-01-14 01:01:28 +000096 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000097 }
98
99 // Walk up the super-register chain until we find a valid number.
Adrian Prantl941fa752016-12-05 18:04:47 +0000100 // For example, EAX on x86_64 is a 32-bit fragment of RAX with offset 0.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000101 for (MCSuperRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
102 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000103 if (Reg >= 0) {
Adrian Prantl92da14b2015-03-02 22:02:33 +0000104 unsigned Idx = TRI.getSubRegIndex(*SR, MachineReg);
105 unsigned Size = TRI.getSubRegIdxSize(Idx);
106 unsigned RegOffset = TRI.getSubRegIdxOffset(Idx);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000107 AddReg(Reg, "super-register");
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000108 // Use a DW_OP_bit_piece to describe the sub-register.
109 setSubRegisterPiece(Size, RegOffset);
Adrian Prantlad768c32015-01-14 01:01:28 +0000110 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000111 }
112 }
113
114 // Otherwise, attempt to find a covering set of sub-register numbers.
115 // For example, Q0 on ARM is a composition of D0+D1.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000116 unsigned CurPos = 0;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000117 // The size of the register in bits, assuming 8 bits per byte.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000118 unsigned RegSize = TRI.getMinimalPhysRegClass(MachineReg)->getSize() * 8;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000119 // Keep track of the bits in the register we already emitted, so we
120 // can avoid emitting redundant aliasing subregs.
121 SmallBitVector Coverage(RegSize, false);
Adrian Prantl92da14b2015-03-02 22:02:33 +0000122 for (MCSubRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
123 unsigned Idx = TRI.getSubRegIndex(MachineReg, *SR);
124 unsigned Size = TRI.getSubRegIdxSize(Idx);
125 unsigned Offset = TRI.getSubRegIdxOffset(Idx);
126 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000127
128 // Intersection between the bits we already emitted and the bits
129 // covered by this subregister.
130 SmallBitVector Intersection(RegSize, false);
131 Intersection.set(Offset, Offset + Size);
132 Intersection ^= Coverage;
133
134 // If this sub-register has a DWARF number and we haven't covered
135 // its range, emit a DWARF piece for it.
136 if (Reg >= 0 && Intersection.any()) {
137 AddReg(Reg, "sub-register");
Adrian Prantl5542da42016-12-22 06:10:41 +0000138 if (Offset >= MaxSize)
139 break;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000140 // Emit a piece for the any gap in the coverage.
141 if (Offset > CurPos)
142 AddOpPiece(Offset - CurPos);
Adrian Prantl5542da42016-12-22 06:10:41 +0000143 AddOpPiece(std::min<unsigned>(Size, MaxSize - Offset));
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000144 CurPos = Offset + Size;
145
146 // Mark it as emitted.
147 Coverage.set(Offset, Offset + Size);
148 }
149 }
150
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000151 return CurPos;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000152}
Adrian Prantl66f25952015-01-13 00:04:06 +0000153
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000154void DwarfExpression::AddStackValue() {
155 if (DwarfVersion >= 4)
156 EmitOp(dwarf::DW_OP_stack_value);
157}
158
Adrian Prantl29ce7012016-06-24 21:35:09 +0000159void DwarfExpression::AddSignedConstant(int64_t Value) {
Adrian Prantl66f25952015-01-13 00:04:06 +0000160 EmitOp(dwarf::DW_OP_consts);
161 EmitSigned(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000162 AddStackValue();
Adrian Prantl66f25952015-01-13 00:04:06 +0000163}
164
Adrian Prantl29ce7012016-06-24 21:35:09 +0000165void DwarfExpression::AddUnsignedConstant(uint64_t Value) {
Adrian Prantl66f25952015-01-13 00:04:06 +0000166 EmitOp(dwarf::DW_OP_constu);
167 EmitUnsigned(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000168 AddStackValue();
169}
170
Benjamin Kramerc321e532016-06-08 19:09:22 +0000171void DwarfExpression::AddUnsignedConstant(const APInt &Value) {
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000172 unsigned Size = Value.getBitWidth();
173 const uint64_t *Data = Value.getRawData();
174
175 // Chop it up into 64-bit pieces, because that's the maximum that
176 // AddUnsignedConstant takes.
177 unsigned Offset = 0;
178 while (Offset < Size) {
179 AddUnsignedConstant(*Data++);
180 if (Offset == 0 && Size <= 64)
181 break;
182 AddOpPiece(std::min(Size-Offset, 64u), Offset);
183 Offset += 64;
184 }
Adrian Prantl66f25952015-01-13 00:04:06 +0000185}
Adrian Prantl092d9482015-01-13 23:39:11 +0000186
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000187bool DwarfExpression::AddMachineRegExpression(const TargetRegisterInfo &TRI,
Adrian Prantl54286bd2016-11-02 16:12:20 +0000188 DIExpressionCursor &ExprCursor,
Adrian Prantl092d9482015-01-13 23:39:11 +0000189 unsigned MachineReg,
Adrian Prantl941fa752016-12-05 18:04:47 +0000190 unsigned FragmentOffsetInBits) {
Adrian Prantl54286bd2016-11-02 16:12:20 +0000191 if (!ExprCursor)
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000192 return AddMachineReg(TRI, MachineReg);
Adrian Prantl531641a2015-01-22 00:00:59 +0000193
Adrian Prantl0f615792015-03-04 17:39:33 +0000194 // Pattern-match combinations for which more efficient representations exist
195 // first.
Adrian Prantl531641a2015-01-22 00:00:59 +0000196 bool ValidReg = false;
Adrian Prantl54286bd2016-11-02 16:12:20 +0000197 auto Op = ExprCursor.peek();
198 switch (Op->getOp()) {
Adrian Prantl5542da42016-12-22 06:10:41 +0000199 default: {
200 auto Fragment = ExprCursor.getFragmentInfo();
201 ValidReg = AddMachineReg(TRI, MachineReg,
202 Fragment ? Fragment->SizeInBits : ~1U);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000203 break;
Adrian Prantl5542da42016-12-22 06:10:41 +0000204 }
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000205 case dwarf::DW_OP_plus:
206 case dwarf::DW_OP_minus: {
207 // [DW_OP_reg,Offset,DW_OP_plus, DW_OP_deref] --> [DW_OP_breg, Offset].
208 // [DW_OP_reg,Offset,DW_OP_minus,DW_OP_deref] --> [DW_OP_breg,-Offset].
Adrian Prantl54286bd2016-11-02 16:12:20 +0000209 auto N = ExprCursor.peekNext();
210 if (N && N->getOp() == dwarf::DW_OP_deref) {
211 unsigned Offset = Op->getArg(0);
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000212 ValidReg = AddMachineRegIndirect(
Adrian Prantl54286bd2016-11-02 16:12:20 +0000213 TRI, MachineReg, Op->getOp() == dwarf::DW_OP_plus ? Offset : -Offset);
214 ExprCursor.consume(2);
David Blaikie0ebe35b2015-06-09 18:01:51 +0000215 } else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000216 ValidReg = AddMachineReg(TRI, MachineReg);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000217 break;
Adrian Prantl0f615792015-03-04 17:39:33 +0000218 }
Adrian Prantl54286bd2016-11-02 16:12:20 +0000219 case dwarf::DW_OP_deref:
220 // [DW_OP_reg,DW_OP_deref] --> [DW_OP_breg].
221 ValidReg = AddMachineRegIndirect(TRI, MachineReg);
222 ExprCursor.take();
223 break;
Adrian Prantl531641a2015-01-22 00:00:59 +0000224 }
Adrian Prantlad768c32015-01-14 01:01:28 +0000225
Adrian Prantl54286bd2016-11-02 16:12:20 +0000226 return ValidReg;
Adrian Prantl092d9482015-01-13 23:39:11 +0000227}
228
Adrian Prantl54286bd2016-11-02 16:12:20 +0000229void DwarfExpression::AddExpression(DIExpressionCursor &&ExprCursor,
Adrian Prantl941fa752016-12-05 18:04:47 +0000230 unsigned FragmentOffsetInBits) {
Adrian Prantl54286bd2016-11-02 16:12:20 +0000231 while (ExprCursor) {
232 auto Op = ExprCursor.take();
233 switch (Op->getOp()) {
Adrian Prantl941fa752016-12-05 18:04:47 +0000234 case dwarf::DW_OP_LLVM_fragment: {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000235 unsigned SizeInBits = Op->getArg(1);
236 unsigned FragmentOffset = Op->getArg(0);
237 // The fragment offset must have already been adjusted by emitting an
238 // empty DW_OP_piece / DW_OP_bit_piece before we emitted the base
239 // location.
240 assert(OffsetInBits >= FragmentOffset && "fragment offset not added?");
241
242 // If \a AddMachineReg already emitted DW_OP_piece operations to represent
243 // a super-register by splicing together sub-registers, subtract the size
244 // of the pieces that was already emitted.
245 SizeInBits -= OffsetInBits - FragmentOffset;
246
247 // If \a AddMachineReg requested a DW_OP_bit_piece to stencil out a
248 // sub-register that is smaller than the current fragment's size, use it.
249 if (SubRegisterSizeInBits)
250 SizeInBits = std::min<unsigned>(SizeInBits, SubRegisterSizeInBits);
251
252 AddOpPiece(SizeInBits, SubRegisterOffsetInBits);
253 setSubRegisterPiece(0, 0);
Adrian Prantl092d9482015-01-13 23:39:11 +0000254 break;
255 }
256 case dwarf::DW_OP_plus:
257 EmitOp(dwarf::DW_OP_plus_uconst);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000258 EmitUnsigned(Op->getArg(0));
Adrian Prantl092d9482015-01-13 23:39:11 +0000259 break;
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000260 case dwarf::DW_OP_minus:
261 // There is no OP_minus_uconst.
262 EmitOp(dwarf::DW_OP_constu);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000263 EmitUnsigned(Op->getArg(0));
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000264 EmitOp(dwarf::DW_OP_minus);
265 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000266 case dwarf::DW_OP_deref:
267 EmitOp(dwarf::DW_OP_deref);
268 break;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000269 case dwarf::DW_OP_constu:
270 EmitOp(dwarf::DW_OP_constu);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000271 EmitUnsigned(Op->getArg(0));
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000272 break;
273 case dwarf::DW_OP_stack_value:
274 AddStackValue();
275 break;
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000276 case dwarf::DW_OP_swap:
277 EmitOp(dwarf::DW_OP_swap);
278 break;
279 case dwarf::DW_OP_xderef:
280 EmitOp(dwarf::DW_OP_xderef);
281 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000282 default:
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000283 llvm_unreachable("unhandled opcode found in expression");
Adrian Prantl092d9482015-01-13 23:39:11 +0000284 }
285 }
286}
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000287
288void DwarfExpression::finalize() {
Adrian Prantlc5b33512017-03-16 16:38:22 +0000289 if (SubRegisterSizeInBits)
290 AddOpPiece(SubRegisterSizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000291}
292
293void DwarfExpression::addFragmentOffset(const DIExpression *Expr) {
294 if (!Expr || !Expr->isFragment())
295 return;
296
Adrian Prantl49797ca2016-12-22 05:27:12 +0000297 uint64_t FragmentOffset = Expr->getFragmentInfo()->OffsetInBits;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000298 assert(FragmentOffset >= OffsetInBits &&
299 "overlapping or duplicate fragments");
300 if (FragmentOffset > OffsetInBits)
301 AddOpPiece(FragmentOffset - OffsetInBits);
302 OffsetInBits = FragmentOffset;
303}