New testcase where loop simplify is not updating domfrontiers correctly

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

diff --git a/test/Transforms/LoopSimplify/2004-04-13-LoopSimplifyUpdateDomFrontier.ll b/test/Transforms/LoopSimplify/2004-04-13-LoopSimplifyUpdateDomFrontier.ll
new file mode 100644 (file)
index 0000000..14921c2
--- /dev/null
+++ b/test/Transforms/LoopSimplify/2004-04-13-LoopSimplifyUpdateDomFrontier.ll
@@ -0,0 +1,22 @@
+; RUN: llvm-as < %s | opt -scalarrepl -loopsimplify -licm -disable-output
+
+implementation   ; Functions:
+
+void %inflate() {
+entry:
+       br label %loopentry.0.outer1111
+
+loopentry.0.outer1111:         ; preds = %entry, %loopentry.0.outer1111, %label.11, %then.41
+       %left.0.ph1107 = phi uint [ %tmp.1172, %then.41 ], [ 0, %entry ], [ %tmp.1172, %label.11 ], [ %left.0.ph1107, %loopentry.0.outer1111 ]          ; <uint> [#uses=2]
+       %tmp.1172 = sub uint %left.0.ph1107, 0          ; <uint> [#uses=2]
+       switch uint 0, label %label.11 [
+                uint 23, label %loopentry.0.outer1111
+                uint 13, label %then.41
+       ]
+
+label.11:              ; preds = %loopentry.0.outer1111
+       br label %loopentry.0.outer1111
+
+then.41:               ; preds = %loopentry.0.outer1111
+       br label %loopentry.0.outer1111
+}