blob: da6c9ca58035cb7358ad714f6e3e7d78b2f42bb1 [file] [log] [blame]
Chris Lattner5074bb52002-04-09 05:18:31 +00001//===-- PrologEpilogCodeInserter.cpp - Insert Prolog & Epilog code for fn -===//
2//
3// Insert SAVE/RESTORE instructions for the function
4//
5// Insert prolog code at the unique function entry point.
6// Insert epilog code at each function exit point.
7// InsertPrologEpilog invokes these only if the function is not compiled
8// with the leaf function optimization.
9//
10//===----------------------------------------------------------------------===//
11
12#include "SparcInternals.h"
13#include "SparcRegClassInfo.h"
Misha Brukman7ae7f842002-10-28 00:28:31 +000014#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner5074bb52002-04-09 05:18:31 +000015#include "llvm/CodeGen/MachineCodeForInstruction.h"
Chris Lattnercbe63852002-10-28 21:43:57 +000016#include "llvm/CodeGen/MachineInstrBuilder.h"
Vikram S. Advee997a112002-07-10 21:42:13 +000017#include "llvm/CodeGen/InstrSelectionSupport.h"
Chris Lattner5074bb52002-04-09 05:18:31 +000018#include "llvm/Pass.h"
19#include "llvm/Function.h"
Chris Lattner5074bb52002-04-09 05:18:31 +000020
21namespace {
Chris Lattner7076ff22002-06-25 16:13:21 +000022 class InsertPrologEpilogCode : public FunctionPass {
23 TargetMachine &Target;
24 public:
25 InsertPrologEpilogCode(TargetMachine &T) : Target(T) {}
26
27 const char *getPassName() const { return "Sparc Prolog/Epilog Inserter"; }
28
29 bool runOnFunction(Function &F) {
Misha Brukman7ae7f842002-10-28 00:28:31 +000030 MachineFunction &mcodeInfo = MachineFunction::get(&F);
Chris Lattner7076ff22002-06-25 16:13:21 +000031 if (!mcodeInfo.isCompiledAsLeafMethod()) {
32 InsertPrologCode(F);
33 InsertEpilogCode(F);
34 }
35 return false;
Chris Lattner5074bb52002-04-09 05:18:31 +000036 }
Chris Lattner7076ff22002-06-25 16:13:21 +000037
38 void InsertPrologCode(Function &F);
39 void InsertEpilogCode(Function &F);
40 };
Chris Lattner5074bb52002-04-09 05:18:31 +000041
42} // End anonymous namespace
43
44//------------------------------------------------------------------------
45// External Function: GetInstructionsForProlog
46// External Function: GetInstructionsForEpilog
47//
48// Purpose:
49// Create prolog and epilog code for procedure entry and exit
50//------------------------------------------------------------------------
51
Chris Lattner7076ff22002-06-25 16:13:21 +000052void InsertPrologEpilogCode::InsertPrologCode(Function &F)
Chris Lattner5074bb52002-04-09 05:18:31 +000053{
Anand Shukla458496c2002-06-25 20:55:50 +000054 std::vector<MachineInstr*> mvec;
Chris Lattner5074bb52002-04-09 05:18:31 +000055 MachineInstr* M;
56 const MachineFrameInfo& frameInfo = Target.getFrameInfo();
57
58 // The second operand is the stack size. If it does not fit in the
59 // immediate field, we have to use a free register to hold the size.
Vikram S. Adve78044fb2002-10-13 00:24:06 +000060 // See the comments below for the choice of this register.
Chris Lattner5074bb52002-04-09 05:18:31 +000061 //
Misha Brukman7ae7f842002-10-28 00:28:31 +000062 MachineFunction& mcInfo = MachineFunction::get(&F);
Chris Lattnercbe63852002-10-28 21:43:57 +000063 unsigned staticStackSize = mcInfo.getStaticStackSize();
Chris Lattner5074bb52002-04-09 05:18:31 +000064
65 if (staticStackSize < (unsigned) frameInfo.getMinStackFrameSize())
66 staticStackSize = (unsigned) frameInfo.getMinStackFrameSize();
Vikram S. Adve78044fb2002-10-13 00:24:06 +000067
Chris Lattner5074bb52002-04-09 05:18:31 +000068 if (unsigned padsz = (staticStackSize %
69 (unsigned) frameInfo.getStackFrameSizeAlignment()))
70 staticStackSize += frameInfo.getStackFrameSizeAlignment() - padsz;
71
Chris Lattnercbe63852002-10-28 21:43:57 +000072 int32_t C = - (int) staticStackSize;
73 int SP = Target.getRegInfo().getStackPointer();
74 if (Target.getInstrInfo().constantFitsInImmedField(SAVE, staticStackSize)) {
75 M = BuildMI(SAVE, 3).addMReg(SP).addSImm(C).addMReg(SP);
76 mvec.push_back(M);
77 } else {
Vikram S. Advee997a112002-07-10 21:42:13 +000078 // We have to put the stack size value into a register before SAVE.
Vikram S. Adve78044fb2002-10-13 00:24:06 +000079 // Use register %g1 since it is volatile across calls. Note that the
80 // local (%l) and in (%i) registers cannot be used before the SAVE!
Vikram S. Advee997a112002-07-10 21:42:13 +000081 // Do this by creating a code sequence equivalent to:
Vikram S. Adve78044fb2002-10-13 00:24:06 +000082 // SETSW -(stackSize), %g1
Vikram S. Advee997a112002-07-10 21:42:13 +000083 int uregNum = Target.getRegInfo().getUnifiedRegNum(
Chris Lattner5074bb52002-04-09 05:18:31 +000084 Target.getRegInfo().getRegClassIDOfType(Type::IntTy),
Vikram S. Adve78044fb2002-10-13 00:24:06 +000085 SparcIntRegClass::g1);
Vikram S. Advee997a112002-07-10 21:42:13 +000086
Chris Lattnercbe63852002-10-28 21:43:57 +000087 M = BuildMI(SETHI, 2).addSImm(C).addMReg(uregNum);
Vikram S. Advee997a112002-07-10 21:42:13 +000088 M->setOperandHi32(0);
Chris Lattner5074bb52002-04-09 05:18:31 +000089 mvec.push_back(M);
90
Chris Lattnercbe63852002-10-28 21:43:57 +000091 M = BuildMI(OR, 3).addMReg(uregNum).addSImm(C).addMReg(uregNum);
Vikram S. Advee997a112002-07-10 21:42:13 +000092 M->setOperandLo32(1);
93 mvec.push_back(M);
94
Chris Lattnercbe63852002-10-28 21:43:57 +000095 M = BuildMI(SRA, 3).addMReg(uregNum).addZImm(0).addMReg(uregNum);
Vikram S. Advee997a112002-07-10 21:42:13 +000096 mvec.push_back(M);
97
Vikram S. Adve78044fb2002-10-13 00:24:06 +000098 // Now generate the SAVE using the value in register %g1
Chris Lattnercbe63852002-10-28 21:43:57 +000099 M = BuildMI(SAVE, 3).addMReg(SP).addMReg(uregNum).addMReg(SP);
Chris Lattner5074bb52002-04-09 05:18:31 +0000100 mvec.push_back(M);
101 }
102
Misha Brukman181ea4a2002-10-28 20:01:13 +0000103 MachineBasicBlock& bbMvec = mcInfo.front();
Chris Lattner7076ff22002-06-25 16:13:21 +0000104 bbMvec.insert(bbMvec.begin(), mvec.begin(), mvec.end());
Chris Lattner5074bb52002-04-09 05:18:31 +0000105}
106
Chris Lattner7076ff22002-06-25 16:13:21 +0000107void InsertPrologEpilogCode::InsertEpilogCode(Function &F)
Chris Lattner5074bb52002-04-09 05:18:31 +0000108{
Misha Brukman181ea4a2002-10-28 20:01:13 +0000109 MachineFunction &MF = MachineFunction::get(&F);
110 for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) {
111 MachineBasicBlock &MBB = *I;
112 BasicBlock &BB = *I->getBasicBlock();
113 Instruction *TermInst = (Instruction*)BB.getTerminator();
Chris Lattner5074bb52002-04-09 05:18:31 +0000114 if (TermInst->getOpcode() == Instruction::Ret)
115 {
Chris Lattnercbe63852002-10-28 21:43:57 +0000116 int ZR = Target.getRegInfo().getZeroRegNum();
117 MachineInstr *Restore =
118 BuildMI(RESTORE, 3).addMReg(ZR).addSImm(0).addMReg(ZR);
Chris Lattner5074bb52002-04-09 05:18:31 +0000119
Chris Lattner5074bb52002-04-09 05:18:31 +0000120 MachineCodeForInstruction &termMvec =
121 MachineCodeForInstruction::get(TermInst);
122
123 // Remove the NOPs in the delay slots of the return instruction
124 const MachineInstrInfo &mii = Target.getInstrInfo();
125 unsigned numNOPs = 0;
126 while (termMvec.back()->getOpCode() == NOP)
127 {
Misha Brukman181ea4a2002-10-28 20:01:13 +0000128 assert( termMvec.back() == MBB.back());
129 delete MBB.pop_back();
Chris Lattner5074bb52002-04-09 05:18:31 +0000130 termMvec.pop_back();
Chris Lattner5074bb52002-04-09 05:18:31 +0000131 ++numNOPs;
132 }
Misha Brukman181ea4a2002-10-28 20:01:13 +0000133 assert(termMvec.back() == MBB.back());
Chris Lattner5074bb52002-04-09 05:18:31 +0000134
135 // Check that we found the right number of NOPs and have the right
136 // number of instructions to replace them.
137 unsigned ndelays = mii.getNumDelaySlots(termMvec.back()->getOpCode());
138 assert(numNOPs == ndelays && "Missing NOPs in delay slots?");
139 assert(ndelays == 1 && "Cannot use epilog code for delay slots?");
140
141 // Append the epilog code to the end of the basic block.
Misha Brukman181ea4a2002-10-28 20:01:13 +0000142 MBB.push_back(Restore);
Chris Lattner5074bb52002-04-09 05:18:31 +0000143 }
144 }
145}
146
Vikram S. Adve36d3e032002-09-16 15:39:26 +0000147Pass* UltraSparc::getPrologEpilogInsertionPass() {
148 return new InsertPrologEpilogCode(*this);
Chris Lattner5074bb52002-04-09 05:18:31 +0000149}