From 8d9455d4e4f63c368f17b74a36b472fc61685310 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 10 Sep 2007 20:58:55 +0000 Subject: [PATCH] Prevent tailcallelim from breaking "recursive" calls to builtins. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41804 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/Scalar/TailRecursionElimination.cpp | 9 +++++++++ test/Transforms/TailCallElim/inf-recursion.ll | 10 ++++++++++ 2 files changed, 19 insertions(+) create mode 100644 test/Transforms/TailCallElim/inf-recursion.ll diff --git a/lib/Transforms/Scalar/TailRecursionElimination.cpp b/lib/Transforms/Scalar/TailRecursionElimination.cpp index 497b81fecde..7eb47ddaa4f 100644 --- a/lib/Transforms/Scalar/TailRecursionElimination.cpp +++ b/lib/Transforms/Scalar/TailRecursionElimination.cpp @@ -302,6 +302,15 @@ bool TailCallElim::ProcessReturningBlock(ReturnInst *Ret, BasicBlock *&OldEntry, if (&BB->front() == Ret) // Make sure there is something before the ret... return false; + + // If the return is in the entry block, then making this transformation would + // turn infinite recursion into an infinite loop. This transformation is ok + // in theory, but breaks some code like: + // double fabs(double f) { return __builtin_fabs(f); } // a 'fabs' call + // disable this xform in this case, because the code generator will lower the + // call to fabs into inline code. + if (BB == &F->getEntryBlock()) + return false; // Scan backwards from the return, checking to see if there is a tail call in // this block. If so, set CI to it. diff --git a/test/Transforms/TailCallElim/inf-recursion.ll b/test/Transforms/TailCallElim/inf-recursion.ll new file mode 100644 index 00000000000..d3461719b51 --- /dev/null +++ b/test/Transforms/TailCallElim/inf-recursion.ll @@ -0,0 +1,10 @@ +; RUN: llvm-as < %s | opt -tailcallelim | grep call +; Don't turn this into an infinite loop, this is probably the implementation +; of fabs and we expect the codegen to lower fabs. + +define double @fabs(double %f) { +entry: + %tmp2 = call double @fabs( double %f ) ; [#uses=1] + ret double %tmp2 +} +