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