From 94046b2cc946e4541127313b6690ef60d4a8765d Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Wed, 10 Dec 2003 05:42:23 +0000
Subject: [PATCH] new testcase, checking to ensure we handle yet-another spiffy
 case correctly

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10357 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/LICM/sink_only_some_exits.ll | 25 ++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 test/Transforms/LICM/sink_only_some_exits.ll

diff --git a/test/Transforms/LICM/sink_only_some_exits.ll b/test/Transforms/LICM/sink_only_some_exits.ll
new file mode 100644
index 00000000000..e672e585432
--- /dev/null
+++ b/test/Transforms/LICM/sink_only_some_exits.ll
@@ -0,0 +1,25 @@
+; This testcase checks to make sure we can sink values which are only live on
+; some exits out of the loop, and that we can do so without breaking dominator
+; info.
+;
+; RUN: llvm-as < %s | opt -licm | llvm-dis | grep -C1 add | grep exit2:
+
+implementation   ; Functions:
+
+int %test(bool %C1, bool %C2, int *%P, int* %Q) {
+Entry:
+	br label %Loop
+
+Loop:
+	br bool %C1, label %Cont, label %exit1
+Cont:
+	%X = load int* %P
+	store int %X, int* %Q
+ 	%V = add int %X, 1
+	br bool %C2, label %Loop, label %exit2
+
+exit1:
+	ret int 0
+exit2:
+	ret int %V
+}