llvm/test/Transforms/LoopVectorize/phi-hang.ll

   1 ; RUN: opt -S -passes=loop-vectorize < %s
   2
   3 ; PR15384
   4 define void @test1(i32 %arg) {
   5 bb:
   6   br label %bb1
   7
   8 bb1:                                              ; preds = %bb5, %bb
   9   %tmp = phi i32 [ 1, %bb ], [ %tmp7, %bb5 ]
  10   %tmp2 = phi i32 [ %arg, %bb ], [ %tmp9, %bb5 ]
  11   br i1 true, label %bb5, label %bb3
  12
  13 bb3:                                              ; preds = %bb1
  14   br label %bb4
  15
  16 bb4:                                              ; preds = %bb3
  17   br label %bb5
  18
  19 bb5:                                              ; preds = %bb4, %bb1
  20   %tmp6 = phi i32 [ 0, %bb4 ], [ %tmp, %bb1 ]
  21   %tmp7 = phi i32 [ 0, %bb4 ], [ %tmp, %bb1 ]
  22   %tmp8 = phi i32 [ 0, %bb4 ], [ %tmp, %bb1 ]
  23   %tmp9 = add nsw i32 %tmp2, 1
  24   %tmp10 = icmp eq i32 %tmp9, 0
  25   br i1 %tmp10, label %bb11, label %bb1
  26
  27 bb11:                                             ; preds = %bb5
  28   ret void
  29 }
  30
  31 ; PR15748
  32 define void @test2() {
  33 bb:
  34   br label %bb1
  35
  36 bb1:                                              ; preds = %bb1, %bb
  37   %tmp = phi i32 [ 0, %bb ], [ %tmp5, %bb1 ]
  38   %tmp2 = phi i32 [ 0, %bb ], [ 1, %bb1 ]
  39   %tmp3 = phi i32 [ 0, %bb ], [ %tmp4, %bb1 ]
  40   %tmp4 = or i32 %tmp2, %tmp3
  41   %tmp5 = add nsw i32 %tmp, 1
  42   %tmp6 = icmp eq i32 %tmp5, 0
  43   br i1 %tmp6, label %bb7, label %bb1
  44
  45 bb7:                                              ; preds = %bb1
  46   ret void
  47 }