New testcase for PR284: [indvars] Induction variable analysis violates LLVM invariants

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

diff --git a/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll b/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll
new file mode 100644 (file)
index 0000000..dda6d9d
--- /dev/null
+++ b/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll
@@ -0,0 +1,27 @@
+; RUN: llvm-as < %s | opt -indvars -disable-output
+
+implementation   ; Functions:
+
+void %test() {
+        br label %endif.0.i
+
+endif.0.i:             ; preds = %then.0.i
+       br bool false, label %then.3.i, label %endif.3.i
+
+then.3.i:              ; preds = %endif.0.i
+       br label %endif.3.i
+
+endif.3.i:             ; preds = %endif.0.i, %then.3.i
+       %inxm.0.i = phi int [ 8, %then.3.i ], [ 0, %endif.0.i ]
+       %doinner.1.i = phi int [ 0, %then.3.i ], [ 0, %endif.0.i ]
+       br label %loopentry.2.i
+
+loopentry.2.i:         ; preds = %endif.3.i, %no_exit.2.i
+       %inxk.0.i = phi int [ %tmp.210.i, %no_exit.2.i ], [ 0, %endif.3.i ]
+       br label %no_exit.2.i
+
+no_exit.2.i:           ; preds = %loopentry.2.i
+       %tmp.210.i = sub int %inxk.0.i, %inxm.0.i
+       %tmp.213.i = add int %tmp.210.i, 0
+       br label %loopentry.2.i
+}