test/Transforms/IndVarSimplify/loop_evaluate_6.ll

   1 ; RUN: llvm-as < %s | opt -indvars -loop-deletion | llvm-dis | grep phi | count 1
   2
   3 ; Indvars should be able to evaluate this loop, allowing loop deletion
   4 ; to delete it.
   5
   6 define i32 @test(i32 %x_offs) nounwind readnone {
   7 entry:
   8         %0 = icmp sgt i32 %x_offs, 4            ; <i1> [#uses=1]
   9         br i1 %0, label %bb.nph, label %bb2
  10
  11 bb.nph:         ; preds = %entry
  12         br label %bb
  13
  14 bb:             ; preds = %bb1, %bb.nph
  15         %x_offs_addr.01 = phi i32 [ %1, %bb1 ], [ %x_offs, %bb.nph ]            ; <i32> [#uses=1]
  16         %1 = add i32 %x_offs_addr.01, -4                ; <i32> [#uses=3]
  17         br label %bb1
  18
  19 bb1:            ; preds = %bb
  20         %2 = icmp sgt i32 %1, 4         ; <i1> [#uses=1]
  21         br i1 %2, label %bb, label %bb1.bb2_crit_edge
  22
  23 bb1.bb2_crit_edge:              ; preds = %bb1
  24         br label %bb2
  25
  26 bb2:            ; preds = %bb1.bb2_crit_edge, %entry
  27         %x_offs_addr.0.lcssa = phi i32 [ %1, %bb1.bb2_crit_edge ], [ %x_offs, %entry ]          ; <i32> [#uses=1]
  28         ret i32 %x_offs_addr.0.lcssa
  29 }