test/Transforms/SCCP/2007-05-16-InvokeCrash.ll

   1 ; RUN: opt < %s -sccp -disable-output
   2 ; PR1431
   3
   4 define void @_ada_bench() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
   5 entry:
   6         br label %cond_next
   7 cond_next:              ; preds = %cond_next, %entry
   8         %indvar46 = phi i32 [ 0, %entry ], [ %indvar.next47, %cond_next ]               ; <i32> [#uses=1]
   9         %indvar.next47 = add i32 %indvar46, 1           ; <i32> [#uses=2]
  10         %exitcond48 = icmp eq i32 %indvar.next47, 10000         ; <i1> [#uses=1]
  11         br i1 %exitcond48, label %cond_next40, label %cond_next
  12 cond_next40:            ; preds = %cond_next40, %cond_next
  13         %indvar43 = phi i32 [ %indvar.next44, %cond_next40 ], [ 0, %cond_next ]         ; <i32> [#uses=1]
  14         %indvar.next44 = add i32 %indvar43, 1           ; <i32> [#uses=2]
  15         %exitcond45 = icmp eq i32 %indvar.next44, 10000         ; <i1> [#uses=1]
  16         br i1 %exitcond45, label %cond_next53, label %cond_next40
  17 cond_next53:            ; preds = %cond_next53, %cond_next40
  18         %indvar41 = phi i32 [ %indvar.next42, %cond_next53 ], [ 0, %cond_next40 ]               ; <i32> [#uses=1]
  19         %indvar.next42 = add i32 %indvar41, 1           ; <i32> [#uses=2]
  20         %exitcond = icmp eq i32 %indvar.next42, 10000           ; <i1> [#uses=1]
  21         br i1 %exitcond, label %bb67, label %cond_next53
  22 bb67:           ; preds = %cond_next53
  23         %tmp112 = invoke double @sin( double 5.000000e-01 )
  24                         to label %bb114 unwind label %cleanup           ; <double> [#uses=0]
  25 bb114:          ; preds = %bb67
  26         %tmp147 = invoke double @log( double 5.000000e-01 )
  27                         to label %bb149 unwind label %cleanup           ; <double> [#uses=0]
  28 bb149:          ; preds = %bb114
  29         %tmp175 = invoke double @sqrt( double 5.000000e-01 )
  30                         to label %bb177 unwind label %cleanup           ; <double> [#uses=0]
  31 bb177:          ; preds = %bb149
  32         unreachable
  33 cleanup:                ; preds = %bb149, %bb114, %bb67
  34         %val = landingpad { i8*, i32 }
  35                  cleanup
  36         resume { i8*, i32 } %val
  37 }
  38
  39 declare double @sin(double)
  40
  41 declare double @log(double)
  42
  43 declare double @sqrt(double)
  44
  45 declare i32 @__gxx_personality_v0(...)