1 //===-- StatepointLowering.cpp - SDAGBuilder's statepoint code -----------===// 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 // This file includes support code use by SelectionDAGBuilder when lowering a 11 // statepoint sequence in SelectionDAG IR. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "StatepointLowering.h" 16 #include "SelectionDAGBuilder.h" 17 #include "llvm/ADT/SmallSet.h" 18 #include "llvm/ADT/Statistic.h" 19 #include "llvm/CodeGen/FunctionLoweringInfo.h" 20 #include "llvm/CodeGen/MachineFrameInfo.h" 21 #include "llvm/CodeGen/GCMetadata.h" 22 #include "llvm/CodeGen/GCStrategy.h" 23 #include "llvm/CodeGen/SelectionDAG.h" 24 #include "llvm/CodeGen/StackMaps.h" 25 #include "llvm/IR/CallingConv.h" 26 #include "llvm/IR/Instructions.h" 27 #include "llvm/IR/IntrinsicInst.h" 28 #include "llvm/IR/Intrinsics.h" 29 #include "llvm/IR/Statepoint.h" 30 #include "llvm/Target/TargetLowering.h" 31 #include <algorithm> 32 using namespace llvm; 33 34 #define DEBUG_TYPE "statepoint-lowering" 35 36 STATISTIC(NumSlotsAllocatedForStatepoints, 37 "Number of stack slots allocated for statepoints"); 38 STATISTIC(NumOfStatepoints, "Number of statepoint nodes encountered"); 39 STATISTIC(StatepointMaxSlotsRequired, 40 "Maximum number of stack slots required for a singe statepoint"); 41 42 static void pushStackMapConstant(SmallVectorImpl<SDValue>& Ops, 43 SelectionDAGBuilder &Builder, uint64_t Value) { 44 SDLoc L = Builder.getCurSDLoc(); 45 Ops.push_back(Builder.DAG.getTargetConstant(StackMaps::ConstantOp, L, 46 MVT::i64)); 47 Ops.push_back(Builder.DAG.getTargetConstant(Value, L, MVT::i64)); 48 } 49 50 void StatepointLoweringState::startNewStatepoint(SelectionDAGBuilder &Builder) { 51 // Consistency check 52 assert(PendingGCRelocateCalls.empty() && 53 "Trying to visit statepoint before finished processing previous one"); 54 Locations.clear(); 55 NextSlotToAllocate = 0; 56 // Need to resize this on each safepoint - we need the two to stay in sync and 57 // the clear patterns of a SelectionDAGBuilder have no relation to 58 // FunctionLoweringInfo. SmallBitVector::reset initializes all bits to false. 59 AllocatedStackSlots.resize(Builder.FuncInfo.StatepointStackSlots.size()); 60 } 61 62 void StatepointLoweringState::clear() { 63 Locations.clear(); 64 AllocatedStackSlots.clear(); 65 assert(PendingGCRelocateCalls.empty() && 66 "cleared before statepoint sequence completed"); 67 } 68 69 SDValue 70 StatepointLoweringState::allocateStackSlot(EVT ValueType, 71 SelectionDAGBuilder &Builder) { 72 NumSlotsAllocatedForStatepoints++; 73 MachineFrameInfo &MFI = Builder.DAG.getMachineFunction().getFrameInfo(); 74 75 unsigned SpillSize = ValueType.getSizeInBits() / 8; 76 assert((SpillSize * 8) == ValueType.getSizeInBits() && "Size not in bytes?"); 77 78 // First look for a previously created stack slot which is not in 79 // use (accounting for the fact arbitrary slots may already be 80 // reserved), or to create a new stack slot and use it. 81 82 const size_t NumSlots = AllocatedStackSlots.size(); 83 assert(NextSlotToAllocate <= NumSlots && "Broken invariant"); 84 85 // The stack slots in StatepointStackSlots beyond the first NumSlots were 86 // added in this instance of StatepointLoweringState, and cannot be re-used. 87 assert(NumSlots <= Builder.FuncInfo.StatepointStackSlots.size() && 88 "Broken invariant"); 89 90 for (; NextSlotToAllocate < NumSlots; NextSlotToAllocate++) { 91 if (!AllocatedStackSlots.test(NextSlotToAllocate)) { 92 const int FI = Builder.FuncInfo.StatepointStackSlots[NextSlotToAllocate]; 93 if (MFI.getObjectSize(FI) == SpillSize) { 94 AllocatedStackSlots.set(NextSlotToAllocate); 95 return Builder.DAG.getFrameIndex(FI, ValueType); 96 } 97 } 98 } 99 100 // Couldn't find a free slot, so create a new one: 101 102 SDValue SpillSlot = Builder.DAG.CreateStackTemporary(ValueType); 103 const unsigned FI = cast<FrameIndexSDNode>(SpillSlot)->getIndex(); 104 MFI.markAsStatepointSpillSlotObjectIndex(FI); 105 106 Builder.FuncInfo.StatepointStackSlots.push_back(FI); 107 108 StatepointMaxSlotsRequired = std::max<unsigned long>( 109 StatepointMaxSlotsRequired, Builder.FuncInfo.StatepointStackSlots.size()); 110 111 return SpillSlot; 112 } 113 114 /// Utility function for reservePreviousStackSlotForValue. Tries to find 115 /// stack slot index to which we have spilled value for previous statepoints. 116 /// LookUpDepth specifies maximum DFS depth this function is allowed to look. 117 static Optional<int> findPreviousSpillSlot(const Value *Val, 118 SelectionDAGBuilder &Builder, 119 int LookUpDepth) { 120 // Can not look any further - give up now 121 if (LookUpDepth <= 0) 122 return None; 123 124 // Spill location is known for gc relocates 125 if (const auto *Relocate = dyn_cast<GCRelocateInst>(Val)) { 126 const auto &SpillMap = 127 Builder.FuncInfo.StatepointSpillMaps[Relocate->getStatepoint()]; 128 129 auto It = SpillMap.find(Relocate->getDerivedPtr()); 130 if (It == SpillMap.end()) 131 return None; 132 133 return It->second; 134 } 135 136 // Look through bitcast instructions. 137 if (const BitCastInst *Cast = dyn_cast<BitCastInst>(Val)) 138 return findPreviousSpillSlot(Cast->getOperand(0), Builder, LookUpDepth - 1); 139 140 // Look through phi nodes 141 // All incoming values should have same known stack slot, otherwise result 142 // is unknown. 143 if (const PHINode *Phi = dyn_cast<PHINode>(Val)) { 144 Optional<int> MergedResult = None; 145 146 for (auto &IncomingValue : Phi->incoming_values()) { 147 Optional<int> SpillSlot = 148 findPreviousSpillSlot(IncomingValue, Builder, LookUpDepth - 1); 149 if (!SpillSlot.hasValue()) 150 return None; 151 152 if (MergedResult.hasValue() && *MergedResult != *SpillSlot) 153 return None; 154 155 MergedResult = SpillSlot; 156 } 157 return MergedResult; 158 } 159 160 // TODO: We can do better for PHI nodes. In cases like this: 161 // ptr = phi(relocated_pointer, not_relocated_pointer) 162 // statepoint(ptr) 163 // We will return that stack slot for ptr is unknown. And later we might 164 // assign different stack slots for ptr and relocated_pointer. This limits 165 // llvm's ability to remove redundant stores. 166 // Unfortunately it's hard to accomplish in current infrastructure. 167 // We use this function to eliminate spill store completely, while 168 // in example we still need to emit store, but instead of any location 169 // we need to use special "preferred" location. 170 171 // TODO: handle simple updates. If a value is modified and the original 172 // value is no longer live, it would be nice to put the modified value in the 173 // same slot. This allows folding of the memory accesses for some 174 // instructions types (like an increment). 175 // statepoint (i) 176 // i1 = i+1 177 // statepoint (i1) 178 // However we need to be careful for cases like this: 179 // statepoint(i) 180 // i1 = i+1 181 // statepoint(i, i1) 182 // Here we want to reserve spill slot for 'i', but not for 'i+1'. If we just 183 // put handling of simple modifications in this function like it's done 184 // for bitcasts we might end up reserving i's slot for 'i+1' because order in 185 // which we visit values is unspecified. 186 187 // Don't know any information about this instruction 188 return None; 189 } 190 191 /// Try to find existing copies of the incoming values in stack slots used for 192 /// statepoint spilling. If we can find a spill slot for the incoming value, 193 /// mark that slot as allocated, and reuse the same slot for this safepoint. 194 /// This helps to avoid series of loads and stores that only serve to reshuffle 195 /// values on the stack between calls. 196 static void reservePreviousStackSlotForValue(const Value *IncomingValue, 197 SelectionDAGBuilder &Builder) { 198 199 SDValue Incoming = Builder.getValue(IncomingValue); 200 201 if (isa<ConstantSDNode>(Incoming) || isa<FrameIndexSDNode>(Incoming)) { 202 // We won't need to spill this, so no need to check for previously 203 // allocated stack slots 204 return; 205 } 206 207 SDValue OldLocation = Builder.StatepointLowering.getLocation(Incoming); 208 if (OldLocation.getNode()) 209 // Duplicates in input 210 return; 211 212 const int LookUpDepth = 6; 213 Optional<int> Index = 214 findPreviousSpillSlot(IncomingValue, Builder, LookUpDepth); 215 if (!Index.hasValue()) 216 return; 217 218 const auto &StatepointSlots = Builder.FuncInfo.StatepointStackSlots; 219 220 auto SlotIt = find(StatepointSlots, *Index); 221 assert(SlotIt != StatepointSlots.end() && 222 "Value spilled to the unknown stack slot"); 223 224 // This is one of our dedicated lowering slots 225 const int Offset = std::distance(StatepointSlots.begin(), SlotIt); 226 if (Builder.StatepointLowering.isStackSlotAllocated(Offset)) { 227 // stack slot already assigned to someone else, can't use it! 228 // TODO: currently we reserve space for gc arguments after doing 229 // normal allocation for deopt arguments. We should reserve for 230 // _all_ deopt and gc arguments, then start allocating. This 231 // will prevent some moves being inserted when vm state changes, 232 // but gc state doesn't between two calls. 233 return; 234 } 235 // Reserve this stack slot 236 Builder.StatepointLowering.reserveStackSlot(Offset); 237 238 // Cache this slot so we find it when going through the normal 239 // assignment loop. 240 SDValue Loc = Builder.DAG.getTargetFrameIndex(*Index, Incoming.getValueType()); 241 Builder.StatepointLowering.setLocation(Incoming, Loc); 242 } 243 244 /// Remove any duplicate (as SDValues) from the derived pointer pairs. This 245 /// is not required for correctness. It's purpose is to reduce the size of 246 /// StackMap section. It has no effect on the number of spill slots required 247 /// or the actual lowering. 248 static void 249 removeDuplicateGCPtrs(SmallVectorImpl<const Value *> &Bases, 250 SmallVectorImpl<const Value *> &Ptrs, 251 SmallVectorImpl<const GCRelocateInst *> &Relocs, 252 SelectionDAGBuilder &Builder, 253 FunctionLoweringInfo::StatepointSpillMap &SSM) { 254 DenseMap<SDValue, const Value *> Seen; 255 256 SmallVector<const Value *, 64> NewBases, NewPtrs; 257 SmallVector<const GCRelocateInst *, 64> NewRelocs; 258 for (size_t i = 0, e = Ptrs.size(); i < e; i++) { 259 SDValue SD = Builder.getValue(Ptrs[i]); 260 auto SeenIt = Seen.find(SD); 261 262 if (SeenIt == Seen.end()) { 263 // Only add non-duplicates 264 NewBases.push_back(Bases[i]); 265 NewPtrs.push_back(Ptrs[i]); 266 NewRelocs.push_back(Relocs[i]); 267 Seen[SD] = Ptrs[i]; 268 } else { 269 // Duplicate pointer found, note in SSM and move on: 270 SSM.DuplicateMap[Ptrs[i]] = SeenIt->second; 271 } 272 } 273 assert(Bases.size() >= NewBases.size()); 274 assert(Ptrs.size() >= NewPtrs.size()); 275 assert(Relocs.size() >= NewRelocs.size()); 276 Bases = NewBases; 277 Ptrs = NewPtrs; 278 Relocs = NewRelocs; 279 assert(Ptrs.size() == Bases.size()); 280 assert(Ptrs.size() == Relocs.size()); 281 } 282 283 /// Extract call from statepoint, lower it and return pointer to the 284 /// call node. Also update NodeMap so that getValue(statepoint) will 285 /// reference lowered call result 286 static std::pair<SDValue, SDNode *> lowerCallFromStatepointLoweringInfo( 287 SelectionDAGBuilder::StatepointLoweringInfo &SI, 288 SelectionDAGBuilder &Builder, SmallVectorImpl<SDValue> &PendingExports) { 289 290 SDValue ReturnValue, CallEndVal; 291 std::tie(ReturnValue, CallEndVal) = 292 Builder.lowerInvokable(SI.CLI, SI.EHPadBB); 293 SDNode *CallEnd = CallEndVal.getNode(); 294 295 // Get a call instruction from the call sequence chain. Tail calls are not 296 // allowed. The following code is essentially reverse engineering X86's 297 // LowerCallTo. 298 // 299 // We are expecting DAG to have the following form: 300 // 301 // ch = eh_label (only in case of invoke statepoint) 302 // ch, glue = callseq_start ch 303 // ch, glue = X86::Call ch, glue 304 // ch, glue = callseq_end ch, glue 305 // get_return_value ch, glue 306 // 307 // get_return_value can either be a sequence of CopyFromReg instructions 308 // to grab the return value from the return register(s), or it can be a LOAD 309 // to load a value returned by reference via a stack slot. 310 311 bool HasDef = !SI.CLI.RetTy->isVoidTy(); 312 if (HasDef) { 313 if (CallEnd->getOpcode() == ISD::LOAD) 314 CallEnd = CallEnd->getOperand(0).getNode(); 315 else 316 while (CallEnd->getOpcode() == ISD::CopyFromReg) 317 CallEnd = CallEnd->getOperand(0).getNode(); 318 } 319 320 assert(CallEnd->getOpcode() == ISD::CALLSEQ_END && "expected!"); 321 return std::make_pair(ReturnValue, CallEnd->getOperand(0).getNode()); 322 } 323 324 /// Spill a value incoming to the statepoint. It might be either part of 325 /// vmstate 326 /// or gcstate. In both cases unconditionally spill it on the stack unless it 327 /// is a null constant. Return pair with first element being frame index 328 /// containing saved value and second element with outgoing chain from the 329 /// emitted store 330 static std::pair<SDValue, SDValue> 331 spillIncomingStatepointValue(SDValue Incoming, SDValue Chain, 332 SelectionDAGBuilder &Builder) { 333 SDValue Loc = Builder.StatepointLowering.getLocation(Incoming); 334 335 // Emit new store if we didn't do it for this ptr before 336 if (!Loc.getNode()) { 337 Loc = Builder.StatepointLowering.allocateStackSlot(Incoming.getValueType(), 338 Builder); 339 int Index = cast<FrameIndexSDNode>(Loc)->getIndex(); 340 // We use TargetFrameIndex so that isel will not select it into LEA 341 Loc = Builder.DAG.getTargetFrameIndex(Index, Incoming.getValueType()); 342 343 // TODO: We can create TokenFactor node instead of 344 // chaining stores one after another, this may allow 345 // a bit more optimal scheduling for them 346 347 #ifndef NDEBUG 348 // Right now we always allocate spill slots that are of the same 349 // size as the value we're about to spill (the size of spillee can 350 // vary since we spill vectors of pointers too). At some point we 351 // can consider allowing spills of smaller values to larger slots 352 // (i.e. change the '==' in the assert below to a '>='). 353 MachineFrameInfo &MFI = Builder.DAG.getMachineFunction().getFrameInfo(); 354 assert((MFI.getObjectSize(Index) * 8) == 355 Incoming.getValueType().getSizeInBits() && 356 "Bad spill: stack slot does not match!"); 357 #endif 358 359 Chain = Builder.DAG.getStore(Chain, Builder.getCurSDLoc(), Incoming, Loc, 360 MachinePointerInfo::getFixedStack( 361 Builder.DAG.getMachineFunction(), Index)); 362 363 Builder.StatepointLowering.setLocation(Incoming, Loc); 364 } 365 366 assert(Loc.getNode()); 367 return std::make_pair(Loc, Chain); 368 } 369 370 /// Lower a single value incoming to a statepoint node. This value can be 371 /// either a deopt value or a gc value, the handling is the same. We special 372 /// case constants and allocas, then fall back to spilling if required. 373 static void lowerIncomingStatepointValue(SDValue Incoming, bool LiveInOnly, 374 SmallVectorImpl<SDValue> &Ops, 375 SelectionDAGBuilder &Builder) { 376 SDValue Chain = Builder.getRoot(); 377 378 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Incoming)) { 379 // If the original value was a constant, make sure it gets recorded as 380 // such in the stackmap. This is required so that the consumer can 381 // parse any internal format to the deopt state. It also handles null 382 // pointers and other constant pointers in GC states. Note the constant 383 // vectors do not appear to actually hit this path and that anything larger 384 // than an i64 value (not type!) will fail asserts here. 385 pushStackMapConstant(Ops, Builder, C->getSExtValue()); 386 } else if (FrameIndexSDNode *FI = dyn_cast<FrameIndexSDNode>(Incoming)) { 387 // This handles allocas as arguments to the statepoint (this is only 388 // really meaningful for a deopt value. For GC, we'd be trying to 389 // relocate the address of the alloca itself?) 390 Ops.push_back(Builder.DAG.getTargetFrameIndex(FI->getIndex(), 391 Incoming.getValueType())); 392 } else if (LiveInOnly) { 393 // If this value is live in (not live-on-return, or live-through), we can 394 // treat it the same way patchpoint treats it's "live in" values. We'll 395 // end up folding some of these into stack references, but they'll be 396 // handled by the register allocator. Note that we do not have the notion 397 // of a late use so these values might be placed in registers which are 398 // clobbered by the call. This is fine for live-in. 399 Ops.push_back(Incoming); 400 } else { 401 // Otherwise, locate a spill slot and explicitly spill it so it 402 // can be found by the runtime later. We currently do not support 403 // tracking values through callee saved registers to their eventual 404 // spill location. This would be a useful optimization, but would 405 // need to be optional since it requires a lot of complexity on the 406 // runtime side which not all would support. 407 auto Res = spillIncomingStatepointValue(Incoming, Chain, Builder); 408 Ops.push_back(Res.first); 409 Chain = Res.second; 410 } 411 412 Builder.DAG.setRoot(Chain); 413 } 414 415 /// Lower deopt state and gc pointer arguments of the statepoint. The actual 416 /// lowering is described in lowerIncomingStatepointValue. This function is 417 /// responsible for lowering everything in the right position and playing some 418 /// tricks to avoid redundant stack manipulation where possible. On 419 /// completion, 'Ops' will contain ready to use operands for machine code 420 /// statepoint. The chain nodes will have already been created and the DAG root 421 /// will be set to the last value spilled (if any were). 422 static void 423 lowerStatepointMetaArgs(SmallVectorImpl<SDValue> &Ops, 424 SelectionDAGBuilder::StatepointLoweringInfo &SI, 425 SelectionDAGBuilder &Builder) { 426 // Lower the deopt and gc arguments for this statepoint. Layout will be: 427 // deopt argument length, deopt arguments.., gc arguments... 428 #ifndef NDEBUG 429 if (auto *GFI = Builder.GFI) { 430 // Check that each of the gc pointer and bases we've gotten out of the 431 // safepoint is something the strategy thinks might be a pointer (or vector 432 // of pointers) into the GC heap. This is basically just here to help catch 433 // errors during statepoint insertion. TODO: This should actually be in the 434 // Verifier, but we can't get to the GCStrategy from there (yet). 435 GCStrategy &S = GFI->getStrategy(); 436 for (const Value *V : SI.Bases) { 437 auto Opt = S.isGCManagedPointer(V->getType()->getScalarType()); 438 if (Opt.hasValue()) { 439 assert(Opt.getValue() && 440 "non gc managed base pointer found in statepoint"); 441 } 442 } 443 for (const Value *V : SI.Ptrs) { 444 auto Opt = S.isGCManagedPointer(V->getType()->getScalarType()); 445 if (Opt.hasValue()) { 446 assert(Opt.getValue() && 447 "non gc managed derived pointer found in statepoint"); 448 } 449 } 450 assert(SI.Bases.size() == SI.Ptrs.size() && "Pointer without base!"); 451 } else { 452 assert(SI.Bases.empty() && "No gc specified, so cannot relocate pointers!"); 453 assert(SI.Ptrs.empty() && "No gc specified, so cannot relocate pointers!"); 454 } 455 #endif 456 457 // Figure out what lowering strategy we're going to use for each part 458 // Note: Is is conservatively correct to lower both "live-in" and "live-out" 459 // as "live-through". A "live-through" variable is one which is "live-in", 460 // "live-out", and live throughout the lifetime of the call (i.e. we can find 461 // it from any PC within the transitive callee of the statepoint). In 462 // particular, if the callee spills callee preserved registers we may not 463 // be able to find a value placed in that register during the call. This is 464 // fine for live-out, but not for live-through. If we were willing to make 465 // assumptions about the code generator producing the callee, we could 466 // potentially allow live-through values in callee saved registers. 467 const bool LiveInDeopt = 468 SI.StatepointFlags & (uint64_t)StatepointFlags::DeoptLiveIn; 469 470 auto isGCValue =[&](const Value *V) { 471 return is_contained(SI.Ptrs, V) || is_contained(SI.Bases, V); 472 }; 473 474 // Before we actually start lowering (and allocating spill slots for values), 475 // reserve any stack slots which we judge to be profitable to reuse for a 476 // particular value. This is purely an optimization over the code below and 477 // doesn't change semantics at all. It is important for performance that we 478 // reserve slots for both deopt and gc values before lowering either. 479 for (const Value *V : SI.DeoptState) { 480 if (!LiveInDeopt || isGCValue(V)) 481 reservePreviousStackSlotForValue(V, Builder); 482 } 483 for (unsigned i = 0; i < SI.Bases.size(); ++i) { 484 reservePreviousStackSlotForValue(SI.Bases[i], Builder); 485 reservePreviousStackSlotForValue(SI.Ptrs[i], Builder); 486 } 487 488 // First, prefix the list with the number of unique values to be 489 // lowered. Note that this is the number of *Values* not the 490 // number of SDValues required to lower them. 491 const int NumVMSArgs = SI.DeoptState.size(); 492 pushStackMapConstant(Ops, Builder, NumVMSArgs); 493 494 // The vm state arguments are lowered in an opaque manner. We do not know 495 // what type of values are contained within. 496 for (const Value *V : SI.DeoptState) { 497 SDValue Incoming = Builder.getValue(V); 498 const bool LiveInValue = LiveInDeopt && !isGCValue(V); 499 lowerIncomingStatepointValue(Incoming, LiveInValue, Ops, Builder); 500 } 501 502 // Finally, go ahead and lower all the gc arguments. There's no prefixed 503 // length for this one. After lowering, we'll have the base and pointer 504 // arrays interwoven with each (lowered) base pointer immediately followed by 505 // it's (lowered) derived pointer. i.e 506 // (base[0], ptr[0], base[1], ptr[1], ...) 507 for (unsigned i = 0; i < SI.Bases.size(); ++i) { 508 const Value *Base = SI.Bases[i]; 509 lowerIncomingStatepointValue(Builder.getValue(Base), /*LiveInOnly*/ false, 510 Ops, Builder); 511 512 const Value *Ptr = SI.Ptrs[i]; 513 lowerIncomingStatepointValue(Builder.getValue(Ptr), /*LiveInOnly*/ false, 514 Ops, Builder); 515 } 516 517 // If there are any explicit spill slots passed to the statepoint, record 518 // them, but otherwise do not do anything special. These are user provided 519 // allocas and give control over placement to the consumer. In this case, 520 // it is the contents of the slot which may get updated, not the pointer to 521 // the alloca 522 for (Value *V : SI.GCArgs) { 523 SDValue Incoming = Builder.getValue(V); 524 if (FrameIndexSDNode *FI = dyn_cast<FrameIndexSDNode>(Incoming)) { 525 // This handles allocas as arguments to the statepoint 526 Ops.push_back(Builder.DAG.getTargetFrameIndex(FI->getIndex(), 527 Incoming.getValueType())); 528 } 529 } 530 531 // Record computed locations for all lowered values. 532 // This can not be embedded in lowering loops as we need to record *all* 533 // values, while previous loops account only values with unique SDValues. 534 const Instruction *StatepointInstr = SI.StatepointInstr; 535 auto &SpillMap = Builder.FuncInfo.StatepointSpillMaps[StatepointInstr]; 536 537 for (const GCRelocateInst *Relocate : SI.GCRelocates) { 538 const Value *V = Relocate->getDerivedPtr(); 539 SDValue SDV = Builder.getValue(V); 540 SDValue Loc = Builder.StatepointLowering.getLocation(SDV); 541 542 if (Loc.getNode()) { 543 SpillMap.SlotMap[V] = cast<FrameIndexSDNode>(Loc)->getIndex(); 544 } else { 545 // Record value as visited, but not spilled. This is case for allocas 546 // and constants. For this values we can avoid emitting spill load while 547 // visiting corresponding gc_relocate. 548 // Actually we do not need to record them in this map at all. 549 // We do this only to check that we are not relocating any unvisited 550 // value. 551 SpillMap.SlotMap[V] = None; 552 553 // Default llvm mechanisms for exporting values which are used in 554 // different basic blocks does not work for gc relocates. 555 // Note that it would be incorrect to teach llvm that all relocates are 556 // uses of the corresponding values so that it would automatically 557 // export them. Relocates of the spilled values does not use original 558 // value. 559 if (Relocate->getParent() != StatepointInstr->getParent()) 560 Builder.ExportFromCurrentBlock(V); 561 } 562 } 563 } 564 565 SDValue SelectionDAGBuilder::LowerAsSTATEPOINT( 566 SelectionDAGBuilder::StatepointLoweringInfo &SI) { 567 // The basic scheme here is that information about both the original call and 568 // the safepoint is encoded in the CallInst. We create a temporary call and 569 // lower it, then reverse engineer the calling sequence. 570 571 NumOfStatepoints++; 572 // Clear state 573 StatepointLowering.startNewStatepoint(*this); 574 575 #ifndef NDEBUG 576 // We schedule gc relocates before removeDuplicateGCPtrs since we _will_ 577 // encounter the duplicate gc relocates we elide in removeDuplicateGCPtrs. 578 for (auto *Reloc : SI.GCRelocates) 579 if (Reloc->getParent() == SI.StatepointInstr->getParent()) 580 StatepointLowering.scheduleRelocCall(*Reloc); 581 #endif 582 583 // Remove any redundant llvm::Values which map to the same SDValue as another 584 // input. Also has the effect of removing duplicates in the original 585 // llvm::Value input list as well. This is a useful optimization for 586 // reducing the size of the StackMap section. It has no other impact. 587 removeDuplicateGCPtrs(SI.Bases, SI.Ptrs, SI.GCRelocates, *this, 588 FuncInfo.StatepointSpillMaps[SI.StatepointInstr]); 589 assert(SI.Bases.size() == SI.Ptrs.size() && 590 SI.Ptrs.size() == SI.GCRelocates.size()); 591 592 // Lower statepoint vmstate and gcstate arguments 593 SmallVector<SDValue, 10> LoweredMetaArgs; 594 lowerStatepointMetaArgs(LoweredMetaArgs, SI, *this); 595 596 // Now that we've emitted the spills, we need to update the root so that the 597 // call sequence is ordered correctly. 598 SI.CLI.setChain(getRoot()); 599 600 // Get call node, we will replace it later with statepoint 601 SDValue ReturnVal; 602 SDNode *CallNode; 603 std::tie(ReturnVal, CallNode) = 604 lowerCallFromStatepointLoweringInfo(SI, *this, PendingExports); 605 606 // Construct the actual GC_TRANSITION_START, STATEPOINT, and GC_TRANSITION_END 607 // nodes with all the appropriate arguments and return values. 608 609 // Call Node: Chain, Target, {Args}, RegMask, [Glue] 610 SDValue Chain = CallNode->getOperand(0); 611 612 SDValue Glue; 613 bool CallHasIncomingGlue = CallNode->getGluedNode(); 614 if (CallHasIncomingGlue) { 615 // Glue is always last operand 616 Glue = CallNode->getOperand(CallNode->getNumOperands() - 1); 617 } 618 619 // Build the GC_TRANSITION_START node if necessary. 620 // 621 // The operands to the GC_TRANSITION_{START,END} nodes are laid out in the 622 // order in which they appear in the call to the statepoint intrinsic. If 623 // any of the operands is a pointer-typed, that operand is immediately 624 // followed by a SRCVALUE for the pointer that may be used during lowering 625 // (e.g. to form MachinePointerInfo values for loads/stores). 626 const bool IsGCTransition = 627 (SI.StatepointFlags & (uint64_t)StatepointFlags::GCTransition) == 628 (uint64_t)StatepointFlags::GCTransition; 629 if (IsGCTransition) { 630 SmallVector<SDValue, 8> TSOps; 631 632 // Add chain 633 TSOps.push_back(Chain); 634 635 // Add GC transition arguments 636 for (const Value *V : SI.GCTransitionArgs) { 637 TSOps.push_back(getValue(V)); 638 if (V->getType()->isPointerTy()) 639 TSOps.push_back(DAG.getSrcValue(V)); 640 } 641 642 // Add glue if necessary 643 if (CallHasIncomingGlue) 644 TSOps.push_back(Glue); 645 646 SDVTList NodeTys = DAG.getVTList(MVT::Other, MVT::Glue); 647 648 SDValue GCTransitionStart = 649 DAG.getNode(ISD::GC_TRANSITION_START, getCurSDLoc(), NodeTys, TSOps); 650 651 Chain = GCTransitionStart.getValue(0); 652 Glue = GCTransitionStart.getValue(1); 653 } 654 655 // TODO: Currently, all of these operands are being marked as read/write in 656 // PrologEpilougeInserter.cpp, we should special case the VMState arguments 657 // and flags to be read-only. 658 SmallVector<SDValue, 40> Ops; 659 660 // Add the <id> and <numBytes> constants. 661 Ops.push_back(DAG.getTargetConstant(SI.ID, getCurSDLoc(), MVT::i64)); 662 Ops.push_back( 663 DAG.getTargetConstant(SI.NumPatchBytes, getCurSDLoc(), MVT::i32)); 664 665 // Calculate and push starting position of vmstate arguments 666 // Get number of arguments incoming directly into call node 667 unsigned NumCallRegArgs = 668 CallNode->getNumOperands() - (CallHasIncomingGlue ? 4 : 3); 669 Ops.push_back(DAG.getTargetConstant(NumCallRegArgs, getCurSDLoc(), MVT::i32)); 670 671 // Add call target 672 SDValue CallTarget = SDValue(CallNode->getOperand(1).getNode(), 0); 673 Ops.push_back(CallTarget); 674 675 // Add call arguments 676 // Get position of register mask in the call 677 SDNode::op_iterator RegMaskIt; 678 if (CallHasIncomingGlue) 679 RegMaskIt = CallNode->op_end() - 2; 680 else 681 RegMaskIt = CallNode->op_end() - 1; 682 Ops.insert(Ops.end(), CallNode->op_begin() + 2, RegMaskIt); 683 684 // Add a constant argument for the calling convention 685 pushStackMapConstant(Ops, *this, SI.CLI.CallConv); 686 687 // Add a constant argument for the flags 688 uint64_t Flags = SI.StatepointFlags; 689 assert(((Flags & ~(uint64_t)StatepointFlags::MaskAll) == 0) && 690 "Unknown flag used"); 691 pushStackMapConstant(Ops, *this, Flags); 692 693 // Insert all vmstate and gcstate arguments 694 Ops.insert(Ops.end(), LoweredMetaArgs.begin(), LoweredMetaArgs.end()); 695 696 // Add register mask from call node 697 Ops.push_back(*RegMaskIt); 698 699 // Add chain 700 Ops.push_back(Chain); 701 702 // Same for the glue, but we add it only if original call had it 703 if (Glue.getNode()) 704 Ops.push_back(Glue); 705 706 // Compute return values. Provide a glue output since we consume one as 707 // input. This allows someone else to chain off us as needed. 708 SDVTList NodeTys = DAG.getVTList(MVT::Other, MVT::Glue); 709 710 SDNode *StatepointMCNode = 711 DAG.getMachineNode(TargetOpcode::STATEPOINT, getCurSDLoc(), NodeTys, Ops); 712 713 SDNode *SinkNode = StatepointMCNode; 714 715 // Build the GC_TRANSITION_END node if necessary. 716 // 717 // See the comment above regarding GC_TRANSITION_START for the layout of 718 // the operands to the GC_TRANSITION_END node. 719 if (IsGCTransition) { 720 SmallVector<SDValue, 8> TEOps; 721 722 // Add chain 723 TEOps.push_back(SDValue(StatepointMCNode, 0)); 724 725 // Add GC transition arguments 726 for (const Value *V : SI.GCTransitionArgs) { 727 TEOps.push_back(getValue(V)); 728 if (V->getType()->isPointerTy()) 729 TEOps.push_back(DAG.getSrcValue(V)); 730 } 731 732 // Add glue 733 TEOps.push_back(SDValue(StatepointMCNode, 1)); 734 735 SDVTList NodeTys = DAG.getVTList(MVT::Other, MVT::Glue); 736 737 SDValue GCTransitionStart = 738 DAG.getNode(ISD::GC_TRANSITION_END, getCurSDLoc(), NodeTys, TEOps); 739 740 SinkNode = GCTransitionStart.getNode(); 741 } 742 743 // Replace original call 744 DAG.ReplaceAllUsesWith(CallNode, SinkNode); // This may update Root 745 // Remove original call node 746 DAG.DeleteNode(CallNode); 747 748 // DON'T set the root - under the assumption that it's already set past the 749 // inserted node we created. 750 751 // TODO: A better future implementation would be to emit a single variable 752 // argument, variable return value STATEPOINT node here and then hookup the 753 // return value of each gc.relocate to the respective output of the 754 // previously emitted STATEPOINT value. Unfortunately, this doesn't appear 755 // to actually be possible today. 756 757 return ReturnVal; 758 } 759 760 void 761 SelectionDAGBuilder::LowerStatepoint(ImmutableStatepoint ISP, 762 const BasicBlock *EHPadBB /*= nullptr*/) { 763 assert(ISP.getCallSite().getCallingConv() != CallingConv::AnyReg && 764 "anyregcc is not supported on statepoints!"); 765 766 #ifndef NDEBUG 767 // If this is a malformed statepoint, report it early to simplify debugging. 768 // This should catch any IR level mistake that's made when constructing or 769 // transforming statepoints. 770 ISP.verify(); 771 772 // Check that the associated GCStrategy expects to encounter statepoints. 773 assert(GFI->getStrategy().useStatepoints() && 774 "GCStrategy does not expect to encounter statepoints"); 775 #endif 776 777 SDValue ActualCallee; 778 779 if (ISP.getNumPatchBytes() > 0) { 780 // If we've been asked to emit a nop sequence instead of a call instruction 781 // for this statepoint then don't lower the call target, but use a constant 782 // `null` instead. Not lowering the call target lets statepoint clients get 783 // away without providing a physical address for the symbolic call target at 784 // link time. 785 786 const auto &TLI = DAG.getTargetLoweringInfo(); 787 const auto &DL = DAG.getDataLayout(); 788 789 unsigned AS = ISP.getCalledValue()->getType()->getPointerAddressSpace(); 790 ActualCallee = DAG.getConstant(0, getCurSDLoc(), TLI.getPointerTy(DL, AS)); 791 } else { 792 ActualCallee = getValue(ISP.getCalledValue()); 793 } 794 795 StatepointLoweringInfo SI(DAG); 796 populateCallLoweringInfo(SI.CLI, ISP.getCallSite(), 797 ImmutableStatepoint::CallArgsBeginPos, 798 ISP.getNumCallArgs(), ActualCallee, 799 ISP.getActualReturnType(), false /* IsPatchPoint */); 800 801 for (const GCRelocateInst *Relocate : ISP.getRelocates()) { 802 SI.GCRelocates.push_back(Relocate); 803 SI.Bases.push_back(Relocate->getBasePtr()); 804 SI.Ptrs.push_back(Relocate->getDerivedPtr()); 805 } 806 807 SI.GCArgs = ArrayRef<const Use>(ISP.gc_args_begin(), ISP.gc_args_end()); 808 SI.StatepointInstr = ISP.getInstruction(); 809 SI.GCTransitionArgs = 810 ArrayRef<const Use>(ISP.gc_args_begin(), ISP.gc_args_end()); 811 SI.ID = ISP.getID(); 812 SI.DeoptState = ArrayRef<const Use>(ISP.vm_state_begin(), ISP.vm_state_end()); 813 SI.StatepointFlags = ISP.getFlags(); 814 SI.NumPatchBytes = ISP.getNumPatchBytes(); 815 SI.EHPadBB = EHPadBB; 816 817 SDValue ReturnValue = LowerAsSTATEPOINT(SI); 818 819 // Export the result value if needed 820 const GCResultInst *GCResult = ISP.getGCResult(); 821 Type *RetTy = ISP.getActualReturnType(); 822 if (!RetTy->isVoidTy() && GCResult) { 823 if (GCResult->getParent() != ISP.getCallSite().getParent()) { 824 // Result value will be used in a different basic block so we need to 825 // export it now. Default exporting mechanism will not work here because 826 // statepoint call has a different type than the actual call. It means 827 // that by default llvm will create export register of the wrong type 828 // (always i32 in our case). So instead we need to create export register 829 // with correct type manually. 830 // TODO: To eliminate this problem we can remove gc.result intrinsics 831 // completely and make statepoint call to return a tuple. 832 unsigned Reg = FuncInfo.CreateRegs(RetTy); 833 RegsForValue RFV(*DAG.getContext(), DAG.getTargetLoweringInfo(), 834 DAG.getDataLayout(), Reg, RetTy); 835 SDValue Chain = DAG.getEntryNode(); 836 837 RFV.getCopyToRegs(ReturnValue, DAG, getCurSDLoc(), Chain, nullptr); 838 PendingExports.push_back(Chain); 839 FuncInfo.ValueMap[ISP.getInstruction()] = Reg; 840 } else { 841 // Result value will be used in a same basic block. Don't export it or 842 // perform any explicit register copies. 843 // We'll replace the actuall call node shortly. gc_result will grab 844 // this value. 845 setValue(ISP.getInstruction(), ReturnValue); 846 } 847 } else { 848 // The token value is never used from here on, just generate a poison value 849 setValue(ISP.getInstruction(), DAG.getIntPtrConstant(-1, getCurSDLoc())); 850 } 851 } 852 853 void SelectionDAGBuilder::LowerCallSiteWithDeoptBundleImpl( 854 ImmutableCallSite CS, SDValue Callee, const BasicBlock *EHPadBB, 855 bool VarArgDisallowed, bool ForceVoidReturnTy) { 856 StatepointLoweringInfo SI(DAG); 857 unsigned ArgBeginIndex = CS.arg_begin() - CS.getInstruction()->op_begin(); 858 populateCallLoweringInfo( 859 SI.CLI, CS, ArgBeginIndex, CS.getNumArgOperands(), Callee, 860 ForceVoidReturnTy ? Type::getVoidTy(*DAG.getContext()) : CS.getType(), 861 false); 862 if (!VarArgDisallowed) 863 SI.CLI.IsVarArg = CS.getFunctionType()->isVarArg(); 864 865 auto DeoptBundle = *CS.getOperandBundle(LLVMContext::OB_deopt); 866 867 unsigned DefaultID = StatepointDirectives::DeoptBundleStatepointID; 868 869 auto SD = parseStatepointDirectivesFromAttrs(CS.getAttributes()); 870 SI.ID = SD.StatepointID.getValueOr(DefaultID); 871 SI.NumPatchBytes = SD.NumPatchBytes.getValueOr(0); 872 873 SI.DeoptState = 874 ArrayRef<const Use>(DeoptBundle.Inputs.begin(), DeoptBundle.Inputs.end()); 875 SI.StatepointFlags = static_cast<uint64_t>(StatepointFlags::None); 876 SI.EHPadBB = EHPadBB; 877 878 // NB! The GC arguments are deliberately left empty. 879 880 if (SDValue ReturnVal = LowerAsSTATEPOINT(SI)) { 881 const Instruction *Inst = CS.getInstruction(); 882 ReturnVal = lowerRangeToAssertZExt(DAG, *Inst, ReturnVal); 883 setValue(Inst, ReturnVal); 884 } 885 } 886 887 void SelectionDAGBuilder::LowerCallSiteWithDeoptBundle( 888 ImmutableCallSite CS, SDValue Callee, const BasicBlock *EHPadBB) { 889 LowerCallSiteWithDeoptBundleImpl(CS, Callee, EHPadBB, 890 /* VarArgDisallowed = */ false, 891 /* ForceVoidReturnTy = */ false); 892 } 893 894 void SelectionDAGBuilder::visitGCResult(const GCResultInst &CI) { 895 // The result value of the gc_result is simply the result of the actual 896 // call. We've already emitted this, so just grab the value. 897 const Instruction *I = CI.getStatepoint(); 898 899 if (I->getParent() != CI.getParent()) { 900 // Statepoint is in different basic block so we should have stored call 901 // result in a virtual register. 902 // We can not use default getValue() functionality to copy value from this 903 // register because statepoint and actual call return types can be 904 // different, and getValue() will use CopyFromReg of the wrong type, 905 // which is always i32 in our case. 906 PointerType *CalleeType = cast<PointerType>( 907 ImmutableStatepoint(I).getCalledValue()->getType()); 908 Type *RetTy = 909 cast<FunctionType>(CalleeType->getElementType())->getReturnType(); 910 SDValue CopyFromReg = getCopyFromRegs(I, RetTy); 911 912 assert(CopyFromReg.getNode()); 913 setValue(&CI, CopyFromReg); 914 } else { 915 setValue(&CI, getValue(I)); 916 } 917 } 918 919 void SelectionDAGBuilder::visitGCRelocate(const GCRelocateInst &Relocate) { 920 #ifndef NDEBUG 921 // Consistency check 922 // We skip this check for relocates not in the same basic block as thier 923 // statepoint. It would be too expensive to preserve validation info through 924 // different basic blocks. 925 if (Relocate.getStatepoint()->getParent() == Relocate.getParent()) 926 StatepointLowering.relocCallVisited(Relocate); 927 928 auto *Ty = Relocate.getType()->getScalarType(); 929 if (auto IsManaged = GFI->getStrategy().isGCManagedPointer(Ty)) 930 assert(*IsManaged && "Non gc managed pointer relocated!"); 931 #endif 932 933 const Value *DerivedPtr = Relocate.getDerivedPtr(); 934 SDValue SD = getValue(DerivedPtr); 935 936 auto &SpillMap = FuncInfo.StatepointSpillMaps[Relocate.getStatepoint()]; 937 auto SlotIt = SpillMap.find(DerivedPtr); 938 assert(SlotIt != SpillMap.end() && "Relocating not lowered gc value"); 939 Optional<int> DerivedPtrLocation = SlotIt->second; 940 941 // We didn't need to spill these special cases (constants and allocas). 942 // See the handling in spillIncomingValueForStatepoint for detail. 943 if (!DerivedPtrLocation) { 944 setValue(&Relocate, SD); 945 return; 946 } 947 948 SDValue SpillSlot = DAG.getTargetFrameIndex(*DerivedPtrLocation, 949 SD.getValueType()); 950 951 // Be conservative: flush all pending loads 952 // TODO: Probably we can be less restrictive on this, 953 // it may allow more scheduling opportunities. 954 SDValue Chain = getRoot(); 955 956 SDValue SpillLoad = 957 DAG.getLoad(SpillSlot.getValueType(), getCurSDLoc(), Chain, SpillSlot, 958 MachinePointerInfo::getFixedStack(DAG.getMachineFunction(), 959 *DerivedPtrLocation)); 960 961 // Again, be conservative, don't emit pending loads 962 DAG.setRoot(SpillLoad.getValue(1)); 963 964 assert(SpillLoad.getNode()); 965 setValue(&Relocate, SpillLoad); 966 } 967 968 void SelectionDAGBuilder::LowerDeoptimizeCall(const CallInst *CI) { 969 const auto &TLI = DAG.getTargetLoweringInfo(); 970 SDValue Callee = DAG.getExternalSymbol(TLI.getLibcallName(RTLIB::DEOPTIMIZE), 971 TLI.getPointerTy(DAG.getDataLayout())); 972 973 // We don't lower calls to __llvm_deoptimize as varargs, but as a regular 974 // call. We also do not lower the return value to any virtual register, and 975 // change the immediately following return to a trap instruction. 976 LowerCallSiteWithDeoptBundleImpl(CI, Callee, /* EHPadBB = */ nullptr, 977 /* VarArgDisallowed = */ true, 978 /* ForceVoidReturnTy = */ true); 979 } 980 981 void SelectionDAGBuilder::LowerDeoptimizingReturn() { 982 // We do not lower the return value from llvm.deoptimize to any virtual 983 // register, and change the immediately following return to a trap 984 // instruction. 985 if (DAG.getTarget().Options.TrapUnreachable) 986 DAG.setRoot( 987 DAG.getNode(ISD::TRAP, getCurSDLoc(), MVT::Other, DAG.getRoot())); 988 } 989