test/Transforms/InstCombine/fold-phi.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; CHECK: no_crash
   4 define float @no_crash(float %a) nounwind {
   5 entry:
   6   br label %for.body
   7
   8 for.body:
   9   %sum.057 = phi float [ 0.000000e+00, %entry ], [ %add5, %bb0 ]
  10   %add5 = fadd float %sum.057, %a    ; PR14592
  11   br i1 undef, label %bb0, label %end
  12
  13 bb0:
  14   br label %for.body
  15
  16 end:
  17   ret float %add5
  18 }
  19
  20 ; CHECK: fold_phi
  21 define float @fold_phi(float %a) nounwind {
  22 entry:
  23   br label %for.body
  24
  25 for.body:
  26 ; CHECK: phi float
  27 ; CHECK-NEXT: br i1 undef
  28   %sum.057 = phi float [ 0.000000e+00, %entry ], [ %add5, %bb0 ]
  29   %add5 = fadd float %sum.057, 1.0 ;; Should be moved to the latch!
  30   br i1 undef, label %bb0, label %end
  31
  32 ; CHECK: bb0:
  33 bb0:
  34 ; CHECK: fadd float
  35   br label %for.body
  36
  37 end:
  38   ret float %add5
  39 }