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