test/Transforms/InstCombine/2007-10-12-Crash.ll

   1 ; RUN: opt < %s -instcombine -disable-output
   2
   3         %struct.Ray = type { %struct.Vec, %struct.Vec }
   4         %struct.Scene = type { i32 (...)** }
   5         %struct.Vec = type { double, double, double }
   6
   7 declare double @_Z9ray_traceRK3VecRK3RayRK5Scene(%struct.Vec*, %struct.Ray*, %struct.Scene*)
   8
   9 define i32 @main(i32 %argc, i8** %argv) {
  10 entry:
  11         %tmp3 = alloca %struct.Ray, align 4             ; <%struct.Ray*> [#uses=2]
  12         %tmp97 = icmp slt i32 0, 512            ; <i1> [#uses=1]
  13         br i1 %tmp97, label %bb71, label %bb108
  14
  15 bb29:           ; preds = %bb62
  16         %tmp322 = bitcast %struct.Ray* %tmp3 to %struct.Vec*            ; <%struct.Vec*> [#uses=1]
  17         %tmp322.0 = getelementptr %struct.Vec, %struct.Vec* %tmp322, i32 0, i32 0               ; <double*> [#uses=1]
  18         store double 0.000000e+00, double* %tmp322.0
  19         %tmp57 = call double @_Z9ray_traceRK3VecRK3RayRK5Scene( %struct.Vec* null, %struct.Ray* %tmp3, %struct.Scene* null )            ; <double> [#uses=0]
  20         br label %bb62
  21
  22 bb62:           ; preds = %bb71, %bb29
  23         %tmp65 = icmp slt i32 0, 4              ; <i1> [#uses=1]
  24         br i1 %tmp65, label %bb29, label %bb68
  25
  26 bb68:           ; preds = %bb62
  27         ret i32 0
  28
  29 bb71:           ; preds = %entry
  30         %tmp74 = icmp slt i32 0, 4              ; <i1> [#uses=1]
  31         br i1 %tmp74, label %bb62, label %bb77
  32
  33 bb77:           ; preds = %bb71
  34         ret i32 0
  35
  36 bb108:          ; preds = %entry
  37         ret i32 0
  38 }