test/Transforms/LoopStrengthReduce/related_indvars.ll

   1 ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 1
   2
   3 ; This should only result in one PHI node!
   4
   5 ; void foo(double *D, double *E, double F) {
   6 ;   while (D != E)
   7 ;     *D++ = F;
   8 ; }
   9
  10 void %foo(double* %D, double* %E, double %F) {
  11 entry:
  12         %tmp.24 = seteq double* %D, %E          ; <bool> [#uses=1]
  13         br bool %tmp.24, label %return, label %no_exit
  14
  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
  25
  26 return:         ; preds = %no_exit, %entry
  27         ret void
  28 }