blob: 6b6f62e18ce963edf9e3b5b2d99dabae0c9c1701 [file] [log] [blame]
Alex Bradbury89718422017-10-19 21:37:38 +00001//===-- RISCVFrameLowering.cpp - RISCV Frame Information ------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Alex Bradbury89718422017-10-19 21:37:38 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file contains the RISCV implementation of TargetFrameLowering class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "RISCVFrameLowering.h"
Alex Bradburyc85be0d2018-01-10 19:41:03 +000014#include "RISCVMachineFunctionInfo.h"
Alex Bradbury89718422017-10-19 21:37:38 +000015#include "RISCVSubtarget.h"
16#include "llvm/CodeGen/MachineFrameInfo.h"
17#include "llvm/CodeGen/MachineFunction.h"
18#include "llvm/CodeGen/MachineInstrBuilder.h"
19#include "llvm/CodeGen/MachineRegisterInfo.h"
Alex Bradbury0715d352018-01-11 11:17:19 +000020#include "llvm/CodeGen/RegisterScavenging.h"
Hsiangkai Wang04ddf392019-06-12 03:04:22 +000021#include "llvm/MC/MCDwarf.h"
Alex Bradbury89718422017-10-19 21:37:38 +000022
23using namespace llvm;
24
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +000025bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const {
26 const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
27
28 const MachineFrameInfo &MFI = MF.getFrameInfo();
29 return MF.getTarget().Options.DisableFramePointerElim(MF) ||
30 RegInfo->needsStackRealignment(MF) || MFI.hasVarSizedObjects() ||
31 MFI.isFrameAddressTaken();
32}
Alex Bradbury89718422017-10-19 21:37:38 +000033
Alex Bradburyb014e3d2017-12-11 12:34:11 +000034// Determines the size of the frame and maximum call frame size.
35void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const {
36 MachineFrameInfo &MFI = MF.getFrameInfo();
37 const RISCVRegisterInfo *RI = STI.getRegisterInfo();
38
39 // Get the number of bytes to allocate from the FrameInfo.
40 uint64_t FrameSize = MFI.getStackSize();
41
42 // Get the alignment.
Sam Elliottcd44aee2019-08-08 14:40:54 +000043 unsigned StackAlign = getStackAlignment();
44 if (RI->needsStackRealignment(MF)) {
45 unsigned MaxStackAlign = std::max(StackAlign, MFI.getMaxAlignment());
46 FrameSize += (MaxStackAlign - StackAlign);
47 StackAlign = MaxStackAlign;
48 }
49
50 // Set Max Call Frame Size
51 uint64_t MaxCallSize = alignTo(MFI.getMaxCallFrameSize(), StackAlign);
52 MFI.setMaxCallFrameSize(MaxCallSize);
Alex Bradburyb014e3d2017-12-11 12:34:11 +000053
Alex Bradburyb014e3d2017-12-11 12:34:11 +000054 // Make sure the frame is aligned.
55 FrameSize = alignTo(FrameSize, StackAlign);
56
57 // Update frame info.
58 MFI.setStackSize(FrameSize);
59}
60
61void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
62 MachineBasicBlock::iterator MBBI,
Luis Marquesfa06e952019-08-16 14:27:50 +000063 const DebugLoc &DL, Register DestReg,
64 Register SrcReg, int64_t Val,
Alex Bradburyb014e3d2017-12-11 12:34:11 +000065 MachineInstr::MIFlag Flag) const {
Alex Bradbury9fea4882018-01-10 19:53:46 +000066 MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
Alex Bradburyb014e3d2017-12-11 12:34:11 +000067 const RISCVInstrInfo *TII = STI.getInstrInfo();
68
69 if (DestReg == SrcReg && Val == 0)
70 return;
71
Alex Bradbury9fea4882018-01-10 19:53:46 +000072 if (isInt<12>(Val)) {
73 BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
74 .addReg(SrcReg)
75 .addImm(Val)
76 .setMIFlag(Flag);
Shiva Chena49a16d2019-09-13 04:03:32 +000077 } else {
Alex Bradbury9fea4882018-01-10 19:53:46 +000078 unsigned Opc = RISCV::ADD;
79 bool isSub = Val < 0;
80 if (isSub) {
81 Val = -Val;
82 Opc = RISCV::SUB;
83 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +000084
Daniel Sanders38368742019-08-12 22:41:02 +000085 Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
Shiva Chena49a16d2019-09-13 04:03:32 +000086 TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag);
Alex Bradbury9fea4882018-01-10 19:53:46 +000087 BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
88 .addReg(SrcReg)
89 .addReg(ScratchReg, RegState::Kill)
90 .setMIFlag(Flag);
Alex Bradbury9fea4882018-01-10 19:53:46 +000091 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +000092}
93
94// Returns the register used to hold the frame pointer.
Luis Marquesfa06e952019-08-16 14:27:50 +000095static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
Alex Bradburyb014e3d2017-12-11 12:34:11 +000096
97// Returns the register used to hold the stack pointer.
Luis Marquesfa06e952019-08-16 14:27:50 +000098static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
Alex Bradburyb014e3d2017-12-11 12:34:11 +000099
Alex Bradbury89718422017-10-19 21:37:38 +0000100void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000101 MachineBasicBlock &MBB) const {
102 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
103
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000104 MachineFrameInfo &MFI = MF.getFrameInfo();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000105 auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000106 const RISCVRegisterInfo *RI = STI.getRegisterInfo();
107 const RISCVInstrInfo *TII = STI.getInstrInfo();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000108 MachineBasicBlock::iterator MBBI = MBB.begin();
109
Sam Elliottcd44aee2019-08-08 14:40:54 +0000110 if (RI->needsStackRealignment(MF) && MFI.hasVarSizedObjects()) {
111 report_fatal_error(
112 "RISC-V backend can't currently handle functions that need stack "
113 "realignment and have variable sized objects");
114 }
115
Luis Marquesfa06e952019-08-16 14:27:50 +0000116 Register FPReg = getFPReg(STI);
117 Register SPReg = getSPReg(STI);
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000118
119 // Debug location must be unknown since the first debug location is used
120 // to determine the end of the prologue.
121 DebugLoc DL;
122
123 // Determine the correct frame layout
124 determineFrameLayout(MF);
125
126 // FIXME (note copied from Lanai): This appears to be overallocating. Needs
127 // investigation. Get the number of bytes to allocate from the FrameInfo.
128 uint64_t StackSize = MFI.getStackSize();
129
130 // Early exit if there is no need to allocate on the stack
131 if (StackSize == 0 && !MFI.adjustsStack())
132 return;
133
Shiva Chenff55e2e2019-10-04 02:00:57 +0000134 uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
135 // Split the SP adjustment to reduce the offsets of callee saved spill.
136 if (FirstSPAdjustAmount)
137 StackSize = FirstSPAdjustAmount;
138
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000139 // Allocate space on the stack if necessary.
140 adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
141
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000142 // Emit ".cfi_def_cfa_offset StackSize"
143 unsigned CFIIndex = MF.addFrameInst(
144 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
145 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
146 .addCFIIndex(CFIIndex);
147
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000148 // The frame pointer is callee-saved, and code has been generated for us to
149 // save it to the stack. We need to skip over the storing of callee-saved
150 // registers as the frame pointer must be modified after it has been saved
151 // to the stack, not before.
152 // FIXME: assumes exactly one instruction is used to save each callee-saved
153 // register.
154 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
155 std::advance(MBBI, CSI.size());
156
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000157 // Iterate over list of callee-saved registers and emit .cfi_offset
158 // directives.
159 for (const auto &Entry : CSI) {
160 int64_t Offset = MFI.getObjectOffset(Entry.getFrameIdx());
Luis Marquesfa06e952019-08-16 14:27:50 +0000161 Register Reg = Entry.getReg();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000162 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
163 nullptr, RI->getDwarfRegNum(Reg, true), Offset));
164 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
165 .addCFIIndex(CFIIndex);
166 }
167
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000168 // Generate new FP.
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000169 if (hasFP(MF)) {
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000170 adjustReg(MBB, MBBI, DL, FPReg, SPReg,
171 StackSize - RVFI->getVarArgsSaveSize(), MachineInstr::FrameSetup);
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000172
173 // Emit ".cfi_def_cfa $fp, 0"
174 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
175 nullptr, RI->getDwarfRegNum(FPReg, true), 0));
176 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
177 .addCFIIndex(CFIIndex);
Shiva Chenff55e2e2019-10-04 02:00:57 +0000178 }
Sam Elliottcd44aee2019-08-08 14:40:54 +0000179
Shiva Chenff55e2e2019-10-04 02:00:57 +0000180 // Emit the second SP adjustment after saving callee saved registers.
181 if (FirstSPAdjustAmount) {
182 uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
183 assert(SecondSPAdjustAmount > 0 &&
184 "SecondSPAdjustAmount should be greater than zero");
185 adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount,
186 MachineInstr::FrameSetup);
187 // Emit ".cfi_def_cfa_offset StackSize"
188 unsigned CFIIndex = MF.addFrameInst(
189 MCCFIInstruction::createDefCfaOffset(nullptr, -MFI.getStackSize()));
190 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
191 .addCFIIndex(CFIIndex);
192 }
193
194 if (hasFP(MF)) {
Sam Elliottcd44aee2019-08-08 14:40:54 +0000195 // Realign Stack
196 const RISCVRegisterInfo *RI = STI.getRegisterInfo();
197 if (RI->needsStackRealignment(MF)) {
198 unsigned MaxAlignment = MFI.getMaxAlignment();
199
200 const RISCVInstrInfo *TII = STI.getInstrInfo();
201 if (isInt<12>(-(int)MaxAlignment)) {
202 BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
203 .addReg(SPReg)
204 .addImm(-(int)MaxAlignment);
205 } else {
206 unsigned ShiftAmount = countTrailingZeros(MaxAlignment);
Luis Marquesfa06e952019-08-16 14:27:50 +0000207 Register VR =
Sam Elliottcd44aee2019-08-08 14:40:54 +0000208 MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
209 BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
210 .addReg(SPReg)
211 .addImm(ShiftAmount);
212 BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
213 .addReg(VR)
214 .addImm(ShiftAmount);
215 }
216 }
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000217 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000218}
Alex Bradbury89718422017-10-19 21:37:38 +0000219
220void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000221 MachineBasicBlock &MBB) const {
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000222 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
223 const RISCVRegisterInfo *RI = STI.getRegisterInfo();
224 MachineFrameInfo &MFI = MF.getFrameInfo();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000225 auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000226 DebugLoc DL = MBBI->getDebugLoc();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000227 const RISCVInstrInfo *TII = STI.getInstrInfo();
Luis Marquesfa06e952019-08-16 14:27:50 +0000228 Register FPReg = getFPReg(STI);
229 Register SPReg = getSPReg(STI);
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000230
231 // Skip to before the restores of callee-saved registers
232 // FIXME: assumes exactly one instruction is used to restore each
233 // callee-saved register.
Ana Pazos61b28ede72018-08-24 23:13:59 +0000234 auto LastFrameDestroy = std::prev(MBBI, MFI.getCalleeSavedInfo().size());
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000235
236 uint64_t StackSize = MFI.getStackSize();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000237 uint64_t FPOffset = StackSize - RVFI->getVarArgsSaveSize();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000238
239 // Restore the stack pointer using the value of the frame pointer. Only
240 // necessary if the stack pointer was modified, meaning the stack size is
241 // unknown.
242 if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) {
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000243 assert(hasFP(MF) && "frame pointer should not have been eliminated");
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000244 adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000245 MachineInstr::FrameDestroy);
246 }
247
Shiva Chenff55e2e2019-10-04 02:00:57 +0000248 uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
249 if (FirstSPAdjustAmount) {
250 uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
251 assert(SecondSPAdjustAmount > 0 &&
252 "SecondSPAdjustAmount should be greater than zero");
253
254 adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount,
255 MachineInstr::FrameDestroy);
256
257 // Emit ".cfi_def_cfa_offset FirstSPAdjustAmount"
258 unsigned CFIIndex =
259 MF.addFrameInst(
260 MCCFIInstruction::createDefCfaOffset(nullptr,
261 -FirstSPAdjustAmount));
262 BuildMI(MBB, LastFrameDestroy, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
263 .addCFIIndex(CFIIndex);
264 }
265
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000266 if (hasFP(MF)) {
267 // To find the instruction restoring FP from stack.
268 for (auto &I = LastFrameDestroy; I != MBBI; ++I) {
269 if (I->mayLoad() && I->getOperand(0).isReg()) {
Daniel Sanders38368742019-08-12 22:41:02 +0000270 Register DestReg = I->getOperand(0).getReg();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000271 if (DestReg == FPReg) {
272 // If there is frame pointer, after restoring $fp registers, we
273 // need adjust CFA to ($sp - FPOffset).
274 // Emit ".cfi_def_cfa $sp, -FPOffset"
275 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
276 nullptr, RI->getDwarfRegNum(SPReg, true), -FPOffset));
277 BuildMI(MBB, std::next(I), DL,
278 TII->get(TargetOpcode::CFI_INSTRUCTION))
279 .addCFIIndex(CFIIndex);
280 break;
281 }
282 }
283 }
284 }
285
286 // Add CFI directives for callee-saved registers.
287 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
288 // Iterate over list of callee-saved registers and emit .cfi_restore
289 // directives.
290 for (const auto &Entry : CSI) {
Luis Marquesfa06e952019-08-16 14:27:50 +0000291 Register Reg = Entry.getReg();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000292 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestore(
293 nullptr, RI->getDwarfRegNum(Reg, true)));
294 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
295 .addCFIIndex(CFIIndex);
296 }
297
Shiva Chenff55e2e2019-10-04 02:00:57 +0000298 if (FirstSPAdjustAmount)
299 StackSize = FirstSPAdjustAmount;
300
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000301 // Deallocate stack
302 adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000303
304 // After restoring $sp, we need to adjust CFA to $(sp + 0)
305 // Emit ".cfi_def_cfa_offset 0"
306 unsigned CFIIndex =
307 MF.addFrameInst(MCCFIInstruction::createDefCfaOffset(nullptr, 0));
308 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
309 .addCFIIndex(CFIIndex);
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000310}
Alex Bradbury660bcce2017-12-11 11:53:54 +0000311
312int RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF,
313 int FI,
314 unsigned &FrameReg) const {
315 const MachineFrameInfo &MFI = MF.getFrameInfo();
316 const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000317 const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
Alex Bradbury660bcce2017-12-11 11:53:54 +0000318
319 // Callee-saved registers should be referenced relative to the stack
320 // pointer (positive offset), otherwise use the frame pointer (negative
321 // offset).
322 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
323 int MinCSFI = 0;
324 int MaxCSFI = -1;
325
326 int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
327 MFI.getOffsetAdjustment();
328
Shiva Chenff55e2e2019-10-04 02:00:57 +0000329 uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
330
Alex Bradbury660bcce2017-12-11 11:53:54 +0000331 if (CSI.size()) {
332 MinCSFI = CSI[0].getFrameIdx();
333 MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
334 }
335
Alex Bradbury660bcce2017-12-11 11:53:54 +0000336 if (FI >= MinCSFI && FI <= MaxCSFI) {
337 FrameReg = RISCV::X2;
Shiva Chenff55e2e2019-10-04 02:00:57 +0000338
339 if (FirstSPAdjustAmount)
340 Offset += FirstSPAdjustAmount;
341 else
342 Offset += MF.getFrameInfo().getStackSize();
Sam Elliottcd44aee2019-08-08 14:40:54 +0000343 } else if (RI->needsStackRealignment(MF)) {
344 assert(!MFI.hasVarSizedObjects() &&
345 "Unexpected combination of stack realignment and varsized objects");
346 // If the stack was realigned, the frame pointer is set in order to allow
347 // SP to be restored, but we still access stack objects using SP.
348 FrameReg = RISCV::X2;
349 Offset += MF.getFrameInfo().getStackSize();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000350 } else {
351 FrameReg = RI->getFrameRegister(MF);
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000352 if (hasFP(MF))
353 Offset += RVFI->getVarArgsSaveSize();
354 else
355 Offset += MF.getFrameInfo().getStackSize();
Alex Bradbury660bcce2017-12-11 11:53:54 +0000356 }
357 return Offset;
358}
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000359
360void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
361 BitVector &SavedRegs,
362 RegScavenger *RS) const {
363 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000364 // Unconditionally spill RA and FP only if the function uses a frame
365 // pointer.
366 if (hasFP(MF)) {
367 SavedRegs.set(RISCV::X1);
368 SavedRegs.set(RISCV::X8);
369 }
Ana Pazos2e4106b2018-07-26 17:49:43 +0000370
371 // If interrupt is enabled and there are calls in the handler,
372 // unconditionally save all Caller-saved registers and
373 // all FP registers, regardless whether they are used.
374 MachineFrameInfo &MFI = MF.getFrameInfo();
375
376 if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
377
378 static const MCPhysReg CSRegs[] = { RISCV::X1, /* ra */
379 RISCV::X5, RISCV::X6, RISCV::X7, /* t0-t2 */
380 RISCV::X10, RISCV::X11, /* a0-a1, a2-a7 */
381 RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
382 RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
383 };
384
385 for (unsigned i = 0; CSRegs[i]; ++i)
386 SavedRegs.set(CSRegs[i]);
387
388 if (MF.getSubtarget<RISCVSubtarget>().hasStdExtD() ||
389 MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
390
391 // If interrupt is enabled, this list contains all FP registers.
392 const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
393
394 for (unsigned i = 0; Regs[i]; ++i)
395 if (RISCV::FPR32RegClass.contains(Regs[i]) ||
396 RISCV::FPR64RegClass.contains(Regs[i]))
397 SavedRegs.set(Regs[i]);
398 }
399 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000400}
Alex Bradbury0715d352018-01-11 11:17:19 +0000401
402void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
403 MachineFunction &MF, RegScavenger *RS) const {
404 const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
405 MachineFrameInfo &MFI = MF.getFrameInfo();
406 const TargetRegisterClass *RC = &RISCV::GPRRegClass;
407 // estimateStackSize has been observed to under-estimate the final stack
408 // size, so give ourselves wiggle-room by checking for stack size
409 // representable an 11-bit signed field rather than 12-bits.
410 // FIXME: It may be possible to craft a function with a small stack that
411 // still needs an emergency spill slot for branch relaxation. This case
412 // would currently be missed.
413 if (!isInt<11>(MFI.estimateStackSize(MF))) {
414 int RegScavFI = MFI.CreateStackObject(
415 RegInfo->getSpillSize(*RC), RegInfo->getSpillAlignment(*RC), false);
416 RS->addScavengingFrameIndex(RegScavFI);
417 }
418}
Shiva Chencbd498a2018-03-20 01:39:17 +0000419
420// Not preserve stack space within prologue for outgoing variables when the
421// function contains variable size objects and let eliminateCallFramePseudoInstr
422// preserve stack space for it.
423bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
424 return !MF.getFrameInfo().hasVarSizedObjects();
425}
426
427// Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
428MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
429 MachineFunction &MF, MachineBasicBlock &MBB,
430 MachineBasicBlock::iterator MI) const {
Luis Marquesfa06e952019-08-16 14:27:50 +0000431 Register SPReg = RISCV::X2;
Shiva Chencbd498a2018-03-20 01:39:17 +0000432 DebugLoc DL = MI->getDebugLoc();
433
434 if (!hasReservedCallFrame(MF)) {
435 // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
436 // ADJCALLSTACKUP must be converted to instructions manipulating the stack
437 // pointer. This is necessary when there is a variable length stack
438 // allocation (e.g. alloca), which means it's not possible to allocate
439 // space for outgoing arguments from within the function prologue.
440 int64_t Amount = MI->getOperand(0).getImm();
441
442 if (Amount != 0) {
443 // Ensure the stack remains aligned after adjustment.
444 Amount = alignSPAdjust(Amount);
445
446 if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
447 Amount = -Amount;
448
449 adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
450 }
451 }
452
453 return MBB.erase(MI);
454}
Shiva Chenff55e2e2019-10-04 02:00:57 +0000455
456// We would like to split the SP adjustment to reduce prologue/epilogue
457// as following instructions. In this way, the offset of the callee saved
458// register could fit in a single store.
459// add sp,sp,-2032
460// sw ra,2028(sp)
461// sw s0,2024(sp)
462// sw s1,2020(sp)
463// sw s3,2012(sp)
464// sw s4,2008(sp)
465// add sp,sp,-64
466uint64_t
467RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const {
468 const MachineFrameInfo &MFI = MF.getFrameInfo();
469 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
470 uint64_t StackSize = MFI.getStackSize();
471 uint64_t StackAlign = getStackAlignment();
472
473 // FIXME: Disable SplitSPAdjust if save-restore libcall enabled when the patch
474 // landing. The callee saved registers will be pushed by the
475 // save-restore libcalls, so we don't have to split the SP adjustment
476 // in this case.
477 //
478 // Return the FirstSPAdjustAmount if the StackSize can not fit in signed
479 // 12-bit and there exists a callee saved register need to be pushed.
480 if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
481 // FirstSPAdjustAmount is choosed as (2048 - StackAlign)
482 // because 2048 will cause sp = sp + 2048 in epilogue split into
483 // multi-instructions. The offset smaller than 2048 can fit in signle
484 // load/store instruction and we have to stick with the stack alignment.
485 // 2048 is 16-byte alignment. The stack alignment for RV32 and RV64 is 16,
486 // for RV32E is 4. So (2048 - StackAlign) will satisfy the stack alignment.
487 return 2048 - StackAlign;
488 }
489 return 0;
490}