1 //===-- X86FrameLowering.cpp - X86 Frame Information ----------------------===// 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 contains the X86 implementation of TargetFrameLowering class. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "X86FrameLowering.h" 15 #include "X86InstrBuilder.h" 16 #include "X86InstrInfo.h" 17 #include "X86MachineFunctionInfo.h" 18 #include "X86Subtarget.h" 19 #include "X86TargetMachine.h" 20 #include "llvm/ADT/SmallSet.h" 21 #include "llvm/CodeGen/MachineFrameInfo.h" 22 #include "llvm/CodeGen/MachineFunction.h" 23 #include "llvm/CodeGen/MachineInstrBuilder.h" 24 #include "llvm/CodeGen/MachineModuleInfo.h" 25 #include "llvm/CodeGen/MachineRegisterInfo.h" 26 #include "llvm/DataLayout.h" 27 #include "llvm/Function.h" 28 #include "llvm/MC/MCAsmInfo.h" 29 #include "llvm/MC/MCSymbol.h" 30 #include "llvm/Support/CommandLine.h" 31 #include "llvm/Target/TargetOptions.h" 32 33 using namespace llvm; 34 35 // FIXME: completely move here. 36 extern cl::opt<bool> ForceStackAlign; 37 38 bool X86FrameLowering::hasReservedCallFrame(const MachineFunction &MF) const { 39 return !MF.getFrameInfo()->hasVarSizedObjects(); 40 } 41 42 /// hasFP - Return true if the specified function should have a dedicated frame 43 /// pointer register. This is true if the function has variable sized allocas 44 /// or if frame pointer elimination is disabled. 45 bool X86FrameLowering::hasFP(const MachineFunction &MF) const { 46 const MachineFrameInfo *MFI = MF.getFrameInfo(); 47 const MachineModuleInfo &MMI = MF.getMMI(); 48 const TargetRegisterInfo *RegInfo = TM.getRegisterInfo(); 49 50 return (MF.getTarget().Options.DisableFramePointerElim(MF) || 51 RegInfo->needsStackRealignment(MF) || 52 MFI->hasVarSizedObjects() || 53 MFI->isFrameAddressTaken() || 54 MF.getInfo<X86MachineFunctionInfo>()->getForceFramePointer() || 55 MMI.callsUnwindInit() || MMI.callsEHReturn()); 56 } 57 58 static unsigned getSUBriOpcode(unsigned is64Bit, int64_t Imm) { 59 if (is64Bit) { 60 if (isInt<8>(Imm)) 61 return X86::SUB64ri8; 62 return X86::SUB64ri32; 63 } else { 64 if (isInt<8>(Imm)) 65 return X86::SUB32ri8; 66 return X86::SUB32ri; 67 } 68 } 69 70 static unsigned getADDriOpcode(unsigned is64Bit, int64_t Imm) { 71 if (is64Bit) { 72 if (isInt<8>(Imm)) 73 return X86::ADD64ri8; 74 return X86::ADD64ri32; 75 } else { 76 if (isInt<8>(Imm)) 77 return X86::ADD32ri8; 78 return X86::ADD32ri; 79 } 80 } 81 82 static unsigned getLEArOpcode(unsigned is64Bit) { 83 return is64Bit ? X86::LEA64r : X86::LEA32r; 84 } 85 86 /// findDeadCallerSavedReg - Return a caller-saved register that isn't live 87 /// when it reaches the "return" instruction. We can then pop a stack object 88 /// to this register without worry about clobbering it. 89 static unsigned findDeadCallerSavedReg(MachineBasicBlock &MBB, 90 MachineBasicBlock::iterator &MBBI, 91 const TargetRegisterInfo &TRI, 92 bool Is64Bit) { 93 const MachineFunction *MF = MBB.getParent(); 94 const Function *F = MF->getFunction(); 95 if (!F || MF->getMMI().callsEHReturn()) 96 return 0; 97 98 static const uint16_t CallerSavedRegs32Bit[] = { 99 X86::EAX, X86::EDX, X86::ECX, 0 100 }; 101 102 static const uint16_t CallerSavedRegs64Bit[] = { 103 X86::RAX, X86::RDX, X86::RCX, X86::RSI, X86::RDI, 104 X86::R8, X86::R9, X86::R10, X86::R11, 0 105 }; 106 107 unsigned Opc = MBBI->getOpcode(); 108 switch (Opc) { 109 default: return 0; 110 case X86::RET: 111 case X86::RETI: 112 case X86::TCRETURNdi: 113 case X86::TCRETURNri: 114 case X86::TCRETURNmi: 115 case X86::TCRETURNdi64: 116 case X86::TCRETURNri64: 117 case X86::TCRETURNmi64: 118 case X86::EH_RETURN: 119 case X86::EH_RETURN64: { 120 SmallSet<uint16_t, 8> Uses; 121 for (unsigned i = 0, e = MBBI->getNumOperands(); i != e; ++i) { 122 MachineOperand &MO = MBBI->getOperand(i); 123 if (!MO.isReg() || MO.isDef()) 124 continue; 125 unsigned Reg = MO.getReg(); 126 if (!Reg) 127 continue; 128 for (MCRegAliasIterator AI(Reg, &TRI, true); AI.isValid(); ++AI) 129 Uses.insert(*AI); 130 } 131 132 const uint16_t *CS = Is64Bit ? CallerSavedRegs64Bit : CallerSavedRegs32Bit; 133 for (; *CS; ++CS) 134 if (!Uses.count(*CS)) 135 return *CS; 136 } 137 } 138 139 return 0; 140 } 141 142 143 /// emitSPUpdate - Emit a series of instructions to increment / decrement the 144 /// stack pointer by a constant value. 145 static 146 void emitSPUpdate(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI, 147 unsigned StackPtr, int64_t NumBytes, 148 bool Is64Bit, bool UseLEA, 149 const TargetInstrInfo &TII, const TargetRegisterInfo &TRI) { 150 bool isSub = NumBytes < 0; 151 uint64_t Offset = isSub ? -NumBytes : NumBytes; 152 unsigned Opc; 153 if (UseLEA) 154 Opc = getLEArOpcode(Is64Bit); 155 else 156 Opc = isSub 157 ? getSUBriOpcode(Is64Bit, Offset) 158 : getADDriOpcode(Is64Bit, Offset); 159 160 uint64_t Chunk = (1LL << 31) - 1; 161 DebugLoc DL = MBB.findDebugLoc(MBBI); 162 163 while (Offset) { 164 uint64_t ThisVal = (Offset > Chunk) ? Chunk : Offset; 165 if (ThisVal == (Is64Bit ? 8 : 4)) { 166 // Use push / pop instead. 167 unsigned Reg = isSub 168 ? (unsigned)(Is64Bit ? X86::RAX : X86::EAX) 169 : findDeadCallerSavedReg(MBB, MBBI, TRI, Is64Bit); 170 if (Reg) { 171 Opc = isSub 172 ? (Is64Bit ? X86::PUSH64r : X86::PUSH32r) 173 : (Is64Bit ? X86::POP64r : X86::POP32r); 174 MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII.get(Opc)) 175 .addReg(Reg, getDefRegState(!isSub) | getUndefRegState(isSub)); 176 if (isSub) 177 MI->setFlag(MachineInstr::FrameSetup); 178 Offset -= ThisVal; 179 continue; 180 } 181 } 182 183 MachineInstr *MI = NULL; 184 185 if (UseLEA) { 186 MI = addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr), 187 StackPtr, false, isSub ? -ThisVal : ThisVal); 188 } else { 189 MI = BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr) 190 .addReg(StackPtr) 191 .addImm(ThisVal); 192 MI->getOperand(3).setIsDead(); // The EFLAGS implicit def is dead. 193 } 194 195 if (isSub) 196 MI->setFlag(MachineInstr::FrameSetup); 197 198 Offset -= ThisVal; 199 } 200 } 201 202 /// mergeSPUpdatesUp - Merge two stack-manipulating instructions upper iterator. 203 static 204 void mergeSPUpdatesUp(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI, 205 unsigned StackPtr, uint64_t *NumBytes = NULL) { 206 if (MBBI == MBB.begin()) return; 207 208 MachineBasicBlock::iterator PI = prior(MBBI); 209 unsigned Opc = PI->getOpcode(); 210 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 || 211 Opc == X86::ADD32ri || Opc == X86::ADD32ri8 || 212 Opc == X86::LEA32r || Opc == X86::LEA64_32r) && 213 PI->getOperand(0).getReg() == StackPtr) { 214 if (NumBytes) 215 *NumBytes += PI->getOperand(2).getImm(); 216 MBB.erase(PI); 217 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 || 218 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) && 219 PI->getOperand(0).getReg() == StackPtr) { 220 if (NumBytes) 221 *NumBytes -= PI->getOperand(2).getImm(); 222 MBB.erase(PI); 223 } 224 } 225 226 /// mergeSPUpdatesDown - Merge two stack-manipulating instructions lower iterator. 227 static 228 void mergeSPUpdatesDown(MachineBasicBlock &MBB, 229 MachineBasicBlock::iterator &MBBI, 230 unsigned StackPtr, uint64_t *NumBytes = NULL) { 231 // FIXME: THIS ISN'T RUN!!! 232 return; 233 234 if (MBBI == MBB.end()) return; 235 236 MachineBasicBlock::iterator NI = llvm::next(MBBI); 237 if (NI == MBB.end()) return; 238 239 unsigned Opc = NI->getOpcode(); 240 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 || 241 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) && 242 NI->getOperand(0).getReg() == StackPtr) { 243 if (NumBytes) 244 *NumBytes -= NI->getOperand(2).getImm(); 245 MBB.erase(NI); 246 MBBI = NI; 247 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 || 248 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) && 249 NI->getOperand(0).getReg() == StackPtr) { 250 if (NumBytes) 251 *NumBytes += NI->getOperand(2).getImm(); 252 MBB.erase(NI); 253 MBBI = NI; 254 } 255 } 256 257 /// mergeSPUpdates - Checks the instruction before/after the passed 258 /// instruction. If it is an ADD/SUB/LEA instruction it is deleted argument and the 259 /// stack adjustment is returned as a positive value for ADD/LEA and a negative for 260 /// SUB. 261 static int mergeSPUpdates(MachineBasicBlock &MBB, 262 MachineBasicBlock::iterator &MBBI, 263 unsigned StackPtr, 264 bool doMergeWithPrevious) { 265 if ((doMergeWithPrevious && MBBI == MBB.begin()) || 266 (!doMergeWithPrevious && MBBI == MBB.end())) 267 return 0; 268 269 MachineBasicBlock::iterator PI = doMergeWithPrevious ? prior(MBBI) : MBBI; 270 MachineBasicBlock::iterator NI = doMergeWithPrevious ? 0 : llvm::next(MBBI); 271 unsigned Opc = PI->getOpcode(); 272 int Offset = 0; 273 274 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 || 275 Opc == X86::ADD32ri || Opc == X86::ADD32ri8 || 276 Opc == X86::LEA32r || Opc == X86::LEA64_32r) && 277 PI->getOperand(0).getReg() == StackPtr){ 278 Offset += PI->getOperand(2).getImm(); 279 MBB.erase(PI); 280 if (!doMergeWithPrevious) MBBI = NI; 281 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 || 282 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) && 283 PI->getOperand(0).getReg() == StackPtr) { 284 Offset -= PI->getOperand(2).getImm(); 285 MBB.erase(PI); 286 if (!doMergeWithPrevious) MBBI = NI; 287 } 288 289 return Offset; 290 } 291 292 static bool isEAXLiveIn(MachineFunction &MF) { 293 for (MachineRegisterInfo::livein_iterator II = MF.getRegInfo().livein_begin(), 294 EE = MF.getRegInfo().livein_end(); II != EE; ++II) { 295 unsigned Reg = II->first; 296 297 if (Reg == X86::EAX || Reg == X86::AX || 298 Reg == X86::AH || Reg == X86::AL) 299 return true; 300 } 301 302 return false; 303 } 304 305 void X86FrameLowering::emitCalleeSavedFrameMoves(MachineFunction &MF, 306 MCSymbol *Label, 307 unsigned FramePtr) const { 308 MachineFrameInfo *MFI = MF.getFrameInfo(); 309 MachineModuleInfo &MMI = MF.getMMI(); 310 311 // Add callee saved registers to move list. 312 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo(); 313 if (CSI.empty()) return; 314 315 std::vector<MachineMove> &Moves = MMI.getFrameMoves(); 316 const X86RegisterInfo *RegInfo = TM.getRegisterInfo(); 317 bool HasFP = hasFP(MF); 318 319 // Calculate amount of bytes used for return address storing. 320 int stackGrowth = -RegInfo->getSlotSize(); 321 322 // FIXME: This is dirty hack. The code itself is pretty mess right now. 323 // It should be rewritten from scratch and generalized sometimes. 324 325 // Determine maximum offset (minimum due to stack growth). 326 int64_t MaxOffset = 0; 327 for (std::vector<CalleeSavedInfo>::const_iterator 328 I = CSI.begin(), E = CSI.end(); I != E; ++I) 329 MaxOffset = std::min(MaxOffset, 330 MFI->getObjectOffset(I->getFrameIdx())); 331 332 // Calculate offsets. 333 int64_t saveAreaOffset = (HasFP ? 3 : 2) * stackGrowth; 334 for (std::vector<CalleeSavedInfo>::const_iterator 335 I = CSI.begin(), E = CSI.end(); I != E; ++I) { 336 int64_t Offset = MFI->getObjectOffset(I->getFrameIdx()); 337 unsigned Reg = I->getReg(); 338 Offset = MaxOffset - Offset + saveAreaOffset; 339 340 // Don't output a new machine move if we're re-saving the frame 341 // pointer. This happens when the PrologEpilogInserter has inserted an extra 342 // "PUSH" of the frame pointer -- the "emitPrologue" method automatically 343 // generates one when frame pointers are used. If we generate a "machine 344 // move" for this extra "PUSH", the linker will lose track of the fact that 345 // the frame pointer should have the value of the first "PUSH" when it's 346 // trying to unwind. 347 // 348 // FIXME: This looks inelegant. It's possibly correct, but it's covering up 349 // another bug. I.e., one where we generate a prolog like this: 350 // 351 // pushl %ebp 352 // movl %esp, %ebp 353 // pushl %ebp 354 // pushl %esi 355 // ... 356 // 357 // The immediate re-push of EBP is unnecessary. At the least, it's an 358 // optimization bug. EBP can be used as a scratch register in certain 359 // cases, but probably not when we have a frame pointer. 360 if (HasFP && FramePtr == Reg) 361 continue; 362 363 MachineLocation CSDst(MachineLocation::VirtualFP, Offset); 364 MachineLocation CSSrc(Reg); 365 Moves.push_back(MachineMove(Label, CSDst, CSSrc)); 366 } 367 } 368 369 /// getCompactUnwindRegNum - Get the compact unwind number for a given 370 /// register. The number corresponds to the enum lists in 371 /// compact_unwind_encoding.h. 372 static int getCompactUnwindRegNum(const uint16_t *CURegs, unsigned Reg) { 373 for (int Idx = 1; *CURegs; ++CURegs, ++Idx) 374 if (*CURegs == Reg) 375 return Idx; 376 377 return -1; 378 } 379 380 // Number of registers that can be saved in a compact unwind encoding. 381 #define CU_NUM_SAVED_REGS 6 382 383 /// encodeCompactUnwindRegistersWithoutFrame - Create the permutation encoding 384 /// used with frameless stacks. It is passed the number of registers to be saved 385 /// and an array of the registers saved. 386 static uint32_t 387 encodeCompactUnwindRegistersWithoutFrame(unsigned SavedRegs[CU_NUM_SAVED_REGS], 388 unsigned RegCount, bool Is64Bit) { 389 // The saved registers are numbered from 1 to 6. In order to encode the order 390 // in which they were saved, we re-number them according to their place in the 391 // register order. The re-numbering is relative to the last re-numbered 392 // register. E.g., if we have registers {6, 2, 4, 5} saved in that order: 393 // 394 // Orig Re-Num 395 // ---- ------ 396 // 6 6 397 // 2 2 398 // 4 3 399 // 5 3 400 // 401 static const uint16_t CU32BitRegs[] = { 402 X86::EBX, X86::ECX, X86::EDX, X86::EDI, X86::ESI, X86::EBP, 0 403 }; 404 static const uint16_t CU64BitRegs[] = { 405 X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0 406 }; 407 const uint16_t *CURegs = (Is64Bit ? CU64BitRegs : CU32BitRegs); 408 409 for (unsigned i = 0; i != CU_NUM_SAVED_REGS; ++i) { 410 int CUReg = getCompactUnwindRegNum(CURegs, SavedRegs[i]); 411 if (CUReg == -1) return ~0U; 412 SavedRegs[i] = CUReg; 413 } 414 415 // Reverse the list. 416 std::swap(SavedRegs[0], SavedRegs[5]); 417 std::swap(SavedRegs[1], SavedRegs[4]); 418 std::swap(SavedRegs[2], SavedRegs[3]); 419 420 uint32_t RenumRegs[CU_NUM_SAVED_REGS]; 421 for (unsigned i = CU_NUM_SAVED_REGS - RegCount; i < CU_NUM_SAVED_REGS; ++i) { 422 unsigned Countless = 0; 423 for (unsigned j = CU_NUM_SAVED_REGS - RegCount; j < i; ++j) 424 if (SavedRegs[j] < SavedRegs[i]) 425 ++Countless; 426 427 RenumRegs[i] = SavedRegs[i] - Countless - 1; 428 } 429 430 // Take the renumbered values and encode them into a 10-bit number. 431 uint32_t permutationEncoding = 0; 432 switch (RegCount) { 433 case 6: 434 permutationEncoding |= 120 * RenumRegs[0] + 24 * RenumRegs[1] 435 + 6 * RenumRegs[2] + 2 * RenumRegs[3] 436 + RenumRegs[4]; 437 break; 438 case 5: 439 permutationEncoding |= 120 * RenumRegs[1] + 24 * RenumRegs[2] 440 + 6 * RenumRegs[3] + 2 * RenumRegs[4] 441 + RenumRegs[5]; 442 break; 443 case 4: 444 permutationEncoding |= 60 * RenumRegs[2] + 12 * RenumRegs[3] 445 + 3 * RenumRegs[4] + RenumRegs[5]; 446 break; 447 case 3: 448 permutationEncoding |= 20 * RenumRegs[3] + 4 * RenumRegs[4] 449 + RenumRegs[5]; 450 break; 451 case 2: 452 permutationEncoding |= 5 * RenumRegs[4] + RenumRegs[5]; 453 break; 454 case 1: 455 permutationEncoding |= RenumRegs[5]; 456 break; 457 } 458 459 assert((permutationEncoding & 0x3FF) == permutationEncoding && 460 "Invalid compact register encoding!"); 461 return permutationEncoding; 462 } 463 464 /// encodeCompactUnwindRegistersWithFrame - Return the registers encoded for a 465 /// compact encoding with a frame pointer. 466 static uint32_t 467 encodeCompactUnwindRegistersWithFrame(unsigned SavedRegs[CU_NUM_SAVED_REGS], 468 bool Is64Bit) { 469 static const uint16_t CU32BitRegs[] = { 470 X86::EBX, X86::ECX, X86::EDX, X86::EDI, X86::ESI, X86::EBP, 0 471 }; 472 static const uint16_t CU64BitRegs[] = { 473 X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0 474 }; 475 const uint16_t *CURegs = (Is64Bit ? CU64BitRegs : CU32BitRegs); 476 477 // Encode the registers in the order they were saved, 3-bits per register. The 478 // registers are numbered from 1 to CU_NUM_SAVED_REGS. 479 uint32_t RegEnc = 0; 480 for (int I = CU_NUM_SAVED_REGS - 1, Idx = 0; I != -1; --I) { 481 unsigned Reg = SavedRegs[I]; 482 if (Reg == 0) continue; 483 484 int CURegNum = getCompactUnwindRegNum(CURegs, Reg); 485 if (CURegNum == -1) return ~0U; 486 487 // Encode the 3-bit register number in order, skipping over 3-bits for each 488 // register. 489 RegEnc |= (CURegNum & 0x7) << (Idx++ * 3); 490 } 491 492 assert((RegEnc & 0x3FFFF) == RegEnc && "Invalid compact register encoding!"); 493 return RegEnc; 494 } 495 496 uint32_t X86FrameLowering::getCompactUnwindEncoding(MachineFunction &MF) const { 497 const X86RegisterInfo *RegInfo = TM.getRegisterInfo(); 498 unsigned FramePtr = RegInfo->getFrameRegister(MF); 499 unsigned StackPtr = RegInfo->getStackRegister(); 500 501 bool Is64Bit = STI.is64Bit(); 502 bool HasFP = hasFP(MF); 503 504 unsigned SavedRegs[CU_NUM_SAVED_REGS] = { 0, 0, 0, 0, 0, 0 }; 505 unsigned SavedRegIdx = 0; 506 507 unsigned OffsetSize = (Is64Bit ? 8 : 4); 508 509 unsigned PushInstr = (Is64Bit ? X86::PUSH64r : X86::PUSH32r); 510 unsigned PushInstrSize = 1; 511 unsigned MoveInstr = (Is64Bit ? X86::MOV64rr : X86::MOV32rr); 512 unsigned MoveInstrSize = (Is64Bit ? 3 : 2); 513 unsigned SubtractInstrIdx = (Is64Bit ? 3 : 2); 514 515 unsigned StackDivide = (Is64Bit ? 8 : 4); 516 517 unsigned InstrOffset = 0; 518 unsigned StackAdjust = 0; 519 unsigned StackSize = 0; 520 521 MachineBasicBlock &MBB = MF.front(); // Prologue is in entry BB. 522 bool ExpectEnd = false; 523 for (MachineBasicBlock::iterator 524 MBBI = MBB.begin(), MBBE = MBB.end(); MBBI != MBBE; ++MBBI) { 525 MachineInstr &MI = *MBBI; 526 unsigned Opc = MI.getOpcode(); 527 if (Opc == X86::PROLOG_LABEL) continue; 528 if (!MI.getFlag(MachineInstr::FrameSetup)) break; 529 530 // We don't exect any more prolog instructions. 531 if (ExpectEnd) return 0; 532 533 if (Opc == PushInstr) { 534 // If there are too many saved registers, we cannot use compact encoding. 535 if (SavedRegIdx >= CU_NUM_SAVED_REGS) return 0; 536 537 SavedRegs[SavedRegIdx++] = MI.getOperand(0).getReg(); 538 StackAdjust += OffsetSize; 539 InstrOffset += PushInstrSize; 540 } else if (Opc == MoveInstr) { 541 unsigned SrcReg = MI.getOperand(1).getReg(); 542 unsigned DstReg = MI.getOperand(0).getReg(); 543 544 if (DstReg != FramePtr || SrcReg != StackPtr) 545 return 0; 546 547 StackAdjust = 0; 548 memset(SavedRegs, 0, sizeof(SavedRegs)); 549 SavedRegIdx = 0; 550 InstrOffset += MoveInstrSize; 551 } else if (Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 || 552 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) { 553 if (StackSize) 554 // We already have a stack size. 555 return 0; 556 557 if (!MI.getOperand(0).isReg() || 558 MI.getOperand(0).getReg() != MI.getOperand(1).getReg() || 559 MI.getOperand(0).getReg() != StackPtr || !MI.getOperand(2).isImm()) 560 // We need this to be a stack adjustment pointer. Something like: 561 // 562 // %RSP<def> = SUB64ri8 %RSP, 48 563 return 0; 564 565 StackSize = MI.getOperand(2).getImm() / StackDivide; 566 SubtractInstrIdx += InstrOffset; 567 ExpectEnd = true; 568 } 569 } 570 571 // Encode that we are using EBP/RBP as the frame pointer. 572 uint32_t CompactUnwindEncoding = 0; 573 StackAdjust /= StackDivide; 574 if (HasFP) { 575 if ((StackAdjust & 0xFF) != StackAdjust) 576 // Offset was too big for compact encoding. 577 return 0; 578 579 // Get the encoding of the saved registers when we have a frame pointer. 580 uint32_t RegEnc = encodeCompactUnwindRegistersWithFrame(SavedRegs, Is64Bit); 581 if (RegEnc == ~0U) return 0; 582 583 CompactUnwindEncoding |= 0x01000000; 584 CompactUnwindEncoding |= (StackAdjust & 0xFF) << 16; 585 CompactUnwindEncoding |= RegEnc & 0x7FFF; 586 } else { 587 ++StackAdjust; 588 uint32_t TotalStackSize = StackAdjust + StackSize; 589 if ((TotalStackSize & 0xFF) == TotalStackSize) { 590 // Frameless stack with a small stack size. 591 CompactUnwindEncoding |= 0x02000000; 592 593 // Encode the stack size. 594 CompactUnwindEncoding |= (TotalStackSize & 0xFF) << 16; 595 } else { 596 if ((StackAdjust & 0x7) != StackAdjust) 597 // The extra stack adjustments are too big for us to handle. 598 return 0; 599 600 // Frameless stack with an offset too large for us to encode compactly. 601 CompactUnwindEncoding |= 0x03000000; 602 603 // Encode the offset to the nnnnnn value in the 'subl $nnnnnn, ESP' 604 // instruction. 605 CompactUnwindEncoding |= (SubtractInstrIdx & 0xFF) << 16; 606 607 // Encode any extra stack stack adjustments (done via push instructions). 608 CompactUnwindEncoding |= (StackAdjust & 0x7) << 13; 609 } 610 611 // Encode the number of registers saved. 612 CompactUnwindEncoding |= (SavedRegIdx & 0x7) << 10; 613 614 // Get the encoding of the saved registers when we don't have a frame 615 // pointer. 616 uint32_t RegEnc = 617 encodeCompactUnwindRegistersWithoutFrame(SavedRegs, SavedRegIdx, 618 Is64Bit); 619 if (RegEnc == ~0U) return 0; 620 621 // Encode the register encoding. 622 CompactUnwindEncoding |= RegEnc & 0x3FF; 623 } 624 625 return CompactUnwindEncoding; 626 } 627 628 /// emitPrologue - Push callee-saved registers onto the stack, which 629 /// automatically adjust the stack pointer. Adjust the stack pointer to allocate 630 /// space for local variables. Also emit labels used by the exception handler to 631 /// generate the exception handling frames. 632 void X86FrameLowering::emitPrologue(MachineFunction &MF) const { 633 MachineBasicBlock &MBB = MF.front(); // Prologue goes in entry BB. 634 MachineBasicBlock::iterator MBBI = MBB.begin(); 635 MachineFrameInfo *MFI = MF.getFrameInfo(); 636 const Function *Fn = MF.getFunction(); 637 const X86RegisterInfo *RegInfo = TM.getRegisterInfo(); 638 const X86InstrInfo &TII = *TM.getInstrInfo(); 639 MachineModuleInfo &MMI = MF.getMMI(); 640 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>(); 641 bool needsFrameMoves = MMI.hasDebugInfo() || 642 Fn->needsUnwindTableEntry(); 643 uint64_t MaxAlign = MFI->getMaxAlignment(); // Desired stack alignment. 644 uint64_t StackSize = MFI->getStackSize(); // Number of bytes to allocate. 645 bool HasFP = hasFP(MF); 646 bool Is64Bit = STI.is64Bit(); 647 bool IsWin64 = STI.isTargetWin64(); 648 bool UseLEA = STI.useLeaForSP(); 649 unsigned StackAlign = getStackAlignment(); 650 unsigned SlotSize = RegInfo->getSlotSize(); 651 unsigned FramePtr = RegInfo->getFrameRegister(MF); 652 unsigned StackPtr = RegInfo->getStackRegister(); 653 unsigned BasePtr = RegInfo->getBaseRegister(); 654 DebugLoc DL; 655 656 // If we're forcing a stack realignment we can't rely on just the frame 657 // info, we need to know the ABI stack alignment as well in case we 658 // have a call out. Otherwise just make sure we have some alignment - we'll 659 // go with the minimum SlotSize. 660 if (ForceStackAlign) { 661 if (MFI->hasCalls()) 662 MaxAlign = (StackAlign > MaxAlign) ? StackAlign : MaxAlign; 663 else if (MaxAlign < SlotSize) 664 MaxAlign = SlotSize; 665 } 666 667 // Add RETADDR move area to callee saved frame size. 668 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta(); 669 if (TailCallReturnAddrDelta < 0) 670 X86FI->setCalleeSavedFrameSize( 671 X86FI->getCalleeSavedFrameSize() - TailCallReturnAddrDelta); 672 673 // If this is x86-64 and the Red Zone is not disabled, if we are a leaf 674 // function, and use up to 128 bytes of stack space, don't have a frame 675 // pointer, calls, or dynamic alloca then we do not need to adjust the 676 // stack pointer (we fit in the Red Zone). 677 if (Is64Bit && !Fn->getFnAttributes().hasAttribute(Attributes::NoRedZone) && 678 !RegInfo->needsStackRealignment(MF) && 679 !MFI->hasVarSizedObjects() && // No dynamic alloca. 680 !MFI->adjustsStack() && // No calls. 681 !IsWin64 && // Win64 has no Red Zone 682 !MF.getTarget().Options.EnableSegmentedStacks) { // Regular stack 683 uint64_t MinSize = X86FI->getCalleeSavedFrameSize(); 684 if (HasFP) MinSize += SlotSize; 685 StackSize = std::max(MinSize, StackSize > 128 ? StackSize - 128 : 0); 686 MFI->setStackSize(StackSize); 687 } 688 689 // Insert stack pointer adjustment for later moving of return addr. Only 690 // applies to tail call optimized functions where the callee argument stack 691 // size is bigger than the callers. 692 if (TailCallReturnAddrDelta < 0) { 693 MachineInstr *MI = 694 BuildMI(MBB, MBBI, DL, 695 TII.get(getSUBriOpcode(Is64Bit, -TailCallReturnAddrDelta)), 696 StackPtr) 697 .addReg(StackPtr) 698 .addImm(-TailCallReturnAddrDelta) 699 .setMIFlag(MachineInstr::FrameSetup); 700 MI->getOperand(3).setIsDead(); // The EFLAGS implicit def is dead. 701 } 702 703 // Mapping for machine moves: 704 // 705 // DST: VirtualFP AND 706 // SRC: VirtualFP => DW_CFA_def_cfa_offset 707 // ELSE => DW_CFA_def_cfa 708 // 709 // SRC: VirtualFP AND 710 // DST: Register => DW_CFA_def_cfa_register 711 // 712 // ELSE 713 // OFFSET < 0 => DW_CFA_offset_extended_sf 714 // REG < 64 => DW_CFA_offset + Reg 715 // ELSE => DW_CFA_offset_extended 716 717 std::vector<MachineMove> &Moves = MMI.getFrameMoves(); 718 uint64_t NumBytes = 0; 719 int stackGrowth = -SlotSize; 720 721 if (HasFP) { 722 // Calculate required stack adjustment. 723 uint64_t FrameSize = StackSize - SlotSize; 724 if (RegInfo->needsStackRealignment(MF)) { 725 // Callee-saved registers are pushed on stack before the stack 726 // is realigned. 727 FrameSize -= X86FI->getCalleeSavedFrameSize(); 728 NumBytes = (FrameSize + MaxAlign - 1) / MaxAlign * MaxAlign; 729 } else { 730 NumBytes = FrameSize - X86FI->getCalleeSavedFrameSize(); 731 } 732 733 // Get the offset of the stack slot for the EBP register, which is 734 // guaranteed to be the last slot by processFunctionBeforeFrameFinalized. 735 // Update the frame offset adjustment. 736 MFI->setOffsetAdjustment(-NumBytes); 737 738 // Save EBP/RBP into the appropriate stack slot. 739 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::PUSH64r : X86::PUSH32r)) 740 .addReg(FramePtr, RegState::Kill) 741 .setMIFlag(MachineInstr::FrameSetup); 742 743 if (needsFrameMoves) { 744 // Mark the place where EBP/RBP was saved. 745 MCSymbol *FrameLabel = MMI.getContext().CreateTempSymbol(); 746 BuildMI(MBB, MBBI, DL, TII.get(X86::PROLOG_LABEL)) 747 .addSym(FrameLabel); 748 749 // Define the current CFA rule to use the provided offset. 750 if (StackSize) { 751 MachineLocation SPDst(MachineLocation::VirtualFP); 752 MachineLocation SPSrc(MachineLocation::VirtualFP, 2 * stackGrowth); 753 Moves.push_back(MachineMove(FrameLabel, SPDst, SPSrc)); 754 } else { 755 MachineLocation SPDst(StackPtr); 756 MachineLocation SPSrc(StackPtr, stackGrowth); 757 Moves.push_back(MachineMove(FrameLabel, SPDst, SPSrc)); 758 } 759 760 // Change the rule for the FramePtr to be an "offset" rule. 761 MachineLocation FPDst(MachineLocation::VirtualFP, 2 * stackGrowth); 762 MachineLocation FPSrc(FramePtr); 763 Moves.push_back(MachineMove(FrameLabel, FPDst, FPSrc)); 764 } 765 766 // Update EBP with the new base value. 767 BuildMI(MBB, MBBI, DL, 768 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr), FramePtr) 769 .addReg(StackPtr) 770 .setMIFlag(MachineInstr::FrameSetup); 771 772 if (needsFrameMoves) { 773 // Mark effective beginning of when frame pointer becomes valid. 774 MCSymbol *FrameLabel = MMI.getContext().CreateTempSymbol(); 775 BuildMI(MBB, MBBI, DL, TII.get(X86::PROLOG_LABEL)) 776 .addSym(FrameLabel); 777 778 // Define the current CFA to use the EBP/RBP register. 779 MachineLocation FPDst(FramePtr); 780 MachineLocation FPSrc(MachineLocation::VirtualFP); 781 Moves.push_back(MachineMove(FrameLabel, FPDst, FPSrc)); 782 } 783 784 // Mark the FramePtr as live-in in every block except the entry. 785 for (MachineFunction::iterator I = llvm::next(MF.begin()), E = MF.end(); 786 I != E; ++I) 787 I->addLiveIn(FramePtr); 788 } else { 789 NumBytes = StackSize - X86FI->getCalleeSavedFrameSize(); 790 } 791 792 // Skip the callee-saved push instructions. 793 bool PushedRegs = false; 794 int StackOffset = 2 * stackGrowth; 795 796 while (MBBI != MBB.end() && 797 (MBBI->getOpcode() == X86::PUSH32r || 798 MBBI->getOpcode() == X86::PUSH64r)) { 799 PushedRegs = true; 800 MBBI->setFlag(MachineInstr::FrameSetup); 801 ++MBBI; 802 803 if (!HasFP && needsFrameMoves) { 804 // Mark callee-saved push instruction. 805 MCSymbol *Label = MMI.getContext().CreateTempSymbol(); 806 BuildMI(MBB, MBBI, DL, TII.get(X86::PROLOG_LABEL)).addSym(Label); 807 808 // Define the current CFA rule to use the provided offset. 809 unsigned Ptr = StackSize ? MachineLocation::VirtualFP : StackPtr; 810 MachineLocation SPDst(Ptr); 811 MachineLocation SPSrc(Ptr, StackOffset); 812 Moves.push_back(MachineMove(Label, SPDst, SPSrc)); 813 StackOffset += stackGrowth; 814 } 815 } 816 817 // Realign stack after we pushed callee-saved registers (so that we'll be 818 // able to calculate their offsets from the frame pointer). 819 820 // NOTE: We push the registers before realigning the stack, so 821 // vector callee-saved (xmm) registers may be saved w/o proper 822 // alignment in this way. However, currently these regs are saved in 823 // stack slots (see X86FrameLowering::spillCalleeSavedRegisters()), so 824 // this shouldn't be a problem. 825 if (RegInfo->needsStackRealignment(MF)) { 826 assert(HasFP && "There should be a frame pointer if stack is realigned."); 827 MachineInstr *MI = 828 BuildMI(MBB, MBBI, DL, 829 TII.get(Is64Bit ? X86::AND64ri32 : X86::AND32ri), StackPtr) 830 .addReg(StackPtr) 831 .addImm(-MaxAlign) 832 .setMIFlag(MachineInstr::FrameSetup); 833 834 // The EFLAGS implicit def is dead. 835 MI->getOperand(3).setIsDead(); 836 } 837 838 // If there is an SUB32ri of ESP immediately before this instruction, merge 839 // the two. This can be the case when tail call elimination is enabled and 840 // the callee has more arguments then the caller. 841 NumBytes -= mergeSPUpdates(MBB, MBBI, StackPtr, true); 842 843 // If there is an ADD32ri or SUB32ri of ESP immediately after this 844 // instruction, merge the two instructions. 845 mergeSPUpdatesDown(MBB, MBBI, StackPtr, &NumBytes); 846 847 // Adjust stack pointer: ESP -= numbytes. 848 849 // Windows and cygwin/mingw require a prologue helper routine when allocating 850 // more than 4K bytes on the stack. Windows uses __chkstk and cygwin/mingw 851 // uses __alloca. __alloca and the 32-bit version of __chkstk will probe the 852 // stack and adjust the stack pointer in one go. The 64-bit version of 853 // __chkstk is only responsible for probing the stack. The 64-bit prologue is 854 // responsible for adjusting the stack pointer. Touching the stack at 4K 855 // increments is necessary to ensure that the guard pages used by the OS 856 // virtual memory manager are allocated in correct sequence. 857 if (NumBytes >= 4096 && STI.isTargetCOFF() && !STI.isTargetEnvMacho()) { 858 const char *StackProbeSymbol; 859 bool isSPUpdateNeeded = false; 860 861 if (Is64Bit) { 862 if (STI.isTargetCygMing()) 863 StackProbeSymbol = "___chkstk"; 864 else { 865 StackProbeSymbol = "__chkstk"; 866 isSPUpdateNeeded = true; 867 } 868 } else if (STI.isTargetCygMing()) 869 StackProbeSymbol = "_alloca"; 870 else 871 StackProbeSymbol = "_chkstk"; 872 873 // Check whether EAX is livein for this function. 874 bool isEAXAlive = isEAXLiveIn(MF); 875 876 if (isEAXAlive) { 877 // Sanity check that EAX is not livein for this function. 878 // It should not be, so throw an assert. 879 assert(!Is64Bit && "EAX is livein in x64 case!"); 880 881 // Save EAX 882 BuildMI(MBB, MBBI, DL, TII.get(X86::PUSH32r)) 883 .addReg(X86::EAX, RegState::Kill) 884 .setMIFlag(MachineInstr::FrameSetup); 885 } 886 887 if (Is64Bit) { 888 // Handle the 64-bit Windows ABI case where we need to call __chkstk. 889 // Function prologue is responsible for adjusting the stack pointer. 890 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64ri), X86::RAX) 891 .addImm(NumBytes) 892 .setMIFlag(MachineInstr::FrameSetup); 893 } else { 894 // Allocate NumBytes-4 bytes on stack in case of isEAXAlive. 895 // We'll also use 4 already allocated bytes for EAX. 896 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32ri), X86::EAX) 897 .addImm(isEAXAlive ? NumBytes - 4 : NumBytes) 898 .setMIFlag(MachineInstr::FrameSetup); 899 } 900 901 BuildMI(MBB, MBBI, DL, 902 TII.get(Is64Bit ? X86::W64ALLOCA : X86::CALLpcrel32)) 903 .addExternalSymbol(StackProbeSymbol) 904 .addReg(StackPtr, RegState::Define | RegState::Implicit) 905 .addReg(X86::EFLAGS, RegState::Define | RegState::Implicit) 906 .setMIFlag(MachineInstr::FrameSetup); 907 908 // MSVC x64's __chkstk needs to adjust %rsp. 909 // FIXME: %rax preserves the offset and should be available. 910 if (isSPUpdateNeeded) 911 emitSPUpdate(MBB, MBBI, StackPtr, -(int64_t)NumBytes, Is64Bit, 912 UseLEA, TII, *RegInfo); 913 914 if (isEAXAlive) { 915 // Restore EAX 916 MachineInstr *MI = addRegOffset(BuildMI(MF, DL, TII.get(X86::MOV32rm), 917 X86::EAX), 918 StackPtr, false, NumBytes - 4); 919 MI->setFlag(MachineInstr::FrameSetup); 920 MBB.insert(MBBI, MI); 921 } 922 } else if (NumBytes) 923 emitSPUpdate(MBB, MBBI, StackPtr, -(int64_t)NumBytes, Is64Bit, 924 UseLEA, TII, *RegInfo); 925 926 // If we need a base pointer, set it up here. It's whatever the value 927 // of the stack pointer is at this point. Any variable size objects 928 // will be allocated after this, so we can still use the base pointer 929 // to reference locals. 930 if (RegInfo->hasBasePointer(MF)) { 931 // Update the frame pointer with the current stack pointer. 932 unsigned Opc = Is64Bit ? X86::MOV64rr : X86::MOV32rr; 933 BuildMI(MBB, MBBI, DL, TII.get(Opc), BasePtr) 934 .addReg(StackPtr) 935 .setMIFlag(MachineInstr::FrameSetup); 936 } 937 938 if (( (!HasFP && NumBytes) || PushedRegs) && needsFrameMoves) { 939 // Mark end of stack pointer adjustment. 940 MCSymbol *Label = MMI.getContext().CreateTempSymbol(); 941 BuildMI(MBB, MBBI, DL, TII.get(X86::PROLOG_LABEL)) 942 .addSym(Label); 943 944 if (!HasFP && NumBytes) { 945 // Define the current CFA rule to use the provided offset. 946 if (StackSize) { 947 MachineLocation SPDst(MachineLocation::VirtualFP); 948 MachineLocation SPSrc(MachineLocation::VirtualFP, 949 -StackSize + stackGrowth); 950 Moves.push_back(MachineMove(Label, SPDst, SPSrc)); 951 } else { 952 MachineLocation SPDst(StackPtr); 953 MachineLocation SPSrc(StackPtr, stackGrowth); 954 Moves.push_back(MachineMove(Label, SPDst, SPSrc)); 955 } 956 } 957 958 // Emit DWARF info specifying the offsets of the callee-saved registers. 959 if (PushedRegs) 960 emitCalleeSavedFrameMoves(MF, Label, HasFP ? FramePtr : StackPtr); 961 } 962 963 // Darwin 10.7 and greater has support for compact unwind encoding. 964 if (STI.getTargetTriple().isMacOSX() && 965 !STI.getTargetTriple().isMacOSXVersionLT(10, 7)) 966 MMI.setCompactUnwindEncoding(getCompactUnwindEncoding(MF)); 967 } 968 969 void X86FrameLowering::emitEpilogue(MachineFunction &MF, 970 MachineBasicBlock &MBB) const { 971 const MachineFrameInfo *MFI = MF.getFrameInfo(); 972 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>(); 973 const X86RegisterInfo *RegInfo = TM.getRegisterInfo(); 974 const X86InstrInfo &TII = *TM.getInstrInfo(); 975 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr(); 976 assert(MBBI != MBB.end() && "Returning block has no instructions"); 977 unsigned RetOpcode = MBBI->getOpcode(); 978 DebugLoc DL = MBBI->getDebugLoc(); 979 bool Is64Bit = STI.is64Bit(); 980 bool UseLEA = STI.useLeaForSP(); 981 unsigned StackAlign = getStackAlignment(); 982 unsigned SlotSize = RegInfo->getSlotSize(); 983 unsigned FramePtr = RegInfo->getFrameRegister(MF); 984 unsigned StackPtr = RegInfo->getStackRegister(); 985 986 switch (RetOpcode) { 987 default: 988 llvm_unreachable("Can only insert epilog into returning blocks"); 989 case X86::RET: 990 case X86::RETI: 991 case X86::TCRETURNdi: 992 case X86::TCRETURNri: 993 case X86::TCRETURNmi: 994 case X86::TCRETURNdi64: 995 case X86::TCRETURNri64: 996 case X86::TCRETURNmi64: 997 case X86::EH_RETURN: 998 case X86::EH_RETURN64: 999 break; // These are ok 1000 } 1001 1002 // Get the number of bytes to allocate from the FrameInfo. 1003 uint64_t StackSize = MFI->getStackSize(); 1004 uint64_t MaxAlign = MFI->getMaxAlignment(); 1005 unsigned CSSize = X86FI->getCalleeSavedFrameSize(); 1006 uint64_t NumBytes = 0; 1007 1008 // If we're forcing a stack realignment we can't rely on just the frame 1009 // info, we need to know the ABI stack alignment as well in case we 1010 // have a call out. Otherwise just make sure we have some alignment - we'll 1011 // go with the minimum. 1012 if (ForceStackAlign) { 1013 if (MFI->hasCalls()) 1014 MaxAlign = (StackAlign > MaxAlign) ? StackAlign : MaxAlign; 1015 else 1016 MaxAlign = MaxAlign ? MaxAlign : 4; 1017 } 1018 1019 if (hasFP(MF)) { 1020 // Calculate required stack adjustment. 1021 uint64_t FrameSize = StackSize - SlotSize; 1022 if (RegInfo->needsStackRealignment(MF)) { 1023 // Callee-saved registers were pushed on stack before the stack 1024 // was realigned. 1025 FrameSize -= CSSize; 1026 NumBytes = (FrameSize + MaxAlign - 1) / MaxAlign * MaxAlign; 1027 } else { 1028 NumBytes = FrameSize - CSSize; 1029 } 1030 1031 // Pop EBP. 1032 BuildMI(MBB, MBBI, DL, 1033 TII.get(Is64Bit ? X86::POP64r : X86::POP32r), FramePtr); 1034 } else { 1035 NumBytes = StackSize - CSSize; 1036 } 1037 1038 // Skip the callee-saved pop instructions. 1039 while (MBBI != MBB.begin()) { 1040 MachineBasicBlock::iterator PI = prior(MBBI); 1041 unsigned Opc = PI->getOpcode(); 1042 1043 if (Opc != X86::POP32r && Opc != X86::POP64r && Opc != X86::DBG_VALUE && 1044 !PI->isTerminator()) 1045 break; 1046 1047 --MBBI; 1048 } 1049 MachineBasicBlock::iterator FirstCSPop = MBBI; 1050 1051 DL = MBBI->getDebugLoc(); 1052 1053 // If there is an ADD32ri or SUB32ri of ESP immediately before this 1054 // instruction, merge the two instructions. 1055 if (NumBytes || MFI->hasVarSizedObjects()) 1056 mergeSPUpdatesUp(MBB, MBBI, StackPtr, &NumBytes); 1057 1058 // If dynamic alloca is used, then reset esp to point to the last callee-saved 1059 // slot before popping them off! Same applies for the case, when stack was 1060 // realigned. 1061 if (RegInfo->needsStackRealignment(MF) || MFI->hasVarSizedObjects()) { 1062 if (RegInfo->needsStackRealignment(MF)) 1063 MBBI = FirstCSPop; 1064 if (CSSize != 0) { 1065 unsigned Opc = getLEArOpcode(Is64Bit); 1066 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr), 1067 FramePtr, false, -CSSize); 1068 } else { 1069 unsigned Opc = (Is64Bit ? X86::MOV64rr : X86::MOV32rr); 1070 BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr) 1071 .addReg(FramePtr); 1072 } 1073 } else if (NumBytes) { 1074 // Adjust stack pointer back: ESP += numbytes. 1075 emitSPUpdate(MBB, MBBI, StackPtr, NumBytes, Is64Bit, UseLEA, TII, *RegInfo); 1076 } 1077 1078 // We're returning from function via eh_return. 1079 if (RetOpcode == X86::EH_RETURN || RetOpcode == X86::EH_RETURN64) { 1080 MBBI = MBB.getLastNonDebugInstr(); 1081 MachineOperand &DestAddr = MBBI->getOperand(0); 1082 assert(DestAddr.isReg() && "Offset should be in register!"); 1083 BuildMI(MBB, MBBI, DL, 1084 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr), 1085 StackPtr).addReg(DestAddr.getReg()); 1086 } else if (RetOpcode == X86::TCRETURNri || RetOpcode == X86::TCRETURNdi || 1087 RetOpcode == X86::TCRETURNmi || 1088 RetOpcode == X86::TCRETURNri64 || RetOpcode == X86::TCRETURNdi64 || 1089 RetOpcode == X86::TCRETURNmi64) { 1090 bool isMem = RetOpcode == X86::TCRETURNmi || RetOpcode == X86::TCRETURNmi64; 1091 // Tail call return: adjust the stack pointer and jump to callee. 1092 MBBI = MBB.getLastNonDebugInstr(); 1093 MachineOperand &JumpTarget = MBBI->getOperand(0); 1094 MachineOperand &StackAdjust = MBBI->getOperand(isMem ? 5 : 1); 1095 assert(StackAdjust.isImm() && "Expecting immediate value."); 1096 1097 // Adjust stack pointer. 1098 int StackAdj = StackAdjust.getImm(); 1099 int MaxTCDelta = X86FI->getTCReturnAddrDelta(); 1100 int Offset = 0; 1101 assert(MaxTCDelta <= 0 && "MaxTCDelta should never be positive"); 1102 1103 // Incoporate the retaddr area. 1104 Offset = StackAdj-MaxTCDelta; 1105 assert(Offset >= 0 && "Offset should never be negative"); 1106 1107 if (Offset) { 1108 // Check for possible merge with preceding ADD instruction. 1109 Offset += mergeSPUpdates(MBB, MBBI, StackPtr, true); 1110 emitSPUpdate(MBB, MBBI, StackPtr, Offset, Is64Bit, UseLEA, TII, *RegInfo); 1111 } 1112 1113 // Jump to label or value in register. 1114 if (RetOpcode == X86::TCRETURNdi || RetOpcode == X86::TCRETURNdi64) { 1115 MachineInstrBuilder MIB = 1116 BuildMI(MBB, MBBI, DL, TII.get((RetOpcode == X86::TCRETURNdi) 1117 ? X86::TAILJMPd : X86::TAILJMPd64)); 1118 if (JumpTarget.isGlobal()) 1119 MIB.addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset(), 1120 JumpTarget.getTargetFlags()); 1121 else { 1122 assert(JumpTarget.isSymbol()); 1123 MIB.addExternalSymbol(JumpTarget.getSymbolName(), 1124 JumpTarget.getTargetFlags()); 1125 } 1126 } else if (RetOpcode == X86::TCRETURNmi || RetOpcode == X86::TCRETURNmi64) { 1127 MachineInstrBuilder MIB = 1128 BuildMI(MBB, MBBI, DL, TII.get((RetOpcode == X86::TCRETURNmi) 1129 ? X86::TAILJMPm : X86::TAILJMPm64)); 1130 for (unsigned i = 0; i != 5; ++i) 1131 MIB.addOperand(MBBI->getOperand(i)); 1132 } else if (RetOpcode == X86::TCRETURNri64) { 1133 BuildMI(MBB, MBBI, DL, TII.get(X86::TAILJMPr64)). 1134 addReg(JumpTarget.getReg(), RegState::Kill); 1135 } else { 1136 BuildMI(MBB, MBBI, DL, TII.get(X86::TAILJMPr)). 1137 addReg(JumpTarget.getReg(), RegState::Kill); 1138 } 1139 1140 MachineInstr *NewMI = prior(MBBI); 1141 NewMI->copyImplicitOps(MBBI); 1142 1143 // Delete the pseudo instruction TCRETURN. 1144 MBB.erase(MBBI); 1145 } else if ((RetOpcode == X86::RET || RetOpcode == X86::RETI) && 1146 (X86FI->getTCReturnAddrDelta() < 0)) { 1147 // Add the return addr area delta back since we are not tail calling. 1148 int delta = -1*X86FI->getTCReturnAddrDelta(); 1149 MBBI = MBB.getLastNonDebugInstr(); 1150 1151 // Check for possible merge with preceding ADD instruction. 1152 delta += mergeSPUpdates(MBB, MBBI, StackPtr, true); 1153 emitSPUpdate(MBB, MBBI, StackPtr, delta, Is64Bit, UseLEA, TII, *RegInfo); 1154 } 1155 } 1156 1157 int X86FrameLowering::getFrameIndexOffset(const MachineFunction &MF, int FI) const { 1158 const X86RegisterInfo *RegInfo = 1159 static_cast<const X86RegisterInfo*>(MF.getTarget().getRegisterInfo()); 1160 const MachineFrameInfo *MFI = MF.getFrameInfo(); 1161 int Offset = MFI->getObjectOffset(FI) - getOffsetOfLocalArea(); 1162 uint64_t StackSize = MFI->getStackSize(); 1163 1164 if (RegInfo->hasBasePointer(MF)) { 1165 assert (hasFP(MF) && "VLAs and dynamic stack realign, but no FP?!"); 1166 if (FI < 0) { 1167 // Skip the saved EBP. 1168 return Offset + RegInfo->getSlotSize(); 1169 } else { 1170 assert((-(Offset + StackSize)) % MFI->getObjectAlignment(FI) == 0); 1171 return Offset + StackSize; 1172 } 1173 } else if (RegInfo->needsStackRealignment(MF)) { 1174 if (FI < 0) { 1175 // Skip the saved EBP. 1176 return Offset + RegInfo->getSlotSize(); 1177 } else { 1178 assert((-(Offset + StackSize)) % MFI->getObjectAlignment(FI) == 0); 1179 return Offset + StackSize; 1180 } 1181 // FIXME: Support tail calls 1182 } else { 1183 if (!hasFP(MF)) 1184 return Offset + StackSize; 1185 1186 // Skip the saved EBP. 1187 Offset += RegInfo->getSlotSize(); 1188 1189 // Skip the RETADDR move area 1190 const X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>(); 1191 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta(); 1192 if (TailCallReturnAddrDelta < 0) 1193 Offset -= TailCallReturnAddrDelta; 1194 } 1195 1196 return Offset; 1197 } 1198 1199 int X86FrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI, 1200 unsigned &FrameReg) const { 1201 const X86RegisterInfo *RegInfo = 1202 static_cast<const X86RegisterInfo*>(MF.getTarget().getRegisterInfo()); 1203 // We can't calculate offset from frame pointer if the stack is realigned, 1204 // so enforce usage of stack/base pointer. The base pointer is used when we 1205 // have dynamic allocas in addition to dynamic realignment. 1206 if (RegInfo->hasBasePointer(MF)) 1207 FrameReg = RegInfo->getBaseRegister(); 1208 else if (RegInfo->needsStackRealignment(MF)) 1209 FrameReg = RegInfo->getStackRegister(); 1210 else 1211 FrameReg = RegInfo->getFrameRegister(MF); 1212 return getFrameIndexOffset(MF, FI); 1213 } 1214 1215 bool X86FrameLowering::spillCalleeSavedRegisters(MachineBasicBlock &MBB, 1216 MachineBasicBlock::iterator MI, 1217 const std::vector<CalleeSavedInfo> &CSI, 1218 const TargetRegisterInfo *TRI) const { 1219 if (CSI.empty()) 1220 return false; 1221 1222 DebugLoc DL = MBB.findDebugLoc(MI); 1223 1224 MachineFunction &MF = *MBB.getParent(); 1225 1226 unsigned SlotSize = STI.is64Bit() ? 8 : 4; 1227 unsigned FPReg = TRI->getFrameRegister(MF); 1228 unsigned CalleeFrameSize = 0; 1229 1230 const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); 1231 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>(); 1232 1233 // Push GPRs. It increases frame size. 1234 unsigned Opc = STI.is64Bit() ? X86::PUSH64r : X86::PUSH32r; 1235 for (unsigned i = CSI.size(); i != 0; --i) { 1236 unsigned Reg = CSI[i-1].getReg(); 1237 if (!X86::GR64RegClass.contains(Reg) && 1238 !X86::GR32RegClass.contains(Reg)) 1239 continue; 1240 // Add the callee-saved register as live-in. It's killed at the spill. 1241 MBB.addLiveIn(Reg); 1242 if (Reg == FPReg) 1243 // X86RegisterInfo::emitPrologue will handle spilling of frame register. 1244 continue; 1245 CalleeFrameSize += SlotSize; 1246 BuildMI(MBB, MI, DL, TII.get(Opc)).addReg(Reg, RegState::Kill) 1247 .setMIFlag(MachineInstr::FrameSetup); 1248 } 1249 1250 X86FI->setCalleeSavedFrameSize(CalleeFrameSize); 1251 1252 // Make XMM regs spilled. X86 does not have ability of push/pop XMM. 1253 // It can be done by spilling XMMs to stack frame. 1254 // Note that only Win64 ABI might spill XMMs. 1255 for (unsigned i = CSI.size(); i != 0; --i) { 1256 unsigned Reg = CSI[i-1].getReg(); 1257 if (X86::GR64RegClass.contains(Reg) || 1258 X86::GR32RegClass.contains(Reg)) 1259 continue; 1260 // Add the callee-saved register as live-in. It's killed at the spill. 1261 MBB.addLiveIn(Reg); 1262 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 1263 TII.storeRegToStackSlot(MBB, MI, Reg, true, CSI[i-1].getFrameIdx(), 1264 RC, TRI); 1265 } 1266 1267 return true; 1268 } 1269 1270 bool X86FrameLowering::restoreCalleeSavedRegisters(MachineBasicBlock &MBB, 1271 MachineBasicBlock::iterator MI, 1272 const std::vector<CalleeSavedInfo> &CSI, 1273 const TargetRegisterInfo *TRI) const { 1274 if (CSI.empty()) 1275 return false; 1276 1277 DebugLoc DL = MBB.findDebugLoc(MI); 1278 1279 MachineFunction &MF = *MBB.getParent(); 1280 const TargetInstrInfo &TII = *MF.getTarget().getInstrInfo(); 1281 1282 // Reload XMMs from stack frame. 1283 for (unsigned i = 0, e = CSI.size(); i != e; ++i) { 1284 unsigned Reg = CSI[i].getReg(); 1285 if (X86::GR64RegClass.contains(Reg) || 1286 X86::GR32RegClass.contains(Reg)) 1287 continue; 1288 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 1289 TII.loadRegFromStackSlot(MBB, MI, Reg, CSI[i].getFrameIdx(), 1290 RC, TRI); 1291 } 1292 1293 // POP GPRs. 1294 unsigned FPReg = TRI->getFrameRegister(MF); 1295 unsigned Opc = STI.is64Bit() ? X86::POP64r : X86::POP32r; 1296 for (unsigned i = 0, e = CSI.size(); i != e; ++i) { 1297 unsigned Reg = CSI[i].getReg(); 1298 if (!X86::GR64RegClass.contains(Reg) && 1299 !X86::GR32RegClass.contains(Reg)) 1300 continue; 1301 if (Reg == FPReg) 1302 // X86RegisterInfo::emitEpilogue will handle restoring of frame register. 1303 continue; 1304 BuildMI(MBB, MI, DL, TII.get(Opc), Reg); 1305 } 1306 return true; 1307 } 1308 1309 void 1310 X86FrameLowering::processFunctionBeforeCalleeSavedScan(MachineFunction &MF, 1311 RegScavenger *RS) const { 1312 MachineFrameInfo *MFI = MF.getFrameInfo(); 1313 const X86RegisterInfo *RegInfo = TM.getRegisterInfo(); 1314 unsigned SlotSize = RegInfo->getSlotSize(); 1315 1316 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>(); 1317 int32_t TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta(); 1318 1319 if (TailCallReturnAddrDelta < 0) { 1320 // create RETURNADDR area 1321 // arg 1322 // arg 1323 // RETADDR 1324 // { ... 1325 // RETADDR area 1326 // ... 1327 // } 1328 // [EBP] 1329 MFI->CreateFixedObject(-TailCallReturnAddrDelta, 1330 (-1U*SlotSize)+TailCallReturnAddrDelta, true); 1331 } 1332 1333 if (hasFP(MF)) { 1334 assert((TailCallReturnAddrDelta <= 0) && 1335 "The Delta should always be zero or negative"); 1336 const TargetFrameLowering &TFI = *MF.getTarget().getFrameLowering(); 1337 1338 // Create a frame entry for the EBP register that must be saved. 1339 int FrameIdx = MFI->CreateFixedObject(SlotSize, 1340 -(int)SlotSize + 1341 TFI.getOffsetOfLocalArea() + 1342 TailCallReturnAddrDelta, 1343 true); 1344 assert(FrameIdx == MFI->getObjectIndexBegin() && 1345 "Slot for EBP register must be last in order to be found!"); 1346 (void)FrameIdx; 1347 } 1348 1349 // Spill the BasePtr if it's used. 1350 if (RegInfo->hasBasePointer(MF)) 1351 MF.getRegInfo().setPhysRegUsed(RegInfo->getBaseRegister()); 1352 } 1353 1354 static bool 1355 HasNestArgument(const MachineFunction *MF) { 1356 const Function *F = MF->getFunction(); 1357 for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end(); 1358 I != E; I++) { 1359 if (I->hasNestAttr()) 1360 return true; 1361 } 1362 return false; 1363 } 1364 1365 1366 /// GetScratchRegister - Get a register for performing work in the segmented 1367 /// stack prologue. Depending on platform and the properties of the function 1368 /// either one or two registers will be needed. Set primary to true for 1369 /// the first register, false for the second. 1370 static unsigned 1371 GetScratchRegister(bool Is64Bit, const MachineFunction &MF, bool Primary) { 1372 if (Is64Bit) 1373 return Primary ? X86::R11 : X86::R12; 1374 1375 CallingConv::ID CallingConvention = MF.getFunction()->getCallingConv(); 1376 bool IsNested = HasNestArgument(&MF); 1377 1378 if (CallingConvention == CallingConv::X86_FastCall || 1379 CallingConvention == CallingConv::Fast) { 1380 if (IsNested) 1381 report_fatal_error("Segmented stacks does not support fastcall with " 1382 "nested function."); 1383 return Primary ? X86::EAX : X86::ECX; 1384 } 1385 if (IsNested) 1386 return Primary ? X86::EDX : X86::EAX; 1387 return Primary ? X86::ECX : X86::EAX; 1388 } 1389 1390 // The stack limit in the TCB is set to this many bytes above the actual stack 1391 // limit. 1392 static const uint64_t kSplitStackAvailable = 256; 1393 1394 void 1395 X86FrameLowering::adjustForSegmentedStacks(MachineFunction &MF) const { 1396 MachineBasicBlock &prologueMBB = MF.front(); 1397 MachineFrameInfo *MFI = MF.getFrameInfo(); 1398 const X86InstrInfo &TII = *TM.getInstrInfo(); 1399 uint64_t StackSize; 1400 bool Is64Bit = STI.is64Bit(); 1401 unsigned TlsReg, TlsOffset; 1402 DebugLoc DL; 1403 const X86Subtarget *ST = &MF.getTarget().getSubtarget<X86Subtarget>(); 1404 1405 unsigned ScratchReg = GetScratchRegister(Is64Bit, MF, true); 1406 assert(!MF.getRegInfo().isLiveIn(ScratchReg) && 1407 "Scratch register is live-in"); 1408 1409 if (MF.getFunction()->isVarArg()) 1410 report_fatal_error("Segmented stacks do not support vararg functions."); 1411 if (!ST->isTargetLinux() && !ST->isTargetDarwin() && 1412 !ST->isTargetWin32() && !ST->isTargetFreeBSD()) 1413 report_fatal_error("Segmented stacks not supported on this platform."); 1414 1415 MachineBasicBlock *allocMBB = MF.CreateMachineBasicBlock(); 1416 MachineBasicBlock *checkMBB = MF.CreateMachineBasicBlock(); 1417 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>(); 1418 bool IsNested = false; 1419 1420 // We need to know if the function has a nest argument only in 64 bit mode. 1421 if (Is64Bit) 1422 IsNested = HasNestArgument(&MF); 1423 1424 // The MOV R10, RAX needs to be in a different block, since the RET we emit in 1425 // allocMBB needs to be last (terminating) instruction. 1426 1427 for (MachineBasicBlock::livein_iterator i = prologueMBB.livein_begin(), 1428 e = prologueMBB.livein_end(); i != e; i++) { 1429 allocMBB->addLiveIn(*i); 1430 checkMBB->addLiveIn(*i); 1431 } 1432 1433 if (IsNested) 1434 allocMBB->addLiveIn(X86::R10); 1435 1436 MF.push_front(allocMBB); 1437 MF.push_front(checkMBB); 1438 1439 // Eventually StackSize will be calculated by a link-time pass; which will 1440 // also decide whether checking code needs to be injected into this particular 1441 // prologue. 1442 StackSize = MFI->getStackSize(); 1443 1444 // When the frame size is less than 256 we just compare the stack 1445 // boundary directly to the value of the stack pointer, per gcc. 1446 bool CompareStackPointer = StackSize < kSplitStackAvailable; 1447 1448 // Read the limit off the current stacklet off the stack_guard location. 1449 if (Is64Bit) { 1450 if (ST->isTargetLinux()) { 1451 TlsReg = X86::FS; 1452 TlsOffset = 0x70; 1453 } else if (ST->isTargetDarwin()) { 1454 TlsReg = X86::GS; 1455 TlsOffset = 0x60 + 90*8; // See pthread_machdep.h. Steal TLS slot 90. 1456 } else if (ST->isTargetFreeBSD()) { 1457 TlsReg = X86::FS; 1458 TlsOffset = 0x18; 1459 } else { 1460 report_fatal_error("Segmented stacks not supported on this platform."); 1461 } 1462 1463 if (CompareStackPointer) 1464 ScratchReg = X86::RSP; 1465 else 1466 BuildMI(checkMBB, DL, TII.get(X86::LEA64r), ScratchReg).addReg(X86::RSP) 1467 .addImm(1).addReg(0).addImm(-StackSize).addReg(0); 1468 1469 BuildMI(checkMBB, DL, TII.get(X86::CMP64rm)).addReg(ScratchReg) 1470 .addReg(0).addImm(1).addReg(0).addImm(TlsOffset).addReg(TlsReg); 1471 } else { 1472 if (ST->isTargetLinux()) { 1473 TlsReg = X86::GS; 1474 TlsOffset = 0x30; 1475 } else if (ST->isTargetDarwin()) { 1476 TlsReg = X86::GS; 1477 TlsOffset = 0x48 + 90*4; 1478 } else if (ST->isTargetWin32()) { 1479 TlsReg = X86::FS; 1480 TlsOffset = 0x14; // pvArbitrary, reserved for application use 1481 } else if (ST->isTargetFreeBSD()) { 1482 report_fatal_error("Segmented stacks not supported on FreeBSD i386."); 1483 } else { 1484 report_fatal_error("Segmented stacks not supported on this platform."); 1485 } 1486 1487 if (CompareStackPointer) 1488 ScratchReg = X86::ESP; 1489 else 1490 BuildMI(checkMBB, DL, TII.get(X86::LEA32r), ScratchReg).addReg(X86::ESP) 1491 .addImm(1).addReg(0).addImm(-StackSize).addReg(0); 1492 1493 if (ST->isTargetLinux() || ST->isTargetWin32()) { 1494 BuildMI(checkMBB, DL, TII.get(X86::CMP32rm)).addReg(ScratchReg) 1495 .addReg(0).addImm(0).addReg(0).addImm(TlsOffset).addReg(TlsReg); 1496 } else if (ST->isTargetDarwin()) { 1497 1498 // TlsOffset doesn't fit into a mod r/m byte so we need an extra register 1499 unsigned ScratchReg2; 1500 bool SaveScratch2; 1501 if (CompareStackPointer) { 1502 // The primary scratch register is available for holding the TLS offset 1503 ScratchReg2 = GetScratchRegister(Is64Bit, MF, true); 1504 SaveScratch2 = false; 1505 } else { 1506 // Need to use a second register to hold the TLS offset 1507 ScratchReg2 = GetScratchRegister(Is64Bit, MF, false); 1508 1509 // Unfortunately, with fastcc the second scratch register may hold an arg 1510 SaveScratch2 = MF.getRegInfo().isLiveIn(ScratchReg2); 1511 } 1512 1513 // If Scratch2 is live-in then it needs to be saved 1514 assert((!MF.getRegInfo().isLiveIn(ScratchReg2) || SaveScratch2) && 1515 "Scratch register is live-in and not saved"); 1516 1517 if (SaveScratch2) 1518 BuildMI(checkMBB, DL, TII.get(X86::PUSH32r)) 1519 .addReg(ScratchReg2, RegState::Kill); 1520 1521 BuildMI(checkMBB, DL, TII.get(X86::MOV32ri), ScratchReg2) 1522 .addImm(TlsOffset); 1523 BuildMI(checkMBB, DL, TII.get(X86::CMP32rm)) 1524 .addReg(ScratchReg) 1525 .addReg(ScratchReg2).addImm(1).addReg(0) 1526 .addImm(0) 1527 .addReg(TlsReg); 1528 1529 if (SaveScratch2) 1530 BuildMI(checkMBB, DL, TII.get(X86::POP32r), ScratchReg2); 1531 } 1532 } 1533 1534 // This jump is taken if SP >= (Stacklet Limit + Stack Space required). 1535 // It jumps to normal execution of the function body. 1536 BuildMI(checkMBB, DL, TII.get(X86::JA_4)).addMBB(&prologueMBB); 1537 1538 // On 32 bit we first push the arguments size and then the frame size. On 64 1539 // bit, we pass the stack frame size in r10 and the argument size in r11. 1540 if (Is64Bit) { 1541 // Functions with nested arguments use R10, so it needs to be saved across 1542 // the call to _morestack 1543 1544 if (IsNested) 1545 BuildMI(allocMBB, DL, TII.get(X86::MOV64rr), X86::RAX).addReg(X86::R10); 1546 1547 BuildMI(allocMBB, DL, TII.get(X86::MOV64ri), X86::R10) 1548 .addImm(StackSize); 1549 BuildMI(allocMBB, DL, TII.get(X86::MOV64ri), X86::R11) 1550 .addImm(X86FI->getArgumentStackSize()); 1551 MF.getRegInfo().setPhysRegUsed(X86::R10); 1552 MF.getRegInfo().setPhysRegUsed(X86::R11); 1553 } else { 1554 BuildMI(allocMBB, DL, TII.get(X86::PUSHi32)) 1555 .addImm(X86FI->getArgumentStackSize()); 1556 BuildMI(allocMBB, DL, TII.get(X86::PUSHi32)) 1557 .addImm(StackSize); 1558 } 1559 1560 // __morestack is in libgcc 1561 if (Is64Bit) 1562 BuildMI(allocMBB, DL, TII.get(X86::CALL64pcrel32)) 1563 .addExternalSymbol("__morestack"); 1564 else 1565 BuildMI(allocMBB, DL, TII.get(X86::CALLpcrel32)) 1566 .addExternalSymbol("__morestack"); 1567 1568 if (IsNested) 1569 BuildMI(allocMBB, DL, TII.get(X86::MORESTACK_RET_RESTORE_R10)); 1570 else 1571 BuildMI(allocMBB, DL, TII.get(X86::MORESTACK_RET)); 1572 1573 allocMBB->addSuccessor(&prologueMBB); 1574 1575 checkMBB->addSuccessor(allocMBB); 1576 checkMBB->addSuccessor(&prologueMBB); 1577 1578 #ifdef XDEBUG 1579 MF.verify(); 1580 #endif 1581 } 1582