Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 1 | //===- FunctionInlining.cpp - Code to perform function inlining -----------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 2 | // |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 3 | // This file implements inlining of functions. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 4 | // |
| 5 | // Specifically, this: |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 6 | // * Exports functionality to inline any function call |
| 7 | // * Inlines functions that consist of a single basic block |
| 8 | // * Is able to inline ANY function call |
| 9 | // . Has a smart heuristic for when to inline a function |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 10 | // |
| 11 | // Notice that: |
Chris Lattner | ee965ab | 2002-01-21 23:17:48 +0000 | [diff] [blame] | 12 | // * This pass opens up a lot of opportunities for constant propogation. It |
| 13 | // is a good idea to to run a constant propogation pass, then a DCE pass |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 14 | // sometime after running this pass. |
| 15 | // |
Chris Lattner | 1c8d3f8 | 2002-04-18 18:52:03 +0000 | [diff] [blame] | 16 | // FIXME: This pass should transform alloca instructions in the called function |
| 17 | // into malloc/free pairs! |
| 18 | // |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 19 | //===----------------------------------------------------------------------===// |
| 20 | |
Chris Lattner | 1666751 | 2002-11-19 20:59:41 +0000 | [diff] [blame] | 21 | #include "llvm/Transforms/IPO.h" |
| 22 | #include "llvm/Transforms/Utils/Cloning.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 23 | #include "llvm/Module.h" |
Chris Lattner | 04805fa | 2002-02-26 21:46:54 +0000 | [diff] [blame] | 24 | #include "llvm/Pass.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 25 | #include "llvm/iTerminators.h" |
Chris Lattner | fb5ae02 | 2001-12-03 18:02:31 +0000 | [diff] [blame] | 26 | #include "llvm/iPHINode.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 27 | #include "llvm/iOther.h" |
Chris Lattner | f8e4dc3 | 2002-04-08 22:03:00 +0000 | [diff] [blame] | 28 | #include "llvm/Type.h" |
Chris Lattner | 3cf3782 | 2002-10-01 22:38:37 +0000 | [diff] [blame] | 29 | #include "Support/Statistic.h" |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 30 | #include <algorithm> |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 31 | |
Chris Lattner | 3cf3782 | 2002-10-01 22:38:37 +0000 | [diff] [blame] | 32 | static Statistic<> NumInlined("inline", "Number of functions inlined"); |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 33 | using std::cerr; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 34 | |
Chris Lattner | c8e6654 | 2002-04-27 06:56:12 +0000 | [diff] [blame] | 35 | // InlineFunction - This function forcibly inlines the called function into the |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 36 | // basic block of the caller. This returns false if it is not possible to |
| 37 | // inline this call. The program is still in a well defined state if this |
| 38 | // occurs though. |
| 39 | // |
| 40 | // Note that this only does one level of inlining. For example, if the |
| 41 | // instruction 'call B' is inlined, and 'B' calls 'C', then the call to 'C' now |
| 42 | // exists in the instruction stream. Similiarly this will inline a recursive |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 43 | // function by one level. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 44 | // |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 45 | bool InlineFunction(CallInst *CI) { |
| 46 | assert(isa<CallInst>(CI) && "InlineFunction only works on CallInst nodes"); |
| 47 | assert(CI->getParent() && "Instruction not embedded in basic block!"); |
| 48 | assert(CI->getParent()->getParent() && "Instruction not in function!"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 49 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 50 | const Function *CalledFunc = CI->getCalledFunction(); |
| 51 | if (CalledFunc == 0 || // Can't inline external function or indirect call! |
| 52 | CalledFunc->isExternal()) return false; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 54 | //cerr << "Inlining " << CalledFunc->getName() << " into " |
Chris Lattner | 7f74a56 | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 55 | // << CurrentMeth->getName() << "\n"; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 56 | |
| 57 | BasicBlock *OrigBB = CI->getParent(); |
| 58 | |
| 59 | // Call splitBasicBlock - The original basic block now ends at the instruction |
| 60 | // immediately before the call. The original basic block now ends with an |
| 61 | // unconditional branch to NewBB, and NewBB starts with the call instruction. |
| 62 | // |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 63 | BasicBlock *NewBB = OrigBB->splitBasicBlock(CI); |
Chris Lattner | f20671a | 2002-02-25 00:31:02 +0000 | [diff] [blame] | 64 | NewBB->setName("InlinedFunctionReturnNode"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 65 | |
| 66 | // Remove (unlink) the CallInst from the start of the new basic block. |
| 67 | NewBB->getInstList().remove(CI); |
| 68 | |
| 69 | // If we have a return value generated by this call, convert it into a PHI |
| 70 | // node that gets values from each of the old RET instructions in the original |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 71 | // function. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 72 | // |
| 73 | PHINode *PHI = 0; |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 74 | if (!CI->use_empty()) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 75 | // The PHI node should go at the front of the new basic block to merge all |
| 76 | // possible incoming values. |
| 77 | // |
Chris Lattner | f80f7b0 | 2002-09-10 22:38:49 +0000 | [diff] [blame] | 78 | PHI = new PHINode(CalledFunc->getReturnType(), CI->getName(), |
| 79 | NewBB->begin()); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 80 | |
| 81 | // Anything that used the result of the function call should now use the PHI |
| 82 | // node as their operand. |
| 83 | // |
| 84 | CI->replaceAllUsesWith(PHI); |
| 85 | } |
| 86 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 87 | // Get a pointer to the last basic block in the function, which will have the |
| 88 | // new function inlined after it. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 89 | // |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 90 | Function::iterator LastBlock = &OrigBB->getParent()->back(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 91 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 92 | // Calculate the vector of arguments to pass into the function cloner... |
Chris Lattner | c362618 | 2002-11-19 22:54:01 +0000 | [diff] [blame] | 93 | std::map<const Value*, Value*> ValueMap; |
| 94 | assert((unsigned)std::distance(CalledFunc->abegin(), CalledFunc->aend()) == |
| 95 | CI->getNumOperands()-1 && "No varargs calls can be inlined yet!"); |
| 96 | |
| 97 | unsigned i = 1; |
| 98 | for (Function::const_aiterator I = CalledFunc->abegin(), E=CalledFunc->aend(); |
| 99 | I != E; ++I, ++i) |
| 100 | ValueMap[I] = CI->getOperand(i); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 101 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 102 | // Since we are now done with the CallInst, we can delete it. |
| 103 | delete CI; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 104 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 105 | // Make a vector to capture the return instructions in the cloned function... |
| 106 | std::vector<ReturnInst*> Returns; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 107 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 108 | // Do all of the hard part of cloning the callee into the caller... |
Chris Lattner | c362618 | 2002-11-19 22:54:01 +0000 | [diff] [blame] | 109 | CloneFunctionInto(OrigBB->getParent(), CalledFunc, ValueMap, Returns, ".i"); |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 110 | |
| 111 | // Loop over all of the return instructions, turning them into unconditional |
| 112 | // branches to the merge point now... |
| 113 | for (unsigned i = 0, e = Returns.size(); i != e; ++i) { |
| 114 | ReturnInst *RI = Returns[i]; |
| 115 | BasicBlock *BB = RI->getParent(); |
| 116 | |
| 117 | // Add a branch to the merge point where the PHI node would live... |
| 118 | new BranchInst(NewBB, RI); |
| 119 | |
| 120 | if (PHI) { // The PHI node should include this value! |
| 121 | assert(RI->getReturnValue() && "Ret should have value!"); |
| 122 | assert(RI->getReturnValue()->getType() == PHI->getType() && |
| 123 | "Ret value not consistent in function!"); |
| 124 | PHI->addIncoming(RI->getReturnValue(), BB); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 125 | } |
| 126 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 127 | // Delete the return instruction now |
| 128 | BB->getInstList().erase(RI); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 129 | } |
| 130 | |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 131 | // Check to see if the PHI node only has one argument. This is a common |
| 132 | // case resulting from there only being a single return instruction in the |
| 133 | // function call. Because this is so common, eliminate the PHI node. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 134 | // |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 135 | if (PHI && PHI->getNumIncomingValues() == 1) { |
| 136 | PHI->replaceAllUsesWith(PHI->getIncomingValue(0)); |
| 137 | PHI->getParent()->getInstList().erase(PHI); |
Chris Lattner | facc751 | 2002-09-22 18:41:25 +0000 | [diff] [blame] | 138 | } |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 139 | |
| 140 | // Change the branch that used to go to NewBB to branch to the first basic |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 141 | // block of the inlined function. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 142 | // |
| 143 | TerminatorInst *Br = OrigBB->getTerminator(); |
Chris Lattner | b1ca9cb | 2001-07-07 19:24:15 +0000 | [diff] [blame] | 144 | assert(Br && Br->getOpcode() == Instruction::Br && |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 145 | "splitBasicBlock broken!"); |
Chris Lattner | b112005 | 2002-11-19 21:54:07 +0000 | [diff] [blame] | 146 | Br->setOperand(0, ++LastBlock); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 147 | return true; |
| 148 | } |
| 149 | |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 150 | static inline bool ShouldInlineFunction(const CallInst *CI, const Function *F) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 151 | assert(CI->getParent() && CI->getParent()->getParent() && |
Chris Lattner | c8e6654 | 2002-04-27 06:56:12 +0000 | [diff] [blame] | 152 | "Call not embedded into a function!"); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 153 | |
| 154 | // Don't inline a recursive call. |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 155 | if (CI->getParent()->getParent() == F) return false; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 156 | |
| 157 | // Don't inline something too big. This is a really crappy heuristic |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 158 | if (F->size() > 3) return false; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 159 | |
| 160 | // Don't inline into something too big. This is a **really** crappy heuristic |
Chris Lattner | 4cee8d8 | 2001-06-27 23:41:11 +0000 | [diff] [blame] | 161 | if (CI->getParent()->getParent()->size() > 10) return false; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 162 | |
| 163 | // Go ahead and try just about anything else. |
| 164 | return true; |
| 165 | } |
| 166 | |
| 167 | |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 168 | static inline bool DoFunctionInlining(BasicBlock *BB) { |
Chris Lattner | 4cee8d8 | 2001-06-27 23:41:11 +0000 | [diff] [blame] | 169 | for (BasicBlock::iterator I = BB->begin(); I != BB->end(); ++I) { |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 170 | if (CallInst *CI = dyn_cast<CallInst>(&*I)) { |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 171 | // Check to see if we should inline this function |
| 172 | Function *F = CI->getCalledFunction(); |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 173 | if (F && ShouldInlineFunction(CI, F)) { |
| 174 | return InlineFunction(CI); |
| 175 | } |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 176 | } |
| 177 | } |
| 178 | return false; |
| 179 | } |
| 180 | |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 181 | // doFunctionInlining - Use a heuristic based approach to inline functions that |
Chris Lattner | 04805fa | 2002-02-26 21:46:54 +0000 | [diff] [blame] | 182 | // seem to look good. |
| 183 | // |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 184 | static bool doFunctionInlining(Function &F) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 185 | bool Changed = false; |
| 186 | |
| 187 | // Loop through now and inline instructions a basic block at a time... |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 188 | for (Function::iterator I = F.begin(); I != F.end(); ) |
| 189 | if (DoFunctionInlining(I)) { |
Chris Lattner | 0b18c1d | 2002-05-10 15:38:35 +0000 | [diff] [blame] | 190 | ++NumInlined; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 191 | Changed = true; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 192 | } else { |
| 193 | ++I; |
| 194 | } |
| 195 | |
| 196 | return Changed; |
| 197 | } |
Chris Lattner | 04805fa | 2002-02-26 21:46:54 +0000 | [diff] [blame] | 198 | |
| 199 | namespace { |
Chris Lattner | c8e6654 | 2002-04-27 06:56:12 +0000 | [diff] [blame] | 200 | struct FunctionInlining : public FunctionPass { |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 201 | virtual bool runOnFunction(Function &F) { |
Chris Lattner | 62b7fd1 | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 202 | return doFunctionInlining(F); |
Chris Lattner | 04805fa | 2002-02-26 21:46:54 +0000 | [diff] [blame] | 203 | } |
| 204 | }; |
Chris Lattner | c8b7092 | 2002-07-26 21:12:46 +0000 | [diff] [blame] | 205 | RegisterOpt<FunctionInlining> X("inline", "Function Integration/Inlining"); |
Chris Lattner | 04805fa | 2002-02-26 21:46:54 +0000 | [diff] [blame] | 206 | } |
| 207 | |
Chris Lattner | c8e6654 | 2002-04-27 06:56:12 +0000 | [diff] [blame] | 208 | Pass *createFunctionInliningPass() { return new FunctionInlining(); } |