test/Transforms/LoopVectorize/pr36983.ll

   1 ; RUN: opt < %s -loop-vectorize -S | FileCheck %s
   2
   3 ; There could be more than one LCSSA PHIs in loop exit block.
   4
   5 ; CHECK-LABEL: bb1.bb3_crit_edge:
   6 ; CHECK: %_tmp133.lcssa1 = phi i16 [ %scalar.recur, %bb2 ], [ %vector.recur.extract.for.phi, %middle.block ]
   7 ; CHECK: %_tmp133.lcssa = phi i16 [ %scalar.recur, %bb2 ], [ %vector.recur.extract.for.phi, %middle.block ]
   8
   9 define void @f1() {
  10 bb2.lr.ph:
  11   br label %bb2
  12
  13 bb2:                                              ; preds = %bb2, %bb2.lr.ph
  14   %_tmp132 = phi i16 [ 0, %bb2.lr.ph ], [ %_tmp10, %bb2 ]
  15   %_tmp133 = phi i16 [ undef, %bb2.lr.ph ], [ %_tmp10, %bb2 ]
  16   %_tmp10 = sub nsw i16 %_tmp132, 1
  17   %_tmp15 = icmp ne i16 %_tmp10, 0
  18   br i1 %_tmp15, label %bb2, label %bb1.bb3_crit_edge
  19
  20 bb1.bb3_crit_edge:                                ; preds = %bb2
  21   %_tmp133.lcssa1 = phi i16 [ %_tmp133, %bb2 ]
  22   %_tmp133.lcssa = phi i16 [ %_tmp133, %bb2 ]
  23   ret void
  24 }