Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 1 | //===---------------------------- StackMaps.cpp ---------------------------===// |
| 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 | |
| 10 | #define DEBUG_TYPE "stackmaps" |
| 11 | |
| 12 | #include "llvm/CodeGen/StackMaps.h" |
| 13 | |
| 14 | #include "llvm/CodeGen/AsmPrinter.h" |
| 15 | #include "llvm/CodeGen/MachineInstr.h" |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 16 | #include "llvm/IR/DataLayout.h" |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MCContext.h" |
| 18 | #include "llvm/MC/MCExpr.h" |
Lang Hames | 8a06570 | 2013-11-08 22:30:52 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCObjectFileInfo.h" |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCSectionMachO.h" |
| 21 | #include "llvm/MC/MCStreamer.h" |
| 22 | #include "llvm/Support/Debug.h" |
| 23 | #include "llvm/Support/raw_ostream.h" |
| 24 | #include "llvm/Target/TargetOpcodes.h" |
| 25 | #include "llvm/Target/TargetMachine.h" |
| 26 | #include "llvm/Target/TargetRegisterInfo.h" |
| 27 | |
| 28 | #include <iterator> |
| 29 | |
| 30 | using namespace llvm; |
| 31 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 32 | PatchPointOpers::PatchPointOpers(const MachineInstr *MI): |
| 33 | MI(MI), |
| 34 | HasDef(MI->getOperand(0).isReg() && MI->getOperand(0).isDef() && |
| 35 | !MI->getOperand(0).isImplicit()), |
| 36 | IsAnyReg(MI->getOperand(getMetaIdx(CCPos)).getImm() == CallingConv::AnyReg) { |
| 37 | |
| 38 | #ifndef NDEBUG |
| 39 | { |
| 40 | unsigned CheckStartIdx = 0, e = MI->getNumOperands(); |
| 41 | while (CheckStartIdx < e && MI->getOperand(CheckStartIdx).isReg() && |
| 42 | MI->getOperand(CheckStartIdx).isDef() && |
| 43 | !MI->getOperand(CheckStartIdx).isImplicit()) |
| 44 | ++CheckStartIdx; |
| 45 | |
| 46 | assert(getMetaIdx() == CheckStartIdx && |
| 47 | "Unexpected additonal definition in Patchpoint intrinsic."); |
| 48 | } |
| 49 | #endif |
| 50 | } |
| 51 | |
| 52 | unsigned PatchPointOpers::getNextScratchIdx(unsigned StartIdx) const { |
| 53 | if (!StartIdx) |
| 54 | StartIdx = getVarIdx(); |
| 55 | |
| 56 | // Find the next scratch register (implicit def and early clobber) |
| 57 | unsigned ScratchIdx = StartIdx, e = MI->getNumOperands(); |
| 58 | while (ScratchIdx < e && |
| 59 | !(MI->getOperand(ScratchIdx).isReg() && |
| 60 | MI->getOperand(ScratchIdx).isDef() && |
| 61 | MI->getOperand(ScratchIdx).isImplicit() && |
| 62 | MI->getOperand(ScratchIdx).isEarlyClobber())) |
| 63 | ++ScratchIdx; |
| 64 | |
| 65 | assert(ScratchIdx != e && "No scratch register available"); |
| 66 | return ScratchIdx; |
| 67 | } |
| 68 | |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 69 | std::pair<StackMaps::Location, MachineInstr::const_mop_iterator> |
| 70 | StackMaps::parseOperand(MachineInstr::const_mop_iterator MOI, |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 71 | MachineInstr::const_mop_iterator MOE) const { |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 72 | const MachineOperand &MOP = *MOI; |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 73 | assert((!MOP.isReg() || !MOP.isImplicit()) && |
| 74 | "Implicit operands should not be processed."); |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 75 | |
| 76 | if (MOP.isImm()) { |
| 77 | // Verify anyregcc |
| 78 | // [<def>], <id>, <numBytes>, <target>, <numArgs>, <cc>, ... |
| 79 | |
| 80 | switch (MOP.getImm()) { |
| 81 | default: llvm_unreachable("Unrecognized operand type."); |
| 82 | case StackMaps::DirectMemRefOp: { |
| 83 | unsigned Size = AP.TM.getDataLayout()->getPointerSizeInBits(); |
| 84 | assert((Size % 8) == 0 && "Need pointer size in bytes."); |
| 85 | Size /= 8; |
| 86 | unsigned Reg = (++MOI)->getReg(); |
| 87 | int64_t Imm = (++MOI)->getImm(); |
| 88 | return std::make_pair( |
| 89 | Location(StackMaps::Location::Direct, Size, Reg, Imm), ++MOI); |
| 90 | } |
| 91 | case StackMaps::IndirectMemRefOp: { |
| 92 | int64_t Size = (++MOI)->getImm(); |
| 93 | assert(Size > 0 && "Need a valid size for indirect memory locations."); |
| 94 | unsigned Reg = (++MOI)->getReg(); |
| 95 | int64_t Imm = (++MOI)->getImm(); |
| 96 | return std::make_pair( |
| 97 | Location(StackMaps::Location::Indirect, Size, Reg, Imm), ++MOI); |
| 98 | } |
| 99 | case StackMaps::ConstantOp: { |
| 100 | ++MOI; |
| 101 | assert(MOI->isImm() && "Expected constant operand."); |
| 102 | int64_t Imm = MOI->getImm(); |
| 103 | return std::make_pair( |
| 104 | Location(Location::Constant, sizeof(int64_t), 0, Imm), ++MOI); |
| 105 | } |
| 106 | } |
| 107 | } |
| 108 | |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 109 | if (MOP.isRegMask() || MOP.isRegLiveOut()) |
| 110 | return std::make_pair(Location(), ++MOI); |
| 111 | |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 112 | // Otherwise this is a reg operand. The physical register number will |
| 113 | // ultimately be encoded as a DWARF regno. The stack map also records the size |
| 114 | // of a spill slot that can hold the register content. (The runtime can |
| 115 | // track the actual size of the data type if it needs to.) |
| 116 | assert(MOP.isReg() && "Expected register operand here."); |
| 117 | assert(TargetRegisterInfo::isPhysicalRegister(MOP.getReg()) && |
| 118 | "Virtreg operands should have been rewritten before now."); |
| 119 | const TargetRegisterClass *RC = |
| 120 | AP.TM.getRegisterInfo()->getMinimalPhysRegClass(MOP.getReg()); |
| 121 | assert(!MOP.getSubReg() && "Physical subreg still around."); |
| 122 | return std::make_pair( |
| 123 | Location(Location::Register, RC->getSize(), MOP.getReg(), 0), ++MOI); |
| 124 | } |
| 125 | |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 126 | /// Go up the super-register chain until we hit a valid dwarf register number. |
| 127 | static short getDwarfRegNum(unsigned Reg, const MCRegisterInfo &MCRI, |
| 128 | const TargetRegisterInfo *TRI) { |
| 129 | int RegNo = MCRI.getDwarfRegNum(Reg, false); |
| 130 | for (MCSuperRegIterator SR(Reg, TRI); |
| 131 | SR.isValid() && RegNo < 0; ++SR) |
| 132 | RegNo = TRI->getDwarfRegNum(*SR, false); |
| 133 | |
| 134 | assert(RegNo >= 0 && "Invalid Dwarf register number."); |
| 135 | return (unsigned short) RegNo; |
| 136 | } |
| 137 | |
| 138 | /// Create a live-out register record for the given register Reg. |
| 139 | StackMaps::LiveOutReg |
| 140 | StackMaps::createLiveOutReg(unsigned Reg, const MCRegisterInfo &MCRI, |
| 141 | const TargetRegisterInfo *TRI) const { |
| 142 | unsigned RegNo = getDwarfRegNum(Reg, MCRI, TRI); |
| 143 | unsigned Size = TRI->getMinimalPhysRegClass(Reg)->getSize(); |
| 144 | unsigned LLVMRegNo = MCRI.getLLVMRegNum(RegNo, false); |
| 145 | unsigned SubRegIdx = MCRI.getSubRegIndex(LLVMRegNo, Reg); |
| 146 | unsigned Offset = 0; |
| 147 | if (SubRegIdx) |
| 148 | Offset = MCRI.getSubRegIdxOffset(SubRegIdx) / 8; |
| 149 | |
| 150 | return LiveOutReg(Reg, RegNo, Offset + Size); |
| 151 | } |
| 152 | |
| 153 | /// Parse the register live-out mask and return a vector of live-out registers |
| 154 | /// that need to be recorded in the stackmap. |
| 155 | StackMaps::LiveOutVec |
| 156 | StackMaps::parseRegisterLiveOutMask(const uint32_t *Mask) const { |
| 157 | assert(Mask && "No register mask specified"); |
| 158 | const TargetRegisterInfo *TRI = AP.TM.getRegisterInfo(); |
| 159 | MCContext &OutContext = AP.OutStreamer.getContext(); |
| 160 | const MCRegisterInfo &MCRI = *OutContext.getRegisterInfo(); |
| 161 | LiveOutVec LiveOuts; |
| 162 | |
| 163 | for (unsigned Reg = 0, NumRegs = TRI->getNumRegs(); Reg != NumRegs; ++Reg) |
| 164 | if ((Mask[Reg / 32] >> Reg % 32) & 1) |
| 165 | LiveOuts.push_back(createLiveOutReg(Reg, MCRI, TRI)); |
| 166 | |
| 167 | std::sort(LiveOuts.begin(), LiveOuts.end()); |
| 168 | for (LiveOutVec::iterator I = LiveOuts.begin(), E = LiveOuts.end(); |
| 169 | I != E; ++I) { |
| 170 | if (!I->Reg) |
| 171 | continue; |
| 172 | for (LiveOutVec::iterator II = next(I); II != E; ++II) { |
| 173 | if (I->RegNo != II->RegNo) |
| 174 | break; |
| 175 | I->Size = std::max(I->Size, II->Size); |
| 176 | if (TRI->isSuperRegister(I->Reg, II->Reg)) |
| 177 | I->Reg = II->Reg; |
| 178 | II->Reg = 0; |
| 179 | } |
| 180 | } |
| 181 | LiveOuts.erase(std::remove_if(LiveOuts.begin(), LiveOuts.end(), |
| 182 | LiveOutReg::isInvalid), LiveOuts.end()); |
| 183 | return LiveOuts; |
| 184 | } |
| 185 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 186 | void StackMaps::recordStackMapOpers(const MachineInstr &MI, uint32_t ID, |
| 187 | MachineInstr::const_mop_iterator MOI, |
| 188 | MachineInstr::const_mop_iterator MOE, |
| 189 | bool recordResult) { |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 190 | |
| 191 | MCContext &OutContext = AP.OutStreamer.getContext(); |
| 192 | MCSymbol *MILabel = OutContext.CreateTempSymbol(); |
| 193 | AP.OutStreamer.EmitLabel(MILabel); |
| 194 | |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 195 | LocationVec Locations; |
| 196 | LiveOutVec LiveOuts; |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 197 | |
Juergen Ributzka | 9969d3e | 2013-11-08 23:28:16 +0000 | [diff] [blame] | 198 | if (recordResult) { |
| 199 | std::pair<Location, MachineInstr::const_mop_iterator> ParseResult = |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 200 | parseOperand(MI.operands_begin(), llvm::next(MI.operands_begin())); |
Juergen Ributzka | 9969d3e | 2013-11-08 23:28:16 +0000 | [diff] [blame] | 201 | |
| 202 | Location &Loc = ParseResult.first; |
| 203 | assert(Loc.LocType == Location::Register && |
| 204 | "Stackmap return location must be a register."); |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 205 | Locations.push_back(Loc); |
Juergen Ributzka | 9969d3e | 2013-11-08 23:28:16 +0000 | [diff] [blame] | 206 | } |
| 207 | |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 208 | while (MOI != MOE) { |
Lang Hames | 3960999 | 2013-11-29 03:07:54 +0000 | [diff] [blame] | 209 | Location Loc; |
| 210 | tie(Loc, MOI) = parseOperand(MOI, MOE); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 211 | |
| 212 | // Move large constants into the constant pool. |
| 213 | if (Loc.LocType == Location::Constant && (Loc.Offset & ~0xFFFFFFFFULL)) { |
| 214 | Loc.LocType = Location::ConstantIndex; |
| 215 | Loc.Offset = ConstPool.getConstantIndex(Loc.Offset); |
| 216 | } |
| 217 | |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 218 | // Skip the register mask and register live-out mask |
| 219 | if (Loc.LocType != Location::Unprocessed) |
| 220 | Locations.push_back(Loc); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 221 | } |
| 222 | |
| 223 | const MCExpr *CSOffsetExpr = MCBinaryExpr::CreateSub( |
| 224 | MCSymbolRefExpr::Create(MILabel, OutContext), |
| 225 | MCSymbolRefExpr::Create(AP.CurrentFnSym, OutContext), |
| 226 | OutContext); |
| 227 | |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 228 | if (MOI->isRegLiveOut()) |
| 229 | LiveOuts = parseRegisterLiveOutMask(MOI->getRegLiveOut()); |
| 230 | |
| 231 | CSInfos.push_back(CallsiteInfo(CSOffsetExpr, ID, Locations, LiveOuts)); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 232 | } |
| 233 | |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 234 | static MachineInstr::const_mop_iterator |
| 235 | getStackMapEndMOP(MachineInstr::const_mop_iterator MOI, |
| 236 | MachineInstr::const_mop_iterator MOE) { |
| 237 | for (; MOI != MOE; ++MOI) |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 238 | if (MOI->isRegLiveOut() || (MOI->isReg() && MOI->isImplicit())) |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 239 | break; |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 240 | return MOI; |
| 241 | } |
| 242 | |
| 243 | void StackMaps::recordStackMap(const MachineInstr &MI) { |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 244 | assert(MI.getOpcode() == TargetOpcode::STACKMAP && "expected stackmap"); |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 245 | |
| 246 | int64_t ID = MI.getOperand(0).getImm(); |
| 247 | assert((int32_t)ID == ID && "Stack maps hold 32-bit IDs"); |
| 248 | recordStackMapOpers(MI, ID, llvm::next(MI.operands_begin(), 2), |
| 249 | getStackMapEndMOP(MI.operands_begin(), |
| 250 | MI.operands_end())); |
| 251 | } |
| 252 | |
| 253 | void StackMaps::recordPatchPoint(const MachineInstr &MI) { |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 254 | assert(MI.getOpcode() == TargetOpcode::PATCHPOINT && "expected patchpoint"); |
Andrew Trick | d4e3dc6 | 2013-11-19 03:29:56 +0000 | [diff] [blame] | 255 | |
| 256 | PatchPointOpers opers(&MI); |
| 257 | int64_t ID = opers.getMetaOper(PatchPointOpers::IDPos).getImm(); |
| 258 | assert((int32_t)ID == ID && "Stack maps hold 32-bit IDs"); |
| 259 | MachineInstr::const_mop_iterator MOI = |
| 260 | llvm::next(MI.operands_begin(), opers.getStackMapStartIdx()); |
| 261 | recordStackMapOpers(MI, ID, MOI, getStackMapEndMOP(MOI, MI.operands_end()), |
| 262 | opers.isAnyReg() && opers.hasDef()); |
| 263 | |
| 264 | #ifndef NDEBUG |
| 265 | // verify anyregcc |
| 266 | LocationVec &Locations = CSInfos.back().Locations; |
| 267 | if (opers.isAnyReg()) { |
| 268 | unsigned NArgs = opers.getMetaOper(PatchPointOpers::NArgPos).getImm(); |
| 269 | for (unsigned i = 0, e = (opers.hasDef() ? NArgs+1 : NArgs); i != e; ++i) |
| 270 | assert(Locations[i].LocType == Location::Register && |
| 271 | "anyreg arg must be in reg."); |
| 272 | } |
| 273 | #endif |
| 274 | } |
| 275 | |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 276 | /// serializeToStackMapSection conceptually populates the following fields: |
| 277 | /// |
| 278 | /// uint32 : Reserved (header) |
| 279 | /// uint32 : NumConstants |
| 280 | /// int64 : Constants[NumConstants] |
| 281 | /// uint32 : NumRecords |
| 282 | /// StkMapRecord[NumRecords] { |
| 283 | /// uint32 : PatchPoint ID |
| 284 | /// uint32 : Instruction Offset |
| 285 | /// uint16 : Reserved (record flags) |
| 286 | /// uint16 : NumLocations |
| 287 | /// Location[NumLocations] { |
| 288 | /// uint8 : Register | Direct | Indirect | Constant | ConstantIndex |
Andrew Trick | 10d5be4 | 2013-11-17 01:36:23 +0000 | [diff] [blame] | 289 | /// uint8 : Size in Bytes |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 290 | /// uint16 : Dwarf RegNum |
| 291 | /// int32 : Offset |
| 292 | /// } |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 293 | /// uint16 : NumLiveOuts |
| 294 | /// LiveOuts[NumLiveOuts] |
| 295 | /// uint16 : Dwarf RegNum |
| 296 | /// uint8 : Reserved |
| 297 | /// uint8 : Size in Bytes |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 298 | /// } |
| 299 | /// |
| 300 | /// Location Encoding, Type, Value: |
| 301 | /// 0x1, Register, Reg (value in register) |
| 302 | /// 0x2, Direct, Reg + Offset (frame index) |
| 303 | /// 0x3, Indirect, [Reg + Offset] (spilled value) |
| 304 | /// 0x4, Constant, Offset (small constant) |
| 305 | /// 0x5, ConstIndex, Constants[Offset] (large constant) |
| 306 | /// |
| 307 | void StackMaps::serializeToStackMapSection() { |
| 308 | // Bail out if there's no stack map data. |
| 309 | if (CSInfos.empty()) |
| 310 | return; |
| 311 | |
| 312 | MCContext &OutContext = AP.OutStreamer.getContext(); |
| 313 | const TargetRegisterInfo *TRI = AP.TM.getRegisterInfo(); |
| 314 | |
| 315 | // Create the section. |
| 316 | const MCSection *StackMapSection = |
Lang Hames | 8a06570 | 2013-11-08 22:30:52 +0000 | [diff] [blame] | 317 | OutContext.getObjectFileInfo()->getStackMapSection(); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 318 | AP.OutStreamer.SwitchSection(StackMapSection); |
| 319 | |
| 320 | // Emit a dummy symbol to force section inclusion. |
| 321 | AP.OutStreamer.EmitLabel( |
| 322 | OutContext.GetOrCreateSymbol(Twine("__LLVM_StackMaps"))); |
| 323 | |
| 324 | // Serialize data. |
| 325 | const char *WSMP = "Stack Maps: "; |
Andrew Trick | c21d86f | 2013-10-31 22:42:20 +0000 | [diff] [blame] | 326 | (void)WSMP; |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 327 | const MCRegisterInfo &MCRI = *OutContext.getRegisterInfo(); |
| 328 | |
| 329 | DEBUG(dbgs() << "********** Stack Map Output **********\n"); |
| 330 | |
| 331 | // Header. |
| 332 | AP.OutStreamer.EmitIntValue(0, 4); |
| 333 | |
| 334 | // Num constants. |
| 335 | AP.OutStreamer.EmitIntValue(ConstPool.getNumConstants(), 4); |
| 336 | |
| 337 | // Constant pool entries. |
| 338 | for (unsigned i = 0; i < ConstPool.getNumConstants(); ++i) |
| 339 | AP.OutStreamer.EmitIntValue(ConstPool.getConstant(i), 8); |
| 340 | |
| 341 | DEBUG(dbgs() << WSMP << "#callsites = " << CSInfos.size() << "\n"); |
| 342 | AP.OutStreamer.EmitIntValue(CSInfos.size(), 4); |
| 343 | |
| 344 | for (CallsiteInfoList::const_iterator CSII = CSInfos.begin(), |
| 345 | CSIE = CSInfos.end(); |
| 346 | CSII != CSIE; ++CSII) { |
| 347 | |
| 348 | unsigned CallsiteID = CSII->ID; |
| 349 | const LocationVec &CSLocs = CSII->Locations; |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 350 | const LiveOutVec &LiveOuts = CSII->LiveOuts; |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 351 | |
| 352 | DEBUG(dbgs() << WSMP << "callsite " << CallsiteID << "\n"); |
| 353 | |
| 354 | // Verify stack map entry. It's better to communicate a problem to the |
| 355 | // runtime than crash in case of in-process compilation. Currently, we do |
| 356 | // simple overflow checks, but we may eventually communicate other |
| 357 | // compilation errors this way. |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 358 | if (CSLocs.size() > UINT16_MAX || LiveOuts.size() > UINT16_MAX) { |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 359 | AP.OutStreamer.EmitIntValue(UINT32_MAX, 4); // Invalid ID. |
| 360 | AP.OutStreamer.EmitValue(CSII->CSOffsetExpr, 4); |
| 361 | AP.OutStreamer.EmitIntValue(0, 2); // Reserved. |
| 362 | AP.OutStreamer.EmitIntValue(0, 2); // 0 locations. |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 363 | AP.OutStreamer.EmitIntValue(0, 2); // 0 live-out registers. |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 364 | continue; |
| 365 | } |
| 366 | |
| 367 | AP.OutStreamer.EmitIntValue(CallsiteID, 4); |
| 368 | AP.OutStreamer.EmitValue(CSII->CSOffsetExpr, 4); |
| 369 | |
| 370 | // Reserved for flags. |
| 371 | AP.OutStreamer.EmitIntValue(0, 2); |
| 372 | |
| 373 | DEBUG(dbgs() << WSMP << " has " << CSLocs.size() << " locations\n"); |
| 374 | |
| 375 | AP.OutStreamer.EmitIntValue(CSLocs.size(), 2); |
| 376 | |
| 377 | unsigned operIdx = 0; |
| 378 | for (LocationVec::const_iterator LocI = CSLocs.begin(), LocE = CSLocs.end(); |
| 379 | LocI != LocE; ++LocI, ++operIdx) { |
| 380 | const Location &Loc = *LocI; |
Lang Hames | fde8e4b | 2013-11-27 20:10:16 +0000 | [diff] [blame] | 381 | unsigned RegNo = 0; |
| 382 | int Offset = Loc.Offset; |
| 383 | if(Loc.Reg) { |
| 384 | RegNo = MCRI.getDwarfRegNum(Loc.Reg, false); |
| 385 | for (MCSuperRegIterator SR(Loc.Reg, TRI); |
| 386 | SR.isValid() && (int)RegNo < 0; ++SR) { |
| 387 | RegNo = TRI->getDwarfRegNum(*SR, false); |
| 388 | } |
| 389 | // If this is a register location, put the subregister byte offset in |
| 390 | // the location offset. |
| 391 | if (Loc.LocType == Location::Register) { |
| 392 | assert(!Loc.Offset && "Register location should have zero offset"); |
| 393 | unsigned LLVMRegNo = MCRI.getLLVMRegNum(RegNo, false); |
| 394 | unsigned SubRegIdx = MCRI.getSubRegIndex(LLVMRegNo, Loc.Reg); |
| 395 | if (SubRegIdx) |
| 396 | Offset = MCRI.getSubRegIdxOffset(SubRegIdx); |
| 397 | } |
| 398 | } |
| 399 | else { |
| 400 | assert(Loc.LocType != Location::Register && |
| 401 | "Missing location register"); |
| 402 | } |
| 403 | |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 404 | DEBUG( |
| 405 | dbgs() << WSMP << " Loc " << operIdx << ": "; |
| 406 | switch (Loc.LocType) { |
| 407 | case Location::Unprocessed: |
| 408 | dbgs() << "<Unprocessed operand>"; |
| 409 | break; |
| 410 | case Location::Register: |
| 411 | dbgs() << "Register " << MCRI.getName(Loc.Reg); |
| 412 | break; |
| 413 | case Location::Direct: |
| 414 | dbgs() << "Direct " << MCRI.getName(Loc.Reg); |
| 415 | if (Loc.Offset) |
| 416 | dbgs() << " + " << Loc.Offset; |
| 417 | break; |
| 418 | case Location::Indirect: |
| 419 | dbgs() << "Indirect " << MCRI.getName(Loc.Reg) |
| 420 | << " + " << Loc.Offset; |
| 421 | break; |
| 422 | case Location::Constant: |
| 423 | dbgs() << "Constant " << Loc.Offset; |
| 424 | break; |
| 425 | case Location::ConstantIndex: |
| 426 | dbgs() << "Constant Index " << Loc.Offset; |
| 427 | break; |
| 428 | } |
Lang Hames | fde8e4b | 2013-11-27 20:10:16 +0000 | [diff] [blame] | 429 | dbgs() << " [encoding: .byte " << Loc.LocType |
| 430 | << ", .byte " << Loc.Size |
| 431 | << ", .short " << RegNo |
| 432 | << ", .int " << Offset << "]\n"; |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 433 | ); |
| 434 | |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 435 | AP.OutStreamer.EmitIntValue(Loc.LocType, 1); |
Andrew Trick | 10d5be4 | 2013-11-17 01:36:23 +0000 | [diff] [blame] | 436 | AP.OutStreamer.EmitIntValue(Loc.Size, 1); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 437 | AP.OutStreamer.EmitIntValue(RegNo, 2); |
Andrew Trick | 10d5be4 | 2013-11-17 01:36:23 +0000 | [diff] [blame] | 438 | AP.OutStreamer.EmitIntValue(Offset, 4); |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 439 | } |
Andrew Trick | 8d6a658 | 2013-12-13 18:37:03 +0000 | [diff] [blame^] | 440 | |
| 441 | DEBUG(dbgs() << WSMP << " has " << LiveOuts.size() |
| 442 | << " live-out registers\n"); |
| 443 | |
| 444 | AP.OutStreamer.EmitIntValue(LiveOuts.size(), 2); |
| 445 | |
| 446 | operIdx = 0; |
| 447 | for (LiveOutVec::const_iterator LI = LiveOuts.begin(), LE = LiveOuts.end(); |
| 448 | LI != LE; ++LI, ++operIdx) { |
| 449 | DEBUG(dbgs() << WSMP << " LO " << operIdx << ": " |
| 450 | << MCRI.getName(LI->Reg) |
| 451 | << " [encoding: .short " << LI->RegNo |
| 452 | << ", .byte 0, .byte " << LI->Size << "]\n"); |
| 453 | |
| 454 | AP.OutStreamer.EmitIntValue(LI->RegNo, 2); |
| 455 | AP.OutStreamer.EmitIntValue(0, 1); |
| 456 | AP.OutStreamer.EmitIntValue(LI->Size, 1); |
| 457 | } |
Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 458 | } |
| 459 | |
| 460 | AP.OutStreamer.AddBlankLine(); |
| 461 | |
| 462 | CSInfos.clear(); |
| 463 | } |