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