1 ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 1
3 ; This should only result in one PHI node!
5 ; void foo(double *D, double *E, double F) {
10 void %foo(double* %D, double* %E, double %F) {
12 %tmp.24 = seteq double* %D, %E ; <bool> [#uses=1]
13 br bool %tmp.24, label %return, label %no_exit
15 no_exit: ; preds = %no_exit, %entry
16 %indvar = phi uint [ 0, %entry ], [ %indvar.next, %no_exit ] ; <uint> [#uses=3]
17 %D_addr.0.0.rec = cast uint %indvar to int ; <int> [#uses=1]
18 %D_addr.0.0 = getelementptr double* %D, uint %indvar ; <double*> [#uses=1]
19 %inc.rec = add int %D_addr.0.0.rec, 1 ; <int> [#uses=1]
20 %inc = getelementptr double* %D, int %inc.rec ; <double*> [#uses=1]
21 store double %F, double* %D_addr.0.0
22 %tmp.2 = seteq double* %inc, %E ; <bool> [#uses=1]
23 %indvar.next = add uint %indvar, 1 ; <uint> [#uses=1]
24 br bool %tmp.2, label %return, label %no_exit
26 return: ; preds = %no_exit, %entry