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
7declare double @_Z9ray_traceRK3VecRK3RayRK5Scene(%struct.Vec*, %struct.Ray*, %struct.Scene*)
8
9define i32 @main(i32 %argc, i8** %argv) {
10entry:
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
15bb29:		; 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
22bb62:		; preds = %bb71, %bb29
23	%tmp65 = icmp slt i32 0, 4		; <i1> [#uses=1]
24	br i1 %tmp65, label %bb29, label %bb68
25
26bb68:		; preds = %bb62
27	ret i32 0
28
29bb71:		; preds = %entry
30	%tmp74 = icmp slt i32 0, 4		; <i1> [#uses=1]
31	br i1 %tmp74, label %bb62, label %bb77
32
33bb77:		; preds = %bb71
34	ret i32 0
35
36bb108:		; preds = %entry
37	ret i32 0
38}
39