1; RUN: opt -S -loop-vectorize < %s
2
3; PR15384
4define void @test1(i32 %arg) {
5bb:
6  br label %bb1
7
8bb1:                                              ; 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
13bb3:                                              ; preds = %bb1
14  br label %bb4
15
16bb4:                                              ; preds = %bb3
17  br label %bb5
18
19bb5:                                              ; 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
27bb11:                                             ; preds = %bb5
28  ret void
29}
30
31; PR15748
32define void @test2() {
33bb:
34  br label %bb1
35
36bb1:                                              ; 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
45bb7:                                              ; preds = %bb1
46  ret void
47}
48