From 8cc70cbea4a78e9020c6b4efaccca5940bd22013 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 7 Aug 2005 04:25:39 +0000
Subject: [PATCH] New testcases for PR615

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22689 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../TailCallElim/dont-tce-tail-marked-call.ll         | 11 +++++++++++
 .../TailCallElim/move_alloca_for_tail_call.ll         | 11 +++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 test/Transforms/TailCallElim/dont-tce-tail-marked-call.ll
 create mode 100644 test/Transforms/TailCallElim/move_alloca_for_tail_call.ll

diff --git a/test/Transforms/TailCallElim/dont-tce-tail-marked-call.ll b/test/Transforms/TailCallElim/dont-tce-tail-marked-call.ll
new file mode 100644
index 00000000000..d038d827172
--- /dev/null
+++ b/test/Transforms/TailCallElim/dont-tce-tail-marked-call.ll
@@ -0,0 +1,11 @@
+; RUN: llvm-as < %s | opt -tailcallelim | llvm-dis | grep 'call int %foo'
+
+declare void %bar(int*)
+int %foo(uint %N) {
+  %A = alloca int, uint %N             ;; Should stay in entry block because of 'tail' marker
+  store int 17, int* %A
+  call void %bar(int* %A)
+
+  %X = tail call int %foo(uint %N)  ;; Cannot -tailcallelim this without increasing stack usage!
+  ret int %X
+}
diff --git a/test/Transforms/TailCallElim/move_alloca_for_tail_call.ll b/test/Transforms/TailCallElim/move_alloca_for_tail_call.ll
new file mode 100644
index 00000000000..1428e052705
--- /dev/null
+++ b/test/Transforms/TailCallElim/move_alloca_for_tail_call.ll
@@ -0,0 +1,11 @@
+; RUN: llvm-as < %s | opt -tailcallelim | llvm-dis | %prcontext alloca 1 | grep 'int %foo'
+
+declare void %bar(int*)
+int %foo() {
+  %A = alloca int             ;; Should stay in entry block because of 'tail' marker
+  store int 17, int* %A
+  call void %bar(int* %A)
+
+  %X = tail call int %foo()
+  ret int %X
+}
-- 
2.34.1