Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 1 | //=======- MBlazeFrameInfo.cpp - MBlaze Frame Information ------*- C++ -*-====// |
| 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 MBlaze implementation of TargetFrameInfo class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "MBlazeFrameInfo.h" |
| 15 | #include "MBlazeInstrInfo.h" |
| 16 | #include "MBlazeMachineFunction.h" |
Wesley Peck | eb13382 | 2010-12-12 20:52:31 +0000 | [diff] [blame^] | 17 | #include "InstPrinter/MBlazeInstPrinter.h" |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 18 | #include "llvm/Function.h" |
| 19 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 20 | #include "llvm/CodeGen/MachineFunction.h" |
| 21 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 22 | #include "llvm/CodeGen/MachineModuleInfo.h" |
| 23 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 24 | #include "llvm/Target/TargetData.h" |
| 25 | #include "llvm/Target/TargetOptions.h" |
| 26 | #include "llvm/Support/CommandLine.h" |
| 27 | |
| 28 | using namespace llvm; |
| 29 | |
Wesley Peck | eb13382 | 2010-12-12 20:52:31 +0000 | [diff] [blame^] | 30 | namespace llvm { |
| 31 | cl::opt<bool> DisableStackAdjust( |
| 32 | "disable-mblaze-stack-adjust", |
| 33 | cl::init(false), |
| 34 | cl::desc("Disable MBlaze stack layout adjustment."), |
| 35 | cl::Hidden); |
| 36 | } |
| 37 | |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 38 | //===----------------------------------------------------------------------===// |
| 39 | // |
| 40 | // Stack Frame Processing methods |
| 41 | // +----------------------------+ |
| 42 | // |
| 43 | // The stack is allocated decrementing the stack pointer on |
| 44 | // the first instruction of a function prologue. Once decremented, |
| 45 | // all stack references are are done through a positive offset |
| 46 | // from the stack/frame pointer, so the stack is considered |
| 47 | // to grow up. |
| 48 | // |
| 49 | //===----------------------------------------------------------------------===// |
| 50 | |
Wesley Peck | eb13382 | 2010-12-12 20:52:31 +0000 | [diff] [blame^] | 51 | static void analyzeFrameIndexes(MachineFunction &MF) { |
| 52 | if (DisableStackAdjust) return; |
| 53 | |
| 54 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 55 | MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>(); |
| 56 | const MachineRegisterInfo &MRI = MF.getRegInfo(); |
| 57 | |
| 58 | MachineRegisterInfo::livein_iterator LII = MRI.livein_begin(); |
| 59 | MachineRegisterInfo::livein_iterator LIE = MRI.livein_end(); |
| 60 | const SmallVector<int, 16> &LiveInFI = MBlazeFI->getLiveIn(); |
| 61 | SmallVector<MachineInstr*, 16> EraseInstr; |
| 62 | |
| 63 | MachineBasicBlock *MBB = MF.getBlockNumbered(0); |
| 64 | MachineBasicBlock::iterator MIB = MBB->begin(); |
| 65 | MachineBasicBlock::iterator MIE = MBB->end(); |
| 66 | |
| 67 | int StackAdjust = 0; |
| 68 | int StackOffset = -28; |
| 69 | for (unsigned i = 0, e = LiveInFI.size(); i < e; ++i) { |
| 70 | for (MachineBasicBlock::iterator I=MIB; I != MIE; ++I) { |
| 71 | if (I->getOpcode() != MBlaze::LWI || I->getNumOperands() != 3 || |
| 72 | !I->getOperand(1).isFI() || !I->getOperand(0).isReg() || |
| 73 | I->getOperand(1).getIndex() != LiveInFI[i]) continue; |
| 74 | |
| 75 | unsigned FIReg = I->getOperand(0).getReg(); |
| 76 | MachineBasicBlock::iterator SI = I; |
| 77 | for (SI++; SI != MIE; ++SI) { |
| 78 | if (!SI->getOperand(0).isReg()) continue; |
| 79 | if (!SI->getOperand(1).isFI()) continue; |
| 80 | if (SI->getOpcode() != MBlaze::SWI) continue; |
| 81 | |
| 82 | int FI = SI->getOperand(1).getIndex(); |
| 83 | if (SI->getOperand(0).getReg() != FIReg) continue; |
| 84 | if (MFI->isFixedObjectIndex(FI)) continue; |
| 85 | if (MFI->getObjectSize(FI) != 4) continue; |
| 86 | if (SI->getOperand(0).isDef()) break; |
| 87 | |
| 88 | if (SI->getOperand(0).isKill()) |
| 89 | EraseInstr.push_back(I); |
| 90 | EraseInstr.push_back(SI); |
| 91 | MBlazeFI->recordLoadArgsFI(FI, StackOffset); |
| 92 | StackOffset -= 4; |
| 93 | StackAdjust += 4; |
| 94 | break; |
| 95 | } |
| 96 | } |
| 97 | } |
| 98 | |
| 99 | for (MachineBasicBlock::iterator I=MBB->begin(), E=MBB->end(); I != E; ++I) { |
| 100 | if (I->getOpcode() != MBlaze::SWI || I->getNumOperands() != 3 || |
| 101 | !I->getOperand(1).isFI() || !I->getOperand(0).isReg() || |
| 102 | I->getOperand(1).getIndex() < 0) continue; |
| 103 | |
| 104 | unsigned FIReg = 0; |
| 105 | for (MachineRegisterInfo::livein_iterator LI = LII; LI != LIE; ++LI) { |
| 106 | if (I->getOperand(0).getReg() == LI->first) { |
| 107 | FIReg = LI->first; |
| 108 | break; |
| 109 | } |
| 110 | } |
| 111 | |
| 112 | if (FIReg) { |
| 113 | int FI = I->getOperand(1).getIndex(); |
| 114 | MBlazeFI->recordLiveIn(FI); |
| 115 | |
| 116 | StackAdjust += 4; |
| 117 | switch (FIReg) { |
| 118 | default: llvm_unreachable("invalid incoming parameter!"); |
| 119 | case MBlaze::R5: MBlazeFI->recordLoadArgsFI(FI, -4); break; |
| 120 | case MBlaze::R6: MBlazeFI->recordLoadArgsFI(FI, -8); break; |
| 121 | case MBlaze::R7: MBlazeFI->recordLoadArgsFI(FI, -12); break; |
| 122 | case MBlaze::R8: MBlazeFI->recordLoadArgsFI(FI, -16); break; |
| 123 | case MBlaze::R9: MBlazeFI->recordLoadArgsFI(FI, -20); break; |
| 124 | case MBlaze::R10: MBlazeFI->recordLoadArgsFI(FI, -24); break; |
| 125 | } |
| 126 | } |
| 127 | } |
| 128 | |
| 129 | for (int i = 0, e = EraseInstr.size(); i < e; ++i) |
| 130 | MBB->erase(EraseInstr[i]); |
| 131 | |
| 132 | MBlazeFI->setStackAdjust(StackAdjust); |
| 133 | } |
| 134 | |
| 135 | static void determineFrameLayout(MachineFunction &MF) { |
| 136 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 137 | MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>(); |
| 138 | |
| 139 | // Replace the dummy '0' SPOffset by the negative offsets, as explained on |
| 140 | // LowerFORMAL_ARGUMENTS. Leaving '0' for while is necessary to avoid |
| 141 | // the approach done by calculateFrameObjectOffsets to the stack frame. |
| 142 | MBlazeFI->adjustLoadArgsFI(MFI); |
| 143 | MBlazeFI->adjustStoreVarArgsFI(MFI); |
| 144 | |
| 145 | // Get the number of bytes to allocate from the FrameInfo |
| 146 | unsigned FrameSize = MFI->getStackSize(); |
| 147 | FrameSize -= MBlazeFI->getStackAdjust(); |
| 148 | |
| 149 | // Get the alignments provided by the target, and the maximum alignment |
| 150 | // (if any) of the fixed frame objects. |
| 151 | // unsigned MaxAlign = MFI->getMaxAlignment(); |
| 152 | unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment(); |
| 153 | unsigned AlignMask = TargetAlign - 1; |
| 154 | |
| 155 | // Make sure the frame is aligned. |
| 156 | FrameSize = (FrameSize + AlignMask) & ~AlignMask; |
| 157 | MFI->setStackSize(FrameSize); |
| 158 | } |
| 159 | |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 160 | // hasFP - Return true if the specified function should have a dedicated frame |
| 161 | // pointer register. This is true if the function has variable sized allocas or |
| 162 | // if frame pointer elimination is disabled. |
| 163 | bool MBlazeFrameInfo::hasFP(const MachineFunction &MF) const { |
| 164 | const MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 165 | return DisableFramePointerElim(MF) || MFI->hasVarSizedObjects(); |
| 166 | } |
| 167 | |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 168 | void MBlazeFrameInfo::emitPrologue(MachineFunction &MF) const { |
| 169 | MachineBasicBlock &MBB = MF.front(); |
| 170 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 171 | const MBlazeInstrInfo &TII = |
| 172 | *static_cast<const MBlazeInstrInfo*>(MF.getTarget().getInstrInfo()); |
| 173 | MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>(); |
| 174 | MachineBasicBlock::iterator MBBI = MBB.begin(); |
| 175 | DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc(); |
| 176 | |
Wesley Peck | eb13382 | 2010-12-12 20:52:31 +0000 | [diff] [blame^] | 177 | // Determine the correct frame layout |
| 178 | determineFrameLayout(MF); |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 179 | |
| 180 | // Get the number of bytes to allocate from the FrameInfo. |
| 181 | unsigned StackSize = MFI->getStackSize(); |
| 182 | |
| 183 | // No need to allocate space on the stack. |
| 184 | if (StackSize == 0 && !MFI->adjustsStack()) return; |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 185 | |
| 186 | int FPOffset = MBlazeFI->getFPStackOffset(); |
| 187 | int RAOffset = MBlazeFI->getRAStackOffset(); |
| 188 | |
| 189 | // Adjust stack : addi R1, R1, -imm |
| 190 | BuildMI(MBB, MBBI, DL, TII.get(MBlaze::ADDI), MBlaze::R1) |
| 191 | .addReg(MBlaze::R1).addImm(-StackSize); |
| 192 | |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 193 | // swi R15, R1, stack_loc |
| 194 | if (MFI->adjustsStack()) { |
| 195 | BuildMI(MBB, MBBI, DL, TII.get(MBlaze::SWI)) |
| 196 | .addReg(MBlaze::R15).addReg(MBlaze::R1).addImm(RAOffset); |
| 197 | } |
| 198 | |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 199 | if (hasFP(MF)) { |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 200 | // swi R19, R1, stack_loc |
| 201 | BuildMI(MBB, MBBI, DL, TII.get(MBlaze::SWI)) |
| 202 | .addReg(MBlaze::R19).addReg(MBlaze::R1).addImm(FPOffset); |
| 203 | |
| 204 | // add R19, R1, R0 |
| 205 | BuildMI(MBB, MBBI, DL, TII.get(MBlaze::ADD), MBlaze::R19) |
| 206 | .addReg(MBlaze::R1).addReg(MBlaze::R0); |
| 207 | } |
| 208 | } |
| 209 | |
| 210 | void MBlazeFrameInfo::emitEpilogue(MachineFunction &MF, |
| 211 | MachineBasicBlock &MBB) const { |
| 212 | MachineBasicBlock::iterator MBBI = prior(MBB.end()); |
| 213 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 214 | MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>(); |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 215 | const MBlazeInstrInfo &TII = |
| 216 | *static_cast<const MBlazeInstrInfo*>(MF.getTarget().getInstrInfo()); |
| 217 | |
| 218 | DebugLoc dl = MBBI->getDebugLoc(); |
| 219 | |
| 220 | // Get the FI's where RA and FP are saved. |
| 221 | int FPOffset = MBlazeFI->getFPStackOffset(); |
| 222 | int RAOffset = MBlazeFI->getRAStackOffset(); |
| 223 | |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 224 | if (hasFP(MF)) { |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 225 | // add R1, R19, R0 |
| 226 | BuildMI(MBB, MBBI, dl, TII.get(MBlaze::ADD), MBlaze::R1) |
| 227 | .addReg(MBlaze::R19).addReg(MBlaze::R0); |
| 228 | |
| 229 | // lwi R19, R1, stack_loc |
| 230 | BuildMI(MBB, MBBI, dl, TII.get(MBlaze::LWI), MBlaze::R19) |
| 231 | .addReg(MBlaze::R1).addImm(FPOffset); |
| 232 | } |
| 233 | |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 234 | // lwi R15, R1, stack_loc |
| 235 | if (MFI->adjustsStack()) { |
| 236 | BuildMI(MBB, MBBI, dl, TII.get(MBlaze::LWI), MBlaze::R15) |
| 237 | .addReg(MBlaze::R1).addImm(RAOffset); |
| 238 | } |
| 239 | |
| 240 | // Get the number of bytes from FrameInfo |
| 241 | int StackSize = (int) MFI->getStackSize(); |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 242 | |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 243 | // addi R1, R1, imm |
| 244 | if (StackSize) { |
| 245 | BuildMI(MBB, MBBI, dl, TII.get(MBlaze::ADDI), MBlaze::R1) |
| 246 | .addReg(MBlaze::R1).addImm(StackSize); |
| 247 | } |
| 248 | } |
Wesley Peck | 8397be0 | 2010-12-09 03:42:04 +0000 | [diff] [blame] | 249 | |
| 250 | void MBlazeFrameInfo::processFunctionBeforeCalleeSavedScan(MachineFunction &MF, RegScavenger *RS) |
| 251 | const { |
| 252 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 253 | MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>(); |
| 254 | |
| 255 | if (MFI->adjustsStack()) { |
| 256 | MBlazeFI->setRAStackOffset(0); |
| 257 | MFI->CreateFixedObject(4,0,true); |
| 258 | } |
| 259 | |
| 260 | if (hasFP(MF)) { |
| 261 | MBlazeFI->setFPStackOffset(4); |
| 262 | MFI->CreateFixedObject(4,4,true); |
| 263 | } |
Wesley Peck | eb13382 | 2010-12-12 20:52:31 +0000 | [diff] [blame^] | 264 | |
| 265 | analyzeFrameIndexes(MF); |
Wesley Peck | 8397be0 | 2010-12-09 03:42:04 +0000 | [diff] [blame] | 266 | } |