New testcase that causes SimplifyCFG to assert out.

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

diff --git a/test/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll b/test/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll
new file mode 100644 (file)
index 0000000..94d632f
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll
@@ -0,0 +1,12 @@
+; RUN: as < %s | opt -simplifycfg
+
+int %test(int %A, int %B, bool %cond) {
+J:
+       %C = add int %A, 12
+       br bool %cond, label %L, label %L
+L:
+       %Q = phi int [%C, %J], [%C, %J]  ; PHI node is obviously redundant
+       %D = add int %C, %B
+       %E = add int %Q, %D
+       ret int %E
+}