1; RUN: opt -S -loop-vectorize -force-vector-interleave=1 -force-vector-width=2 < %s | FileCheck %s
2
3; CHECK-LABEL: @postinc
4; CHECK-LABEL: scalar.ph:
5; CHECK: %bc.resume.val = phi i32 [ %n.vec, %middle.block ], [ 0, %entry ]
6; CHECK-LABEL: for.end:
7; CHECK: %[[RET:.*]] = phi i32 [ {{.*}}, %for.body ], [ %n.vec, %middle.block ]
8; CHECK: ret i32 %[[RET]]
9define i32 @postinc(i32 %k)  {
10entry:
11  br label %for.body
12
13for.body:
14  %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
15  %inc = add nsw i32 %inc.phi, 1
16  %cmp = icmp eq i32 %inc, %k
17  br i1 %cmp, label %for.end, label %for.body
18
19for.end:
20  ret i32 %inc
21}
22
23; CHECK-LABEL: @preinc
24; CHECK-LABEL: middle.block:
25; CHECK: %[[v3:.+]] = sub i32 %n.vec, 1
26; CHECK-LABEL: scalar.ph:
27; CHECK: %bc.resume.val = phi i32 [ %n.vec, %middle.block ], [ 0, %entry ]
28; CHECK-LABEL: for.end:
29; CHECK: %[[RET:.*]] = phi i32 [ {{.*}}, %for.body ], [ %[[v3]], %middle.block ]
30; CHECK: ret i32 %[[RET]]
31define i32 @preinc(i32 %k)  {
32entry:
33  br label %for.body
34
35for.body:
36  %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
37  %inc = add nsw i32 %inc.phi, 1
38  %cmp = icmp eq i32 %inc, %k
39  br i1 %cmp, label %for.end, label %for.body
40
41for.end:
42  ret i32 %inc.phi
43}
44
45; CHECK-LABEL: @constpre
46; CHECK-LABEL: for.end:
47; CHECK: %[[RET:.*]] = phi i32 [ {{.*}}, %for.body ], [ 2, %middle.block ]
48; CHECK: ret i32 %[[RET]]
49define i32 @constpre()  {
50entry:
51  br label %for.body
52
53for.body:
54  %inc.phi = phi i32 [ 32, %entry ], [ %inc, %for.body ]
55  %inc = sub nsw i32 %inc.phi, 2
56  %cmp = icmp eq i32 %inc, 0
57  br i1 %cmp, label %for.end, label %for.body
58
59for.end:
60  ret i32 %inc.phi
61}
62
63; CHECK-LABEL: @geppre
64; CHECK-LABEL: middle.block:
65; CHECK: %ind.escape = getelementptr i32, i32* %ptr, i64 124
66; CHECK-LABEL: for.end:
67; CHECK: %[[RET:.*]] = phi i32* [ {{.*}}, %for.body ], [ %ind.escape, %middle.block ]
68; CHECK: ret i32* %[[RET]]
69define i32* @geppre(i32* %ptr) {
70entry:
71  br label %for.body
72
73for.body:
74  %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
75  %ptr.phi = phi i32* [ %ptr, %entry ], [ %inc.ptr, %for.body ]
76  %inc = add nsw i32 %inc.phi, 1
77  %inc.ptr = getelementptr i32, i32* %ptr.phi, i32 4
78  %cmp = icmp eq i32 %inc, 32
79  br i1 %cmp, label %for.end, label %for.body
80
81for.end:
82  ret i32* %ptr.phi
83}
84
85; CHECK-LABEL: @both
86; CHECK-LABEL: middle.block:
87; CHECK: %[[END:.*]] = sub i64 %n.vec, 1
88; CHECK: %ind.escape = getelementptr i32, i32* %base, i64 %[[END]]
89; CHECK-LABEL: for.end:
90; CHECK: %[[RET:.*]] = phi i32* [ %inc.lag1, %for.body ], [ %ind.escape, %middle.block ]
91; CHECK: ret i32* %[[RET]]
92
93define i32* @both(i32 %k)  {
94entry:
95  %base = getelementptr inbounds i32, i32* undef, i64 1
96  br label %for.body
97
98for.body:
99  %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
100  %inc.lag1 = phi i32* [ %base, %entry ], [ %tmp, %for.body]
101  %inc.lag2 = phi i32* [ undef, %entry ], [ %inc.lag1, %for.body]
102  %tmp = getelementptr inbounds i32, i32* %inc.lag1, i64 1
103  %inc = add nsw i32 %inc.phi, 1
104  %cmp = icmp eq i32 %inc, %k
105  br i1 %cmp, label %for.end, label %for.body
106
107for.end:
108  ret i32* %inc.lag1
109}
110
111; CHECK-LABEL: @multiphi
112; CHECK-LABEL: scalar.ph:
113; CHECK: %bc.resume.val = phi i32 [ %n.vec, %middle.block ], [ 0, %entry ]
114; CHECK-LABEL: for.end:
115; CHECK: %phi = phi i32 [ {{.*}}, %for.body ], [ %n.vec, %middle.block ]
116; CHECK: %phi2 = phi i32 [ {{.*}}, %for.body ], [ %n.vec, %middle.block ]
117; CHECK: store i32 %phi2, i32* %p
118; CHECK: ret i32 %phi
119define i32 @multiphi(i32 %k, i32* %p)  {
120entry:
121  br label %for.body
122
123for.body:
124  %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
125  %inc = add nsw i32 %inc.phi, 1
126  %cmp = icmp eq i32 %inc, %k
127  br i1 %cmp, label %for.end, label %for.body
128
129for.end:
130  %phi = phi i32 [ %inc, %for.body ]
131  %phi2 = phi i32 [ %inc, %for.body ]
132  store i32 %phi2, i32* %p
133  ret i32 %phi
134}
135
136; CHECK-LABEL: @PR30742
137; CHECK:   %[[T15:.+]] = add nsw i32 %tmp03, -7
138; CHECK: vector.ph
139; CHECK:   %[[N_MOD_VF:.+]] = urem i32 %[[T5:.+]], 2
140; CHECK:   %[[N_VEC:.+]] = sub i32 %[[T5]], %[[N_MOD_VF]]
141; CHECK: middle.block
142; CHECK:   %[[CMP:.+]] = icmp eq i32 %[[T5]], %[[N_VEC]]
143; CHECK:   %ind.escape = add i32 %[[T15]],
144; CHECK:   br i1 %[[CMP]], label %BB3, label %scalar.ph
145define void @PR30742() {
146BB0:
147  br label %BB1
148
149BB1:
150  %tmp00 = load i32, i32* undef, align 16
151  %tmp01 = sub i32 %tmp00, undef
152  %tmp02 = icmp slt i32 %tmp01, 1
153  %tmp03 = select i1 %tmp02, i32 1, i32 %tmp01
154  %tmp04 = add nsw i32 %tmp03, -7
155  br label %BB2
156
157BB2:
158  %tmp05 = phi i32 [ %tmp04, %BB1 ], [ %tmp06, %BB2 ]
159  %tmp06 = add i32 %tmp05, -8
160  %tmp07 = icmp sgt i32 %tmp06, 0
161  br i1 %tmp07, label %BB2, label %BB3
162
163BB3:
164  %tmp08 = phi i32 [ %tmp05, %BB2 ]
165  %tmp09 = sub i32 %tmp00, undef
166  %tmp10 = icmp slt i32 %tmp09, 1
167  %tmp11 = select i1 %tmp10, i32 1, i32 %tmp09
168  %tmp12 = add nsw i32 %tmp11, -7
169  br label %BB4
170
171BB4:
172  %tmp13 = phi i32 [ %tmp12, %BB3 ], [ %tmp14, %BB4 ]
173  %tmp14 = add i32 %tmp13, -8
174  %tmp15 = icmp sgt i32 %tmp14, 0
175  br i1 %tmp15, label %BB4, label %BB1
176}
177