New testcase that causes SimplifyCFG to assert out.

llvm-svn: 3912

1 files changed, 12 insertions, 0 deletions

diff --git a/llvm/test/Regression/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll b/llvm/test/Regression/Transforms/SimplifyCFG/2002-09-24-PHIAssertion.ll
new file mode 100644
index 00000000000..94d632f8f83
--- /dev/null
+++ b/llvm/test/Regression/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
+}