0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 //===---------------------------- StackMaps.cpp ---------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 // The LLVM Compiler Infrastructure
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 // This file is distributed under the University of Illinois Open Source
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 // License. See LICENSE.TXT for details.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 #include "llvm/CodeGen/StackMaps.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 #include "llvm/CodeGen/AsmPrinter.h"
|
|
77
|
12 #include "llvm/CodeGen/MachineFrameInfo.h"
|
|
|
13 #include "llvm/CodeGen/MachineFunction.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 #include "llvm/CodeGen/MachineInstr.h"
|
|
33
|
15 #include "llvm/IR/DataLayout.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 #include "llvm/MC/MCContext.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 #include "llvm/MC/MCExpr.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 #include "llvm/MC/MCObjectFileInfo.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 #include "llvm/MC/MCSectionMachO.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 #include "llvm/MC/MCStreamer.h"
|
|
77
|
21 #include "llvm/Support/CommandLine.h"
|
|
|
22 #include "llvm/Target/TargetMachine.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 #include "llvm/Target/TargetOpcodes.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 #include "llvm/Target/TargetRegisterInfo.h"
|
|
77
|
25 #include "llvm/Target/TargetSubtargetInfo.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 #include <iterator>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 using namespace llvm;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29
|
|
77
|
30 #define DEBUG_TYPE "stackmaps"
|
|
|
31
|
|
95
|
32 static cl::opt<int> StackMapVersion(
|
|
120
|
33 "stackmap-version", cl::init(2),
|
|
|
34 cl::desc("Specify the stackmap encoding version (default = 2)"));
|
|
77
|
35
|
|
|
36 const char *StackMaps::WSMP = "Stack Maps: ";
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37
|
|
120
|
38 StackMapOpers::StackMapOpers(const MachineInstr *MI)
|
|
|
39 : MI(MI) {
|
|
|
40 assert(getVarIdx() <= MI->getNumOperands() &&
|
|
|
41 "invalid stackmap definition");
|
|
|
42 }
|
|
|
43
|
|
77
|
44 PatchPointOpers::PatchPointOpers(const MachineInstr *MI)
|
|
95
|
45 : MI(MI), HasDef(MI->getOperand(0).isReg() && MI->getOperand(0).isDef() &&
|
|
120
|
46 !MI->getOperand(0).isImplicit()) {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 #ifndef NDEBUG
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48 unsigned CheckStartIdx = 0, e = MI->getNumOperands();
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 while (CheckStartIdx < e && MI->getOperand(CheckStartIdx).isReg() &&
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50 MI->getOperand(CheckStartIdx).isDef() &&
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 !MI->getOperand(CheckStartIdx).isImplicit())
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 ++CheckStartIdx;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 assert(getMetaIdx() == CheckStartIdx &&
|
|
77
|
55 "Unexpected additional definition in Patchpoint intrinsic.");
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 #endif
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 unsigned PatchPointOpers::getNextScratchIdx(unsigned StartIdx) const {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 if (!StartIdx)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 StartIdx = getVarIdx();
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 // Find the next scratch register (implicit def and early clobber)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 unsigned ScratchIdx = StartIdx, e = MI->getNumOperands();
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65 while (ScratchIdx < e &&
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66 !(MI->getOperand(ScratchIdx).isReg() &&
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 MI->getOperand(ScratchIdx).isDef() &&
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 MI->getOperand(ScratchIdx).isImplicit() &&
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 MI->getOperand(ScratchIdx).isEarlyClobber()))
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 ++ScratchIdx;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 assert(ScratchIdx != e && "No scratch register available");
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 return ScratchIdx;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75
|
|
77
|
76 StackMaps::StackMaps(AsmPrinter &AP) : AP(AP) {
|
|
120
|
77 if (StackMapVersion != 2)
|
|
77
|
78 llvm_unreachable("Unsupported stackmap version!");
|
|
|
79 }
|
|
|
80
|
|
95
|
81 /// Go up the super-register chain until we hit a valid dwarf register number.
|
|
|
82 static unsigned getDwarfRegNum(unsigned Reg, const TargetRegisterInfo *TRI) {
|
|
|
83 int RegNum = TRI->getDwarfRegNum(Reg, false);
|
|
|
84 for (MCSuperRegIterator SR(Reg, TRI); SR.isValid() && RegNum < 0; ++SR)
|
|
|
85 RegNum = TRI->getDwarfRegNum(*SR, false);
|
|
|
86
|
|
|
87 assert(RegNum >= 0 && "Invalid Dwarf register number.");
|
|
|
88 return (unsigned)RegNum;
|
|
|
89 }
|
|
|
90
|
|
77
|
91 MachineInstr::const_mop_iterator
|
|
33
|
92 StackMaps::parseOperand(MachineInstr::const_mop_iterator MOI,
|
|
95
|
93 MachineInstr::const_mop_iterator MOE, LocationVec &Locs,
|
|
|
94 LiveOutVec &LiveOuts) const {
|
|
|
95 const TargetRegisterInfo *TRI = AP.MF->getSubtarget().getRegisterInfo();
|
|
77
|
96 if (MOI->isImm()) {
|
|
|
97 switch (MOI->getImm()) {
|
|
95
|
98 default:
|
|
|
99 llvm_unreachable("Unrecognized operand type.");
|
|
77
|
100 case StackMaps::DirectMemRefOp: {
|
|
95
|
101 auto &DL = AP.MF->getDataLayout();
|
|
|
102
|
|
|
103 unsigned Size = DL.getPointerSizeInBits();
|
|
77
|
104 assert((Size % 8) == 0 && "Need pointer size in bytes.");
|
|
|
105 Size /= 8;
|
|
|
106 unsigned Reg = (++MOI)->getReg();
|
|
|
107 int64_t Imm = (++MOI)->getImm();
|
|
95
|
108 Locs.emplace_back(StackMaps::Location::Direct, Size,
|
|
|
109 getDwarfRegNum(Reg, TRI), Imm);
|
|
77
|
110 break;
|
|
|
111 }
|
|
|
112 case StackMaps::IndirectMemRefOp: {
|
|
|
113 int64_t Size = (++MOI)->getImm();
|
|
|
114 assert(Size > 0 && "Need a valid size for indirect memory locations.");
|
|
|
115 unsigned Reg = (++MOI)->getReg();
|
|
|
116 int64_t Imm = (++MOI)->getImm();
|
|
95
|
117 Locs.emplace_back(StackMaps::Location::Indirect, Size,
|
|
|
118 getDwarfRegNum(Reg, TRI), Imm);
|
|
77
|
119 break;
|
|
|
120 }
|
|
|
121 case StackMaps::ConstantOp: {
|
|
|
122 ++MOI;
|
|
|
123 assert(MOI->isImm() && "Expected constant operand.");
|
|
|
124 int64_t Imm = MOI->getImm();
|
|
95
|
125 Locs.emplace_back(Location::Constant, sizeof(int64_t), 0, Imm);
|
|
77
|
126 break;
|
|
|
127 }
|
|
|
128 }
|
|
|
129 return ++MOI;
|
|
|
130 }
|
|
33
|
131
|
|
77
|
132 // The physical register number will ultimately be encoded as a DWARF regno.
|
|
|
133 // The stack map also records the size of a spill slot that can hold the
|
|
|
134 // register content. (The runtime can track the actual size of the data type
|
|
|
135 // if it needs to.)
|
|
|
136 if (MOI->isReg()) {
|
|
|
137 // Skip implicit registers (this includes our scratch registers)
|
|
|
138 if (MOI->isImplicit())
|
|
|
139 return ++MOI;
|
|
33
|
140
|
|
77
|
141 assert(TargetRegisterInfo::isPhysicalRegister(MOI->getReg()) &&
|
|
|
142 "Virtreg operands should have been rewritten before now.");
|
|
95
|
143 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(MOI->getReg());
|
|
77
|
144 assert(!MOI->getSubReg() && "Physical subreg still around.");
|
|
95
|
145
|
|
|
146 unsigned Offset = 0;
|
|
|
147 unsigned DwarfRegNum = getDwarfRegNum(MOI->getReg(), TRI);
|
|
|
148 unsigned LLVMRegNum = TRI->getLLVMRegNum(DwarfRegNum, false);
|
|
|
149 unsigned SubRegIdx = TRI->getSubRegIndex(LLVMRegNum, MOI->getReg());
|
|
|
150 if (SubRegIdx)
|
|
|
151 Offset = TRI->getSubRegIdxOffset(SubRegIdx);
|
|
|
152
|
|
|
153 Locs.emplace_back(Location::Register, RC->getSize(), DwarfRegNum, Offset);
|
|
77
|
154 return ++MOI;
|
|
|
155 }
|
|
|
156
|
|
|
157 if (MOI->isRegLiveOut())
|
|
|
158 LiveOuts = parseRegisterLiveOutMask(MOI->getRegLiveOut());
|
|
|
159
|
|
|
160 return ++MOI;
|
|
|
161 }
|
|
|
162
|
|
95
|
163 void StackMaps::print(raw_ostream &OS) {
|
|
|
164 const TargetRegisterInfo *TRI =
|
|
|
165 AP.MF ? AP.MF->getSubtarget().getRegisterInfo() : nullptr;
|
|
|
166 OS << WSMP << "callsites:\n";
|
|
|
167 for (const auto &CSI : CSInfos) {
|
|
|
168 const LocationVec &CSLocs = CSI.Locations;
|
|
|
169 const LiveOutVec &LiveOuts = CSI.LiveOuts;
|
|
|
170
|
|
|
171 OS << WSMP << "callsite " << CSI.ID << "\n";
|
|
|
172 OS << WSMP << " has " << CSLocs.size() << " locations\n";
|
|
77
|
173
|
|
95
|
174 unsigned Idx = 0;
|
|
|
175 for (const auto &Loc : CSLocs) {
|
|
|
176 OS << WSMP << "\t\tLoc " << Idx << ": ";
|
|
|
177 switch (Loc.Type) {
|
|
|
178 case Location::Unprocessed:
|
|
|
179 OS << "<Unprocessed operand>";
|
|
|
180 break;
|
|
|
181 case Location::Register:
|
|
|
182 OS << "Register ";
|
|
|
183 if (TRI)
|
|
|
184 OS << TRI->getName(Loc.Reg);
|
|
|
185 else
|
|
|
186 OS << Loc.Reg;
|
|
|
187 break;
|
|
|
188 case Location::Direct:
|
|
|
189 OS << "Direct ";
|
|
|
190 if (TRI)
|
|
|
191 OS << TRI->getName(Loc.Reg);
|
|
|
192 else
|
|
|
193 OS << Loc.Reg;
|
|
|
194 if (Loc.Offset)
|
|
|
195 OS << " + " << Loc.Offset;
|
|
|
196 break;
|
|
|
197 case Location::Indirect:
|
|
|
198 OS << "Indirect ";
|
|
|
199 if (TRI)
|
|
|
200 OS << TRI->getName(Loc.Reg);
|
|
|
201 else
|
|
|
202 OS << Loc.Reg;
|
|
|
203 OS << "+" << Loc.Offset;
|
|
|
204 break;
|
|
|
205 case Location::Constant:
|
|
|
206 OS << "Constant " << Loc.Offset;
|
|
|
207 break;
|
|
|
208 case Location::ConstantIndex:
|
|
|
209 OS << "Constant Index " << Loc.Offset;
|
|
|
210 break;
|
|
|
211 }
|
|
|
212 OS << "\t[encoding: .byte " << Loc.Type << ", .byte " << Loc.Size
|
|
|
213 << ", .short " << Loc.Reg << ", .int " << Loc.Offset << "]\n";
|
|
|
214 Idx++;
|
|
|
215 }
|
|
|
216
|
|
|
217 OS << WSMP << "\thas " << LiveOuts.size() << " live-out registers\n";
|
|
|
218
|
|
|
219 Idx = 0;
|
|
|
220 for (const auto &LO : LiveOuts) {
|
|
|
221 OS << WSMP << "\t\tLO " << Idx << ": ";
|
|
|
222 if (TRI)
|
|
|
223 OS << TRI->getName(LO.Reg);
|
|
|
224 else
|
|
|
225 OS << LO.Reg;
|
|
|
226 OS << "\t[encoding: .short " << LO.DwarfRegNum << ", .byte 0, .byte "
|
|
|
227 << LO.Size << "]\n";
|
|
|
228 Idx++;
|
|
|
229 }
|
|
|
230 }
|
|
77
|
231 }
|
|
|
232
|
|
|
233 /// Create a live-out register record for the given register Reg.
|
|
|
234 StackMaps::LiveOutReg
|
|
|
235 StackMaps::createLiveOutReg(unsigned Reg, const TargetRegisterInfo *TRI) const {
|
|
95
|
236 unsigned DwarfRegNum = getDwarfRegNum(Reg, TRI);
|
|
77
|
237 unsigned Size = TRI->getMinimalPhysRegClass(Reg)->getSize();
|
|
95
|
238 return LiveOutReg(Reg, DwarfRegNum, Size);
|
|
77
|
239 }
|
|
|
240
|
|
|
241 /// Parse the register live-out mask and return a vector of live-out registers
|
|
|
242 /// that need to be recorded in the stackmap.
|
|
|
243 StackMaps::LiveOutVec
|
|
|
244 StackMaps::parseRegisterLiveOutMask(const uint32_t *Mask) const {
|
|
|
245 assert(Mask && "No register mask specified");
|
|
95
|
246 const TargetRegisterInfo *TRI = AP.MF->getSubtarget().getRegisterInfo();
|
|
77
|
247 LiveOutVec LiveOuts;
|
|
|
248
|
|
|
249 // Create a LiveOutReg for each bit that is set in the register mask.
|
|
|
250 for (unsigned Reg = 0, NumRegs = TRI->getNumRegs(); Reg != NumRegs; ++Reg)
|
|
|
251 if ((Mask[Reg / 32] >> Reg % 32) & 1)
|
|
|
252 LiveOuts.push_back(createLiveOutReg(Reg, TRI));
|
|
|
253
|
|
|
254 // We don't need to keep track of a register if its super-register is already
|
|
|
255 // in the list. Merge entries that refer to the same dwarf register and use
|
|
|
256 // the maximum size that needs to be spilled.
|
|
95
|
257
|
|
|
258 std::sort(LiveOuts.begin(), LiveOuts.end(),
|
|
|
259 [](const LiveOutReg &LHS, const LiveOutReg &RHS) {
|
|
|
260 // Only sort by the dwarf register number.
|
|
|
261 return LHS.DwarfRegNum < RHS.DwarfRegNum;
|
|
|
262 });
|
|
|
263
|
|
|
264 for (auto I = LiveOuts.begin(), E = LiveOuts.end(); I != E; ++I) {
|
|
|
265 for (auto II = std::next(I); II != E; ++II) {
|
|
|
266 if (I->DwarfRegNum != II->DwarfRegNum) {
|
|
77
|
267 // Skip all the now invalid entries.
|
|
|
268 I = --II;
|
|
|
269 break;
|
|
33
|
270 }
|
|
77
|
271 I->Size = std::max(I->Size, II->Size);
|
|
|
272 if (TRI->isSuperRegister(I->Reg, II->Reg))
|
|
|
273 I->Reg = II->Reg;
|
|
95
|
274 II->Reg = 0; // mark for deletion.
|
|
33
|
275 }
|
|
|
276 }
|
|
95
|
277
|
|
|
278 LiveOuts.erase(
|
|
120
|
279 remove_if(LiveOuts, [](const LiveOutReg &LO) { return LO.Reg == 0; }),
|
|
95
|
280 LiveOuts.end());
|
|
|
281
|
|
77
|
282 return LiveOuts;
|
|
33
|
283 }
|
|
|
284
|
|
77
|
285 void StackMaps::recordStackMapOpers(const MachineInstr &MI, uint64_t ID,
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
286 MachineInstr::const_mop_iterator MOI,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
287 MachineInstr::const_mop_iterator MOE,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
288 bool recordResult) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
289
|
|
95
|
290 MCContext &OutContext = AP.OutStreamer->getContext();
|
|
|
291 MCSymbol *MILabel = OutContext.createTempSymbol();
|
|
|
292 AP.OutStreamer->EmitLabel(MILabel);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
293
|
|
77
|
294 LocationVec Locations;
|
|
|
295 LiveOutVec LiveOuts;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
296
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
297 if (recordResult) {
|
|
77
|
298 assert(PatchPointOpers(&MI).hasDef() && "Stackmap has no return value.");
|
|
95
|
299 parseOperand(MI.operands_begin(), std::next(MI.operands_begin()), Locations,
|
|
|
300 LiveOuts);
|
|
77
|
301 }
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
302
|
|
77
|
303 // Parse operands.
|
|
|
304 while (MOI != MOE) {
|
|
|
305 MOI = parseOperand(MOI, MOE, Locations, LiveOuts);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
306 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
307
|
|
77
|
308 // Move large constants into the constant pool.
|
|
95
|
309 for (auto &Loc : Locations) {
|
|
77
|
310 // Constants are encoded as sign-extended integers.
|
|
|
311 // -1 is directly encoded as .long 0xFFFFFFFF with no constant pool.
|
|
95
|
312 if (Loc.Type == Location::Constant && !isInt<32>(Loc.Offset)) {
|
|
|
313 Loc.Type = Location::ConstantIndex;
|
|
83
|
314 // ConstPool is intentionally a MapVector of 'uint64_t's (as
|
|
|
315 // opposed to 'int64_t's). We should never be in a situation
|
|
|
316 // where we have to insert either the tombstone or the empty
|
|
|
317 // keys into a map, and for a DenseMap<uint64_t, T> these are
|
|
|
318 // (uint64_t)0 and (uint64_t)-1. They can be and are
|
|
|
319 // represented using 32 bit integers.
|
|
95
|
320 assert((uint64_t)Loc.Offset != DenseMapInfo<uint64_t>::getEmptyKey() &&
|
|
|
321 (uint64_t)Loc.Offset !=
|
|
|
322 DenseMapInfo<uint64_t>::getTombstoneKey() &&
|
|
83
|
323 "empty and tombstone keys should fit in 32 bits!");
|
|
95
|
324 auto Result = ConstPool.insert(std::make_pair(Loc.Offset, Loc.Offset));
|
|
|
325 Loc.Offset = Result.first - ConstPool.begin();
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
326 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
327 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
328
|
|
77
|
329 // Create an expression to calculate the offset of the callsite from function
|
|
|
330 // entry.
|
|
95
|
331 const MCExpr *CSOffsetExpr = MCBinaryExpr::createSub(
|
|
|
332 MCSymbolRefExpr::create(MILabel, OutContext),
|
|
|
333 MCSymbolRefExpr::create(AP.CurrentFnSymForSize, OutContext), OutContext);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
334
|
|
83
|
335 CSInfos.emplace_back(CSOffsetExpr, ID, std::move(Locations),
|
|
|
336 std::move(LiveOuts));
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
337
|
|
120
|
338 // Record the stack size of the current function and update callsite count.
|
|
|
339 const MachineFrameInfo &MFI = AP.MF->getFrameInfo();
|
|
77
|
340 const TargetRegisterInfo *RegInfo = AP.MF->getSubtarget().getRegisterInfo();
|
|
95
|
341 bool HasDynamicFrameSize =
|
|
120
|
342 MFI.hasVarSizedObjects() || RegInfo->needsStackRealignment(*(AP.MF));
|
|
|
343 uint64_t FrameSize = HasDynamicFrameSize ? UINT64_MAX : MFI.getStackSize();
|
|
|
344
|
|
|
345 auto CurrentIt = FnInfos.find(AP.CurrentFnSym);
|
|
|
346 if (CurrentIt != FnInfos.end())
|
|
|
347 CurrentIt->second.RecordCount++;
|
|
|
348 else
|
|
|
349 FnInfos.insert(std::make_pair(AP.CurrentFnSym, FunctionInfo(FrameSize)));
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
350 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
351
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
352 void StackMaps::recordStackMap(const MachineInstr &MI) {
|
|
77
|
353 assert(MI.getOpcode() == TargetOpcode::STACKMAP && "expected stackmap");
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
354
|
|
120
|
355 StackMapOpers opers(&MI);
|
|
|
356 const int64_t ID = MI.getOperand(PatchPointOpers::IDPos).getImm();
|
|
|
357 recordStackMapOpers(MI, ID, std::next(MI.operands_begin(), opers.getVarIdx()),
|
|
77
|
358 MI.operands_end());
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
359 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
360
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
361 void StackMaps::recordPatchPoint(const MachineInstr &MI) {
|
|
77
|
362 assert(MI.getOpcode() == TargetOpcode::PATCHPOINT && "expected patchpoint");
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
363
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
364 PatchPointOpers opers(&MI);
|
|
120
|
365 const int64_t ID = opers.getID();
|
|
95
|
366 auto MOI = std::next(MI.operands_begin(), opers.getStackMapStartIdx());
|
|
77
|
367 recordStackMapOpers(MI, ID, MOI, MI.operands_end(),
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
368 opers.isAnyReg() && opers.hasDef());
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
369
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
370 #ifndef NDEBUG
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
371 // verify anyregcc
|
|
95
|
372 auto &Locations = CSInfos.back().Locations;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
373 if (opers.isAnyReg()) {
|
|
120
|
374 unsigned NArgs = opers.getNumCallArgs();
|
|
95
|
375 for (unsigned i = 0, e = (opers.hasDef() ? NArgs + 1 : NArgs); i != e; ++i)
|
|
|
376 assert(Locations[i].Type == Location::Register &&
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
377 "anyreg arg must be in reg.");
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
378 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
379 #endif
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
380 }
|
|
83
|
381 void StackMaps::recordStatepoint(const MachineInstr &MI) {
|
|
95
|
382 assert(MI.getOpcode() == TargetOpcode::STATEPOINT && "expected statepoint");
|
|
83
|
383
|
|
|
384 StatepointOpers opers(&MI);
|
|
|
385 // Record all the deopt and gc operands (they're contiguous and run from the
|
|
|
386 // initial index to the end of the operand list)
|
|
|
387 const unsigned StartIdx = opers.getVarIdx();
|
|
95
|
388 recordStackMapOpers(MI, opers.getID(), MI.operands_begin() + StartIdx,
|
|
|
389 MI.operands_end(), false);
|
|
83
|
390 }
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
391
|
|
77
|
392 /// Emit the stackmap header.
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
393 ///
|
|
77
|
394 /// Header {
|
|
120
|
395 /// uint8 : Stack Map Version (currently 2)
|
|
77
|
396 /// uint8 : Reserved (expected to be 0)
|
|
|
397 /// uint16 : Reserved (expected to be 0)
|
|
|
398 /// }
|
|
|
399 /// uint32 : NumFunctions
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
400 /// uint32 : NumConstants
|
|
77
|
401 /// uint32 : NumRecords
|
|
|
402 void StackMaps::emitStackmapHeader(MCStreamer &OS) {
|
|
|
403 // Header.
|
|
|
404 OS.EmitIntValue(StackMapVersion, 1); // Version.
|
|
95
|
405 OS.EmitIntValue(0, 1); // Reserved.
|
|
|
406 OS.EmitIntValue(0, 2); // Reserved.
|
|
77
|
407
|
|
|
408 // Num functions.
|
|
120
|
409 DEBUG(dbgs() << WSMP << "#functions = " << FnInfos.size() << '\n');
|
|
|
410 OS.EmitIntValue(FnInfos.size(), 4);
|
|
77
|
411 // Num constants.
|
|
|
412 DEBUG(dbgs() << WSMP << "#constants = " << ConstPool.size() << '\n');
|
|
|
413 OS.EmitIntValue(ConstPool.size(), 4);
|
|
|
414 // Num callsites.
|
|
|
415 DEBUG(dbgs() << WSMP << "#callsites = " << CSInfos.size() << '\n');
|
|
|
416 OS.EmitIntValue(CSInfos.size(), 4);
|
|
|
417 }
|
|
|
418
|
|
|
419 /// Emit the function frame record for each function.
|
|
|
420 ///
|
|
|
421 /// StkSizeRecord[NumFunctions] {
|
|
|
422 /// uint64 : Function Address
|
|
|
423 /// uint64 : Stack Size
|
|
120
|
424 /// uint64 : Record Count
|
|
77
|
425 /// }
|
|
|
426 void StackMaps::emitFunctionFrameRecords(MCStreamer &OS) {
|
|
|
427 // Function Frame records.
|
|
|
428 DEBUG(dbgs() << WSMP << "functions:\n");
|
|
120
|
429 for (auto const &FR : FnInfos) {
|
|
77
|
430 DEBUG(dbgs() << WSMP << "function addr: " << FR.first
|
|
120
|
431 << " frame size: " << FR.second.StackSize
|
|
|
432 << " callsite count: " << FR.second.RecordCount << '\n');
|
|
77
|
433 OS.EmitSymbolValue(FR.first, 8);
|
|
120
|
434 OS.EmitIntValue(FR.second.StackSize, 8);
|
|
|
435 OS.EmitIntValue(FR.second.RecordCount, 8);
|
|
77
|
436 }
|
|
|
437 }
|
|
|
438
|
|
|
439 /// Emit the constant pool.
|
|
|
440 ///
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
441 /// int64 : Constants[NumConstants]
|
|
77
|
442 void StackMaps::emitConstantPoolEntries(MCStreamer &OS) {
|
|
|
443 // Constant pool entries.
|
|
|
444 DEBUG(dbgs() << WSMP << "constants:\n");
|
|
95
|
445 for (const auto &ConstEntry : ConstPool) {
|
|
77
|
446 DEBUG(dbgs() << WSMP << ConstEntry.second << '\n');
|
|
|
447 OS.EmitIntValue(ConstEntry.second, 8);
|
|
|
448 }
|
|
|
449 }
|
|
|
450
|
|
|
451 /// Emit the callsite info for each callsite.
|
|
|
452 ///
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
453 /// StkMapRecord[NumRecords] {
|
|
77
|
454 /// uint64 : PatchPoint ID
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
455 /// uint32 : Instruction Offset
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
456 /// uint16 : Reserved (record flags)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
457 /// uint16 : NumLocations
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
458 /// Location[NumLocations] {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
459 /// uint8 : Register | Direct | Indirect | Constant | ConstantIndex
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
460 /// uint8 : Size in Bytes
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
461 /// uint16 : Dwarf RegNum
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
462 /// int32 : Offset
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
463 /// }
|
|
77
|
464 /// uint16 : Padding
|
|
|
465 /// uint16 : NumLiveOuts
|
|
|
466 /// LiveOuts[NumLiveOuts] {
|
|
|
467 /// uint16 : Dwarf RegNum
|
|
|
468 /// uint8 : Reserved
|
|
|
469 /// uint8 : Size in Bytes
|
|
|
470 /// }
|
|
|
471 /// uint32 : Padding (only if required to align to 8 byte)
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
472 /// }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
473 ///
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
474 /// Location Encoding, Type, Value:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
475 /// 0x1, Register, Reg (value in register)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
476 /// 0x2, Direct, Reg + Offset (frame index)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
477 /// 0x3, Indirect, [Reg + Offset] (spilled value)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
478 /// 0x4, Constant, Offset (small constant)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
479 /// 0x5, ConstIndex, Constants[Offset] (large constant)
|
|
95
|
480 void StackMaps::emitCallsiteEntries(MCStreamer &OS) {
|
|
|
481 DEBUG(print(dbgs()));
|
|
77
|
482 // Callsite entries.
|
|
|
483 for (const auto &CSI : CSInfos) {
|
|
|
484 const LocationVec &CSLocs = CSI.Locations;
|
|
|
485 const LiveOutVec &LiveOuts = CSI.LiveOuts;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
486
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
487 // Verify stack map entry. It's better to communicate a problem to the
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
488 // runtime than crash in case of in-process compilation. Currently, we do
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
489 // simple overflow checks, but we may eventually communicate other
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
490 // compilation errors this way.
|
|
77
|
491 if (CSLocs.size() > UINT16_MAX || LiveOuts.size() > UINT16_MAX) {
|
|
|
492 OS.EmitIntValue(UINT64_MAX, 8); // Invalid ID.
|
|
|
493 OS.EmitValue(CSI.CSOffsetExpr, 4);
|
|
|
494 OS.EmitIntValue(0, 2); // Reserved.
|
|
|
495 OS.EmitIntValue(0, 2); // 0 locations.
|
|
|
496 OS.EmitIntValue(0, 2); // padding.
|
|
|
497 OS.EmitIntValue(0, 2); // 0 live-out registers.
|
|
|
498 OS.EmitIntValue(0, 4); // padding.
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
499 continue;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
500 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
501
|
|
77
|
502 OS.EmitIntValue(CSI.ID, 8);
|
|
|
503 OS.EmitValue(CSI.CSOffsetExpr, 4);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
504
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
505 // Reserved for flags.
|
|
77
|
506 OS.EmitIntValue(0, 2);
|
|
|
507 OS.EmitIntValue(CSLocs.size(), 2);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
508
|
|
77
|
509 for (const auto &Loc : CSLocs) {
|
|
95
|
510 OS.EmitIntValue(Loc.Type, 1);
|
|
77
|
511 OS.EmitIntValue(Loc.Size, 1);
|
|
95
|
512 OS.EmitIntValue(Loc.Reg, 2);
|
|
|
513 OS.EmitIntValue(Loc.Offset, 4);
|
|
77
|
514 }
|
|
|
515
|
|
|
516 // Num live-out registers and padding to align to 4 byte.
|
|
|
517 OS.EmitIntValue(0, 2);
|
|
|
518 OS.EmitIntValue(LiveOuts.size(), 2);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
519
|
|
77
|
520 for (const auto &LO : LiveOuts) {
|
|
95
|
521 OS.EmitIntValue(LO.DwarfRegNum, 2);
|
|
77
|
522 OS.EmitIntValue(0, 1);
|
|
|
523 OS.EmitIntValue(LO.Size, 1);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
524 }
|
|
77
|
525 // Emit alignment to 8 byte.
|
|
|
526 OS.EmitValueToAlignment(8);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
527 }
|
|
77
|
528 }
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
529
|
|
77
|
530 /// Serialize the stackmap data.
|
|
|
531 void StackMaps::serializeToStackMapSection() {
|
|
95
|
532 (void)WSMP;
|
|
77
|
533 // Bail out if there's no stack map data.
|
|
120
|
534 assert((!CSInfos.empty() || ConstPool.empty()) &&
|
|
77
|
535 "Expected empty constant pool too!");
|
|
120
|
536 assert((!CSInfos.empty() || FnInfos.empty()) &&
|
|
77
|
537 "Expected empty function record too!");
|
|
|
538 if (CSInfos.empty())
|
|
|
539 return;
|
|
|
540
|
|
95
|
541 MCContext &OutContext = AP.OutStreamer->getContext();
|
|
|
542 MCStreamer &OS = *AP.OutStreamer;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
543
|
|
77
|
544 // Create the section.
|
|
95
|
545 MCSection *StackMapSection =
|
|
|
546 OutContext.getObjectFileInfo()->getStackMapSection();
|
|
77
|
547 OS.SwitchSection(StackMapSection);
|
|
|
548
|
|
|
549 // Emit a dummy symbol to force section inclusion.
|
|
95
|
550 OS.EmitLabel(OutContext.getOrCreateSymbol(Twine("__LLVM_StackMaps")));
|
|
77
|
551
|
|
|
552 // Serialize data.
|
|
|
553 DEBUG(dbgs() << "********** Stack Map Output **********\n");
|
|
|
554 emitStackmapHeader(OS);
|
|
|
555 emitFunctionFrameRecords(OS);
|
|
|
556 emitConstantPoolEntries(OS);
|
|
95
|
557 emitCallsiteEntries(OS);
|
|
77
|
558 OS.AddBlankLine();
|
|
|
559
|
|
|
560 // Clean up.
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
561 CSInfos.clear();
|
|
77
|
562 ConstPool.clear();
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
563 }
|
