| blob | 401490879e92d0ef0a31b24427677d1ed4d63910 |
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -instcombine -S | FileCheck %s
4 ; Test an already canonical branch to make sure we don't flip those.
5 define i32 @eq(i32 %X, i32 %Y) {
6 ; CHECK-LABEL: @eq(
7 ; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
8 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !0
9 ; CHECK: T:
10 ; CHECK-NEXT: ret i32 12
11 ; CHECK: F:
12 ; CHECK-NEXT: ret i32 123
13 ;
14 %C = icmp eq i32 %X, %Y
15 br i1 %C, label %T, label %F, !prof !0
16 T:
17 ret i32 12
18 F:
19 ret i32 123
20 }
22 define i32 @ne(i32 %X, i32 %Y) {
23 ; CHECK-LABEL: @ne(
24 ; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
25 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !1
26 ; CHECK: T:
27 ; CHECK-NEXT: ret i32 12
28 ; CHECK: F:
29 ; CHECK-NEXT: ret i32 123
30 ;
31 %C = icmp ne i32 %X, %Y
32 br i1 %C, label %T, label %F, !prof !1
33 T:
34 ret i32 12
35 F:
36 ret i32 123
37 }
39 define i32 @ugt(i32 %X, i32 %Y) {
40 ; CHECK-LABEL: @ugt(
41 ; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
42 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !2
43 ; CHECK: T:
44 ; CHECK-NEXT: ret i32 12
45 ; CHECK: F:
46 ; CHECK-NEXT: ret i32 123
47 ;
48 %C = icmp ugt i32 %X, %Y
49 br i1 %C, label %T, label %F, !prof !2
50 T:
51 ret i32 12
52 F:
53 ret i32 123
54 }
56 define i32 @uge(i32 %X, i32 %Y) {
57 ; CHECK-LABEL: @uge(
58 ; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[Y:%.*]]
59 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !3
60 ; CHECK: T:
61 ; CHECK-NEXT: ret i32 12
62 ; CHECK: F:
63 ; CHECK-NEXT: ret i32 123
64 ;
65 %C = icmp uge i32 %X, %Y
66 br i1 %C, label %T, label %F, !prof !3
67 T:
68 ret i32 12
69 F:
70 ret i32 123
71 }
73 define i32 @ult(i32 %X, i32 %Y) {
74 ; CHECK-LABEL: @ult(
75 ; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[Y:%.*]]
76 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !4
77 ; CHECK: T:
78 ; CHECK-NEXT: ret i32 12
79 ; CHECK: F:
80 ; CHECK-NEXT: ret i32 123
81 ;
82 %C = icmp ult i32 %X, %Y
83 br i1 %C, label %T, label %F, !prof !4
84 T:
85 ret i32 12
86 F:
87 ret i32 123
88 }
90 define i32 @ule(i32 %X, i32 %Y) {
91 ; CHECK-LABEL: @ule(
92 ; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
93 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !5
94 ; CHECK: T:
95 ; CHECK-NEXT: ret i32 12
96 ; CHECK: F:
97 ; CHECK-NEXT: ret i32 123
98 ;
99 %C = icmp ule i32 %X, %Y
100 br i1 %C, label %T, label %F, !prof !5
101 T:
102 ret i32 12
103 F:
104 ret i32 123
105 }
107 define i32 @sgt(i32 %X, i32 %Y) {
108 ; CHECK-LABEL: @sgt(
109 ; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
110 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !6
111 ; CHECK: T:
112 ; CHECK-NEXT: ret i32 12
113 ; CHECK: F:
114 ; CHECK-NEXT: ret i32 123
115 ;
116 %C = icmp sgt i32 %X, %Y
117 br i1 %C, label %T, label %F, !prof !6
118 T:
119 ret i32 12
120 F:
121 ret i32 123
122 }
124 define i32 @sge(i32 %X, i32 %Y) {
125 ; CHECK-LABEL: @sge(
126 ; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[X:%.*]], [[Y:%.*]]
127 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !7
128 ; CHECK: T:
129 ; CHECK-NEXT: ret i32 12
130 ; CHECK: F:
131 ; CHECK-NEXT: ret i32 123
132 ;
133 %C = icmp sge i32 %X, %Y
134 br i1 %C, label %T, label %F, !prof !7
135 T:
136 ret i32 12
137 F:
138 ret i32 123
139 }
141 define i32 @slt(i32 %X, i32 %Y) {
142 ; CHECK-LABEL: @slt(
143 ; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[X:%.*]], [[Y:%.*]]
144 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !8
145 ; CHECK: T:
146 ; CHECK-NEXT: ret i32 12
147 ; CHECK: F:
148 ; CHECK-NEXT: ret i32 123
149 ;
150 %C = icmp slt i32 %X, %Y
151 br i1 %C, label %T, label %F, !prof !8
152 T:
153 ret i32 12
154 F:
155 ret i32 123
156 }
158 define i32 @sle(i32 %X, i32 %Y) {
159 ; CHECK-LABEL: @sle(
160 ; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
161 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !9
162 ; CHECK: T:
163 ; CHECK-NEXT: ret i32 12
164 ; CHECK: F:
165 ; CHECK-NEXT: ret i32 123
166 ;
167 %C = icmp sle i32 %X, %Y
168 br i1 %C, label %T, label %F, !prof !9
169 T:
170 ret i32 12
171 F:
172 ret i32 123
173 }
175 define i32 @f_false(float %X, float %Y) {
176 ; CHECK-LABEL: @f_false(
177 ; CHECK-NEXT: br i1 false, label [[T:%.*]], label [[F:%.*]], !prof !10
178 ; CHECK: T:
179 ; CHECK-NEXT: ret i32 12
180 ; CHECK: F:
181 ; CHECK-NEXT: ret i32 123
182 ;
183 %C = fcmp false float %X, %Y
184 br i1 %C, label %T, label %F, !prof !10
185 T:
186 ret i32 12
187 F:
188 ret i32 123
189 }
191 define i32 @f_oeq(float %X, float %Y) {
192 ; CHECK-LABEL: @f_oeq(
193 ; CHECK-NEXT: [[C:%.*]] = fcmp oeq float [[X:%.*]], [[Y:%.*]]
194 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !11
195 ; CHECK: T:
196 ; CHECK-NEXT: ret i32 12
197 ; CHECK: F:
198 ; CHECK-NEXT: ret i32 123
199 ;
200 %C = fcmp oeq float %X, %Y
201 br i1 %C, label %T, label %F, !prof !11
202 T:
203 ret i32 12
204 F:
205 ret i32 123
206 }
208 define i32 @f_ogt(float %X, float %Y) {
209 ; CHECK-LABEL: @f_ogt(
210 ; CHECK-NEXT: [[C:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]
211 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !12
212 ; CHECK: T:
213 ; CHECK-NEXT: ret i32 12
214 ; CHECK: F:
215 ; CHECK-NEXT: ret i32 123
216 ;
217 %C = fcmp ogt float %X, %Y
218 br i1 %C, label %T, label %F, !prof !12
219 T:
220 ret i32 12
221 F:
222 ret i32 123
223 }
225 define i32 @f_oge(float %X, float %Y) {
226 ; CHECK-LABEL: @f_oge(
227 ; CHECK-NEXT: [[C:%.*]] = fcmp ult float [[X:%.*]], [[Y:%.*]]
228 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !13
229 ; CHECK: T:
230 ; CHECK-NEXT: ret i32 12
231 ; CHECK: F:
232 ; CHECK-NEXT: ret i32 123
233 ;
234 %C = fcmp oge float %X, %Y
235 br i1 %C, label %T, label %F, !prof !13
236 T:
237 ret i32 12
238 F:
239 ret i32 123
240 }
242 define i32 @f_olt(float %X, float %Y) {
243 ; CHECK-LABEL: @f_olt(
244 ; CHECK-NEXT: [[C:%.*]] = fcmp olt float [[X:%.*]], [[Y:%.*]]
245 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !14
246 ; CHECK: T:
247 ; CHECK-NEXT: ret i32 12
248 ; CHECK: F:
249 ; CHECK-NEXT: ret i32 123
250 ;
251 %C = fcmp olt float %X, %Y
252 br i1 %C, label %T, label %F, !prof !14
253 T:
254 ret i32 12
255 F:
256 ret i32 123
257 }
259 define i32 @f_ole(float %X, float %Y) {
260 ; CHECK-LABEL: @f_ole(
261 ; CHECK-NEXT: [[C:%.*]] = fcmp ugt float [[X:%.*]], [[Y:%.*]]
262 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !15
263 ; CHECK: T:
264 ; CHECK-NEXT: ret i32 12
265 ; CHECK: F:
266 ; CHECK-NEXT: ret i32 123
267 ;
268 %C = fcmp ole float %X, %Y
269 br i1 %C, label %T, label %F, !prof !15
270 T:
271 ret i32 12
272 F:
273 ret i32 123
274 }
276 define i32 @f_one(float %X, float %Y) {
277 ; CHECK-LABEL: @f_one(
278 ; CHECK-NEXT: [[C:%.*]] = fcmp ueq float [[X:%.*]], [[Y:%.*]]
279 ; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !16
280 ; CHECK: T:
281 ; CHECK-NEXT: ret i32 12
282 ; CHECK: F:
283 ; CHECK-NEXT: ret i32 123
284 ;
285 %C = fcmp one float %X, %Y
286 br i1 %C, label %T, label %F, !prof !16
287 T:
288 ret i32 12
289 F:
290 ret i32 123
291 }
293 define i32 @f_ord(float %X, float %Y) {
294 ; CHECK-LABEL: @f_ord(
295 ; CHECK-NEXT: [[C:%.*]] = fcmp ord float [[X:%.*]], [[Y:%.*]]
296 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !17
297 ; CHECK: T:
298 ; CHECK-NEXT: ret i32 12
299 ; CHECK: F:
300 ; CHECK-NEXT: ret i32 123
301 ;
302 %C = fcmp ord float %X, %Y
303 br i1 %C, label %T, label %F, !prof !17
304 T:
305 ret i32 12
306 F:
307 ret i32 123
308 }
310 define i32 @f_uno(float %X, float %Y) {
311 ; CHECK-LABEL: @f_uno(
312 ; CHECK-NEXT: [[C:%.*]] = fcmp uno float [[X:%.*]], [[Y:%.*]]
313 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !18
314 ; CHECK: T:
315 ; CHECK-NEXT: ret i32 12
316 ; CHECK: F:
317 ; CHECK-NEXT: ret i32 123
318 ;
319 %C = fcmp uno float %X, %Y
320 br i1 %C, label %T, label %F, !prof !18
321 T:
322 ret i32 12
323 F:
324 ret i32 123
325 }
327 define i32 @f_ueq(float %X, float %Y) {
328 ; CHECK-LABEL: @f_ueq(
329 ; CHECK-NEXT: [[C:%.*]] = fcmp ueq float [[X:%.*]], [[Y:%.*]]
330 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !19
331 ; CHECK: T:
332 ; CHECK-NEXT: ret i32 12
333 ; CHECK: F:
334 ; CHECK-NEXT: ret i32 123
335 ;
336 %C = fcmp ueq float %X, %Y
337 br i1 %C, label %T, label %F, !prof !19
338 T:
339 ret i32 12
340 F:
341 ret i32 123
342 }
344 define i32 @f_ugt(float %X, float %Y) {
345 ; CHECK-LABEL: @f_ugt(
346 ; CHECK-NEXT: [[C:%.*]] = fcmp ugt float [[X:%.*]], [[Y:%.*]]
347 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !20
348 ; CHECK: T:
349 ; CHECK-NEXT: ret i32 12
350 ; CHECK: F:
351 ; CHECK-NEXT: ret i32 123
352 ;
353 %C = fcmp ugt float %X, %Y
354 br i1 %C, label %T, label %F, !prof !20
355 T:
356 ret i32 12
357 F:
358 ret i32 123
359 }
361 define i32 @f_uge(float %X, float %Y) {
362 ; CHECK-LABEL: @f_uge(
363 ; CHECK-NEXT: [[C:%.*]] = fcmp uge float [[X:%.*]], [[Y:%.*]]
364 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !21
365 ; CHECK: T:
366 ; CHECK-NEXT: ret i32 12
367 ; CHECK: F:
368 ; CHECK-NEXT: ret i32 123
369 ;
370 %C = fcmp uge float %X, %Y
371 br i1 %C, label %T, label %F, !prof !21
372 T:
373 ret i32 12
374 F:
375 ret i32 123
376 }
378 define i32 @f_ult(float %X, float %Y) {
379 ; CHECK-LABEL: @f_ult(
380 ; CHECK-NEXT: [[C:%.*]] = fcmp ult float [[X:%.*]], [[Y:%.*]]
381 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !22
382 ; CHECK: T:
383 ; CHECK-NEXT: ret i32 12
384 ; CHECK: F:
385 ; CHECK-NEXT: ret i32 123
386 ;
387 %C = fcmp ult float %X, %Y
388 br i1 %C, label %T, label %F, !prof !22
389 T:
390 ret i32 12
391 F:
392 ret i32 123
393 }
395 define i32 @f_ule(float %X, float %Y) {
396 ; CHECK-LABEL: @f_ule(
397 ; CHECK-NEXT: [[C:%.*]] = fcmp ule float [[X:%.*]], [[Y:%.*]]
398 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !23
399 ; CHECK: T:
400 ; CHECK-NEXT: ret i32 12
401 ; CHECK: F:
402 ; CHECK-NEXT: ret i32 123
403 ;
404 %C = fcmp ule float %X, %Y
405 br i1 %C, label %T, label %F, !prof !23
406 T:
407 ret i32 12
408 F:
409 ret i32 123
410 }
412 define i32 @f_une(float %X, float %Y) {
413 ; CHECK-LABEL: @f_une(
414 ; CHECK-NEXT: [[C:%.*]] = fcmp une float [[X:%.*]], [[Y:%.*]]
415 ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !24
416 ; CHECK: T:
417 ; CHECK-NEXT: ret i32 12
418 ; CHECK: F:
419 ; CHECK-NEXT: ret i32 123
420 ;
421 %C = fcmp une float %X, %Y
422 br i1 %C, label %T, label %F, !prof !24
423 T:
424 ret i32 12
425 F:
426 ret i32 123
427 }
429 define i32 @f_true(float %X, float %Y) {
430 ; CHECK-LABEL: @f_true(
431 ; CHECK-NEXT: br i1 true, label [[T:%.*]], label [[F:%.*]], !prof !25
432 ; CHECK: T:
433 ; CHECK-NEXT: ret i32 12
434 ; CHECK: F:
435 ; CHECK-NEXT: ret i32 123
436 ;
437 %C = fcmp true float %X, %Y
438 br i1 %C, label %T, label %F, !prof !25
439 T:
440 ret i32 12
441 F:
442 ret i32 123
443 }
446 !0 = !{!"branch_weights", i32 0, i32 99}
447 !1 = !{!"branch_weights", i32 1, i32 99}
448 !2 = !{!"branch_weights", i32 2, i32 99}
449 !3 = !{!"branch_weights", i32 3, i32 99}
450 !4 = !{!"branch_weights", i32 4, i32 99}
451 !5 = !{!"branch_weights", i32 5, i32 99}
452 !6 = !{!"branch_weights", i32 6, i32 99}
453 !7 = !{!"branch_weights", i32 7, i32 99}
454 !8 = !{!"branch_weights", i32 8, i32 99}
455 !9 = !{!"branch_weights", i32 9, i32 99}
456 !10 = !{!"branch_weights", i32 10, i32 99}
457 !11 = !{!"branch_weights", i32 11, i32 99}
458 !12 = !{!"branch_weights", i32 12, i32 99}
459 !13 = !{!"branch_weights", i32 13, i32 99}
460 !14 = !{!"branch_weights", i32 14, i32 99}
461 !15 = !{!"branch_weights", i32 15, i32 99}
462 !16 = !{!"branch_weights", i32 16, i32 99}
463 !17 = !{!"branch_weights", i32 17, i32 99}
464 !18 = !{!"branch_weights", i32 18, i32 99}
465 !19 = !{!"branch_weights", i32 19, i32 99}
466 !20 = !{!"branch_weights", i32 20, i32 99}
467 !21 = !{!"branch_weights", i32 21, i32 99}
468 !22 = !{!"branch_weights", i32 22, i32 99}
469 !23 = !{!"branch_weights", i32 23, i32 99}
470 !24 = !{!"branch_weights", i32 24, i32 99}
471 !25 = !{!"branch_weights", i32 25, i32 99}
473 ; Ensure that the branch metadata is reversed to match the reversals above.
474 ; CHECK: !0 = {{.*}} i32 0, i32 99}
475 ; CHECK: !1 = {{.*}} i32 99, i32 1}
476 ; CHECK: !2 = {{.*}} i32 2, i32 99}
477 ; CHECK: !3 = {{.*}} i32 99, i32 3}
478 ; CHECK: !4 = {{.*}} i32 4, i32 99}
479 ; CHECK: !5 = {{.*}} i32 99, i32 5}
480 ; CHECK: !6 = {{.*}} i32 6, i32 99}
481 ; CHECK: !7 = {{.*}} i32 99, i32 7}
482 ; CHECK: !8 = {{.*}} i32 8, i32 99}
483 ; CHECK: !9 = {{.*}} i32 99, i32 9}
484 ; CHECK: !10 = {{.*}} i32 10, i32 99}
485 ; CHECK: !11 = {{.*}} i32 11, i32 99}
486 ; CHECK: !12 = {{.*}} i32 12, i32 99}
487 ; CHECK: !13 = {{.*}} i32 99, i32 13}
488 ; CHECK: !14 = {{.*}} i32 14, i32 99}
489 ; CHECK: !15 = {{.*}} i32 99, i32 15}
490 ; CHECK: !16 = {{.*}} i32 99, i32 16}
491 ; CHECK: !17 = {{.*}} i32 17, i32 99}
492 ; CHECK: !18 = {{.*}} i32 18, i32 99}
493 ; CHECK: !19 = {{.*}} i32 19, i32 99}
494 ; CHECK: !20 = {{.*}} i32 20, i32 99}
495 ; CHECK: !21 = {{.*}} i32 21, i32 99}
496 ; CHECK: !22 = {{.*}} i32 22, i32 99}
497 ; CHECK: !23 = {{.*}} i32 23, i32 99}
498 ; CHECK: !24 = {{.*}} i32 24, i32 99}
499 ; CHECK: !25 = {{.*}} i32 25, i32 99}