diff options
author | Chris Lattner <sabre@nondot.org> | 2010-04-30 22:37:22 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2010-04-30 22:37:22 +0000 |
commit | 4b7b42c831b8f808dbd6e34d697ac10758ab04e9 (patch) | |
tree | 5cbcdb884e50efea446dc12f295e76cce03b0c98 /lib/Analysis/InlineCost.cpp | |
parent | d71bb562758c417e91ab05424cea93264b35c67a (diff) | |
download | llvm-4b7b42c831b8f808dbd6e34d697ac10758ab04e9.tar.gz llvm-4b7b42c831b8f808dbd6e34d697ac10758ab04e9.tar.bz2 llvm-4b7b42c831b8f808dbd6e34d697ac10758ab04e9.tar.xz |
Dan recently disabled recursive inlining within a function, but we
were still inlining self-recursive functions into other functions.
Inlining a recursive function into itself has the potential to
reduce recursion depth by a factor of 2, inlining a recursive
function into something else reduces recursion depth by exactly
1. Since inlining a recursive function into something else is a
weird form of loop peeling, turn this off.
The deleted testcase was added by Dale in r62107, since then
we're leaning towards not inlining recursive stuff ever. In any
case, if we like inlining recursive stuff, it should be done
within the recursive function itself to get the algorithm
recursion depth win.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102798 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/InlineCost.cpp')
-rw-r--r-- | lib/Analysis/InlineCost.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/Analysis/InlineCost.cpp b/lib/Analysis/InlineCost.cpp index cb9e5526fc..b478b503ba 100644 --- a/lib/Analysis/InlineCost.cpp +++ b/lib/Analysis/InlineCost.cpp @@ -159,10 +159,18 @@ void CodeMetrics::analyzeBasicBlock(const BasicBlock *BB) { // it. This is a hack because we depend on the user marking their local // variables as volatile if they are live across a setjmp call, and they // probably won't do this in callers. - if (Function *F = CS.getCalledFunction()) + if (Function *F = CS.getCalledFunction()) { if (F->isDeclaration() && (F->getName() == "setjmp" || F->getName() == "_setjmp")) NeverInline = true; + + // If this call is to function itself, then the function is recursive. + // Inlining it into other functions is a bad idea, because this is + // basically just a form of loop peeling, and our metrics aren't useful + // for that case. + if (F == BB->getParent()) + NeverInline = true; + } if (!isa<IntrinsicInst>(II) && !callIsSmall(CS.getCalledFunction())) { // Each argument to a call takes on average one instruction to set up. |