From e420056842c8e9be5048695e8bd171c72277af7b Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 20 Sep 2003 05:02:54 +0000 Subject: [PATCH] New testcase git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@8617 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/TailCallElim/ackermann.ll | 29 +++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 test/Transforms/TailCallElim/ackermann.ll diff --git a/test/Transforms/TailCallElim/ackermann.ll b/test/Transforms/TailCallElim/ackermann.ll new file mode 100644 index 00000000000..fb71e88dd13 --- /dev/null +++ b/test/Transforms/TailCallElim/ackermann.ll @@ -0,0 +1,29 @@ +; This function contains two tail calls, which should be eliminated +; RUN: llvm-as < %s | opt -tailcallelim -stats -disable-output 2>&1 | grep '2 tailcallelim' + +int %Ack(int %M.1, int %N.1) { +entry: + %tmp.1 = seteq int %M.1, 0 ; [#uses=1] + br bool %tmp.1, label %then.0, label %endif.0 + +then.0: + %tmp.4 = add int %N.1, 1 ; [#uses=1] + ret int %tmp.4 + +endif.0: + %tmp.6 = seteq int %N.1, 0 ; [#uses=1] + br bool %tmp.6, label %then.1, label %endif.1 + +then.1: + %tmp.10 = add int %M.1, -1 ; [#uses=1] + %tmp.8 = call int %Ack( int %tmp.10, int 1 ) ; [#uses=1] + ret int %tmp.8 + +endif.1: + %tmp.13 = add int %M.1, -1 ; [#uses=1] + %tmp.17 = add int %N.1, -1 ; [#uses=1] + %tmp.14 = call int %Ack( int %M.1, int %tmp.17 ) ; [#uses=1] + %tmp.11 = call int %Ack( int %tmp.13, int %tmp.14 ) ; [#uses=1] + ret int %tmp.11 +} +