New test.

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

diff --git a/test/Transforms/SCCP/2007-05-16-InvokeCrash.ll b/test/Transforms/SCCP/2007-05-16-InvokeCrash.ll
new file mode 100644 (file)
index 0000000..ad6a469
--- /dev/null
+++ b/test/Transforms/SCCP/2007-05-16-InvokeCrash.ll
@@ -0,0 +1,50 @@
+; RUN: llvm-upgrade < %s  | llvm-as | opt -sccp -disable-output
+; PR 1431
+
+void @_ada_bench() {
+entry:
+       br label %cond_next
+
+cond_next:             ; preds = %cond_next, %entry
+       %indvar46 = phi i32 [ 0, %entry ], [ %indvar.next47, %cond_next ]               ; <i32> [#uses=1]
+       %indvar.next47 = add i32 %indvar46, 1           ; <i32> [#uses=2]
+       %exitcond48 = icmp eq i32 %indvar.next47, 10000         ; <i1> [#uses=1]
+       br i1 %exitcond48, label %cond_next40, label %cond_next
+
+cond_next40:           ; preds = %cond_next40, %cond_next
+       %indvar43 = phi i32 [ %indvar.next44, %cond_next40 ], [ 0, %cond_next ]         ; <i32> [#uses=1]
+       %indvar.next44 = add i32 %indvar43, 1           ; <i32> [#uses=2]
+       %exitcond45 = icmp eq i32 %indvar.next44, 10000         ; <i1> [#uses=1]
+       br i1 %exitcond45, label %cond_next53, label %cond_next40
+
+cond_next53:           ; preds = %cond_next53, %cond_next40
+       %indvar41 = phi i32 [ %indvar.next42, %cond_next53 ], [ 0, %cond_next40 ]               ; <i32> [#uses=1]
+       %indvar.next42 = add i32 %indvar41, 1           ; <i32> [#uses=2]
+       %exitcond = icmp eq i32 %indvar.next42, 10000           ; <i1> [#uses=1]
+       br i1 %exitcond, label %bb67, label %cond_next53
+
+bb67:          ; preds = %cond_next53
+       %tmp112 = invoke double @sin( double 5.000000e-01 )
+                       to label %bb114 unwind label %cleanup           ; <double> [#uses=0]
+
+bb114:         ; preds = %bb67
+       %tmp147 = invoke double @log( double 5.000000e-01 )
+                       to label %bb149 unwind label %cleanup           ; <double> [#uses=0]
+
+bb149:         ; preds = %bb114
+       %tmp175 = invoke double @sqrt( double 5.000000e-01 )
+                       to label %bb177 unwind label %cleanup           ; <double> [#uses=0]
+
+bb177:         ; preds = %bb149
+       unreachable
+
+cleanup:               ; preds = %bb149, %bb114, %bb67
+       unwind
+}
+
+declare double @sin(double)
+
+declare double @log(double)
+
+declare double @sqrt(double)
+