1 ; RUN: opt -S -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 ], [ %tmp6, %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 } 48
