blob: 7fc032d98099429c3249780afdb060e5a65b67f7 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- Thumb1FrameLowering.cpp - Thumb1 Frame Information ----------------===//
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +00002//
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//
Anton Korobeynikov2f931282011-01-10 12:39:04 +000010// This file contains the Thumb1 implementation of TargetFrameLowering class.
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000011//
12//===----------------------------------------------------------------------===//
13
Chandler Carruth6bda14b2017-06-06 11:49:48 +000014#include "Thumb1FrameLowering.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000015#include "ARMBaseInstrInfo.h"
16#include "ARMBaseRegisterInfo.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000017#include "ARMMachineFunctionInfo.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000018#include "ARMSubtarget.h"
19#include "MCTargetDesc/ARMBaseInfo.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000020#include "Thumb1InstrInfo.h"
21#include "ThumbRegisterInfo.h"
22#include "llvm/ADT/BitVector.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000023#include "llvm/ADT/STLExtras.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000024#include "llvm/ADT/SmallSet.h"
25#include "llvm/ADT/SmallVector.h"
Quentin Colombet71a71482015-07-20 21:42:14 +000026#include "llvm/CodeGen/LivePhysRegs.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000027#include "llvm/CodeGen/MachineBasicBlock.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000028#include "llvm/CodeGen/MachineFrameInfo.h"
29#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000030#include "llvm/CodeGen/MachineInstr.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000031#include "llvm/CodeGen/MachineInstrBuilder.h"
Artyom Skrobovf6830f42014-02-14 17:19:07 +000032#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000033#include "llvm/CodeGen/MachineOperand.h"
Evan Chengeb56dca2010-11-22 18:12:04 +000034#include "llvm/CodeGen/MachineRegisterInfo.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000035#include "llvm/IR/DebugLoc.h"
36#include "llvm/MC/MCDwarf.h"
37#include "llvm/Support/Compiler.h"
38#include "llvm/Support/ErrorHandling.h"
39#include "llvm/Target/TargetInstrInfo.h"
40#include "llvm/Target/TargetSubtargetInfo.h"
41#include <cassert>
42#include <iterator>
43#include <vector>
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000044
45using namespace llvm;
46
Eric Christopher45fb7b62014-06-26 19:29:59 +000047Thumb1FrameLowering::Thumb1FrameLowering(const ARMSubtarget &sti)
48 : ARMFrameLowering(sti) {}
49
Jim Grosbache7e2aca2011-09-13 20:30:37 +000050bool Thumb1FrameLowering::hasReservedCallFrame(const MachineFunction &MF) const{
Matthias Braun941a7052016-07-28 18:40:00 +000051 const MachineFrameInfo &MFI = MF.getFrameInfo();
52 unsigned CFSize = MFI.getMaxCallFrameSize();
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +000053 // It's not always a good idea to include the call frame as part of the
54 // stack frame. ARM (especially Thumb) has small immediate offset to
55 // address the stack frame. So a large call frame can cause poor codegen
56 // and may even makes it impossible to scavenge a register.
57 if (CFSize >= ((1 << 8) - 1) * 4 / 2) // Half of imm8 * 4
58 return false;
59
Matthias Braun941a7052016-07-28 18:40:00 +000060 return !MFI.hasVarSizedObjects();
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +000061}
62
Benjamin Kramerbdc49562016-06-12 15:39:02 +000063static void emitSPUpdate(MachineBasicBlock &MBB,
64 MachineBasicBlock::iterator &MBBI,
65 const TargetInstrInfo &TII, const DebugLoc &dl,
66 const ThumbRegisterInfo &MRI, int NumBytes,
67 unsigned MIFlags = MachineInstr::NoFlags) {
Anton Korobeynikove7410dd2011-03-05 18:43:32 +000068 emitThumbRegPlusImmediate(MBB, MBBI, dl, ARM::SP, ARM::SP, NumBytes, TII,
Anton Korobeynikova8d177b2011-03-05 18:43:50 +000069 MRI, MIFlags);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000070}
71
Eli Bendersky8da87162013-02-21 20:05:00 +000072
Hans Wennborge1a2e902016-03-31 18:33:38 +000073MachineBasicBlock::iterator Thumb1FrameLowering::
Eli Bendersky8da87162013-02-21 20:05:00 +000074eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
75 MachineBasicBlock::iterator I) const {
76 const Thumb1InstrInfo &TII =
Eric Christopher1b21f002015-01-29 00:19:33 +000077 *static_cast<const Thumb1InstrInfo *>(STI.getInstrInfo());
Eric Christopherae326492015-03-12 22:48:50 +000078 const ThumbRegisterInfo *RegInfo =
79 static_cast<const ThumbRegisterInfo *>(STI.getRegisterInfo());
Eli Bendersky8da87162013-02-21 20:05:00 +000080 if (!hasReservedCallFrame(MF)) {
81 // If we have alloca, convert as follows:
82 // ADJCALLSTACKDOWN -> sub, sp, sp, amount
83 // ADJCALLSTACKUP -> add, sp, sp, amount
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +000084 MachineInstr &Old = *I;
85 DebugLoc dl = Old.getDebugLoc();
Serge Pavlov5943a962017-04-19 03:12:05 +000086 unsigned Amount = TII.getFrameSize(Old);
Eli Bendersky8da87162013-02-21 20:05:00 +000087 if (Amount != 0) {
88 // We need to keep the stack aligned properly. To do this, we round the
89 // amount of space needed for the outgoing arguments up to the next
90 // alignment boundary.
Serge Pavlov5943a962017-04-19 03:12:05 +000091 Amount = alignTo(Amount, getStackAlignment());
Eli Bendersky8da87162013-02-21 20:05:00 +000092
93 // Replace the pseudo instruction with a new instruction...
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +000094 unsigned Opc = Old.getOpcode();
Eli Bendersky8da87162013-02-21 20:05:00 +000095 if (Opc == ARM::ADJCALLSTACKDOWN || Opc == ARM::tADJCALLSTACKDOWN) {
96 emitSPUpdate(MBB, I, TII, dl, *RegInfo, -Amount);
97 } else {
98 assert(Opc == ARM::ADJCALLSTACKUP || Opc == ARM::tADJCALLSTACKUP);
99 emitSPUpdate(MBB, I, TII, dl, *RegInfo, Amount);
100 }
101 }
102 }
Hans Wennborge1a2e902016-03-31 18:33:38 +0000103 return MBB.erase(I);
Eli Bendersky8da87162013-02-21 20:05:00 +0000104}
105
Quentin Colombet61b305e2015-05-05 17:38:16 +0000106void Thumb1FrameLowering::emitPrologue(MachineFunction &MF,
107 MachineBasicBlock &MBB) const {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000108 MachineBasicBlock::iterator MBBI = MBB.begin();
Matthias Braun941a7052016-07-28 18:40:00 +0000109 MachineFrameInfo &MFI = MF.getFrameInfo();
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000110 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000111 MachineModuleInfo &MMI = MF.getMMI();
112 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Eric Christopherae326492015-03-12 22:48:50 +0000113 const ThumbRegisterInfo *RegInfo =
114 static_cast<const ThumbRegisterInfo *>(STI.getRegisterInfo());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000115 const Thumb1InstrInfo &TII =
Eric Christopher1b21f002015-01-29 00:19:33 +0000116 *static_cast<const Thumb1InstrInfo *>(STI.getInstrInfo());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000117
Tim Northover8cda34f2015-03-11 18:54:22 +0000118 unsigned ArgRegsSaveSize = AFI->getArgRegsSaveSize();
Matthias Braun941a7052016-07-28 18:40:00 +0000119 unsigned NumBytes = MFI.getStackSize();
Tim Northover775aaeb2015-11-05 21:54:58 +0000120 assert(NumBytes >= ArgRegsSaveSize &&
121 "ArgRegsSaveSize is included in NumBytes");
Matthias Braun941a7052016-07-28 18:40:00 +0000122 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
Tim Northover775aaeb2015-11-05 21:54:58 +0000123
124 // Debug location must be unknown since the first debug location is used
125 // to determine the end of the prologue.
126 DebugLoc dl;
127
128 unsigned FramePtr = RegInfo->getFrameRegister(MF);
129 unsigned BasePtr = RegInfo->getBaseRegister();
130 int CFAOffset = 0;
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000131
132 // Thumb add/sub sp, imm8 instructions implicitly multiply the offset by 4.
133 NumBytes = (NumBytes + 3) & ~3;
Matthias Braun941a7052016-07-28 18:40:00 +0000134 MFI.setStackSize(NumBytes);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000135
136 // Determine the sizes of each callee-save spill areas and record which frame
137 // belongs to which callee-save spill areas.
138 unsigned GPRCS1Size = 0, GPRCS2Size = 0, DPRCSSize = 0;
139 int FramePtrSpillFI = 0;
140
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000141 if (ArgRegsSaveSize) {
Stepan Dyatkovskiyf5aa83d2013-04-30 07:19:58 +0000142 emitSPUpdate(MBB, MBBI, TII, dl, *RegInfo, -ArgRegsSaveSize,
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000143 MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000144 CFAOffset -= ArgRegsSaveSize;
Matthias Braunf23ef432016-11-30 23:48:42 +0000145 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000146 MCCFIInstruction::createDefCfaOffset(nullptr, CFAOffset));
147 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000148 .addCFIIndex(CFIIndex)
149 .setMIFlags(MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000150 }
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000151
152 if (!AFI->hasStackFrame()) {
Oliver Stannardd55e1152014-03-05 15:25:27 +0000153 if (NumBytes - ArgRegsSaveSize != 0) {
154 emitSPUpdate(MBB, MBBI, TII, dl, *RegInfo, -(NumBytes - ArgRegsSaveSize),
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000155 MachineInstr::FrameSetup);
Oliver Stannardd55e1152014-03-05 15:25:27 +0000156 CFAOffset -= NumBytes - ArgRegsSaveSize;
Matthias Braunf23ef432016-11-30 23:48:42 +0000157 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000158 MCCFIInstruction::createDefCfaOffset(nullptr, CFAOffset));
159 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000160 .addCFIIndex(CFIIndex)
161 .setMIFlags(MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000162 }
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000163 return;
164 }
165
166 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
167 unsigned Reg = CSI[i].getReg();
168 int FI = CSI[i].getFrameIdx();
169 switch (Reg) {
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000170 case ARM::R8:
171 case ARM::R9:
172 case ARM::R10:
173 case ARM::R11:
Oliver Stannard9aa6f012016-08-23 09:19:22 +0000174 if (STI.splitFramePushPop(MF)) {
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000175 GPRCS2Size += 4;
176 break;
177 }
Justin Bognerb03fd122016-08-17 05:10:15 +0000178 LLVM_FALLTHROUGH;
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000179 case ARM::R4:
180 case ARM::R5:
181 case ARM::R6:
182 case ARM::R7:
183 case ARM::LR:
184 if (Reg == FramePtr)
185 FramePtrSpillFI = FI;
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000186 GPRCS1Size += 4;
187 break;
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000188 default:
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000189 DPRCSSize += 8;
190 }
191 }
Tim Northover775aaeb2015-11-05 21:54:58 +0000192
193 if (MBBI != MBB.end() && MBBI->getOpcode() == ARM::tPUSH) {
194 ++MBBI;
195 }
196
197 // Determine starting offsets of spill areas.
Oliver Stannardd55e1152014-03-05 15:25:27 +0000198 unsigned DPRCSOffset = NumBytes - ArgRegsSaveSize - (GPRCS1Size + GPRCS2Size + DPRCSSize);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000199 unsigned GPRCS2Offset = DPRCSOffset + DPRCSSize;
200 unsigned GPRCS1Offset = GPRCS2Offset + GPRCS2Size;
Logan Chien53c18d82013-02-20 12:21:33 +0000201 bool HasFP = hasFP(MF);
202 if (HasFP)
Matthias Braun941a7052016-07-28 18:40:00 +0000203 AFI->setFramePtrSpillOffset(MFI.getObjectOffset(FramePtrSpillFI) +
Logan Chien53c18d82013-02-20 12:21:33 +0000204 NumBytes);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000205 AFI->setGPRCalleeSavedArea1Offset(GPRCS1Offset);
206 AFI->setGPRCalleeSavedArea2Offset(GPRCS2Offset);
207 AFI->setDPRCalleeSavedAreaOffset(DPRCSOffset);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000208 NumBytes = DPRCSOffset;
Evan Chengeb56dca2010-11-22 18:12:04 +0000209
Tim Northover93bcc662013-11-08 17:18:07 +0000210 int FramePtrOffsetInBlock = 0;
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000211 unsigned adjustedGPRCS1Size = GPRCS1Size;
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000212 if (GPRCS1Size > 0 && GPRCS2Size == 0 &&
213 tryFoldSPUpdateIntoPushPop(STI, MF, &*std::prev(MBBI), NumBytes)) {
Tim Northover93bcc662013-11-08 17:18:07 +0000214 FramePtrOffsetInBlock = NumBytes;
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000215 adjustedGPRCS1Size += NumBytes;
Tim Northover93bcc662013-11-08 17:18:07 +0000216 NumBytes = 0;
217 }
218
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000219 if (adjustedGPRCS1Size) {
220 CFAOffset -= adjustedGPRCS1Size;
Matthias Braunf23ef432016-11-30 23:48:42 +0000221 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000222 MCCFIInstruction::createDefCfaOffset(nullptr, CFAOffset));
223 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000224 .addCFIIndex(CFIIndex)
225 .setMIFlags(MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000226 }
227 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
228 E = CSI.end(); I != E; ++I) {
229 unsigned Reg = I->getReg();
230 int FI = I->getFrameIdx();
231 switch (Reg) {
232 case ARM::R8:
233 case ARM::R9:
234 case ARM::R10:
235 case ARM::R11:
236 case ARM::R12:
Oliver Stannard9aa6f012016-08-23 09:19:22 +0000237 if (STI.splitFramePushPop(MF))
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000238 break;
Simon Pilgrimcb07d672017-07-07 16:40:06 +0000239 LLVM_FALLTHROUGH;
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000240 case ARM::R0:
241 case ARM::R1:
242 case ARM::R2:
243 case ARM::R3:
244 case ARM::R4:
245 case ARM::R5:
246 case ARM::R6:
247 case ARM::R7:
248 case ARM::LR:
Matthias Braunf23ef432016-11-30 23:48:42 +0000249 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
Matthias Braun941a7052016-07-28 18:40:00 +0000250 nullptr, MRI->getDwarfRegNum(Reg, true), MFI.getObjectOffset(FI)));
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000251 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000252 .addCFIIndex(CFIIndex)
253 .setMIFlags(MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000254 break;
255 }
256 }
257
Evan Chengeb56dca2010-11-22 18:12:04 +0000258 // Adjust FP so it point to the stack slot that contains the previous FP.
Logan Chien53c18d82013-02-20 12:21:33 +0000259 if (HasFP) {
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +0000260 FramePtrOffsetInBlock +=
Matthias Braun941a7052016-07-28 18:40:00 +0000261 MFI.getObjectOffset(FramePtrSpillFI) + GPRCS1Size + ArgRegsSaveSize;
Diana Picus4f8c3e12017-01-13 09:37:56 +0000262 BuildMI(MBB, MBBI, dl, TII.get(ARM::tADDrSPi), FramePtr)
263 .addReg(ARM::SP)
264 .addImm(FramePtrOffsetInBlock / 4)
265 .setMIFlags(MachineInstr::FrameSetup)
266 .add(predOps(ARMCC::AL));
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000267 if(FramePtrOffsetInBlock) {
268 CFAOffset += FramePtrOffsetInBlock;
Matthias Braunf23ef432016-11-30 23:48:42 +0000269 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000270 nullptr, MRI->getDwarfRegNum(FramePtr, true), CFAOffset));
271 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000272 .addCFIIndex(CFIIndex)
273 .setMIFlags(MachineInstr::FrameSetup);
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000274 } else {
275 unsigned CFIIndex =
Matthias Braunf23ef432016-11-30 23:48:42 +0000276 MF.addFrameInst(MCCFIInstruction::createDefCfaRegister(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000277 nullptr, MRI->getDwarfRegNum(FramePtr, true)));
278 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000279 .addCFIIndex(CFIIndex)
280 .setMIFlags(MachineInstr::FrameSetup);
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000281 }
Jim Grosbachdca85312011-06-13 21:18:25 +0000282 if (NumBytes > 508)
283 // If offset is > 508 then sp cannot be adjusted in a single instruction,
Evan Chengeb56dca2010-11-22 18:12:04 +0000284 // try restoring from fp instead.
285 AFI->setShouldRestoreSPFromFP(true);
286 }
287
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000288 // Skip past the spilling of r8-r11, which could consist of multiple tPUSH
289 // and tMOVr instructions. We don't need to add any call frame information
290 // in-between these instructions, because they do not modify the high
291 // registers.
292 while (true) {
293 MachineBasicBlock::iterator OldMBBI = MBBI;
294 // Skip a run of tMOVr instructions
295 while (MBBI != MBB.end() && MBBI->getOpcode() == ARM::tMOVr)
296 MBBI++;
297 if (MBBI != MBB.end() && MBBI->getOpcode() == ARM::tPUSH) {
298 MBBI++;
299 } else {
300 // We have reached an instruction which is not a push, so the previous
301 // run of tMOVr instructions (which may have been empty) was not part of
302 // the prologue. Reset MBBI back to the last PUSH of the prologue.
303 MBBI = OldMBBI;
304 break;
305 }
306 }
307
308 // Emit call frame information for the callee-saved high registers.
309 for (auto &I : CSI) {
310 unsigned Reg = I.getReg();
311 int FI = I.getFrameIdx();
312 switch (Reg) {
313 case ARM::R8:
314 case ARM::R9:
315 case ARM::R10:
316 case ARM::R11:
317 case ARM::R12: {
Matthias Braunf23ef432016-11-30 23:48:42 +0000318 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000319 nullptr, MRI->getDwarfRegNum(Reg, true), MFI.getObjectOffset(FI)));
320 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
321 .addCFIIndex(CFIIndex)
322 .setMIFlags(MachineInstr::FrameSetup);
323 break;
324 }
325 default:
326 break;
327 }
328 }
329
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000330 if (NumBytes) {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000331 // Insert it after all the callee-save spills.
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000332 emitSPUpdate(MBB, MBBI, TII, dl, *RegInfo, -NumBytes,
333 MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000334 if (!HasFP) {
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000335 CFAOffset -= NumBytes;
Matthias Braunf23ef432016-11-30 23:48:42 +0000336 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000337 MCCFIInstruction::createDefCfaOffset(nullptr, CFAOffset));
338 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
Adrian Prantld9e64b62014-12-22 23:09:14 +0000339 .addCFIIndex(CFIIndex)
340 .setMIFlags(MachineInstr::FrameSetup);
Artyom Skrobovf6830f42014-02-14 17:19:07 +0000341 }
342 }
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000343
Logan Chien53c18d82013-02-20 12:21:33 +0000344 if (STI.isTargetELF() && HasFP)
Matthias Braun941a7052016-07-28 18:40:00 +0000345 MFI.setOffsetAdjustment(MFI.getOffsetAdjustment() -
346 AFI->getFramePtrSpillOffset());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000347
348 AFI->setGPRCalleeSavedArea1Size(GPRCS1Size);
349 AFI->setGPRCalleeSavedArea2Size(GPRCS2Size);
350 AFI->setDPRCalleeSavedAreaSize(DPRCSSize);
351
Chad Rosieradd38c12011-10-20 00:07:12 +0000352 // Thumb1 does not currently support dynamic stack realignment. Report a
353 // fatal error rather then silently generate bad code.
354 if (RegInfo->needsStackRealignment(MF))
355 report_fatal_error("Dynamic stack realignment not supported for thumb1.");
Chad Rosier1809d6c2011-10-15 00:28:24 +0000356
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000357 // If we need a base pointer, set it up here. It's whatever the value
358 // of the stack pointer is at this point. Any variable size objects
359 // will be allocated after this, so we can still use the base pointer
360 // to reference locals.
361 if (RegInfo->hasBasePointer(MF))
Diana Picus4f8c3e12017-01-13 09:37:56 +0000362 BuildMI(MBB, MBBI, dl, TII.get(ARM::tMOVr), BasePtr)
363 .addReg(ARM::SP)
364 .add(predOps(ARMCC::AL));
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000365
Eric Christopher39043432011-01-11 00:16:04 +0000366 // If the frame has variable sized objects then the epilogue must restore
367 // the sp from fp. We can assume there's an FP here since hasFP already
368 // checks for hasVarSizedObjects.
Matthias Braun941a7052016-07-28 18:40:00 +0000369 if (MFI.hasVarSizedObjects())
Eric Christopher39043432011-01-11 00:16:04 +0000370 AFI->setShouldRestoreSPFromFP(true);
Florian Hahn8485cec2017-01-18 15:01:22 +0000371
372 // In some cases, virtual registers have been introduced, e.g. by uses of
373 // emitThumbRegPlusImmInReg.
374 MF.getProperties().reset(MachineFunctionProperties::Property::NoVRegs);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000375}
376
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +0000377static bool isCSRestore(MachineInstr &MI, const MCPhysReg *CSRegs) {
378 if (MI.getOpcode() == ARM::tLDRspi && MI.getOperand(1).isFI() &&
379 isCalleeSavedRegister(MI.getOperand(0).getReg(), CSRegs))
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000380 return true;
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +0000381 else if (MI.getOpcode() == ARM::tPOP) {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000382 return true;
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000383 } else if (MI.getOpcode() == ARM::tMOVr) {
384 unsigned Dst = MI.getOperand(0).getReg();
385 unsigned Src = MI.getOperand(1).getReg();
386 return ((ARM::tGPRRegClass.contains(Src) || Src == ARM::LR) &&
387 ARM::hGPRRegClass.contains(Dst));
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000388 }
389 return false;
390}
391
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000392void Thumb1FrameLowering::emitEpilogue(MachineFunction &MF,
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000393 MachineBasicBlock &MBB) const {
Quentin Colombet71a71482015-07-20 21:42:14 +0000394 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
395 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
Matthias Braun941a7052016-07-28 18:40:00 +0000396 MachineFrameInfo &MFI = MF.getFrameInfo();
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000397 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
Eric Christopherae326492015-03-12 22:48:50 +0000398 const ThumbRegisterInfo *RegInfo =
399 static_cast<const ThumbRegisterInfo *>(STI.getRegisterInfo());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000400 const Thumb1InstrInfo &TII =
Eric Christopher1b21f002015-01-29 00:19:33 +0000401 *static_cast<const Thumb1InstrInfo *>(STI.getInstrInfo());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000402
Tim Northover8cda34f2015-03-11 18:54:22 +0000403 unsigned ArgRegsSaveSize = AFI->getArgRegsSaveSize();
Matthias Braun941a7052016-07-28 18:40:00 +0000404 int NumBytes = (int)MFI.getStackSize();
David Blaikie7f4a52e2014-03-05 18:53:36 +0000405 assert((unsigned)NumBytes >= ArgRegsSaveSize &&
Oliver Stannardd55e1152014-03-05 15:25:27 +0000406 "ArgRegsSaveSize is included in NumBytes");
Eric Christopher7af952872015-03-11 21:41:28 +0000407 const MCPhysReg *CSRegs = RegInfo->getCalleeSavedRegs(&MF);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000408 unsigned FramePtr = RegInfo->getFrameRegister(MF);
409
410 if (!AFI->hasStackFrame()) {
Oliver Stannardd55e1152014-03-05 15:25:27 +0000411 if (NumBytes - ArgRegsSaveSize != 0)
412 emitSPUpdate(MBB, MBBI, TII, dl, *RegInfo, NumBytes - ArgRegsSaveSize);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000413 } else {
414 // Unwind MBBI to point to first LDR / VLDRD.
415 if (MBBI != MBB.begin()) {
416 do
417 --MBBI;
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +0000418 while (MBBI != MBB.begin() && isCSRestore(*MBBI, CSRegs));
419 if (!isCSRestore(*MBBI, CSRegs))
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000420 ++MBBI;
421 }
422
423 // Move SP to start of FP callee save spill area.
424 NumBytes -= (AFI->getGPRCalleeSavedArea1Size() +
425 AFI->getGPRCalleeSavedArea2Size() +
Oliver Stannardd55e1152014-03-05 15:25:27 +0000426 AFI->getDPRCalleeSavedAreaSize() +
427 ArgRegsSaveSize);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000428
429 if (AFI->shouldRestoreSPFromFP()) {
430 NumBytes = AFI->getFramePtrSpillOffset() - NumBytes;
431 // Reset SP based on frame pointer only if the stack frame extends beyond
Eric Christopher39043432011-01-11 00:16:04 +0000432 // frame pointer stack slot, the target is ELF and the function has FP, or
433 // the target uses var sized objects.
Evan Chengeb56dca2010-11-22 18:12:04 +0000434 if (NumBytes) {
Matthias Braun941a7052016-07-28 18:40:00 +0000435 assert(!MFI.getPristineRegs(MF).test(ARM::R4) &&
Evan Chengeb56dca2010-11-22 18:12:04 +0000436 "No scratch register to restore SP from FP!");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000437 emitThumbRegPlusImmediate(MBB, MBBI, dl, ARM::R4, FramePtr, -NumBytes,
438 TII, *RegInfo);
Diana Picus4f8c3e12017-01-13 09:37:56 +0000439 BuildMI(MBB, MBBI, dl, TII.get(ARM::tMOVr), ARM::SP)
440 .addReg(ARM::R4)
441 .add(predOps(ARMCC::AL));
Evan Chengeb56dca2010-11-22 18:12:04 +0000442 } else
Diana Picus4f8c3e12017-01-13 09:37:56 +0000443 BuildMI(MBB, MBBI, dl, TII.get(ARM::tMOVr), ARM::SP)
444 .addReg(FramePtr)
445 .add(predOps(ARMCC::AL));
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000446 } else {
Quentin Colombet71a71482015-07-20 21:42:14 +0000447 if (MBBI != MBB.end() && MBBI->getOpcode() == ARM::tBX_RET &&
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +0000448 &MBB.front() != &*MBBI && std::prev(MBBI)->getOpcode() == ARM::tPOP) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000449 MachineBasicBlock::iterator PMBBI = std::prev(MBBI);
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +0000450 if (!tryFoldSPUpdateIntoPushPop(STI, MF, &*PMBBI, NumBytes))
Tim Northover93bcc662013-11-08 17:18:07 +0000451 emitSPUpdate(MBB, PMBBI, TII, dl, *RegInfo, NumBytes);
Duncan P. N. Exon Smith29c52492016-07-08 20:21:17 +0000452 } else if (!tryFoldSPUpdateIntoPushPop(STI, MF, &*MBBI, NumBytes))
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000453 emitSPUpdate(MBB, MBBI, TII, dl, *RegInfo, NumBytes);
454 }
455 }
456
Quentin Colombet48b77202015-07-22 16:34:37 +0000457 if (needPopSpecialFixUp(MF)) {
458 bool Done = emitPopSpecialFixUp(MBB, /* DoIt */ true);
459 (void)Done;
460 assert(Done && "Emission of the special fixup failed!?");
461 }
462}
463
464bool Thumb1FrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
465 if (!needPopSpecialFixUp(*MBB.getParent()))
466 return true;
467
468 MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
469 return emitPopSpecialFixUp(*TmpMBB, /* DoIt */ false);
470}
471
472bool Thumb1FrameLowering::needPopSpecialFixUp(const MachineFunction &MF) const {
473 ARMFunctionInfo *AFI =
474 const_cast<MachineFunction *>(&MF)->getInfo<ARMFunctionInfo>();
475 if (AFI->getArgRegsSaveSize())
476 return true;
477
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000478 // LR cannot be encoded with Thumb1, i.e., it requires a special fix-up.
Matthias Braun941a7052016-07-28 18:40:00 +0000479 for (const CalleeSavedInfo &CSI : MF.getFrameInfo().getCalleeSavedInfo())
Jonathan Roelofsef84bda2014-08-05 21:32:21 +0000480 if (CSI.getReg() == ARM::LR)
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000481 return true;
482
483 return false;
Quentin Colombet48b77202015-07-22 16:34:37 +0000484}
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000485
Quentin Colombet48b77202015-07-22 16:34:37 +0000486bool Thumb1FrameLowering::emitPopSpecialFixUp(MachineBasicBlock &MBB,
487 bool DoIt) const {
488 MachineFunction &MF = *MBB.getParent();
489 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
490 unsigned ArgRegsSaveSize = AFI->getArgRegsSaveSize();
491 const TargetInstrInfo &TII = *STI.getInstrInfo();
492 const ThumbRegisterInfo *RegInfo =
493 static_cast<const ThumbRegisterInfo *>(STI.getRegisterInfo());
Quentin Colombet71a71482015-07-20 21:42:14 +0000494
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000495 // If MBBI is a return instruction, or is a tPOP followed by a return
496 // instruction in the successor BB, we may be able to directly restore
497 // LR in the PC.
498 // This is only possible with v5T ops (v4T can't change the Thumb bit via
499 // a POP PC instruction), and only if we do not need to emit any SP update.
500 // Otherwise, we need a temporary register to pop the value
501 // and copy that value into LR.
Quentin Colombet48b77202015-07-22 16:34:37 +0000502 auto MBBI = MBB.getFirstTerminator();
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000503 bool CanRestoreDirectly = STI.hasV5TOps() && !ArgRegsSaveSize;
504 if (CanRestoreDirectly) {
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000505 if (MBBI != MBB.end() && MBBI->getOpcode() != ARM::tB)
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000506 CanRestoreDirectly = (MBBI->getOpcode() == ARM::tBX_RET ||
507 MBBI->getOpcode() == ARM::tPOP_RET);
508 else {
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000509 auto MBBI_prev = MBBI;
510 MBBI_prev--;
511 assert(MBBI_prev->getOpcode() == ARM::tPOP);
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000512 assert(MBB.succ_size() == 1);
513 if ((*MBB.succ_begin())->begin()->getOpcode() == ARM::tBX_RET)
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000514 MBBI = MBBI_prev; // Replace the final tPOP with a tPOP_RET.
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000515 else
516 CanRestoreDirectly = false;
517 }
518 }
519
520 if (CanRestoreDirectly) {
521 if (!DoIt || MBBI->getOpcode() == ARM::tPOP_RET)
522 return true;
523 MachineInstrBuilder MIB =
Diana Picus4f8c3e12017-01-13 09:37:56 +0000524 BuildMI(MBB, MBBI, MBBI->getDebugLoc(), TII.get(ARM::tPOP_RET))
525 .add(predOps(ARMCC::AL));
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000526 // Copy implicit ops and popped registers, if any.
527 for (auto MO: MBBI->operands())
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000528 if (MO.isReg() && (MO.isImplicit() || MO.isDef()))
Diana Picus116bbab2017-01-13 09:58:52 +0000529 MIB.add(MO);
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000530 MIB.addReg(ARM::PC, RegState::Define);
531 // Erase the old instruction (tBX_RET or tPOP).
532 MBB.erase(MBBI);
533 return true;
534 }
Quentin Colombet71a71482015-07-20 21:42:14 +0000535
Quentin Colombet48b77202015-07-22 16:34:37 +0000536 // Look for a temporary register to use.
537 // First, compute the liveness information.
Matthias Braunac4307c2017-05-26 21:51:00 +0000538 const TargetRegisterInfo &TRI = *STI.getRegisterInfo();
539 LivePhysRegs UsedRegs(TRI);
Matthias Braund1aabb22016-05-03 00:24:32 +0000540 UsedRegs.addLiveOuts(MBB);
Quentin Colombet48b77202015-07-22 16:34:37 +0000541 // The semantic of pristines changed recently and now,
542 // the callee-saved registers that are touched in the function
543 // are not part of the pristines set anymore.
544 // Add those callee-saved now.
Matthias Braunac4307c2017-05-26 21:51:00 +0000545 const MCPhysReg *CSRegs = TRI.getCalleeSavedRegs(&MF);
Quentin Colombet48b77202015-07-22 16:34:37 +0000546 for (unsigned i = 0; CSRegs[i]; ++i)
547 UsedRegs.addReg(CSRegs[i]);
Quentin Colombet71a71482015-07-20 21:42:14 +0000548
Quentin Colombet48b77202015-07-22 16:34:37 +0000549 DebugLoc dl = DebugLoc();
550 if (MBBI != MBB.end()) {
551 dl = MBBI->getDebugLoc();
552 auto InstUpToMBBI = MBB.end();
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000553 while (InstUpToMBBI != MBBI)
554 // The pre-decrement is on purpose here.
555 // We want to have the liveness right before MBBI.
556 UsedRegs.stepBackward(*--InstUpToMBBI);
Quentin Colombet48b77202015-07-22 16:34:37 +0000557 }
558
559 // Look for a register that can be directly use in the POP.
560 unsigned PopReg = 0;
561 // And some temporary register, just in case.
562 unsigned TemporaryReg = 0;
563 BitVector PopFriendly =
Matthias Braunac4307c2017-05-26 21:51:00 +0000564 TRI.getAllocatableSet(MF, TRI.getRegClass(ARM::tGPRRegClassID));
Quentin Colombet48b77202015-07-22 16:34:37 +0000565 assert(PopFriendly.any() && "No allocatable pop-friendly register?!");
566 // Rebuild the GPRs from the high registers because they are removed
567 // form the GPR reg class for thumb1.
568 BitVector GPRsNoLRSP =
Matthias Braunac4307c2017-05-26 21:51:00 +0000569 TRI.getAllocatableSet(MF, TRI.getRegClass(ARM::hGPRRegClassID));
Quentin Colombet48b77202015-07-22 16:34:37 +0000570 GPRsNoLRSP |= PopFriendly;
571 GPRsNoLRSP.reset(ARM::LR);
572 GPRsNoLRSP.reset(ARM::SP);
573 GPRsNoLRSP.reset(ARM::PC);
Francis Visoiu Mistrihb52e0362017-05-17 01:07:53 +0000574 for (unsigned Register : GPRsNoLRSP.set_bits()) {
Quentin Colombet48b77202015-07-22 16:34:37 +0000575 if (!UsedRegs.contains(Register)) {
576 // Remember the first pop-friendly register and exit.
577 if (PopFriendly.test(Register)) {
578 PopReg = Register;
579 TemporaryReg = 0;
580 break;
Quentin Colombet71a71482015-07-20 21:42:14 +0000581 }
Quentin Colombet48b77202015-07-22 16:34:37 +0000582 // Otherwise, remember that the register will be available to
583 // save a pop-friendly register.
584 TemporaryReg = Register;
Jonathan Roelofsef84bda2014-08-05 21:32:21 +0000585 }
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000586 }
Quentin Colombet48b77202015-07-22 16:34:37 +0000587
588 if (!DoIt && !PopReg && !TemporaryReg)
589 return false;
590
591 assert((PopReg || TemporaryReg) && "Cannot get LR");
592
593 if (TemporaryReg) {
594 assert(!PopReg && "Unnecessary MOV is about to be inserted");
595 PopReg = PopFriendly.find_first();
Diana Picus4f8c3e12017-01-13 09:37:56 +0000596 BuildMI(MBB, MBBI, dl, TII.get(ARM::tMOVr))
597 .addReg(TemporaryReg, RegState::Define)
598 .addReg(PopReg, RegState::Kill)
599 .add(predOps(ARMCC::AL));
Quentin Colombet48b77202015-07-22 16:34:37 +0000600 }
601
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000602 if (MBBI != MBB.end() && MBBI->getOpcode() == ARM::tPOP_RET) {
Artyom Skrobov0a37b802015-12-08 19:59:01 +0000603 // We couldn't use the direct restoration above, so
604 // perform the opposite conversion: tPOP_RET to tPOP.
605 MachineInstrBuilder MIB =
Diana Picus4f8c3e12017-01-13 09:37:56 +0000606 BuildMI(MBB, MBBI, MBBI->getDebugLoc(), TII.get(ARM::tPOP))
607 .add(predOps(ARMCC::AL));
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000608 bool Popped = false;
Artyom Skrobov0a37b802015-12-08 19:59:01 +0000609 for (auto MO: MBBI->operands())
610 if (MO.isReg() && (MO.isImplicit() || MO.isDef()) &&
611 MO.getReg() != ARM::PC) {
Diana Picus116bbab2017-01-13 09:58:52 +0000612 MIB.add(MO);
Artyom Skrobov0a37b802015-12-08 19:59:01 +0000613 if (!MO.isImplicit())
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000614 Popped = true;
Artyom Skrobov0a37b802015-12-08 19:59:01 +0000615 }
616 // Is there anything left to pop?
617 if (!Popped)
618 MBB.erase(MIB.getInstr());
619 // Erase the old instruction.
620 MBB.erase(MBBI);
Diana Picus4f8c3e12017-01-13 09:37:56 +0000621 MBBI = BuildMI(MBB, MBB.end(), dl, TII.get(ARM::tBX_RET))
622 .add(predOps(ARMCC::AL));
Artyom Skrobov5d1f2522015-12-01 19:25:11 +0000623 }
624
Quentin Colombet48b77202015-07-22 16:34:37 +0000625 assert(PopReg && "Do not know how to get LR");
Diana Picus4f8c3e12017-01-13 09:37:56 +0000626 BuildMI(MBB, MBBI, dl, TII.get(ARM::tPOP))
627 .add(predOps(ARMCC::AL))
Quentin Colombet48b77202015-07-22 16:34:37 +0000628 .addReg(PopReg, RegState::Define);
629
630 emitSPUpdate(MBB, MBBI, TII, dl, *RegInfo, ArgRegsSaveSize);
631
Diana Picus4f8c3e12017-01-13 09:37:56 +0000632 BuildMI(MBB, MBBI, dl, TII.get(ARM::tMOVr))
633 .addReg(ARM::LR, RegState::Define)
634 .addReg(PopReg, RegState::Kill)
635 .add(predOps(ARMCC::AL));
Quentin Colombet48b77202015-07-22 16:34:37 +0000636
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000637 if (TemporaryReg)
Diana Picus4f8c3e12017-01-13 09:37:56 +0000638 BuildMI(MBB, MBBI, dl, TII.get(ARM::tMOVr))
639 .addReg(PopReg, RegState::Define)
640 .addReg(TemporaryReg, RegState::Kill)
641 .add(predOps(ARMCC::AL));
Quentin Colombet48b77202015-07-22 16:34:37 +0000642
643 return true;
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000644}
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000645
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000646// Return the first iteraror after CurrentReg which is present in EnabledRegs,
647// or OrderEnd if no further registers are in that set. This does not advance
648// the iterator fiorst, so returns CurrentReg if it is in EnabledRegs.
649template <unsigned SetSize>
650static const unsigned *
651findNextOrderedReg(const unsigned *CurrentReg,
652 SmallSet<unsigned, SetSize> &EnabledRegs,
653 const unsigned *OrderEnd) {
654 while (CurrentReg != OrderEnd && !EnabledRegs.count(*CurrentReg))
655 ++CurrentReg;
656 return CurrentReg;
657}
658
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000659bool Thumb1FrameLowering::
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000660spillCalleeSavedRegisters(MachineBasicBlock &MBB,
661 MachineBasicBlock::iterator MI,
662 const std::vector<CalleeSavedInfo> &CSI,
663 const TargetRegisterInfo *TRI) const {
664 if (CSI.empty())
665 return false;
666
Tim Northover775aaeb2015-11-05 21:54:58 +0000667 DebugLoc DL;
668 const TargetInstrInfo &TII = *STI.getInstrInfo();
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000669 MachineFunction &MF = *MBB.getParent();
670 const ARMBaseRegisterInfo *RegInfo = static_cast<const ARMBaseRegisterInfo *>(
671 MF.getSubtarget().getRegisterInfo());
Tim Northover775aaeb2015-11-05 21:54:58 +0000672
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000673 SmallSet<unsigned, 9> LoRegsToSave; // r0-r7, lr
674 SmallSet<unsigned, 4> HiRegsToSave; // r8-r11
675 SmallSet<unsigned, 9> CopyRegs; // Registers which can be used after pushing
676 // LoRegs for saving HiRegs.
677
Tim Northover775aaeb2015-11-05 21:54:58 +0000678 for (unsigned i = CSI.size(); i != 0; --i) {
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000679 unsigned Reg = CSI[i-1].getReg();
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000680
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000681 if (ARM::tGPRRegClass.contains(Reg) || Reg == ARM::LR) {
682 LoRegsToSave.insert(Reg);
683 } else if (ARM::hGPRRegClass.contains(Reg) && Reg != ARM::LR) {
684 HiRegsToSave.insert(Reg);
685 } else {
686 llvm_unreachable("callee-saved register of unexpected class");
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000687 }
688
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000689 if ((ARM::tGPRRegClass.contains(Reg) || Reg == ARM::LR) &&
690 !MF.getRegInfo().isLiveIn(Reg) &&
691 !(hasFP(MF) && Reg == RegInfo->getFrameRegister(MF)))
692 CopyRegs.insert(Reg);
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000693 }
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000694
695 // Unused argument registers can be used for the high register saving.
696 for (unsigned ArgReg : {ARM::R0, ARM::R1, ARM::R2, ARM::R3})
697 if (!MF.getRegInfo().isLiveIn(ArgReg))
698 CopyRegs.insert(ArgReg);
699
700 // Push the low registers and lr
Matthias Braun0dba4e32017-05-31 01:21:30 +0000701 const MachineRegisterInfo &MRI = MF.getRegInfo();
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000702 if (!LoRegsToSave.empty()) {
Diana Picus4f8c3e12017-01-13 09:37:56 +0000703 MachineInstrBuilder MIB =
704 BuildMI(MBB, MI, DL, TII.get(ARM::tPUSH)).add(predOps(ARMCC::AL));
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000705 for (unsigned Reg : {ARM::R4, ARM::R5, ARM::R6, ARM::R7, ARM::LR}) {
706 if (LoRegsToSave.count(Reg)) {
Matthias Braun0dba4e32017-05-31 01:21:30 +0000707 bool isKill = !MRI.isLiveIn(Reg);
708 if (isKill && !MRI.isReserved(Reg))
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000709 MBB.addLiveIn(Reg);
710
711 MIB.addReg(Reg, getKillRegState(isKill));
712 }
713 }
714 MIB.setMIFlags(MachineInstr::FrameSetup);
715 }
716
717 // Push the high registers. There are no store instructions that can access
718 // these registers directly, so we have to move them to low registers, and
719 // push them. This might take multiple pushes, as it is possible for there to
720 // be fewer low registers available than high registers which need saving.
721
722 // These are in reverse order so that in the case where we need to use
723 // multiple PUSH instructions, the order of the registers on the stack still
724 // matches the unwind info. They need to be swicthed back to ascending order
725 // before adding to the PUSH instruction.
726 static const unsigned AllCopyRegs[] = {ARM::LR, ARM::R7, ARM::R6,
727 ARM::R5, ARM::R4, ARM::R3,
728 ARM::R2, ARM::R1, ARM::R0};
729 static const unsigned AllHighRegs[] = {ARM::R11, ARM::R10, ARM::R9, ARM::R8};
730
731 const unsigned *AllCopyRegsEnd = std::end(AllCopyRegs);
732 const unsigned *AllHighRegsEnd = std::end(AllHighRegs);
733
734 // Find the first register to save.
735 const unsigned *HiRegToSave = findNextOrderedReg(
736 std::begin(AllHighRegs), HiRegsToSave, AllHighRegsEnd);
737
738 while (HiRegToSave != AllHighRegsEnd) {
739 // Find the first low register to use.
740 const unsigned *CopyReg =
741 findNextOrderedReg(std::begin(AllCopyRegs), CopyRegs, AllCopyRegsEnd);
742
743 // Create the PUSH, but don't insert it yet (the MOVs need to come first).
Diana Picus4f8c3e12017-01-13 09:37:56 +0000744 MachineInstrBuilder PushMIB =
745 BuildMI(MF, DL, TII.get(ARM::tPUSH)).add(predOps(ARMCC::AL));
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000746
747 SmallVector<unsigned, 4> RegsToPush;
748 while (HiRegToSave != AllHighRegsEnd && CopyReg != AllCopyRegsEnd) {
749 if (HiRegsToSave.count(*HiRegToSave)) {
Matthias Braun0dba4e32017-05-31 01:21:30 +0000750 bool isKill = !MRI.isLiveIn(*HiRegToSave);
751 if (isKill && !MRI.isReserved(*HiRegToSave))
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000752 MBB.addLiveIn(*HiRegToSave);
753
754 // Emit a MOV from the high reg to the low reg.
Diana Picus4f8c3e12017-01-13 09:37:56 +0000755 BuildMI(MBB, MI, DL, TII.get(ARM::tMOVr))
756 .addReg(*CopyReg, RegState::Define)
757 .addReg(*HiRegToSave, getKillRegState(isKill))
758 .add(predOps(ARMCC::AL));
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000759
760 // Record the register that must be added to the PUSH.
761 RegsToPush.push_back(*CopyReg);
762
763 CopyReg = findNextOrderedReg(++CopyReg, CopyRegs, AllCopyRegsEnd);
764 HiRegToSave =
765 findNextOrderedReg(++HiRegToSave, HiRegsToSave, AllHighRegsEnd);
766 }
767 }
768
769 // Add the low registers to the PUSH, in ascending order.
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +0000770 for (unsigned Reg : llvm::reverse(RegsToPush))
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000771 PushMIB.addReg(Reg, RegState::Kill);
772
773 // Insert the PUSH instruction after the MOVs.
774 MBB.insert(MI, PushMIB);
775 }
776
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000777 return true;
778}
779
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000780bool Thumb1FrameLowering::
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000781restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
782 MachineBasicBlock::iterator MI,
Krzysztof Parzyszekbea30c62017-08-10 16:17:32 +0000783 std::vector<CalleeSavedInfo> &CSI,
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000784 const TargetRegisterInfo *TRI) const {
785 if (CSI.empty())
786 return false;
787
788 MachineFunction &MF = *MBB.getParent();
789 ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>();
Eric Christopher1b21f002015-01-29 00:19:33 +0000790 const TargetInstrInfo &TII = *STI.getInstrInfo();
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000791 const ARMBaseRegisterInfo *RegInfo = static_cast<const ARMBaseRegisterInfo *>(
792 MF.getSubtarget().getRegisterInfo());
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000793
Stepan Dyatkovskiyf5aa83d2013-04-30 07:19:58 +0000794 bool isVarArg = AFI->getArgRegsSaveSize() > 0;
Quentin Colombet48b77202015-07-22 16:34:37 +0000795 DebugLoc DL = MI != MBB.end() ? MI->getDebugLoc() : DebugLoc();
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000796
797 SmallSet<unsigned, 9> LoRegsToRestore;
798 SmallSet<unsigned, 4> HiRegsToRestore;
799 // Low registers (r0-r7) which can be used to restore the high registers.
800 SmallSet<unsigned, 9> CopyRegs;
801
802 for (CalleeSavedInfo I : CSI) {
803 unsigned Reg = I.getReg();
804
805 if (ARM::tGPRRegClass.contains(Reg) || Reg == ARM::LR) {
806 LoRegsToRestore.insert(Reg);
807 } else if (ARM::hGPRRegClass.contains(Reg) && Reg != ARM::LR) {
808 HiRegsToRestore.insert(Reg);
809 } else {
810 llvm_unreachable("callee-saved register of unexpected class");
811 }
812
813 // If this is a low register not used as the frame pointer, we may want to
814 // use it for restoring the high registers.
815 if ((ARM::tGPRRegClass.contains(Reg)) &&
816 !(hasFP(MF) && Reg == RegInfo->getFrameRegister(MF)))
817 CopyRegs.insert(Reg);
818 }
819
820 // If this is a return block, we may be able to use some unused return value
821 // registers for restoring the high regs.
822 auto Terminator = MBB.getFirstTerminator();
823 if (Terminator != MBB.end() && Terminator->getOpcode() == ARM::tBX_RET) {
824 CopyRegs.insert(ARM::R0);
825 CopyRegs.insert(ARM::R1);
826 CopyRegs.insert(ARM::R2);
827 CopyRegs.insert(ARM::R3);
828 for (auto Op : Terminator->implicit_operands()) {
829 if (Op.isReg())
830 CopyRegs.erase(Op.getReg());
831 }
832 }
833
834 static const unsigned AllCopyRegs[] = {ARM::R0, ARM::R1, ARM::R2, ARM::R3,
835 ARM::R4, ARM::R5, ARM::R6, ARM::R7};
836 static const unsigned AllHighRegs[] = {ARM::R8, ARM::R9, ARM::R10, ARM::R11};
837
838 const unsigned *AllCopyRegsEnd = std::end(AllCopyRegs);
839 const unsigned *AllHighRegsEnd = std::end(AllHighRegs);
840
841 // Find the first register to restore.
842 auto HiRegToRestore = findNextOrderedReg(std::begin(AllHighRegs),
843 HiRegsToRestore, AllHighRegsEnd);
844
845 while (HiRegToRestore != AllHighRegsEnd) {
846 assert(!CopyRegs.empty());
847 // Find the first low register to use.
848 auto CopyReg =
849 findNextOrderedReg(std::begin(AllCopyRegs), CopyRegs, AllCopyRegsEnd);
850
851 // Create the POP instruction.
Diana Picus4f8c3e12017-01-13 09:37:56 +0000852 MachineInstrBuilder PopMIB =
853 BuildMI(MBB, MI, DL, TII.get(ARM::tPOP)).add(predOps(ARMCC::AL));
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000854
855 while (HiRegToRestore != AllHighRegsEnd && CopyReg != AllCopyRegsEnd) {
856 // Add the low register to the POP.
857 PopMIB.addReg(*CopyReg, RegState::Define);
858
859 // Create the MOV from low to high register.
Diana Picus4f8c3e12017-01-13 09:37:56 +0000860 BuildMI(MBB, MI, DL, TII.get(ARM::tMOVr))
861 .addReg(*HiRegToRestore, RegState::Define)
862 .addReg(*CopyReg, RegState::Kill)
863 .add(predOps(ARMCC::AL));
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000864
865 CopyReg = findNextOrderedReg(++CopyReg, CopyRegs, AllCopyRegsEnd);
866 HiRegToRestore =
867 findNextOrderedReg(++HiRegToRestore, HiRegsToRestore, AllHighRegsEnd);
868 }
869 }
870
Diana Picus4f8c3e12017-01-13 09:37:56 +0000871 MachineInstrBuilder MIB =
872 BuildMI(MF, DL, TII.get(ARM::tPOP)).add(predOps(ARMCC::AL));
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000873
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000874 bool NeedsPop = false;
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000875 for (unsigned i = CSI.size(); i != 0; --i) {
876 unsigned Reg = CSI[i-1].getReg();
Reid Klecknerbdfc05f2016-10-11 21:14:03 +0000877
878 // High registers (excluding lr) have already been dealt with
879 if (!(ARM::tGPRRegClass.contains(Reg) || Reg == ARM::LR))
880 continue;
881
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000882 if (Reg == ARM::LR) {
883 if (MBB.succ_empty()) {
884 // Special epilogue for vararg functions. See emitEpilogue
885 if (isVarArg)
886 continue;
887 // ARMv4T requires BX, see emitEpilogue
888 if (!STI.hasV5TOps())
889 continue;
Sanne Woudaa9941852017-02-03 11:15:53 +0000890 // Tailcall optimization failed; change TCRETURN to a tBL
891 if (MI->getOpcode() == ARM::TCRETURNdi ||
892 MI->getOpcode() == ARM::TCRETURNri) {
893 unsigned Opcode = MI->getOpcode() == ARM::TCRETURNdi
894 ? ARM::tBL : ARM::tBLXr;
895 MachineInstrBuilder BL = BuildMI(MF, DL, TII.get(Opcode));
896 BL.add(predOps(ARMCC::AL));
897 BL.add(MI->getOperand(0));
898 MBB.insert(MI, &*BL);
899 }
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000900 Reg = ARM::PC;
901 (*MIB).setDesc(TII.get(ARM::tPOP_RET));
902 if (MI != MBB.end())
Duncan P. N. Exon Smithfd8cc232016-02-27 20:01:33 +0000903 MIB.copyImplicitOps(*MI);
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000904 MI = MBB.erase(MI);
905 } else
906 // LR may only be popped into PC, as part of return sequence.
907 // If this isn't the return sequence, we'll need emitPopSpecialFixUp
908 // to restore LR the hard way.
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000909 continue;
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000910 }
911 MIB.addReg(Reg, getDefRegState(true));
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000912 NeedsPop = true;
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000913 }
914
915 // It's illegal to emit pop instruction without operands.
Artyom Skrobov2aca0c62015-12-28 21:40:45 +0000916 if (NeedsPop)
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000917 MBB.insert(MI, &*MIB);
918 else
919 MF.DeleteMachineInstr(MIB);
920
921 return true;
922}