From: Chris Lattner <sabre@nondot.org>
Date: Thu, 1 Apr 2004 19:05:54 +0000 (+0000)
Subject: New testcase for PR306
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=afd5e2fdecdcb93b3ad4fd6e5b86555e3c251714;p=oota-llvm.git

New testcase for PR306


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12591 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Transforms/LoopSimplify/2004-04-01-IncorrectDomUpdate.ll b/test/Transforms/LoopSimplify/2004-04-01-IncorrectDomUpdate.ll
new file mode 100644
index 00000000000..45648645b18
--- /dev/null
+++ b/test/Transforms/LoopSimplify/2004-04-01-IncorrectDomUpdate.ll
@@ -0,0 +1,24 @@
+; RUN: llvm-as < %s | opt -loopsimplify -licm -disable-output
+
+; This is PR306
+
+void %NormalizeCoeffsVecFFE() {
+entry:
+        br label %loopentry.0
+
+loopentry.0:            ; preds = %entry, %no_exit.0
+        br bool false, label %loopentry.1, label %no_exit.0
+
+no_exit.0:              ; preds = %loopentry.0
+        br bool false, label %loopentry.0, label %loopentry.1
+
+loopentry.1:            ; preds = %loopentry.0, %no_exit.0, %no_exit.1
+        br bool false, label %no_exit.1, label %loopexit.1
+
+no_exit.1:              ; preds = %loopentry.1
+        %tmp.43 = seteq ushort 0, 0             ; <bool> [#uses=1]
+        br bool %tmp.43, label %loopentry.1, label %loopexit.1
+
+loopexit.1:             ; preds = %loopentry.1, %no_exit.1
+        ret void
+}