blob: 5419a10f4f9a3f743c9543f777eedd836856a8d5 [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
35void DwarfExpression::AddRegIndirect(int DwarfReg, int Offset, bool Deref) {
36 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);
44 if (Deref)
45 EmitOp(dwarf::DW_OP_deref);
46}
47
Adrian Prantl66f25952015-01-13 00:04:06 +000048void DwarfExpression::AddOpPiece(unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000049 if (!SizeInBits)
50 return;
51
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000052 const unsigned SizeOfByte = 8;
53 if (OffsetInBits > 0 || SizeInBits % SizeOfByte) {
54 EmitOp(dwarf::DW_OP_bit_piece);
55 EmitUnsigned(SizeInBits);
56 EmitUnsigned(OffsetInBits);
57 } else {
58 EmitOp(dwarf::DW_OP_piece);
59 unsigned ByteSize = SizeInBits / SizeOfByte;
60 EmitUnsigned(ByteSize);
61 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000062 this->OffsetInBits += SizeInBits;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000063}
64
65void DwarfExpression::AddShr(unsigned ShiftBy) {
66 EmitOp(dwarf::DW_OP_constu);
67 EmitUnsigned(ShiftBy);
68 EmitOp(dwarf::DW_OP_shr);
69}
70
Peter Collingbourne96c9ae62016-05-20 19:35:17 +000071bool DwarfExpression::AddMachineRegIndirect(const TargetRegisterInfo &TRI,
72 unsigned MachineReg, int Offset) {
73 if (isFrameRegister(TRI, MachineReg)) {
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000074 // If variable offset is based in frame register then use fbreg.
75 EmitOp(dwarf::DW_OP_fbreg);
76 EmitSigned(Offset);
Adrian Prantlb2838152015-03-03 20:12:52 +000077 return true;
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000078 }
Adrian Prantlb2838152015-03-03 20:12:52 +000079
80 int DwarfReg = TRI.getDwarfRegNum(MachineReg, false);
81 if (DwarfReg < 0)
82 return false;
83
84 AddRegIndirect(DwarfReg, Offset);
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000085 return true;
86}
87
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000088bool DwarfExpression::AddMachineReg(const TargetRegisterInfo &TRI,
89 unsigned MachineReg) {
Adrian Prantl92da14b2015-03-02 22:02:33 +000090 if (!TRI.isPhysicalRegister(MachineReg))
Adrian Prantl40cb8192015-01-25 19:04:08 +000091 return false;
92
Adrian Prantl92da14b2015-03-02 22:02:33 +000093 int Reg = TRI.getDwarfRegNum(MachineReg, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000094
95 // If this is a valid register number, emit it.
96 if (Reg >= 0) {
97 AddReg(Reg);
Adrian Prantlad768c32015-01-14 01:01:28 +000098 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000099 }
100
101 // Walk up the super-register chain until we find a valid number.
Adrian Prantl941fa752016-12-05 18:04:47 +0000102 // For example, EAX on x86_64 is a 32-bit fragment of RAX with offset 0.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000103 for (MCSuperRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
104 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000105 if (Reg >= 0) {
Adrian Prantl92da14b2015-03-02 22:02:33 +0000106 unsigned Idx = TRI.getSubRegIndex(*SR, MachineReg);
107 unsigned Size = TRI.getSubRegIdxSize(Idx);
108 unsigned RegOffset = TRI.getSubRegIdxOffset(Idx);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000109 AddReg(Reg, "super-register");
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000110 // Use a DW_OP_bit_piece to describe the sub-register.
111 setSubRegisterPiece(Size, RegOffset);
Adrian Prantlad768c32015-01-14 01:01:28 +0000112 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000113 }
114 }
115
116 // Otherwise, attempt to find a covering set of sub-register numbers.
117 // For example, Q0 on ARM is a composition of D0+D1.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000118 unsigned CurPos = 0;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000119 // The size of the register in bits, assuming 8 bits per byte.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000120 unsigned RegSize = TRI.getMinimalPhysRegClass(MachineReg)->getSize() * 8;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000121 // Keep track of the bits in the register we already emitted, so we
122 // can avoid emitting redundant aliasing subregs.
123 SmallBitVector Coverage(RegSize, false);
Adrian Prantl92da14b2015-03-02 22:02:33 +0000124 for (MCSubRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
125 unsigned Idx = TRI.getSubRegIndex(MachineReg, *SR);
126 unsigned Size = TRI.getSubRegIdxSize(Idx);
127 unsigned Offset = TRI.getSubRegIdxOffset(Idx);
128 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000129
130 // Intersection between the bits we already emitted and the bits
131 // covered by this subregister.
132 SmallBitVector Intersection(RegSize, false);
133 Intersection.set(Offset, Offset + Size);
134 Intersection ^= Coverage;
135
136 // If this sub-register has a DWARF number and we haven't covered
137 // its range, emit a DWARF piece for it.
138 if (Reg >= 0 && Intersection.any()) {
139 AddReg(Reg, "sub-register");
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);
143 AddOpPiece(Size);
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 Prantl8fafb8d2016-12-09 20:43:40 +0000199 default:
200 ValidReg = AddMachineReg(TRI, MachineReg);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000201 break;
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000202 case dwarf::DW_OP_plus:
203 case dwarf::DW_OP_minus: {
204 // [DW_OP_reg,Offset,DW_OP_plus, DW_OP_deref] --> [DW_OP_breg, Offset].
205 // [DW_OP_reg,Offset,DW_OP_minus,DW_OP_deref] --> [DW_OP_breg,-Offset].
Adrian Prantl54286bd2016-11-02 16:12:20 +0000206 auto N = ExprCursor.peekNext();
207 if (N && N->getOp() == dwarf::DW_OP_deref) {
208 unsigned Offset = Op->getArg(0);
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000209 ValidReg = AddMachineRegIndirect(
Adrian Prantl54286bd2016-11-02 16:12:20 +0000210 TRI, MachineReg, Op->getOp() == dwarf::DW_OP_plus ? Offset : -Offset);
211 ExprCursor.consume(2);
David Blaikie0ebe35b2015-06-09 18:01:51 +0000212 } else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000213 ValidReg = AddMachineReg(TRI, MachineReg);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000214 break;
Adrian Prantl0f615792015-03-04 17:39:33 +0000215 }
Adrian Prantl54286bd2016-11-02 16:12:20 +0000216 case dwarf::DW_OP_deref:
217 // [DW_OP_reg,DW_OP_deref] --> [DW_OP_breg].
218 ValidReg = AddMachineRegIndirect(TRI, MachineReg);
219 ExprCursor.take();
220 break;
Adrian Prantl531641a2015-01-22 00:00:59 +0000221 }
Adrian Prantlad768c32015-01-14 01:01:28 +0000222
Adrian Prantl54286bd2016-11-02 16:12:20 +0000223 return ValidReg;
Adrian Prantl092d9482015-01-13 23:39:11 +0000224}
225
Adrian Prantl54286bd2016-11-02 16:12:20 +0000226void DwarfExpression::AddExpression(DIExpressionCursor &&ExprCursor,
Adrian Prantl941fa752016-12-05 18:04:47 +0000227 unsigned FragmentOffsetInBits) {
Adrian Prantl54286bd2016-11-02 16:12:20 +0000228 while (ExprCursor) {
229 auto Op = ExprCursor.take();
230 switch (Op->getOp()) {
Adrian Prantl941fa752016-12-05 18:04:47 +0000231 case dwarf::DW_OP_LLVM_fragment: {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000232 unsigned SizeInBits = Op->getArg(1);
233 unsigned FragmentOffset = Op->getArg(0);
234 // The fragment offset must have already been adjusted by emitting an
235 // empty DW_OP_piece / DW_OP_bit_piece before we emitted the base
236 // location.
237 assert(OffsetInBits >= FragmentOffset && "fragment offset not added?");
238
239 // If \a AddMachineReg already emitted DW_OP_piece operations to represent
240 // a super-register by splicing together sub-registers, subtract the size
241 // of the pieces that was already emitted.
242 SizeInBits -= OffsetInBits - FragmentOffset;
243
244 // If \a AddMachineReg requested a DW_OP_bit_piece to stencil out a
245 // sub-register that is smaller than the current fragment's size, use it.
246 if (SubRegisterSizeInBits)
247 SizeInBits = std::min<unsigned>(SizeInBits, SubRegisterSizeInBits);
248
249 AddOpPiece(SizeInBits, SubRegisterOffsetInBits);
250 setSubRegisterPiece(0, 0);
Adrian Prantl092d9482015-01-13 23:39:11 +0000251 break;
252 }
253 case dwarf::DW_OP_plus:
254 EmitOp(dwarf::DW_OP_plus_uconst);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000255 EmitUnsigned(Op->getArg(0));
Adrian Prantl092d9482015-01-13 23:39:11 +0000256 break;
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000257 case dwarf::DW_OP_minus:
258 // There is no OP_minus_uconst.
259 EmitOp(dwarf::DW_OP_constu);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000260 EmitUnsigned(Op->getArg(0));
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000261 EmitOp(dwarf::DW_OP_minus);
262 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000263 case dwarf::DW_OP_deref:
264 EmitOp(dwarf::DW_OP_deref);
265 break;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000266 case dwarf::DW_OP_constu:
267 EmitOp(dwarf::DW_OP_constu);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000268 EmitUnsigned(Op->getArg(0));
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000269 break;
270 case dwarf::DW_OP_stack_value:
271 AddStackValue();
272 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000273 default:
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000274 llvm_unreachable("unhandled opcode found in expression");
Adrian Prantl092d9482015-01-13 23:39:11 +0000275 }
276 }
277}
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000278
279void DwarfExpression::finalize() {
280 if (SubRegisterSizeInBits)
281 AddOpPiece(SubRegisterSizeInBits, SubRegisterOffsetInBits);
282}
283
284void DwarfExpression::addFragmentOffset(const DIExpression *Expr) {
285 if (!Expr || !Expr->isFragment())
286 return;
287
Adrian Prantl49797ca2016-12-22 05:27:12 +0000288 uint64_t FragmentOffset = Expr->getFragmentInfo()->OffsetInBits;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000289 assert(FragmentOffset >= OffsetInBits &&
290 "overlapping or duplicate fragments");
291 if (FragmentOffset > OffsetInBits)
292 AddOpPiece(FragmentOffset - OffsetInBits);
293 OffsetInBits = FragmentOffset;
294}