summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2004-02-05 21:11:38 +0000
committerChris Lattner <sabre@nondot.org>2004-02-05 21:11:38 +0000
commit7f5dd4a4e0f3e921570f96a7b098002722ab51e6 (patch)
tree4dfff6aa5c85c8001bf3a1a08f6a903cb7871832 /test
parentad48cd6327df13ad4b8530733bbf115224bf9562 (diff)
downloadllvm-7f5dd4a4e0f3e921570f96a7b098002722ab51e6.tar.gz
llvm-7f5dd4a4e0f3e921570f96a7b098002722ab51e6.tar.bz2
llvm-7f5dd4a4e0f3e921570f96a7b098002722ab51e6.tar.xz
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
Diffstat (limited to 'test')
-rw-r--r--test/Transforms/LoopSimplify/2004-02-05-DominatorInfoCorruption.ll17
1 files changed, 17 insertions, 0 deletions
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 0000000000..4d26b2cb0e
--- /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
+}