blob: 32c3b9684d2c36f21133cc4d69d456a98fa5e043 [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.
43 uint64_t StackAlign = RI->needsStackRealignment(MF) ? MFI.getMaxAlignment()
44 : getStackAlignment();
45
Alex Bradburyb014e3d2017-12-11 12:34:11 +000046 // Make sure the frame is aligned.
47 FrameSize = alignTo(FrameSize, StackAlign);
48
49 // Update frame info.
50 MFI.setStackSize(FrameSize);
51}
52
53void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
54 MachineBasicBlock::iterator MBBI,
55 const DebugLoc &DL, unsigned DestReg,
56 unsigned SrcReg, int64_t Val,
57 MachineInstr::MIFlag Flag) const {
Alex Bradbury9fea4882018-01-10 19:53:46 +000058 MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
Alex Bradburyb014e3d2017-12-11 12:34:11 +000059 const RISCVInstrInfo *TII = STI.getInstrInfo();
60
61 if (DestReg == SrcReg && Val == 0)
62 return;
63
Alex Bradbury9fea4882018-01-10 19:53:46 +000064 if (isInt<12>(Val)) {
65 BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
66 .addReg(SrcReg)
67 .addImm(Val)
68 .setMIFlag(Flag);
69 } else if (isInt<32>(Val)) {
70 unsigned Opc = RISCV::ADD;
71 bool isSub = Val < 0;
72 if (isSub) {
73 Val = -Val;
74 Opc = RISCV::SUB;
75 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +000076
Alex Bradbury9fea4882018-01-10 19:53:46 +000077 unsigned ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
78 TII->movImm32(MBB, MBBI, DL, ScratchReg, Val, Flag);
79 BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
80 .addReg(SrcReg)
81 .addReg(ScratchReg, RegState::Kill)
82 .setMIFlag(Flag);
83 } else {
84 report_fatal_error("adjustReg cannot yet handle adjustments >32 bits");
85 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +000086}
87
88// Returns the register used to hold the frame pointer.
89static unsigned getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
90
91// Returns the register used to hold the stack pointer.
92static unsigned getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
93
Alex Bradbury89718422017-10-19 21:37:38 +000094void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
Alex Bradburyb014e3d2017-12-11 12:34:11 +000095 MachineBasicBlock &MBB) const {
96 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
97
Alex Bradburyb014e3d2017-12-11 12:34:11 +000098 MachineFrameInfo &MFI = MF.getFrameInfo();
Alex Bradburyc85be0d2018-01-10 19:41:03 +000099 auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000100 const RISCVRegisterInfo *RI = STI.getRegisterInfo();
101 const RISCVInstrInfo *TII = STI.getInstrInfo();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000102 MachineBasicBlock::iterator MBBI = MBB.begin();
103
104 unsigned FPReg = getFPReg(STI);
105 unsigned SPReg = getSPReg(STI);
106
107 // Debug location must be unknown since the first debug location is used
108 // to determine the end of the prologue.
109 DebugLoc DL;
110
111 // Determine the correct frame layout
112 determineFrameLayout(MF);
113
114 // FIXME (note copied from Lanai): This appears to be overallocating. Needs
115 // investigation. Get the number of bytes to allocate from the FrameInfo.
116 uint64_t StackSize = MFI.getStackSize();
117
118 // Early exit if there is no need to allocate on the stack
119 if (StackSize == 0 && !MFI.adjustsStack())
120 return;
121
122 // Allocate space on the stack if necessary.
123 adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
124
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000125 // Emit ".cfi_def_cfa_offset StackSize"
126 unsigned CFIIndex = MF.addFrameInst(
127 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
128 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
129 .addCFIIndex(CFIIndex);
130
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000131 // The frame pointer is callee-saved, and code has been generated for us to
132 // save it to the stack. We need to skip over the storing of callee-saved
133 // registers as the frame pointer must be modified after it has been saved
134 // to the stack, not before.
135 // FIXME: assumes exactly one instruction is used to save each callee-saved
136 // register.
137 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
138 std::advance(MBBI, CSI.size());
139
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000140 // Iterate over list of callee-saved registers and emit .cfi_offset
141 // directives.
142 for (const auto &Entry : CSI) {
143 int64_t Offset = MFI.getObjectOffset(Entry.getFrameIdx());
144 unsigned Reg = Entry.getReg();
145 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
146 nullptr, RI->getDwarfRegNum(Reg, true), Offset));
147 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
148 .addCFIIndex(CFIIndex);
149 }
150
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000151 // Generate new FP.
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000152 if (hasFP(MF)) {
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000153 adjustReg(MBB, MBBI, DL, FPReg, SPReg,
154 StackSize - RVFI->getVarArgsSaveSize(), MachineInstr::FrameSetup);
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000155
156 // Emit ".cfi_def_cfa $fp, 0"
157 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
158 nullptr, RI->getDwarfRegNum(FPReg, true), 0));
159 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
160 .addCFIIndex(CFIIndex);
161 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000162}
Alex Bradbury89718422017-10-19 21:37:38 +0000163
164void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000165 MachineBasicBlock &MBB) const {
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000166 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
167 const RISCVRegisterInfo *RI = STI.getRegisterInfo();
168 MachineFrameInfo &MFI = MF.getFrameInfo();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000169 auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000170 DebugLoc DL = MBBI->getDebugLoc();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000171 const RISCVInstrInfo *TII = STI.getInstrInfo();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000172 unsigned FPReg = getFPReg(STI);
173 unsigned SPReg = getSPReg(STI);
174
175 // Skip to before the restores of callee-saved registers
176 // FIXME: assumes exactly one instruction is used to restore each
177 // callee-saved register.
Ana Pazos61b28ede72018-08-24 23:13:59 +0000178 auto LastFrameDestroy = std::prev(MBBI, MFI.getCalleeSavedInfo().size());
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000179
180 uint64_t StackSize = MFI.getStackSize();
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000181 uint64_t FPOffset = StackSize - RVFI->getVarArgsSaveSize();
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000182
183 // Restore the stack pointer using the value of the frame pointer. Only
184 // necessary if the stack pointer was modified, meaning the stack size is
185 // unknown.
186 if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) {
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000187 assert(hasFP(MF) && "frame pointer should not have been eliminated");
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000188 adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000189 MachineInstr::FrameDestroy);
190 }
191
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000192 if (hasFP(MF)) {
193 // To find the instruction restoring FP from stack.
194 for (auto &I = LastFrameDestroy; I != MBBI; ++I) {
195 if (I->mayLoad() && I->getOperand(0).isReg()) {
196 unsigned DestReg = I->getOperand(0).getReg();
197 if (DestReg == FPReg) {
198 // If there is frame pointer, after restoring $fp registers, we
199 // need adjust CFA to ($sp - FPOffset).
200 // Emit ".cfi_def_cfa $sp, -FPOffset"
201 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
202 nullptr, RI->getDwarfRegNum(SPReg, true), -FPOffset));
203 BuildMI(MBB, std::next(I), DL,
204 TII->get(TargetOpcode::CFI_INSTRUCTION))
205 .addCFIIndex(CFIIndex);
206 break;
207 }
208 }
209 }
210 }
211
212 // Add CFI directives for callee-saved registers.
213 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
214 // Iterate over list of callee-saved registers and emit .cfi_restore
215 // directives.
216 for (const auto &Entry : CSI) {
217 unsigned Reg = Entry.getReg();
218 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestore(
219 nullptr, RI->getDwarfRegNum(Reg, true)));
220 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
221 .addCFIIndex(CFIIndex);
222 }
223
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000224 // Deallocate stack
225 adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
Hsiangkai Wang04ddf392019-06-12 03:04:22 +0000226
227 // After restoring $sp, we need to adjust CFA to $(sp + 0)
228 // Emit ".cfi_def_cfa_offset 0"
229 unsigned CFIIndex =
230 MF.addFrameInst(MCCFIInstruction::createDefCfaOffset(nullptr, 0));
231 BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
232 .addCFIIndex(CFIIndex);
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000233}
Alex Bradbury660bcce2017-12-11 11:53:54 +0000234
235int RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF,
236 int FI,
237 unsigned &FrameReg) const {
238 const MachineFrameInfo &MFI = MF.getFrameInfo();
239 const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000240 const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
Alex Bradbury660bcce2017-12-11 11:53:54 +0000241
242 // Callee-saved registers should be referenced relative to the stack
243 // pointer (positive offset), otherwise use the frame pointer (negative
244 // offset).
245 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
246 int MinCSFI = 0;
247 int MaxCSFI = -1;
248
249 int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
250 MFI.getOffsetAdjustment();
251
252 if (CSI.size()) {
253 MinCSFI = CSI[0].getFrameIdx();
254 MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
255 }
256
Alex Bradbury660bcce2017-12-11 11:53:54 +0000257 if (FI >= MinCSFI && FI <= MaxCSFI) {
258 FrameReg = RISCV::X2;
259 Offset += MF.getFrameInfo().getStackSize();
Alex Bradburyc85be0d2018-01-10 19:41:03 +0000260 } else {
261 FrameReg = RI->getFrameRegister(MF);
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000262 if (hasFP(MF))
263 Offset += RVFI->getVarArgsSaveSize();
264 else
265 Offset += MF.getFrameInfo().getStackSize();
Alex Bradbury660bcce2017-12-11 11:53:54 +0000266 }
267 return Offset;
268}
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000269
270void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
271 BitVector &SavedRegs,
272 RegScavenger *RS) const {
273 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
Alex Bradbury7d6aa1f2018-01-18 11:34:02 +0000274 // Unconditionally spill RA and FP only if the function uses a frame
275 // pointer.
276 if (hasFP(MF)) {
277 SavedRegs.set(RISCV::X1);
278 SavedRegs.set(RISCV::X8);
279 }
Ana Pazos2e4106b2018-07-26 17:49:43 +0000280
281 // If interrupt is enabled and there are calls in the handler,
282 // unconditionally save all Caller-saved registers and
283 // all FP registers, regardless whether they are used.
284 MachineFrameInfo &MFI = MF.getFrameInfo();
285
286 if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
287
288 static const MCPhysReg CSRegs[] = { RISCV::X1, /* ra */
289 RISCV::X5, RISCV::X6, RISCV::X7, /* t0-t2 */
290 RISCV::X10, RISCV::X11, /* a0-a1, a2-a7 */
291 RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
292 RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
293 };
294
295 for (unsigned i = 0; CSRegs[i]; ++i)
296 SavedRegs.set(CSRegs[i]);
297
298 if (MF.getSubtarget<RISCVSubtarget>().hasStdExtD() ||
299 MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
300
301 // If interrupt is enabled, this list contains all FP registers.
302 const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
303
304 for (unsigned i = 0; Regs[i]; ++i)
305 if (RISCV::FPR32RegClass.contains(Regs[i]) ||
306 RISCV::FPR64RegClass.contains(Regs[i]))
307 SavedRegs.set(Regs[i]);
308 }
309 }
Alex Bradburyb014e3d2017-12-11 12:34:11 +0000310}
Alex Bradbury0715d352018-01-11 11:17:19 +0000311
312void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
313 MachineFunction &MF, RegScavenger *RS) const {
314 const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
315 MachineFrameInfo &MFI = MF.getFrameInfo();
316 const TargetRegisterClass *RC = &RISCV::GPRRegClass;
317 // estimateStackSize has been observed to under-estimate the final stack
318 // size, so give ourselves wiggle-room by checking for stack size
319 // representable an 11-bit signed field rather than 12-bits.
320 // FIXME: It may be possible to craft a function with a small stack that
321 // still needs an emergency spill slot for branch relaxation. This case
322 // would currently be missed.
323 if (!isInt<11>(MFI.estimateStackSize(MF))) {
324 int RegScavFI = MFI.CreateStackObject(
325 RegInfo->getSpillSize(*RC), RegInfo->getSpillAlignment(*RC), false);
326 RS->addScavengingFrameIndex(RegScavFI);
327 }
328}
Shiva Chencbd498a2018-03-20 01:39:17 +0000329
330// Not preserve stack space within prologue for outgoing variables when the
331// function contains variable size objects and let eliminateCallFramePseudoInstr
332// preserve stack space for it.
333bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
334 return !MF.getFrameInfo().hasVarSizedObjects();
335}
336
337// Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
338MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
339 MachineFunction &MF, MachineBasicBlock &MBB,
340 MachineBasicBlock::iterator MI) const {
341 unsigned SPReg = RISCV::X2;
342 DebugLoc DL = MI->getDebugLoc();
343
344 if (!hasReservedCallFrame(MF)) {
345 // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
346 // ADJCALLSTACKUP must be converted to instructions manipulating the stack
347 // pointer. This is necessary when there is a variable length stack
348 // allocation (e.g. alloca), which means it's not possible to allocate
349 // space for outgoing arguments from within the function prologue.
350 int64_t Amount = MI->getOperand(0).getImm();
351
352 if (Amount != 0) {
353 // Ensure the stack remains aligned after adjustment.
354 Amount = alignSPAdjust(Amount);
355
356 if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
357 Amount = -Amount;
358
359 adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
360 }
361 }
362
363 return MBB.erase(MI);
364}