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 9define void @f1() { 10bb2.lr.ph: 11 br label %bb2 12 13bb2: ; 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 20bb1.bb3_crit_edge: ; preds = %bb2 21 %_tmp133.lcssa1 = phi i16 [ %_tmp133, %bb2 ] 22 %_tmp133.lcssa = phi i16 [ %_tmp133, %bb2 ] 23 ret void 24} 25