aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/LoopInfo
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2003-05-15 18:03:03 +0000
committerChris Lattner <sabre@nondot.org>2003-05-15 18:03:03 +0000
commited69ad778d2a2a6ff32eea587d8cb56ad11844ec (patch)
tree1ce888cb9de96f6ad93a50b50c51786557206324 /test/Analysis/LoopInfo
parent98a3e98fa42874642cfd628694b8b393aaf1e375 (diff)
New test
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6227 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/LoopInfo')
-rw-r--r--test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll b/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll
new file mode 100644
index 0000000000..f04632e3ab
--- /dev/null
+++ b/test/Analysis/LoopInfo/2003-05-15-NestingProblem.ll
@@ -0,0 +1,29 @@
+; This testcase was incorrectly computing that the loopentry.7 loop was
+; not a child of the loopentry.6 loop.
+;
+; RUN: analyze %s -loops | grep "^ Loop Containing: %loopentry.7"
+
+void %getAndMoveToFrontDecode() { ; No predecessors!
+ br label %endif.2
+
+endif.2: ; preds = %0, %loopexit.5
+ br bool false, label %loopentry.5, label %UnifiedExitNode
+
+loopentry.5: ; preds = %endif.2, %loopexit.6
+ br bool false, label %loopentry.6, label %UnifiedExitNode
+
+loopentry.6: ; preds = %loopentry.5, %loopentry.7
+ br bool false, label %loopentry.7, label %loopexit.6
+
+loopentry.7: ; preds = %loopentry.6, %loopentry.7
+ br bool false, label %loopentry.7, label %loopentry.6
+
+loopexit.6: ; preds = %loopentry.6
+ br bool false, label %loopentry.5, label %loopexit.5
+
+loopexit.5: ; preds = %loopexit.6
+ br bool false, label %endif.2, label %UnifiedExitNode
+
+UnifiedExitNode: ; preds = %endif.2, %loopexit.5, %loopentry.5
+ ret void
+}