@@ -14,6 +14,9 @@ target triple = "aarch64-unknown-linux-gnu"
14
14
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
15
15
; CHECK-NEXT: Live-in ir<1024> = original trip-count
16
16
; CHECK-EMPTY:
17
+ ; CHECK-NEXT: ir-bb<entry>:
18
+ ; CHECK-NEXT: Successor(s): vector.ph
19
+ ; CHECK-EMPTY:
17
20
; CHECK-NEXT: vector.ph:
18
21
; CHECK-NEXT: Successor(s): vector loop
19
22
; CHECK-EMPTY:
@@ -39,23 +42,26 @@ target triple = "aarch64-unknown-linux-gnu"
39
42
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
40
43
; CHECK-NEXT: Successor(s): ir-bb<for.cond.cleanup>, scalar.ph
41
44
; CHECK-EMPTY:
42
- ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
43
- ; CHECK-NEXT: No successors
44
- ; CHECK-EMPTY:
45
45
; CHECK-NEXT: scalar.ph:
46
46
; CHECK-NEXT: Successor(s): ir-bb<for.body>
47
47
; CHECK-EMPTY:
48
48
; CHECK-NEXT: ir-bb<for.body>:
49
49
; CHECK-NEXT: IR %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
50
50
; CHECK: IR %exitcond = icmp eq i64 %indvars.iv.next, 1024
51
51
; CHECK-NEXT: No successors
52
+ ; CHECK-EMPTY:
53
+ ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
54
+ ; CHECK-NEXT: No successors
52
55
; CHECK-NEXT: }
53
56
54
57
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
55
58
; CHECK-NEXT: Live-in vp<[[VFxUF:%.+]]> = VF * UF
56
59
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
57
60
; CHECK-NEXT: Live-in ir<1024> = original trip-count
58
61
; CHECK-EMPTY:
62
+ ; CHECK-NEXT: ir-bb<entry>:
63
+ ; CHECK-NEXT: Successor(s): vector.ph
64
+ ; CHECK-EMPTY:
59
65
; CHECK-NEXT: vector.ph:
60
66
; CHECK-NEXT: Successor(s): vector loop
61
67
; CHECK-EMPTY:
@@ -81,16 +87,16 @@ target triple = "aarch64-unknown-linux-gnu"
81
87
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
82
88
; CHECK-NEXT: Successor(s): ir-bb<for.cond.cleanup>, scalar.ph
83
89
; CHECK-EMPTY:
84
- ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
85
- ; CHECK-NEXT: No successors
86
- ; CHECK-EMPTY:
87
90
; CHECK-NEXT: scalar.ph:
88
91
; CHECK-NEXT: Successor(s): ir-bb<for.body>
89
92
; CHECK-EMPTY:
90
93
; CHECK-NEXT: ir-bb<for.body>:
91
94
; CHECK-NEXT: IR %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
92
95
; CHECK: IR %exitcond = icmp eq i64 %indvars.iv.next, 1024
93
96
; CHECK-NEXT: No successors
97
+ ; CHECK-EMPTY:
98
+ ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
99
+ ; CHECK-NEXT: No successors
94
100
; CHECK-NEXT: }
95
101
96
102
;; If we have a masked variant at one VF and an unmasked variant at a different
@@ -103,6 +109,9 @@ target triple = "aarch64-unknown-linux-gnu"
103
109
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
104
110
; CHECK-NEXT: Live-in ir<1024> = original trip-count
105
111
; CHECK-EMPTY:
112
+ ; CHECK-NEXT: ir-bb<entry>:
113
+ ; CHECK-NEXT: Successor(s): vector.ph
114
+ ; CHECK-EMPTY:
106
115
; CHECK-NEXT: vector.ph:
107
116
; CHECK-NEXT: Successor(s): vector loop
108
117
; CHECK-EMPTY:
@@ -128,23 +137,26 @@ target triple = "aarch64-unknown-linux-gnu"
128
137
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
129
138
; CHECK-NEXT: Successor(s): ir-bb<for.cond.cleanup>, scalar.ph
130
139
; CHECK-EMPTY:
131
- ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
132
- ; CHECK-NEXT: No successors
133
- ; CHECK-EMPTY:
134
140
; CHECK-NEXT: scalar.ph:
135
141
; CHECK-NEXT: Successor(s): ir-bb<for.body>
136
142
; CHECK-EMPTY:
137
143
; CHECK-NEXT: ir-bb<for.body>:
138
144
; CHECK-NEXT: IR %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
139
145
; CHECK: IR %exitcond = icmp eq i64 %indvars.iv.next, 1024
140
146
; CHECK-NEXT: No successors
147
+ ; CHECK-EMPTY:
148
+ ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
149
+ ; CHECK-NEXT: No successors
141
150
; CHECK-NEXT: }
142
151
143
152
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
144
153
; CHECK-NEXT: Live-in vp<[[VFxUF:%.+]]> = VF * UF
145
154
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
146
155
; CHECK-NEXT: Live-in ir<1024> = original trip-count
147
156
; CHECK-EMPTY:
157
+ ; CHECK-NEXT: ir-bb<entry>:
158
+ ; CHECK-NEXT: Successor(s): vector.ph
159
+ ; CHECK-EMPTY:
148
160
; CHECK-NEXT: vector.ph:
149
161
; CHECK-NEXT: Successor(s): vector loop
150
162
; CHECK-EMPTY:
@@ -170,16 +182,16 @@ target triple = "aarch64-unknown-linux-gnu"
170
182
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
171
183
; CHECK-NEXT: Successor(s): ir-bb<for.cond.cleanup>, scalar.ph
172
184
; CHECK-EMPTY:
173
- ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
174
- ; CHECK-NEXT: No successors
175
- ; CHECK-EMPTY:
176
185
; CHECK-NEXT: scalar.ph:
177
186
; CHECK-NEXT: Successor(s): ir-bb<for.body>
178
187
; CHECK-EMPTY:
179
188
; CHECK-NEXT: ir-bb<for.body>:
180
189
; CHECK-NEXT: IR %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
181
190
; CHECK: IR %exitcond = icmp eq i64 %indvars.iv.next, 1024
182
191
; CHECK-NEXT: No successors
192
+ ; CHECK-EMPTY:
193
+ ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
194
+ ; CHECK-NEXT: No successors
183
195
; CHECK-NEXT: }
184
196
185
197
;; If we have two variants at different VFs, neither of which are masked, we
@@ -191,6 +203,9 @@ target triple = "aarch64-unknown-linux-gnu"
191
203
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
192
204
; CHECK-NEXT: Live-in ir<1024> = original trip-count
193
205
; CHECK-EMPTY:
206
+ ; CHECK-NEXT: ir-bb<entry>:
207
+ ; CHECK-NEXT: Successor(s): vector.ph
208
+ ; CHECK-EMPTY:
194
209
; CHECK-NEXT: vector.ph:
195
210
; CHECK-NEXT: Successor(s): vector loop
196
211
; CHECK-EMPTY:
@@ -216,23 +231,26 @@ target triple = "aarch64-unknown-linux-gnu"
216
231
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
217
232
; CHECK-NEXT: Successor(s): ir-bb<for.cond.cleanup>, scalar.ph
218
233
; CHECK-EMPTY:
219
- ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
220
- ; CHECK-NEXT: No successors
221
- ; CHECK-EMPTY:
222
234
; CHECK-NEXT: scalar.ph:
223
235
; CHECK-NEXT: Successor(s): ir-bb<for.body>
224
236
; CHECK-EMPTY:
225
237
; CHECK-NEXT: ir-bb<for.body>:
226
238
; CHECK-NEXT: IR %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
227
239
; CHECK: IR %exitcond = icmp eq i64 %indvars.iv.next, 1024
228
240
; CHECK-NEXT: No successors
241
+ ; CHECK-EMPTY:
242
+ ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
243
+ ; CHECK-NEXT: No successors
229
244
; CHECK-NEXT: }
230
245
231
246
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
232
247
; CHECK-NEXT: Live-in vp<[[VFxUF:%.+]]> = VF * UF
233
248
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
234
249
; CHECK-NEXT: Live-in ir<1024> = original trip-count
235
250
; CHECK-EMPTY:
251
+ ; CHECK-NEXT: ir-bb<entry>:
252
+ ; CHECK-NEXT: Successor(s): vector.ph
253
+ ; CHECK-EMPTY:
236
254
; CHECK-NEXT: vector.ph:
237
255
; CHECK-NEXT: Successor(s): vector loop
238
256
; CHECK-EMPTY:
@@ -258,16 +276,16 @@ target triple = "aarch64-unknown-linux-gnu"
258
276
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
259
277
; CHECK-NEXT: Successor(s): ir-bb<for.cond.cleanup>, scalar.ph
260
278
; CHECK-EMPTY:
261
- ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
262
- ; CHECK-NEXT: No successors
263
- ; CHECK-EMPTY:
264
279
; CHECK-NEXT: scalar.ph:
265
280
; CHECK-NEXT: Successor(s): ir-bb<for.body>
266
281
; CHECK-EMPTY:
267
282
; CHECK-NEXT: ir-bb<for.body>:
268
283
; CHECK-NEXT: IR %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
269
284
; CHECK: IR %exitcond = icmp eq i64 %indvars.iv.next, 1024
270
285
; CHECK-NEXT: No successors
286
+ ; CHECK-EMPTY:
287
+ ; CHECK-NEXT: ir-bb<for.cond.cleanup>:
288
+ ; CHECK-NEXT: No successors
271
289
; CHECK-NEXT: }
272
290
273
291
define void @test_v4_v4m (ptr noalias %a , ptr readonly %b ) #3 {
0 commit comments