blob: 61b2c7e6584242d4109617a1233539e649484129 [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,
Adrian Prantl5542da42016-12-22 06:10:41 +000089 unsigned MachineReg, unsigned MaxSize) {
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 Prantl5542da42016-12-22 06:10:41 +0000140 if (Offset >= MaxSize)
141 break;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000142 // Emit a piece for the any gap in the coverage.
143 if (Offset > CurPos)
144 AddOpPiece(Offset - CurPos);
Adrian Prantl5542da42016-12-22 06:10:41 +0000145 AddOpPiece(std::min<unsigned>(Size, MaxSize - Offset));
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000146 CurPos = Offset + Size;
147
148 // Mark it as emitted.
149 Coverage.set(Offset, Offset + Size);
150 }
151 }
152
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000153 return CurPos;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000154}
Adrian Prantl66f25952015-01-13 00:04:06 +0000155
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000156void DwarfExpression::AddStackValue() {
157 if (DwarfVersion >= 4)
158 EmitOp(dwarf::DW_OP_stack_value);
159}
160
Adrian Prantl29ce7012016-06-24 21:35:09 +0000161void DwarfExpression::AddSignedConstant(int64_t Value) {
Adrian Prantl66f25952015-01-13 00:04:06 +0000162 EmitOp(dwarf::DW_OP_consts);
163 EmitSigned(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000164 AddStackValue();
Adrian Prantl66f25952015-01-13 00:04:06 +0000165}
166
Adrian Prantl29ce7012016-06-24 21:35:09 +0000167void DwarfExpression::AddUnsignedConstant(uint64_t Value) {
Adrian Prantl66f25952015-01-13 00:04:06 +0000168 EmitOp(dwarf::DW_OP_constu);
169 EmitUnsigned(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000170 AddStackValue();
171}
172
Benjamin Kramerc321e532016-06-08 19:09:22 +0000173void DwarfExpression::AddUnsignedConstant(const APInt &Value) {
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000174 unsigned Size = Value.getBitWidth();
175 const uint64_t *Data = Value.getRawData();
176
177 // Chop it up into 64-bit pieces, because that's the maximum that
178 // AddUnsignedConstant takes.
179 unsigned Offset = 0;
180 while (Offset < Size) {
181 AddUnsignedConstant(*Data++);
182 if (Offset == 0 && Size <= 64)
183 break;
184 AddOpPiece(std::min(Size-Offset, 64u), Offset);
185 Offset += 64;
186 }
Adrian Prantl66f25952015-01-13 00:04:06 +0000187}
Adrian Prantl092d9482015-01-13 23:39:11 +0000188
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000189bool DwarfExpression::AddMachineRegExpression(const TargetRegisterInfo &TRI,
Adrian Prantl54286bd2016-11-02 16:12:20 +0000190 DIExpressionCursor &ExprCursor,
Adrian Prantl092d9482015-01-13 23:39:11 +0000191 unsigned MachineReg,
Adrian Prantl941fa752016-12-05 18:04:47 +0000192 unsigned FragmentOffsetInBits) {
Adrian Prantl54286bd2016-11-02 16:12:20 +0000193 if (!ExprCursor)
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000194 return AddMachineReg(TRI, MachineReg);
Adrian Prantl531641a2015-01-22 00:00:59 +0000195
Adrian Prantl0f615792015-03-04 17:39:33 +0000196 // Pattern-match combinations for which more efficient representations exist
197 // first.
Adrian Prantl531641a2015-01-22 00:00:59 +0000198 bool ValidReg = false;
Adrian Prantl54286bd2016-11-02 16:12:20 +0000199 auto Op = ExprCursor.peek();
200 switch (Op->getOp()) {
Adrian Prantl5542da42016-12-22 06:10:41 +0000201 default: {
202 auto Fragment = ExprCursor.getFragmentInfo();
203 ValidReg = AddMachineReg(TRI, MachineReg,
204 Fragment ? Fragment->SizeInBits : ~1U);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000205 break;
Adrian Prantl5542da42016-12-22 06:10:41 +0000206 }
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000207 case dwarf::DW_OP_plus:
208 case dwarf::DW_OP_minus: {
209 // [DW_OP_reg,Offset,DW_OP_plus, DW_OP_deref] --> [DW_OP_breg, Offset].
210 // [DW_OP_reg,Offset,DW_OP_minus,DW_OP_deref] --> [DW_OP_breg,-Offset].
Adrian Prantl54286bd2016-11-02 16:12:20 +0000211 auto N = ExprCursor.peekNext();
212 if (N && N->getOp() == dwarf::DW_OP_deref) {
213 unsigned Offset = Op->getArg(0);
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000214 ValidReg = AddMachineRegIndirect(
Adrian Prantl54286bd2016-11-02 16:12:20 +0000215 TRI, MachineReg, Op->getOp() == dwarf::DW_OP_plus ? Offset : -Offset);
216 ExprCursor.consume(2);
David Blaikie0ebe35b2015-06-09 18:01:51 +0000217 } else
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000218 ValidReg = AddMachineReg(TRI, MachineReg);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000219 break;
Adrian Prantl0f615792015-03-04 17:39:33 +0000220 }
Adrian Prantl54286bd2016-11-02 16:12:20 +0000221 case dwarf::DW_OP_deref:
222 // [DW_OP_reg,DW_OP_deref] --> [DW_OP_breg].
223 ValidReg = AddMachineRegIndirect(TRI, MachineReg);
224 ExprCursor.take();
225 break;
Adrian Prantl531641a2015-01-22 00:00:59 +0000226 }
Adrian Prantlad768c32015-01-14 01:01:28 +0000227
Adrian Prantl54286bd2016-11-02 16:12:20 +0000228 return ValidReg;
Adrian Prantl092d9482015-01-13 23:39:11 +0000229}
230
Adrian Prantl54286bd2016-11-02 16:12:20 +0000231void DwarfExpression::AddExpression(DIExpressionCursor &&ExprCursor,
Adrian Prantl941fa752016-12-05 18:04:47 +0000232 unsigned FragmentOffsetInBits) {
Adrian Prantl54286bd2016-11-02 16:12:20 +0000233 while (ExprCursor) {
234 auto Op = ExprCursor.take();
235 switch (Op->getOp()) {
Adrian Prantl941fa752016-12-05 18:04:47 +0000236 case dwarf::DW_OP_LLVM_fragment: {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000237 unsigned SizeInBits = Op->getArg(1);
238 unsigned FragmentOffset = Op->getArg(0);
239 // The fragment offset must have already been adjusted by emitting an
240 // empty DW_OP_piece / DW_OP_bit_piece before we emitted the base
241 // location.
242 assert(OffsetInBits >= FragmentOffset && "fragment offset not added?");
243
244 // If \a AddMachineReg already emitted DW_OP_piece operations to represent
245 // a super-register by splicing together sub-registers, subtract the size
246 // of the pieces that was already emitted.
247 SizeInBits -= OffsetInBits - FragmentOffset;
248
249 // If \a AddMachineReg requested a DW_OP_bit_piece to stencil out a
250 // sub-register that is smaller than the current fragment's size, use it.
251 if (SubRegisterSizeInBits)
252 SizeInBits = std::min<unsigned>(SizeInBits, SubRegisterSizeInBits);
253
254 AddOpPiece(SizeInBits, SubRegisterOffsetInBits);
255 setSubRegisterPiece(0, 0);
Adrian Prantl092d9482015-01-13 23:39:11 +0000256 break;
257 }
258 case dwarf::DW_OP_plus:
259 EmitOp(dwarf::DW_OP_plus_uconst);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000260 EmitUnsigned(Op->getArg(0));
Adrian Prantl092d9482015-01-13 23:39:11 +0000261 break;
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000262 case dwarf::DW_OP_minus:
263 // There is no OP_minus_uconst.
264 EmitOp(dwarf::DW_OP_constu);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000265 EmitUnsigned(Op->getArg(0));
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000266 EmitOp(dwarf::DW_OP_minus);
267 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000268 case dwarf::DW_OP_deref:
269 EmitOp(dwarf::DW_OP_deref);
270 break;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000271 case dwarf::DW_OP_constu:
272 EmitOp(dwarf::DW_OP_constu);
Adrian Prantl54286bd2016-11-02 16:12:20 +0000273 EmitUnsigned(Op->getArg(0));
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000274 break;
275 case dwarf::DW_OP_stack_value:
276 AddStackValue();
277 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000278 default:
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000279 llvm_unreachable("unhandled opcode found in expression");
Adrian Prantl092d9482015-01-13 23:39:11 +0000280 }
281 }
282}
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000283
284void DwarfExpression::finalize() {
285 if (SubRegisterSizeInBits)
286 AddOpPiece(SubRegisterSizeInBits, SubRegisterOffsetInBits);
287}
288
289void DwarfExpression::addFragmentOffset(const DIExpression *Expr) {
290 if (!Expr || !Expr->isFragment())
291 return;
292
Adrian Prantl49797ca2016-12-22 05:27:12 +0000293 uint64_t FragmentOffset = Expr->getFragmentInfo()->OffsetInBits;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000294 assert(FragmentOffset >= OffsetInBits &&
295 "overlapping or duplicate fragments");
296 if (FragmentOffset > OffsetInBits)
297 AddOpPiece(FragmentOffset - OffsetInBits);
298 OffsetInBits = FragmentOffset;
299}