blob: ae9401b897001ce2644d75d7d026ce566aef7d44 [file] [log] [blame]
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +00001//===- StackMaps.cpp ------------------------------------------------------===//
Andrew Trick153ebe62013-10-31 22:11:56 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Andrew Trick153ebe62013-10-31 22:11:56 +00006//
7//===----------------------------------------------------------------------===//
8
Chandler Carruth6bda14b2017-06-06 11:49:48 +00009#include "llvm/CodeGen/StackMaps.h"
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +000010#include "llvm/ADT/DenseMapInfo.h"
11#include "llvm/ADT/STLExtras.h"
12#include "llvm/ADT/Twine.h"
Andrew Trick153ebe62013-10-31 22:11:56 +000013#include "llvm/CodeGen/AsmPrinter.h"
Juergen Ributzkafb4d6482014-01-30 18:58:27 +000014#include "llvm/CodeGen/MachineFrameInfo.h"
Chandler Carruth442f7842014-03-04 10:07:28 +000015#include "llvm/CodeGen/MachineFunction.h"
Andrew Trick153ebe62013-10-31 22:11:56 +000016#include "llvm/CodeGen/MachineInstr.h"
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +000017#include "llvm/CodeGen/MachineOperand.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000018#include "llvm/CodeGen/TargetOpcodes.h"
19#include "llvm/CodeGen/TargetRegisterInfo.h"
20#include "llvm/CodeGen/TargetSubtargetInfo.h"
Lang Hames39609992013-11-29 03:07:54 +000021#include "llvm/IR/DataLayout.h"
Andrew Trick153ebe62013-10-31 22:11:56 +000022#include "llvm/MC/MCContext.h"
23#include "llvm/MC/MCExpr.h"
Lang Hames8a065702013-11-08 22:30:52 +000024#include "llvm/MC/MCObjectFileInfo.h"
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +000025#include "llvm/MC/MCRegisterInfo.h"
Andrew Trick153ebe62013-10-31 22:11:56 +000026#include "llvm/MC/MCStreamer.h"
Juergen Ributzka673a7622014-05-01 22:21:30 +000027#include "llvm/Support/CommandLine.h"
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +000028#include "llvm/Support/Debug.h"
29#include "llvm/Support/ErrorHandling.h"
30#include "llvm/Support/MathExtras.h"
31#include "llvm/Support/raw_ostream.h"
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +000032#include <algorithm>
33#include <cassert>
34#include <cstdint>
Andrew Trick153ebe62013-10-31 22:11:56 +000035#include <iterator>
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +000036#include <utility>
Andrew Trick153ebe62013-10-31 22:11:56 +000037
38using namespace llvm;
39
Chandler Carruth1b9dde02014-04-22 02:02:50 +000040#define DEBUG_TYPE "stackmaps"
41
Juergen Ributzkad25407e2015-07-08 22:42:09 +000042static cl::opt<int> StackMapVersion(
Zachary Turner8065f0b2017-12-01 00:53:10 +000043 "stackmap-version", cl::init(3), cl::Hidden,
Sanjoy Dasba0daee2017-04-28 04:48:42 +000044 cl::desc("Specify the stackmap encoding version (default = 3)"));
Juergen Ributzka673a7622014-05-01 22:21:30 +000045
Juergen Ributzka37fc0a82014-05-01 22:39:26 +000046const char *StackMaps::WSMP = "Stack Maps: ";
47
Philip Reamese83c4b32016-08-23 23:33:29 +000048StackMapOpers::StackMapOpers(const MachineInstr *MI)
49 : MI(MI) {
Philip Reames570dd002016-08-23 21:21:43 +000050 assert(getVarIdx() <= MI->getNumOperands() &&
51 "invalid stackmap definition");
52}
53
Juergen Ributzkac26b68a2013-12-14 23:06:19 +000054PatchPointOpers::PatchPointOpers(const MachineInstr *MI)
Juergen Ributzkad25407e2015-07-08 22:42:09 +000055 : MI(MI), HasDef(MI->getOperand(0).isReg() && MI->getOperand(0).isDef() &&
Philip Reamesd06a1b42016-08-23 23:58:08 +000056 !MI->getOperand(0).isImplicit()) {
Andrew Trickd4e3dc62013-11-19 03:29:56 +000057#ifndef NDEBUG
Andrew Trickd4e3dc62013-11-19 03:29:56 +000058 unsigned CheckStartIdx = 0, e = MI->getNumOperands();
59 while (CheckStartIdx < e && MI->getOperand(CheckStartIdx).isReg() &&
60 MI->getOperand(CheckStartIdx).isDef() &&
61 !MI->getOperand(CheckStartIdx).isImplicit())
62 ++CheckStartIdx;
63
64 assert(getMetaIdx() == CheckStartIdx &&
Alp Tokercb402912014-01-24 17:20:08 +000065 "Unexpected additional definition in Patchpoint intrinsic.");
Andrew Trickd4e3dc62013-11-19 03:29:56 +000066#endif
67}
68
69unsigned PatchPointOpers::getNextScratchIdx(unsigned StartIdx) const {
70 if (!StartIdx)
71 StartIdx = getVarIdx();
72
73 // Find the next scratch register (implicit def and early clobber)
74 unsigned ScratchIdx = StartIdx, e = MI->getNumOperands();
75 while (ScratchIdx < e &&
76 !(MI->getOperand(ScratchIdx).isReg() &&
77 MI->getOperand(ScratchIdx).isDef() &&
78 MI->getOperand(ScratchIdx).isImplicit() &&
79 MI->getOperand(ScratchIdx).isEarlyClobber()))
80 ++ScratchIdx;
81
82 assert(ScratchIdx != e && "No scratch register available");
83 return ScratchIdx;
84}
85
Juergen Ributzka673a7622014-05-01 22:21:30 +000086StackMaps::StackMaps(AsmPrinter &AP) : AP(AP) {
Sanjoy Dasba0daee2017-04-28 04:48:42 +000087 if (StackMapVersion != 3)
Juergen Ributzka673a7622014-05-01 22:21:30 +000088 llvm_unreachable("Unsupported stackmap version!");
89}
90
Eric Christophercef8e712015-03-20 16:03:42 +000091/// Go up the super-register chain until we hit a valid dwarf register number.
92static unsigned getDwarfRegNum(unsigned Reg, const TargetRegisterInfo *TRI) {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +000093 int RegNum = TRI->getDwarfRegNum(Reg, false);
94 for (MCSuperRegIterator SR(Reg, TRI); SR.isValid() && RegNum < 0; ++SR)
95 RegNum = TRI->getDwarfRegNum(*SR, false);
Eric Christophercef8e712015-03-20 16:03:42 +000096
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +000097 assert(RegNum >= 0 && "Invalid Dwarf register number.");
98 return (unsigned)RegNum;
Eric Christophercef8e712015-03-20 16:03:42 +000099}
100
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000101MachineInstr::const_mop_iterator
Lang Hames39609992013-11-29 03:07:54 +0000102StackMaps::parseOperand(MachineInstr::const_mop_iterator MOI,
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000103 MachineInstr::const_mop_iterator MOE, LocationVec &Locs,
104 LiveOutVec &LiveOuts) const {
Eric Christophercef8e712015-03-20 16:03:42 +0000105 const TargetRegisterInfo *TRI = AP.MF->getSubtarget().getRegisterInfo();
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000106 if (MOI->isImm()) {
107 switch (MOI->getImm()) {
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000108 default:
109 llvm_unreachable("Unrecognized operand type.");
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000110 case StackMaps::DirectMemRefOp: {
Mehdi Aminibd7287e2015-07-16 06:11:10 +0000111 auto &DL = AP.MF->getDataLayout();
112
113 unsigned Size = DL.getPointerSizeInBits();
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000114 assert((Size % 8) == 0 && "Need pointer size in bytes.");
115 Size /= 8;
116 unsigned Reg = (++MOI)->getReg();
117 int64_t Imm = (++MOI)->getImm();
Juergen Ributzkae4685a12015-07-09 17:11:08 +0000118 Locs.emplace_back(StackMaps::Location::Direct, Size,
119 getDwarfRegNum(Reg, TRI), Imm);
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000120 break;
Lang Hames39609992013-11-29 03:07:54 +0000121 }
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000122 case StackMaps::IndirectMemRefOp: {
123 int64_t Size = (++MOI)->getImm();
124 assert(Size > 0 && "Need a valid size for indirect memory locations.");
125 unsigned Reg = (++MOI)->getReg();
126 int64_t Imm = (++MOI)->getImm();
Juergen Ributzkae4685a12015-07-09 17:11:08 +0000127 Locs.emplace_back(StackMaps::Location::Indirect, Size,
128 getDwarfRegNum(Reg, TRI), Imm);
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000129 break;
130 }
131 case StackMaps::ConstantOp: {
132 ++MOI;
133 assert(MOI->isImm() && "Expected constant operand.");
134 int64_t Imm = MOI->getImm();
Juergen Ributzkae4685a12015-07-09 17:11:08 +0000135 Locs.emplace_back(Location::Constant, sizeof(int64_t), 0, Imm);
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000136 break;
137 }
138 }
139 return ++MOI;
Lang Hames39609992013-11-29 03:07:54 +0000140 }
141
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000142 // The physical register number will ultimately be encoded as a DWARF regno.
143 // The stack map also records the size of a spill slot that can hold the
144 // register content. (The runtime can track the actual size of the data type
145 // if it needs to.)
146 if (MOI->isReg()) {
147 // Skip implicit registers (this includes our scratch registers)
148 if (MOI->isImplicit())
149 return ++MOI;
Juergen Ributzkae8294752013-12-14 06:53:06 +0000150
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000151 assert(TargetRegisterInfo::isPhysicalRegister(MOI->getReg()) &&
152 "Virtreg operands should have been rewritten before now.");
Eric Christophercef8e712015-03-20 16:03:42 +0000153 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(MOI->getReg());
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000154 assert(!MOI->getSubReg() && "Physical subreg still around.");
Eric Christophercef8e712015-03-20 16:03:42 +0000155
156 unsigned Offset = 0;
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000157 unsigned DwarfRegNum = getDwarfRegNum(MOI->getReg(), TRI);
158 unsigned LLVMRegNum = TRI->getLLVMRegNum(DwarfRegNum, false);
159 unsigned SubRegIdx = TRI->getSubRegIndex(LLVMRegNum, MOI->getReg());
Eric Christophercef8e712015-03-20 16:03:42 +0000160 if (SubRegIdx)
161 Offset = TRI->getSubRegIdxOffset(SubRegIdx);
162
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000163 Locs.emplace_back(Location::Register, TRI->getSpillSize(*RC),
164 DwarfRegNum, Offset);
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000165 return ++MOI;
166 }
167
168 if (MOI->isRegLiveOut())
169 LiveOuts = parseRegisterLiveOutMask(MOI->getRegLiveOut());
170
171 return ++MOI;
Lang Hames39609992013-11-29 03:07:54 +0000172}
173
Eric Christophercef8e712015-03-20 16:03:42 +0000174void StackMaps::print(raw_ostream &OS) {
175 const TargetRegisterInfo *TRI =
176 AP.MF ? AP.MF->getSubtarget().getRegisterInfo() : nullptr;
177 OS << WSMP << "callsites:\n";
178 for (const auto &CSI : CSInfos) {
179 const LocationVec &CSLocs = CSI.Locations;
180 const LiveOutVec &LiveOuts = CSI.LiveOuts;
Juergen Ributzkae8294752013-12-14 06:53:06 +0000181
Eric Christophercef8e712015-03-20 16:03:42 +0000182 OS << WSMP << "callsite " << CSI.ID << "\n";
183 OS << WSMP << " has " << CSLocs.size() << " locations\n";
184
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000185 unsigned Idx = 0;
Eric Christophercef8e712015-03-20 16:03:42 +0000186 for (const auto &Loc : CSLocs) {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000187 OS << WSMP << "\t\tLoc " << Idx << ": ";
188 switch (Loc.Type) {
Eric Christophercef8e712015-03-20 16:03:42 +0000189 case Location::Unprocessed:
190 OS << "<Unprocessed operand>";
191 break;
192 case Location::Register:
193 OS << "Register ";
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000194 if (TRI)
Francis Visoiu Mistrihc71cced2017-11-30 16:12:24 +0000195 OS << printReg(Loc.Reg, TRI);
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000196 else
197 OS << Loc.Reg;
Eric Christophercef8e712015-03-20 16:03:42 +0000198 break;
199 case Location::Direct:
200 OS << "Direct ";
201 if (TRI)
Francis Visoiu Mistrihc71cced2017-11-30 16:12:24 +0000202 OS << printReg(Loc.Reg, TRI);
Eric Christophercef8e712015-03-20 16:03:42 +0000203 else
204 OS << Loc.Reg;
205 if (Loc.Offset)
206 OS << " + " << Loc.Offset;
207 break;
208 case Location::Indirect:
209 OS << "Indirect ";
210 if (TRI)
Francis Visoiu Mistrihc71cced2017-11-30 16:12:24 +0000211 OS << printReg(Loc.Reg, TRI);
Eric Christophercef8e712015-03-20 16:03:42 +0000212 else
213 OS << Loc.Reg;
214 OS << "+" << Loc.Offset;
215 break;
216 case Location::Constant:
217 OS << "Constant " << Loc.Offset;
218 break;
219 case Location::ConstantIndex:
220 OS << "Constant Index " << Loc.Offset;
221 break;
222 }
Sanjoy Dasba0daee2017-04-28 04:48:42 +0000223 OS << "\t[encoding: .byte " << Loc.Type << ", .byte 0"
224 << ", .short " << Loc.Size << ", .short " << Loc.Reg << ", .short 0"
225 << ", .int " << Loc.Offset << "]\n";
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000226 Idx++;
Eric Christophercef8e712015-03-20 16:03:42 +0000227 }
228
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000229 OS << WSMP << "\thas " << LiveOuts.size() << " live-out registers\n";
Eric Christophercef8e712015-03-20 16:03:42 +0000230
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000231 Idx = 0;
Eric Christophercef8e712015-03-20 16:03:42 +0000232 for (const auto &LO : LiveOuts) {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000233 OS << WSMP << "\t\tLO " << Idx << ": ";
Eric Christophercef8e712015-03-20 16:03:42 +0000234 if (TRI)
Francis Visoiu Mistrihc71cced2017-11-30 16:12:24 +0000235 OS << printReg(LO.Reg, TRI);
Eric Christophercef8e712015-03-20 16:03:42 +0000236 else
237 OS << LO.Reg;
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000238 OS << "\t[encoding: .short " << LO.DwarfRegNum << ", .byte 0, .byte "
Eric Christophercef8e712015-03-20 16:03:42 +0000239 << LO.Size << "]\n";
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000240 Idx++;
Eric Christophercef8e712015-03-20 16:03:42 +0000241 }
242 }
Juergen Ributzkae8294752013-12-14 06:53:06 +0000243}
244
245/// Create a live-out register record for the given register Reg.
246StackMaps::LiveOutReg
Juergen Ributzka73a7fcc2014-02-10 23:30:26 +0000247StackMaps::createLiveOutReg(unsigned Reg, const TargetRegisterInfo *TRI) const {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000248 unsigned DwarfRegNum = getDwarfRegNum(Reg, TRI);
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000249 unsigned Size = TRI->getSpillSize(*TRI->getMinimalPhysRegClass(Reg));
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000250 return LiveOutReg(Reg, DwarfRegNum, Size);
Juergen Ributzkae8294752013-12-14 06:53:06 +0000251}
252
253/// Parse the register live-out mask and return a vector of live-out registers
254/// that need to be recorded in the stackmap.
255StackMaps::LiveOutVec
256StackMaps::parseRegisterLiveOutMask(const uint32_t *Mask) const {
257 assert(Mask && "No register mask specified");
Eric Christopherd83003e2015-03-19 23:27:42 +0000258 const TargetRegisterInfo *TRI = AP.MF->getSubtarget().getRegisterInfo();
Juergen Ributzkae8294752013-12-14 06:53:06 +0000259 LiveOutVec LiveOuts;
260
261 // Create a LiveOutReg for each bit that is set in the register mask.
262 for (unsigned Reg = 0, NumRegs = TRI->getNumRegs(); Reg != NumRegs; ++Reg)
263 if ((Mask[Reg / 32] >> Reg % 32) & 1)
Juergen Ributzka73a7fcc2014-02-10 23:30:26 +0000264 LiveOuts.push_back(createLiveOutReg(Reg, TRI));
Juergen Ributzkae8294752013-12-14 06:53:06 +0000265
266 // We don't need to keep track of a register if its super-register is already
267 // in the list. Merge entries that refer to the same dwarf register and use
268 // the maximum size that needs to be spilled.
Juergen Ributzka216ed032015-07-09 17:11:15 +0000269
Fangrui Song0cac7262018-09-27 02:13:45 +0000270 llvm::sort(LiveOuts, [](const LiveOutReg &LHS, const LiveOutReg &RHS) {
271 // Only sort by the dwarf register number.
272 return LHS.DwarfRegNum < RHS.DwarfRegNum;
273 });
Juergen Ributzka216ed032015-07-09 17:11:15 +0000274
275 for (auto I = LiveOuts.begin(), E = LiveOuts.end(); I != E; ++I) {
276 for (auto II = std::next(I); II != E; ++II) {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000277 if (I->DwarfRegNum != II->DwarfRegNum) {
Juergen Ributzkae8294752013-12-14 06:53:06 +0000278 // Skip all the now invalid entries.
279 I = --II;
280 break;
281 }
282 I->Size = std::max(I->Size, II->Size);
283 if (TRI->isSuperRegister(I->Reg, II->Reg))
284 I->Reg = II->Reg;
Juergen Ributzka216ed032015-07-09 17:11:15 +0000285 II->Reg = 0; // mark for deletion.
Juergen Ributzkae8294752013-12-14 06:53:06 +0000286 }
287 }
Juergen Ributzka216ed032015-07-09 17:11:15 +0000288
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000289 LiveOuts.erase(
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +0000290 llvm::remove_if(LiveOuts,
291 [](const LiveOutReg &LO) { return LO.Reg == 0; }),
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000292 LiveOuts.end());
Juergen Ributzka216ed032015-07-09 17:11:15 +0000293
Juergen Ributzkae8294752013-12-14 06:53:06 +0000294 return LiveOuts;
295}
296
Andrew Tricke8cba372013-12-13 18:37:10 +0000297void StackMaps::recordStackMapOpers(const MachineInstr &MI, uint64_t ID,
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000298 MachineInstr::const_mop_iterator MOI,
299 MachineInstr::const_mop_iterator MOE,
300 bool recordResult) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000301 MCContext &OutContext = AP.OutStreamer->getContext();
Jim Grosbach6f482002015-05-18 18:43:14 +0000302 MCSymbol *MILabel = OutContext.createTempSymbol();
Lang Hames9ff69c82015-04-24 19:11:51 +0000303 AP.OutStreamer->EmitLabel(MILabel);
Andrew Trick153ebe62013-10-31 22:11:56 +0000304
Juergen Ributzkae8294752013-12-14 06:53:06 +0000305 LocationVec Locations;
306 LiveOutVec LiveOuts;
Andrew Trick153ebe62013-10-31 22:11:56 +0000307
Juergen Ributzka9969d3e2013-11-08 23:28:16 +0000308 if (recordResult) {
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000309 assert(PatchPointOpers(&MI).hasDef() && "Stackmap has no return value.");
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000310 parseOperand(MI.operands_begin(), std::next(MI.operands_begin()), Locations,
311 LiveOuts);
Juergen Ributzka9969d3e2013-11-08 23:28:16 +0000312 }
313
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000314 // Parse operands.
Andrew Trick153ebe62013-10-31 22:11:56 +0000315 while (MOI != MOE) {
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000316 MOI = parseOperand(MOI, MOE, Locations, LiveOuts);
317 }
Andrew Trick153ebe62013-10-31 22:11:56 +0000318
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000319 // Move large constants into the constant pool.
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000320 for (auto &Loc : Locations) {
Andrew Trick32e1be72014-01-09 00:22:31 +0000321 // Constants are encoded as sign-extended integers.
322 // -1 is directly encoded as .long 0xFFFFFFFF with no constant pool.
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000323 if (Loc.Type == Location::Constant && !isInt<32>(Loc.Offset)) {
324 Loc.Type = Location::ConstantIndex;
Sanjoy Dase8399652014-11-04 00:59:21 +0000325 // ConstPool is intentionally a MapVector of 'uint64_t's (as
326 // opposed to 'int64_t's). We should never be in a situation
327 // where we have to insert either the tombstone or the empty
328 // keys into a map, and for a DenseMap<uint64_t, T> these are
329 // (uint64_t)0 and (uint64_t)-1. They can be and are
330 // represented using 32 bit integers.
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000331 assert((uint64_t)Loc.Offset != DenseMapInfo<uint64_t>::getEmptyKey() &&
332 (uint64_t)Loc.Offset !=
333 DenseMapInfo<uint64_t>::getTombstoneKey() &&
Sanjoy Dase8399652014-11-04 00:59:21 +0000334 "empty and tombstone keys should fit in 32 bits!");
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000335 auto Result = ConstPool.insert(std::make_pair(Loc.Offset, Loc.Offset));
336 Loc.Offset = Result.first - ConstPool.begin();
Andrew Trick153ebe62013-10-31 22:11:56 +0000337 }
Andrew Trick153ebe62013-10-31 22:11:56 +0000338 }
339
Juergen Ributzkafb4d6482014-01-30 18:58:27 +0000340 // Create an expression to calculate the offset of the callsite from function
341 // entry.
Jim Grosbach13760bd2015-05-30 01:25:56 +0000342 const MCExpr *CSOffsetExpr = MCBinaryExpr::createSub(
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000343 MCSymbolRefExpr::create(MILabel, OutContext),
344 MCSymbolRefExpr::create(AP.CurrentFnSymForSize, OutContext), OutContext);
Andrew Trick153ebe62013-10-31 22:11:56 +0000345
Benjamin Kramerc6cc58e2014-10-04 16:55:56 +0000346 CSInfos.emplace_back(CSOffsetExpr, ID, std::move(Locations),
347 std::move(LiveOuts));
Juergen Ributzkafb4d6482014-01-30 18:58:27 +0000348
Sanjoy Das23f06e52016-09-14 20:22:03 +0000349 // Record the stack size of the current function and update callsite count.
Matthias Braun941a7052016-07-28 18:40:00 +0000350 const MachineFrameInfo &MFI = AP.MF->getFrameInfo();
Eric Christopherfc6de422014-08-05 02:39:49 +0000351 const TargetRegisterInfo *RegInfo = AP.MF->getSubtarget().getRegisterInfo();
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000352 bool HasDynamicFrameSize =
Matthias Braun941a7052016-07-28 18:40:00 +0000353 MFI.hasVarSizedObjects() || RegInfo->needsStackRealignment(*(AP.MF));
Sanjoy Das23f06e52016-09-14 20:22:03 +0000354 uint64_t FrameSize = HasDynamicFrameSize ? UINT64_MAX : MFI.getStackSize();
355
356 auto CurrentIt = FnInfos.find(AP.CurrentFnSym);
357 if (CurrentIt != FnInfos.end())
358 CurrentIt->second.RecordCount++;
359 else
360 FnInfos.insert(std::make_pair(AP.CurrentFnSym, FunctionInfo(FrameSize)));
Andrew Trick153ebe62013-10-31 22:11:56 +0000361}
362
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000363void StackMaps::recordStackMap(const MachineInstr &MI) {
Juergen Ributzkae8294752013-12-14 06:53:06 +0000364 assert(MI.getOpcode() == TargetOpcode::STACKMAP && "expected stackmap");
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000365
Philip Reames570dd002016-08-23 21:21:43 +0000366 StackMapOpers opers(&MI);
367 const int64_t ID = MI.getOperand(PatchPointOpers::IDPos).getImm();
368 recordStackMapOpers(MI, ID, std::next(MI.operands_begin(), opers.getVarIdx()),
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000369 MI.operands_end());
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000370}
371
372void StackMaps::recordPatchPoint(const MachineInstr &MI) {
Juergen Ributzkae8294752013-12-14 06:53:06 +0000373 assert(MI.getOpcode() == TargetOpcode::PATCHPOINT && "expected patchpoint");
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000374
375 PatchPointOpers opers(&MI);
Philip Reamese83c4b32016-08-23 23:33:29 +0000376 const int64_t ID = opers.getID();
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000377 auto MOI = std::next(MI.operands_begin(), opers.getStackMapStartIdx());
Juergen Ributzkac26b68a2013-12-14 23:06:19 +0000378 recordStackMapOpers(MI, ID, MOI, MI.operands_end(),
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000379 opers.isAnyReg() && opers.hasDef());
380
381#ifndef NDEBUG
382 // verify anyregcc
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000383 auto &Locations = CSInfos.back().Locations;
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000384 if (opers.isAnyReg()) {
Philip Reamese83c4b32016-08-23 23:33:29 +0000385 unsigned NArgs = opers.getNumCallArgs();
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000386 for (unsigned i = 0, e = (opers.hasDef() ? NArgs + 1 : NArgs); i != e; ++i)
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000387 assert(Locations[i].Type == Location::Register &&
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000388 "anyreg arg must be in reg.");
389 }
390#endif
391}
Eugene Zelenkodb56e5a2017-02-22 22:32:51 +0000392
Philip Reames0365f1a2014-12-01 22:52:56 +0000393void StackMaps::recordStatepoint(const MachineInstr &MI) {
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000394 assert(MI.getOpcode() == TargetOpcode::STATEPOINT && "expected statepoint");
Philip Reames0365f1a2014-12-01 22:52:56 +0000395
396 StatepointOpers opers(&MI);
397 // Record all the deopt and gc operands (they're contiguous and run from the
398 // initial index to the end of the operand list)
399 const unsigned StartIdx = opers.getVarIdx();
Sanjoy Dasa1d39ba2015-05-12 23:52:24 +0000400 recordStackMapOpers(MI, opers.getID(), MI.operands_begin() + StartIdx,
401 MI.operands_end(), false);
Philip Reames0365f1a2014-12-01 22:52:56 +0000402}
Andrew Trickd4e3dc62013-11-19 03:29:56 +0000403
Juergen Ributzka63401952014-05-01 22:21:27 +0000404/// Emit the stackmap header.
Andrew Trick153ebe62013-10-31 22:11:56 +0000405///
Juergen Ributzkae1179922014-03-31 22:14:04 +0000406/// Header {
Sanjoy Das23f06e52016-09-14 20:22:03 +0000407/// uint8 : Stack Map Version (currently 2)
Juergen Ributzkae1179922014-03-31 22:14:04 +0000408/// uint8 : Reserved (expected to be 0)
409/// uint16 : Reserved (expected to be 0)
Juergen Ributzkafb4d6482014-01-30 18:58:27 +0000410/// }
Juergen Ributzkae1179922014-03-31 22:14:04 +0000411/// uint32 : NumFunctions
Andrew Trick153ebe62013-10-31 22:11:56 +0000412/// uint32 : NumConstants
Andrew Trick153ebe62013-10-31 22:11:56 +0000413/// uint32 : NumRecords
Juergen Ributzka63401952014-05-01 22:21:27 +0000414void StackMaps::emitStackmapHeader(MCStreamer &OS) {
415 // Header.
Juergen Ributzka673a7622014-05-01 22:21:30 +0000416 OS.EmitIntValue(StackMapVersion, 1); // Version.
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000417 OS.EmitIntValue(0, 1); // Reserved.
418 OS.EmitIntValue(0, 2); // Reserved.
Juergen Ributzka63401952014-05-01 22:21:27 +0000419
420 // Num functions.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000421 LLVM_DEBUG(dbgs() << WSMP << "#functions = " << FnInfos.size() << '\n');
Sanjoy Das23f06e52016-09-14 20:22:03 +0000422 OS.EmitIntValue(FnInfos.size(), 4);
Juergen Ributzka63401952014-05-01 22:21:27 +0000423 // Num constants.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000424 LLVM_DEBUG(dbgs() << WSMP << "#constants = " << ConstPool.size() << '\n');
Juergen Ributzka63401952014-05-01 22:21:27 +0000425 OS.EmitIntValue(ConstPool.size(), 4);
426 // Num callsites.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000427 LLVM_DEBUG(dbgs() << WSMP << "#callsites = " << CSInfos.size() << '\n');
Juergen Ributzka63401952014-05-01 22:21:27 +0000428 OS.EmitIntValue(CSInfos.size(), 4);
429}
430
431/// Emit the function frame record for each function.
432///
Juergen Ributzkae1179922014-03-31 22:14:04 +0000433/// StkSizeRecord[NumFunctions] {
434/// uint64 : Function Address
435/// uint64 : Stack Size
Sanjoy Das23f06e52016-09-14 20:22:03 +0000436/// uint64 : Record Count
Juergen Ributzkae1179922014-03-31 22:14:04 +0000437/// }
Juergen Ributzka63401952014-05-01 22:21:27 +0000438void StackMaps::emitFunctionFrameRecords(MCStreamer &OS) {
439 // Function Frame records.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000440 LLVM_DEBUG(dbgs() << WSMP << "functions:\n");
Sanjoy Das23f06e52016-09-14 20:22:03 +0000441 for (auto const &FR : FnInfos) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000442 LLVM_DEBUG(dbgs() << WSMP << "function addr: " << FR.first
443 << " frame size: " << FR.second.StackSize
444 << " callsite count: " << FR.second.RecordCount << '\n');
Juergen Ributzka63401952014-05-01 22:21:27 +0000445 OS.EmitSymbolValue(FR.first, 8);
Sanjoy Das23f06e52016-09-14 20:22:03 +0000446 OS.EmitIntValue(FR.second.StackSize, 8);
447 OS.EmitIntValue(FR.second.RecordCount, 8);
Juergen Ributzka63401952014-05-01 22:21:27 +0000448 }
449}
450
451/// Emit the constant pool.
452///
Juergen Ributzkae1179922014-03-31 22:14:04 +0000453/// int64 : Constants[NumConstants]
Juergen Ributzka63401952014-05-01 22:21:27 +0000454void StackMaps::emitConstantPoolEntries(MCStreamer &OS) {
455 // Constant pool entries.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000456 LLVM_DEBUG(dbgs() << WSMP << "constants:\n");
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000457 for (const auto &ConstEntry : ConstPool) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000458 LLVM_DEBUG(dbgs() << WSMP << ConstEntry.second << '\n');
Juergen Ributzka63401952014-05-01 22:21:27 +0000459 OS.EmitIntValue(ConstEntry.second, 8);
460 }
461}
462
463/// Emit the callsite info for each callsite.
464///
Andrew Trick153ebe62013-10-31 22:11:56 +0000465/// StkMapRecord[NumRecords] {
Andrew Tricke8cba372013-12-13 18:37:10 +0000466/// uint64 : PatchPoint ID
Andrew Trick153ebe62013-10-31 22:11:56 +0000467/// uint32 : Instruction Offset
468/// uint16 : Reserved (record flags)
469/// uint16 : NumLocations
470/// Location[NumLocations] {
471/// uint8 : Register | Direct | Indirect | Constant | ConstantIndex
Andrew Trick10d5be42013-11-17 01:36:23 +0000472/// uint8 : Size in Bytes
Andrew Trick153ebe62013-10-31 22:11:56 +0000473/// uint16 : Dwarf RegNum
474/// int32 : Offset
475/// }
Juergen Ributzkae1179922014-03-31 22:14:04 +0000476/// uint16 : Padding
Juergen Ributzkae8294752013-12-14 06:53:06 +0000477/// uint16 : NumLiveOuts
Juergen Ributzkae1179922014-03-31 22:14:04 +0000478/// LiveOuts[NumLiveOuts] {
Juergen Ributzkae8294752013-12-14 06:53:06 +0000479/// uint16 : Dwarf RegNum
480/// uint8 : Reserved
481/// uint8 : Size in Bytes
Juergen Ributzkae1179922014-03-31 22:14:04 +0000482/// }
483/// uint32 : Padding (only if required to align to 8 byte)
Andrew Trick153ebe62013-10-31 22:11:56 +0000484/// }
485///
486/// Location Encoding, Type, Value:
487/// 0x1, Register, Reg (value in register)
488/// 0x2, Direct, Reg + Offset (frame index)
489/// 0x3, Indirect, [Reg + Offset] (spilled value)
490/// 0x4, Constant, Offset (small constant)
491/// 0x5, ConstIndex, Constants[Offset] (large constant)
Eric Christopher594fa96a2015-03-20 21:05:18 +0000492void StackMaps::emitCallsiteEntries(MCStreamer &OS) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000493 LLVM_DEBUG(print(dbgs()));
Juergen Ributzkae1179922014-03-31 22:14:04 +0000494 // Callsite entries.
Juergen Ributzka63401952014-05-01 22:21:27 +0000495 for (const auto &CSI : CSInfos) {
496 const LocationVec &CSLocs = CSI.Locations;
497 const LiveOutVec &LiveOuts = CSI.LiveOuts;
Andrew Trick153ebe62013-10-31 22:11:56 +0000498
Andrew Trick153ebe62013-10-31 22:11:56 +0000499 // Verify stack map entry. It's better to communicate a problem to the
500 // runtime than crash in case of in-process compilation. Currently, we do
501 // simple overflow checks, but we may eventually communicate other
502 // compilation errors this way.
Juergen Ributzkae8294752013-12-14 06:53:06 +0000503 if (CSLocs.size() > UINT16_MAX || LiveOuts.size() > UINT16_MAX) {
Juergen Ributzka63401952014-05-01 22:21:27 +0000504 OS.EmitIntValue(UINT64_MAX, 8); // Invalid ID.
505 OS.EmitValue(CSI.CSOffsetExpr, 4);
506 OS.EmitIntValue(0, 2); // Reserved.
507 OS.EmitIntValue(0, 2); // 0 locations.
508 OS.EmitIntValue(0, 2); // padding.
509 OS.EmitIntValue(0, 2); // 0 live-out registers.
510 OS.EmitIntValue(0, 4); // padding.
Andrew Trick153ebe62013-10-31 22:11:56 +0000511 continue;
512 }
513
Juergen Ributzka63401952014-05-01 22:21:27 +0000514 OS.EmitIntValue(CSI.ID, 8);
515 OS.EmitValue(CSI.CSOffsetExpr, 4);
Andrew Trick153ebe62013-10-31 22:11:56 +0000516
517 // Reserved for flags.
Juergen Ributzka63401952014-05-01 22:21:27 +0000518 OS.EmitIntValue(0, 2);
Juergen Ributzka63401952014-05-01 22:21:27 +0000519 OS.EmitIntValue(CSLocs.size(), 2);
Andrew Trick153ebe62013-10-31 22:11:56 +0000520
Juergen Ributzka63401952014-05-01 22:21:27 +0000521 for (const auto &Loc : CSLocs) {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000522 OS.EmitIntValue(Loc.Type, 1);
Sanjoy Dasba0daee2017-04-28 04:48:42 +0000523 OS.EmitIntValue(0, 1); // Reserved
524 OS.EmitIntValue(Loc.Size, 2);
Eric Christophercef8e712015-03-20 16:03:42 +0000525 OS.EmitIntValue(Loc.Reg, 2);
Sanjoy Dasba0daee2017-04-28 04:48:42 +0000526 OS.EmitIntValue(0, 2); // Reserved
Eric Christophercef8e712015-03-20 16:03:42 +0000527 OS.EmitIntValue(Loc.Offset, 4);
Andrew Trick153ebe62013-10-31 22:11:56 +0000528 }
Juergen Ributzkae8294752013-12-14 06:53:06 +0000529
Sanjoy Dasba0daee2017-04-28 04:48:42 +0000530 // Emit alignment to 8 byte.
531 OS.EmitValueToAlignment(8);
532
Juergen Ributzkae1179922014-03-31 22:14:04 +0000533 // Num live-out registers and padding to align to 4 byte.
Juergen Ributzka63401952014-05-01 22:21:27 +0000534 OS.EmitIntValue(0, 2);
535 OS.EmitIntValue(LiveOuts.size(), 2);
Juergen Ributzkae8294752013-12-14 06:53:06 +0000536
Juergen Ributzka63401952014-05-01 22:21:27 +0000537 for (const auto &LO : LiveOuts) {
Juergen Ributzkaaef76ca2015-07-09 17:11:11 +0000538 OS.EmitIntValue(LO.DwarfRegNum, 2);
Juergen Ributzka63401952014-05-01 22:21:27 +0000539 OS.EmitIntValue(0, 1);
540 OS.EmitIntValue(LO.Size, 1);
Juergen Ributzkae8294752013-12-14 06:53:06 +0000541 }
Juergen Ributzkae1179922014-03-31 22:14:04 +0000542 // Emit alignment to 8 byte.
Juergen Ributzka63401952014-05-01 22:21:27 +0000543 OS.EmitValueToAlignment(8);
Andrew Trick153ebe62013-10-31 22:11:56 +0000544 }
Juergen Ributzka63401952014-05-01 22:21:27 +0000545}
Andrew Trick153ebe62013-10-31 22:11:56 +0000546
Juergen Ributzka63401952014-05-01 22:21:27 +0000547/// Serialize the stackmap data.
548void StackMaps::serializeToStackMapSection() {
Juergen Ributzkad25407e2015-07-08 22:42:09 +0000549 (void)WSMP;
Juergen Ributzka63401952014-05-01 22:21:27 +0000550 // Bail out if there's no stack map data.
Hans Wennborge9134892016-04-11 20:35:01 +0000551 assert((!CSInfos.empty() || ConstPool.empty()) &&
Juergen Ributzka63401952014-05-01 22:21:27 +0000552 "Expected empty constant pool too!");
Sanjoy Das23f06e52016-09-14 20:22:03 +0000553 assert((!CSInfos.empty() || FnInfos.empty()) &&
Juergen Ributzka63401952014-05-01 22:21:27 +0000554 "Expected empty function record too!");
555 if (CSInfos.empty())
556 return;
Andrew Trick153ebe62013-10-31 22:11:56 +0000557
Lang Hames9ff69c82015-04-24 19:11:51 +0000558 MCContext &OutContext = AP.OutStreamer->getContext();
559 MCStreamer &OS = *AP.OutStreamer;
Juergen Ributzka63401952014-05-01 22:21:27 +0000560
561 // Create the section.
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000562 MCSection *StackMapSection =
563 OutContext.getObjectFileInfo()->getStackMapSection();
Juergen Ributzka63401952014-05-01 22:21:27 +0000564 OS.SwitchSection(StackMapSection);
565
566 // Emit a dummy symbol to force section inclusion.
Jim Grosbach6f482002015-05-18 18:43:14 +0000567 OS.EmitLabel(OutContext.getOrCreateSymbol(Twine("__LLVM_StackMaps")));
Juergen Ributzka63401952014-05-01 22:21:27 +0000568
569 // Serialize data.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000570 LLVM_DEBUG(dbgs() << "********** Stack Map Output **********\n");
Juergen Ributzka63401952014-05-01 22:21:27 +0000571 emitStackmapHeader(OS);
572 emitFunctionFrameRecords(OS);
573 emitConstantPoolEntries(OS);
Eric Christopher594fa96a2015-03-20 21:05:18 +0000574 emitCallsiteEntries(OS);
Juergen Ributzka63401952014-05-01 22:21:27 +0000575 OS.AddBlankLine();
576
577 // Clean up.
Andrew Trick153ebe62013-10-31 22:11:56 +0000578 CSInfos.clear();
Juergen Ributzkaf01e8092014-05-01 22:21:24 +0000579 ConstPool.clear();
Andrew Trick153ebe62013-10-31 22:11:56 +0000580}