From 7f5dd4a4e0f3e921570f96a7b098002722ab51e6 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Thu, 5 Feb 2004 21:11:38 +0000
Subject: [PATCH] New testcase for PR223: Loopsimplify incorrectly updates
 dominator information

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@11136 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../2004-02-05-DominatorInfoCorruption.ll       | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/Transforms/LoopSimplify/2004-02-05-DominatorInfoCorruption.ll

diff --git a/test/Transforms/LoopSimplify/2004-02-05-DominatorInfoCorruption.ll b/test/Transforms/LoopSimplify/2004-02-05-DominatorInfoCorruption.ll
new file mode 100644
index 00000000000..4d26b2cb0ee
--- /dev/null
+++ b/test/Transforms/LoopSimplify/2004-02-05-DominatorInfoCorruption.ll
@@ -0,0 +1,17 @@
+; RUN: llvm-as < %s | opt -loopsimplify -verify -licm -disable-output
+implementation   ; Functions:
+
+void %.subst_48() {
+entry:
+	br label %loopentry.0
+
+loopentry.0:            ; preds = %entry, %loopentry.0
+        br bool false, label %loopentry.0, label %loopentry.2
+
+loopentry.2:            ; preds = %loopentry.0, %loopentry.2
+        %tmp.968 = setle int 0, 3               ; <bool> [#uses=1]
+        br bool %tmp.968, label %loopentry.2, label %UnifiedReturnBlock
+
+UnifiedReturnBlock:             ; preds = %entry, %loopentry.2
+        ret void
+}
-- 
2.34.1