Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 1 | //===-- 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 Brukman | 7ae7f84 | 2002-10-28 00:28:31 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/MachineCodeForInstruction.h" |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 16 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Vikram S. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/InstrSelectionSupport.h" |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 18 | #include "llvm/Pass.h" |
| 19 | #include "llvm/Function.h" |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 20 | |
| 21 | namespace { |
Chris Lattner | 7076ff2 | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 22 | 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 Brukman | 7ae7f84 | 2002-10-28 00:28:31 +0000 | [diff] [blame] | 30 | MachineFunction &mcodeInfo = MachineFunction::get(&F); |
Chris Lattner | 7076ff2 | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 31 | if (!mcodeInfo.isCompiledAsLeafMethod()) { |
| 32 | InsertPrologCode(F); |
| 33 | InsertEpilogCode(F); |
| 34 | } |
| 35 | return false; |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 36 | } |
Chris Lattner | 7076ff2 | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 37 | |
| 38 | void InsertPrologCode(Function &F); |
| 39 | void InsertEpilogCode(Function &F); |
| 40 | }; |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 41 | |
| 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 Lattner | 7076ff2 | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 52 | void InsertPrologEpilogCode::InsertPrologCode(Function &F) |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 53 | { |
Anand Shukla | 458496c | 2002-06-25 20:55:50 +0000 | [diff] [blame] | 54 | std::vector<MachineInstr*> mvec; |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 55 | 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. Adve | 78044fb | 2002-10-13 00:24:06 +0000 | [diff] [blame] | 60 | // See the comments below for the choice of this register. |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 61 | // |
Misha Brukman | 7ae7f84 | 2002-10-28 00:28:31 +0000 | [diff] [blame] | 62 | MachineFunction& mcInfo = MachineFunction::get(&F); |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 63 | unsigned staticStackSize = mcInfo.getStaticStackSize(); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 64 | |
| 65 | if (staticStackSize < (unsigned) frameInfo.getMinStackFrameSize()) |
| 66 | staticStackSize = (unsigned) frameInfo.getMinStackFrameSize(); |
Vikram S. Adve | 78044fb | 2002-10-13 00:24:06 +0000 | [diff] [blame] | 67 | |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 68 | if (unsigned padsz = (staticStackSize % |
| 69 | (unsigned) frameInfo.getStackFrameSizeAlignment())) |
| 70 | staticStackSize += frameInfo.getStackFrameSizeAlignment() - padsz; |
| 71 | |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 72 | 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. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 78 | // We have to put the stack size value into a register before SAVE. |
Vikram S. Adve | 78044fb | 2002-10-13 00:24:06 +0000 | [diff] [blame] | 79 | // 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. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 81 | // Do this by creating a code sequence equivalent to: |
Vikram S. Adve | 78044fb | 2002-10-13 00:24:06 +0000 | [diff] [blame] | 82 | // SETSW -(stackSize), %g1 |
Vikram S. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 83 | int uregNum = Target.getRegInfo().getUnifiedRegNum( |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 84 | Target.getRegInfo().getRegClassIDOfType(Type::IntTy), |
Vikram S. Adve | 78044fb | 2002-10-13 00:24:06 +0000 | [diff] [blame] | 85 | SparcIntRegClass::g1); |
Vikram S. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 86 | |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 87 | M = BuildMI(SETHI, 2).addSImm(C).addMReg(uregNum); |
Vikram S. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 88 | M->setOperandHi32(0); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 89 | mvec.push_back(M); |
| 90 | |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 91 | M = BuildMI(OR, 3).addMReg(uregNum).addSImm(C).addMReg(uregNum); |
Vikram S. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 92 | M->setOperandLo32(1); |
| 93 | mvec.push_back(M); |
| 94 | |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 95 | M = BuildMI(SRA, 3).addMReg(uregNum).addZImm(0).addMReg(uregNum); |
Vikram S. Adve | e997a11 | 2002-07-10 21:42:13 +0000 | [diff] [blame] | 96 | mvec.push_back(M); |
| 97 | |
Vikram S. Adve | 78044fb | 2002-10-13 00:24:06 +0000 | [diff] [blame] | 98 | // Now generate the SAVE using the value in register %g1 |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 99 | M = BuildMI(SAVE, 3).addMReg(SP).addMReg(uregNum).addMReg(SP); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 100 | mvec.push_back(M); |
| 101 | } |
| 102 | |
Misha Brukman | 181ea4a | 2002-10-28 20:01:13 +0000 | [diff] [blame] | 103 | MachineBasicBlock& bbMvec = mcInfo.front(); |
Chris Lattner | 7076ff2 | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 104 | bbMvec.insert(bbMvec.begin(), mvec.begin(), mvec.end()); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 105 | } |
| 106 | |
Chris Lattner | 7076ff2 | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 107 | void InsertPrologEpilogCode::InsertEpilogCode(Function &F) |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 108 | { |
Misha Brukman | 181ea4a | 2002-10-28 20:01:13 +0000 | [diff] [blame] | 109 | 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 Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 114 | if (TermInst->getOpcode() == Instruction::Ret) |
| 115 | { |
Chris Lattner | cbe6385 | 2002-10-28 21:43:57 +0000 | [diff] [blame^] | 116 | int ZR = Target.getRegInfo().getZeroRegNum(); |
| 117 | MachineInstr *Restore = |
| 118 | BuildMI(RESTORE, 3).addMReg(ZR).addSImm(0).addMReg(ZR); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 119 | |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 120 | 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 Brukman | 181ea4a | 2002-10-28 20:01:13 +0000 | [diff] [blame] | 128 | assert( termMvec.back() == MBB.back()); |
| 129 | delete MBB.pop_back(); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 130 | termMvec.pop_back(); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 131 | ++numNOPs; |
| 132 | } |
Misha Brukman | 181ea4a | 2002-10-28 20:01:13 +0000 | [diff] [blame] | 133 | assert(termMvec.back() == MBB.back()); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 134 | |
| 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 Brukman | 181ea4a | 2002-10-28 20:01:13 +0000 | [diff] [blame] | 142 | MBB.push_back(Restore); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 143 | } |
| 144 | } |
| 145 | } |
| 146 | |
Vikram S. Adve | 36d3e03 | 2002-09-16 15:39:26 +0000 | [diff] [blame] | 147 | Pass* UltraSparc::getPrologEpilogInsertionPass() { |
| 148 | return new InsertPrologEpilogCode(*this); |
Chris Lattner | 5074bb5 | 2002-04-09 05:18:31 +0000 | [diff] [blame] | 149 | } |