Alex Bradbury | 8971842 | 2017-10-19 21:37:38 +0000 | [diff] [blame] | 1 | //===-- RISCVFrameLowering.cpp - RISCV 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 RISCV implementation of TargetFrameLowering class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "RISCVFrameLowering.h" |
Alex Bradbury | c85be0d | 2018-01-10 19:41:03 +0000 | [diff] [blame] | 15 | #include "RISCVMachineFunctionInfo.h" |
Alex Bradbury | 8971842 | 2017-10-19 21:37:38 +0000 | [diff] [blame] | 16 | #include "RISCVSubtarget.h" |
| 17 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 18 | #include "llvm/CodeGen/MachineFunction.h" |
| 19 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 20 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Alex Bradbury | 0715d35 | 2018-01-11 11:17:19 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/RegisterScavenging.h" |
Alex Bradbury | 8971842 | 2017-10-19 21:37:38 +0000 | [diff] [blame] | 22 | |
| 23 | using namespace llvm; |
| 24 | |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 25 | bool 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 Bradbury | 8971842 | 2017-10-19 21:37:38 +0000 | [diff] [blame] | 33 | |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 34 | // Determines the size of the frame and maximum call frame size. |
| 35 | void 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 Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 46 | // Make sure the frame is aligned. |
| 47 | FrameSize = alignTo(FrameSize, StackAlign); |
| 48 | |
| 49 | // Update frame info. |
| 50 | MFI.setStackSize(FrameSize); |
| 51 | } |
| 52 | |
| 53 | void 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 Bradbury | 9fea488 | 2018-01-10 19:53:46 +0000 | [diff] [blame] | 58 | MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo(); |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 59 | const RISCVInstrInfo *TII = STI.getInstrInfo(); |
| 60 | |
| 61 | if (DestReg == SrcReg && Val == 0) |
| 62 | return; |
| 63 | |
Alex Bradbury | 9fea488 | 2018-01-10 19:53:46 +0000 | [diff] [blame] | 64 | 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 Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 76 | |
Alex Bradbury | 9fea488 | 2018-01-10 19:53:46 +0000 | [diff] [blame] | 77 | 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 Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | // Returns the register used to hold the frame pointer. |
| 89 | static unsigned getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; } |
| 90 | |
| 91 | // Returns the register used to hold the stack pointer. |
| 92 | static unsigned getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; } |
| 93 | |
Alex Bradbury | 8971842 | 2017-10-19 21:37:38 +0000 | [diff] [blame] | 94 | void RISCVFrameLowering::emitPrologue(MachineFunction &MF, |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 95 | MachineBasicBlock &MBB) const { |
| 96 | assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported"); |
| 97 | |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 98 | MachineFrameInfo &MFI = MF.getFrameInfo(); |
Alex Bradbury | c85be0d | 2018-01-10 19:41:03 +0000 | [diff] [blame] | 99 | auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 100 | MachineBasicBlock::iterator MBBI = MBB.begin(); |
| 101 | |
| 102 | unsigned FPReg = getFPReg(STI); |
| 103 | unsigned SPReg = getSPReg(STI); |
| 104 | |
| 105 | // Debug location must be unknown since the first debug location is used |
| 106 | // to determine the end of the prologue. |
| 107 | DebugLoc DL; |
| 108 | |
| 109 | // Determine the correct frame layout |
| 110 | determineFrameLayout(MF); |
| 111 | |
| 112 | // FIXME (note copied from Lanai): This appears to be overallocating. Needs |
| 113 | // investigation. Get the number of bytes to allocate from the FrameInfo. |
| 114 | uint64_t StackSize = MFI.getStackSize(); |
| 115 | |
| 116 | // Early exit if there is no need to allocate on the stack |
| 117 | if (StackSize == 0 && !MFI.adjustsStack()) |
| 118 | return; |
| 119 | |
| 120 | // Allocate space on the stack if necessary. |
| 121 | adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup); |
| 122 | |
| 123 | // The frame pointer is callee-saved, and code has been generated for us to |
| 124 | // save it to the stack. We need to skip over the storing of callee-saved |
| 125 | // registers as the frame pointer must be modified after it has been saved |
| 126 | // to the stack, not before. |
| 127 | // FIXME: assumes exactly one instruction is used to save each callee-saved |
| 128 | // register. |
| 129 | const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); |
| 130 | std::advance(MBBI, CSI.size()); |
| 131 | |
| 132 | // Generate new FP. |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 133 | if (hasFP(MF)) |
| 134 | adjustReg(MBB, MBBI, DL, FPReg, SPReg, |
| 135 | StackSize - RVFI->getVarArgsSaveSize(), MachineInstr::FrameSetup); |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 136 | } |
Alex Bradbury | 8971842 | 2017-10-19 21:37:38 +0000 | [diff] [blame] | 137 | |
| 138 | void RISCVFrameLowering::emitEpilogue(MachineFunction &MF, |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 139 | MachineBasicBlock &MBB) const { |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 140 | MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr(); |
| 141 | const RISCVRegisterInfo *RI = STI.getRegisterInfo(); |
| 142 | MachineFrameInfo &MFI = MF.getFrameInfo(); |
Alex Bradbury | c85be0d | 2018-01-10 19:41:03 +0000 | [diff] [blame] | 143 | auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 144 | DebugLoc DL = MBBI->getDebugLoc(); |
| 145 | unsigned FPReg = getFPReg(STI); |
| 146 | unsigned SPReg = getSPReg(STI); |
| 147 | |
| 148 | // Skip to before the restores of callee-saved registers |
| 149 | // FIXME: assumes exactly one instruction is used to restore each |
| 150 | // callee-saved register. |
| 151 | MachineBasicBlock::iterator LastFrameDestroy = MBBI; |
| 152 | std::advance(LastFrameDestroy, -MFI.getCalleeSavedInfo().size()); |
| 153 | |
| 154 | uint64_t StackSize = MFI.getStackSize(); |
| 155 | |
| 156 | // Restore the stack pointer using the value of the frame pointer. Only |
| 157 | // necessary if the stack pointer was modified, meaning the stack size is |
| 158 | // unknown. |
| 159 | if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) { |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 160 | assert(hasFP(MF) && "frame pointer should not have been eliminated"); |
Alex Bradbury | c85be0d | 2018-01-10 19:41:03 +0000 | [diff] [blame] | 161 | adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, |
| 162 | -StackSize + RVFI->getVarArgsSaveSize(), |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 163 | MachineInstr::FrameDestroy); |
| 164 | } |
| 165 | |
| 166 | // Deallocate stack |
| 167 | adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy); |
| 168 | } |
Alex Bradbury | 660bcce | 2017-12-11 11:53:54 +0000 | [diff] [blame] | 169 | |
| 170 | int RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, |
| 171 | int FI, |
| 172 | unsigned &FrameReg) const { |
| 173 | const MachineFrameInfo &MFI = MF.getFrameInfo(); |
| 174 | const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo(); |
Alex Bradbury | c85be0d | 2018-01-10 19:41:03 +0000 | [diff] [blame] | 175 | const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); |
Alex Bradbury | 660bcce | 2017-12-11 11:53:54 +0000 | [diff] [blame] | 176 | |
| 177 | // Callee-saved registers should be referenced relative to the stack |
| 178 | // pointer (positive offset), otherwise use the frame pointer (negative |
| 179 | // offset). |
| 180 | const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); |
| 181 | int MinCSFI = 0; |
| 182 | int MaxCSFI = -1; |
| 183 | |
| 184 | int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea() + |
| 185 | MFI.getOffsetAdjustment(); |
| 186 | |
| 187 | if (CSI.size()) { |
| 188 | MinCSFI = CSI[0].getFrameIdx(); |
| 189 | MaxCSFI = CSI[CSI.size() - 1].getFrameIdx(); |
| 190 | } |
| 191 | |
Alex Bradbury | 660bcce | 2017-12-11 11:53:54 +0000 | [diff] [blame] | 192 | if (FI >= MinCSFI && FI <= MaxCSFI) { |
| 193 | FrameReg = RISCV::X2; |
| 194 | Offset += MF.getFrameInfo().getStackSize(); |
Alex Bradbury | c85be0d | 2018-01-10 19:41:03 +0000 | [diff] [blame] | 195 | } else { |
| 196 | FrameReg = RI->getFrameRegister(MF); |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 197 | if (hasFP(MF)) |
| 198 | Offset += RVFI->getVarArgsSaveSize(); |
| 199 | else |
| 200 | Offset += MF.getFrameInfo().getStackSize(); |
Alex Bradbury | 660bcce | 2017-12-11 11:53:54 +0000 | [diff] [blame] | 201 | } |
| 202 | return Offset; |
| 203 | } |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 204 | |
| 205 | void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF, |
| 206 | BitVector &SavedRegs, |
| 207 | RegScavenger *RS) const { |
| 208 | TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); |
Alex Bradbury | 7d6aa1f | 2018-01-18 11:34:02 +0000 | [diff] [blame] | 209 | // Unconditionally spill RA and FP only if the function uses a frame |
| 210 | // pointer. |
| 211 | if (hasFP(MF)) { |
| 212 | SavedRegs.set(RISCV::X1); |
| 213 | SavedRegs.set(RISCV::X8); |
| 214 | } |
Ana Pazos | 2e4106b | 2018-07-26 17:49:43 +0000 | [diff] [blame^] | 215 | |
| 216 | // If interrupt is enabled and there are calls in the handler, |
| 217 | // unconditionally save all Caller-saved registers and |
| 218 | // all FP registers, regardless whether they are used. |
| 219 | MachineFrameInfo &MFI = MF.getFrameInfo(); |
| 220 | |
| 221 | if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) { |
| 222 | |
| 223 | static const MCPhysReg CSRegs[] = { RISCV::X1, /* ra */ |
| 224 | RISCV::X5, RISCV::X6, RISCV::X7, /* t0-t2 */ |
| 225 | RISCV::X10, RISCV::X11, /* a0-a1, a2-a7 */ |
| 226 | RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17, |
| 227 | RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */ |
| 228 | }; |
| 229 | |
| 230 | for (unsigned i = 0; CSRegs[i]; ++i) |
| 231 | SavedRegs.set(CSRegs[i]); |
| 232 | |
| 233 | if (MF.getSubtarget<RISCVSubtarget>().hasStdExtD() || |
| 234 | MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) { |
| 235 | |
| 236 | // If interrupt is enabled, this list contains all FP registers. |
| 237 | const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs(); |
| 238 | |
| 239 | for (unsigned i = 0; Regs[i]; ++i) |
| 240 | if (RISCV::FPR32RegClass.contains(Regs[i]) || |
| 241 | RISCV::FPR64RegClass.contains(Regs[i])) |
| 242 | SavedRegs.set(Regs[i]); |
| 243 | } |
| 244 | } |
Alex Bradbury | b014e3d | 2017-12-11 12:34:11 +0000 | [diff] [blame] | 245 | } |
Alex Bradbury | 0715d35 | 2018-01-11 11:17:19 +0000 | [diff] [blame] | 246 | |
| 247 | void RISCVFrameLowering::processFunctionBeforeFrameFinalized( |
| 248 | MachineFunction &MF, RegScavenger *RS) const { |
| 249 | const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo(); |
| 250 | MachineFrameInfo &MFI = MF.getFrameInfo(); |
| 251 | const TargetRegisterClass *RC = &RISCV::GPRRegClass; |
| 252 | // estimateStackSize has been observed to under-estimate the final stack |
| 253 | // size, so give ourselves wiggle-room by checking for stack size |
| 254 | // representable an 11-bit signed field rather than 12-bits. |
| 255 | // FIXME: It may be possible to craft a function with a small stack that |
| 256 | // still needs an emergency spill slot for branch relaxation. This case |
| 257 | // would currently be missed. |
| 258 | if (!isInt<11>(MFI.estimateStackSize(MF))) { |
| 259 | int RegScavFI = MFI.CreateStackObject( |
| 260 | RegInfo->getSpillSize(*RC), RegInfo->getSpillAlignment(*RC), false); |
| 261 | RS->addScavengingFrameIndex(RegScavFI); |
| 262 | } |
| 263 | } |
Shiva Chen | cbd498a | 2018-03-20 01:39:17 +0000 | [diff] [blame] | 264 | |
| 265 | // Not preserve stack space within prologue for outgoing variables when the |
| 266 | // function contains variable size objects and let eliminateCallFramePseudoInstr |
| 267 | // preserve stack space for it. |
| 268 | bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const { |
| 269 | return !MF.getFrameInfo().hasVarSizedObjects(); |
| 270 | } |
| 271 | |
| 272 | // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions. |
| 273 | MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr( |
| 274 | MachineFunction &MF, MachineBasicBlock &MBB, |
| 275 | MachineBasicBlock::iterator MI) const { |
| 276 | unsigned SPReg = RISCV::X2; |
| 277 | DebugLoc DL = MI->getDebugLoc(); |
| 278 | |
| 279 | if (!hasReservedCallFrame(MF)) { |
| 280 | // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and |
| 281 | // ADJCALLSTACKUP must be converted to instructions manipulating the stack |
| 282 | // pointer. This is necessary when there is a variable length stack |
| 283 | // allocation (e.g. alloca), which means it's not possible to allocate |
| 284 | // space for outgoing arguments from within the function prologue. |
| 285 | int64_t Amount = MI->getOperand(0).getImm(); |
| 286 | |
| 287 | if (Amount != 0) { |
| 288 | // Ensure the stack remains aligned after adjustment. |
| 289 | Amount = alignSPAdjust(Amount); |
| 290 | |
| 291 | if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN) |
| 292 | Amount = -Amount; |
| 293 | |
| 294 | adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags); |
| 295 | } |
| 296 | } |
| 297 | |
| 298 | return MBB.erase(MI); |
| 299 | } |