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