Fix PR8790, another instance where unreachable code can cause instruction simplification to fail,

this case involve a select that simplifies to itself.

llvm-svn: 121817

1 files changed, 17 insertions, 0 deletions

diff --git a/llvm/test/Transforms/CorrelatedValuePropagation/crash.ll b/llvm/test/Transforms/CorrelatedValuePropagation/crash.ll
index 8636788511e..80c43d0f1da 100644
--- a/llvm/test/Transforms/CorrelatedValuePropagation/crash.ll
+++ b/llvm/test/Transforms/CorrelatedValuePropagation/crash.ll
@@ -18,3 +18,20 @@ for.cond.us.us:                                   ; preds = %for.cond.us.us
 for.end:                                          ; preds = %for.cond.us, %for.cond.us.us, %entry
   ret void
 }
+
+; PR 8790
+define void @test2() nounwind ssp {
+entry:
+  br label %func_29.exit
+
+sdf.exit.i:
+  %l_44.1.mux.i = select i1 %tobool5.not.i, i8 %l_44.1.mux.i, i8 1
+  br label %srf.exit.i
+
+srf.exit.i:
+  %tobool5.not.i = icmp ne i8 undef, 0
+  br i1 %tobool5.not.i, label %sdf.exit.i, label %func_29.exit
+
+func_29.exit:
+  ret void
+}