[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / Transforms / InstSimplify / and-icmps-same-ops.ll
blob4da79388f723e8bd34e774a52f8345501b916e0b
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -instsimplify -S | FileCheck %s
4 ; There are 10 * 10 combinations of icmp predicates that can be AND'd together.
5 ; The majority of these can be simplified to always false or just one of the icmps.
7 define i1 @eq_eq(i8 %a, i8 %b) {
8 ; CHECK-LABEL: @eq_eq(
9 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 %a, %b
10 ; CHECK-NEXT:    ret i1 [[CMP1]]
12   %cmp1 = icmp eq i8 %a, %b
13   %cmp2 = icmp eq i8 %a, %b
14   %and = and i1 %cmp1, %cmp2
15   ret i1 %and
18 define i1 @eq_ne(i8 %a, i8 %b) {
19 ; CHECK-LABEL: @eq_ne(
20 ; CHECK-NEXT:    ret i1 false
22   %cmp1 = icmp eq i8 %a, %b
23   %cmp2 = icmp ne i8 %a, %b
24   %and = and i1 %cmp1, %cmp2
25   ret i1 %and
28 define i1 @eq_sge(i8 %a, i8 %b) {
29 ; CHECK-LABEL: @eq_sge(
30 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 %a, %b
31 ; CHECK-NEXT:    ret i1 [[CMP1]]
33   %cmp1 = icmp eq i8 %a, %b
34   %cmp2 = icmp sge i8 %a, %b
35   %and = and i1 %cmp1, %cmp2
36   ret i1 %and
39 define i1 @eq_sgt(i8 %a, i8 %b) {
40 ; CHECK-LABEL: @eq_sgt(
41 ; CHECK-NEXT:    ret i1 false
43   %cmp1 = icmp eq i8 %a, %b
44   %cmp2 = icmp sgt i8 %a, %b
45   %and = and i1 %cmp1, %cmp2
46   ret i1 %and
49 define i1 @eq_sle(i8 %a, i8 %b) {
50 ; CHECK-LABEL: @eq_sle(
51 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 %a, %b
52 ; CHECK-NEXT:    ret i1 [[CMP1]]
54   %cmp1 = icmp eq i8 %a, %b
55   %cmp2 = icmp sle i8 %a, %b
56   %and = and i1 %cmp1, %cmp2
57   ret i1 %and
60 define i1 @eq_slt(i8 %a, i8 %b) {
61 ; CHECK-LABEL: @eq_slt(
62 ; CHECK-NEXT:    ret i1 false
64   %cmp1 = icmp eq i8 %a, %b
65   %cmp2 = icmp slt i8 %a, %b
66   %and = and i1 %cmp1, %cmp2
67   ret i1 %and
70 define i1 @eq_uge(i8 %a, i8 %b) {
71 ; CHECK-LABEL: @eq_uge(
72 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 %a, %b
73 ; CHECK-NEXT:    ret i1 [[CMP1]]
75   %cmp1 = icmp eq i8 %a, %b
76   %cmp2 = icmp uge i8 %a, %b
77   %and = and i1 %cmp1, %cmp2
78   ret i1 %and
81 define i1 @eq_ugt(i8 %a, i8 %b) {
82 ; CHECK-LABEL: @eq_ugt(
83 ; CHECK-NEXT:    ret i1 false
85   %cmp1 = icmp eq i8 %a, %b
86   %cmp2 = icmp ugt i8 %a, %b
87   %and = and i1 %cmp1, %cmp2
88   ret i1 %and
91 define i1 @eq_ule(i8 %a, i8 %b) {
92 ; CHECK-LABEL: @eq_ule(
93 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 %a, %b
94 ; CHECK-NEXT:    ret i1 [[CMP1]]
96   %cmp1 = icmp eq i8 %a, %b
97   %cmp2 = icmp ule i8 %a, %b
98   %and = and i1 %cmp1, %cmp2
99   ret i1 %and
102 define i1 @eq_ult(i8 %a, i8 %b) {
103 ; CHECK-LABEL: @eq_ult(
104 ; CHECK-NEXT:    ret i1 false
106   %cmp1 = icmp eq i8 %a, %b
107   %cmp2 = icmp ult i8 %a, %b
108   %and = and i1 %cmp1, %cmp2
109   ret i1 %and
114 define i1 @ne_eq(i8 %a, i8 %b) {
115 ; CHECK-LABEL: @ne_eq(
116 ; CHECK-NEXT:    ret i1 false
118   %cmp1 = icmp ne i8 %a, %b
119   %cmp2 = icmp eq i8 %a, %b
120   %and = and i1 %cmp1, %cmp2
121   ret i1 %and
124 define i1 @ne_ne(i8 %a, i8 %b) {
125 ; CHECK-LABEL: @ne_ne(
126 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 %a, %b
127 ; CHECK-NEXT:    ret i1 [[CMP1]]
129   %cmp1 = icmp ne i8 %a, %b
130   %cmp2 = icmp ne i8 %a, %b
131   %and = and i1 %cmp1, %cmp2
132   ret i1 %and
135 define i1 @ne_sge(i8 %a, i8 %b) {
136 ; CHECK-LABEL: @ne_sge(
137 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 %a, %b
138 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 %a, %b
139 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
140 ; CHECK-NEXT:    ret i1 [[AND]]
142   %cmp1 = icmp ne i8 %a, %b
143   %cmp2 = icmp sge i8 %a, %b
144   %and = and i1 %cmp1, %cmp2
145   ret i1 %and
148 define i1 @ne_sgt(i8 %a, i8 %b) {
149 ; CHECK-LABEL: @ne_sgt(
150 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 %a, %b
151 ; CHECK-NEXT:    ret i1 [[CMP2]]
153   %cmp1 = icmp ne i8 %a, %b
154   %cmp2 = icmp sgt i8 %a, %b
155   %and = and i1 %cmp1, %cmp2
156   ret i1 %and
159 define i1 @ne_sle(i8 %a, i8 %b) {
160 ; CHECK-LABEL: @ne_sle(
161 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 %a, %b
162 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 %a, %b
163 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
164 ; CHECK-NEXT:    ret i1 [[AND]]
166   %cmp1 = icmp ne i8 %a, %b
167   %cmp2 = icmp sle i8 %a, %b
168   %and = and i1 %cmp1, %cmp2
169   ret i1 %and
172 define i1 @ne_slt(i8 %a, i8 %b) {
173 ; CHECK-LABEL: @ne_slt(
174 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 %a, %b
175 ; CHECK-NEXT:    ret i1 [[CMP2]]
177   %cmp1 = icmp ne i8 %a, %b
178   %cmp2 = icmp slt i8 %a, %b
179   %and = and i1 %cmp1, %cmp2
180   ret i1 %and
183 define i1 @ne_uge(i8 %a, i8 %b) {
184 ; CHECK-LABEL: @ne_uge(
185 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 %a, %b
186 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %a, %b
187 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
188 ; CHECK-NEXT:    ret i1 [[AND]]
190   %cmp1 = icmp ne i8 %a, %b
191   %cmp2 = icmp uge i8 %a, %b
192   %and = and i1 %cmp1, %cmp2
193   ret i1 %and
196 define i1 @ne_ugt(i8 %a, i8 %b) {
197 ; CHECK-LABEL: @ne_ugt(
198 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 %a, %b
199 ; CHECK-NEXT:    ret i1 [[CMP2]]
201   %cmp1 = icmp ne i8 %a, %b
202   %cmp2 = icmp ugt i8 %a, %b
203   %and = and i1 %cmp1, %cmp2
204   ret i1 %and
207 define i1 @ne_ule(i8 %a, i8 %b) {
208 ; CHECK-LABEL: @ne_ule(
209 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 %a, %b
210 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 %a, %b
211 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
212 ; CHECK-NEXT:    ret i1 [[AND]]
214   %cmp1 = icmp ne i8 %a, %b
215   %cmp2 = icmp ule i8 %a, %b
216   %and = and i1 %cmp1, %cmp2
217   ret i1 %and
220 define i1 @ne_ult(i8 %a, i8 %b) {
221 ; CHECK-LABEL: @ne_ult(
222 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %a, %b
223 ; CHECK-NEXT:    ret i1 [[CMP2]]
225   %cmp1 = icmp ne i8 %a, %b
226   %cmp2 = icmp ult i8 %a, %b
227   %and = and i1 %cmp1, %cmp2
228   ret i1 %and
233 define i1 @sge_eq(i8 %a, i8 %b) {
234 ; CHECK-LABEL: @sge_eq(
235 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 %a, %b
236 ; CHECK-NEXT:    ret i1 [[CMP2]]
238   %cmp1 = icmp sge i8 %a, %b
239   %cmp2 = icmp eq i8 %a, %b
240   %and = and i1 %cmp1, %cmp2
241   ret i1 %and
244 define i1 @sge_ne(i8 %a, i8 %b) {
245 ; CHECK-LABEL: @sge_ne(
246 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
247 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 %a, %b
248 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
249 ; CHECK-NEXT:    ret i1 [[AND]]
251   %cmp1 = icmp sge i8 %a, %b
252   %cmp2 = icmp ne i8 %a, %b
253   %and = and i1 %cmp1, %cmp2
254   ret i1 %and
257 define i1 @sge_sge(i8 %a, i8 %b) {
258 ; CHECK-LABEL: @sge_sge(
259 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
260 ; CHECK-NEXT:    ret i1 [[CMP1]]
262   %cmp1 = icmp sge i8 %a, %b
263   %cmp2 = icmp sge i8 %a, %b
264   %and = and i1 %cmp1, %cmp2
265   ret i1 %and
268 define i1 @sge_sgt(i8 %a, i8 %b) {
269 ; CHECK-LABEL: @sge_sgt(
270 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 %a, %b
271 ; CHECK-NEXT:    ret i1 [[CMP2]]
273   %cmp1 = icmp sge i8 %a, %b
274   %cmp2 = icmp sgt i8 %a, %b
275   %and = and i1 %cmp1, %cmp2
276   ret i1 %and
279 define i1 @sge_sle(i8 %a, i8 %b) {
280 ; CHECK-LABEL: @sge_sle(
281 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
282 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 %a, %b
283 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
284 ; CHECK-NEXT:    ret i1 [[AND]]
286   %cmp1 = icmp sge i8 %a, %b
287   %cmp2 = icmp sle i8 %a, %b
288   %and = and i1 %cmp1, %cmp2
289   ret i1 %and
292 define i1 @sge_slt(i8 %a, i8 %b) {
293 ; CHECK-LABEL: @sge_slt(
294 ; CHECK-NEXT:    ret i1 false
296   %cmp1 = icmp sge i8 %a, %b
297   %cmp2 = icmp slt i8 %a, %b
298   %and = and i1 %cmp1, %cmp2
299   ret i1 %and
302 define i1 @sge_uge(i8 %a, i8 %b) {
303 ; CHECK-LABEL: @sge_uge(
304 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
305 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %a, %b
306 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
307 ; CHECK-NEXT:    ret i1 [[AND]]
309   %cmp1 = icmp sge i8 %a, %b
310   %cmp2 = icmp uge i8 %a, %b
311   %and = and i1 %cmp1, %cmp2
312   ret i1 %and
315 define i1 @sge_ugt(i8 %a, i8 %b) {
316 ; CHECK-LABEL: @sge_ugt(
317 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
318 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 %a, %b
319 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
320 ; CHECK-NEXT:    ret i1 [[AND]]
322   %cmp1 = icmp sge i8 %a, %b
323   %cmp2 = icmp ugt i8 %a, %b
324   %and = and i1 %cmp1, %cmp2
325   ret i1 %and
328 define i1 @sge_ule(i8 %a, i8 %b) {
329 ; CHECK-LABEL: @sge_ule(
330 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
331 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 %a, %b
332 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
333 ; CHECK-NEXT:    ret i1 [[AND]]
335   %cmp1 = icmp sge i8 %a, %b
336   %cmp2 = icmp ule i8 %a, %b
337   %and = and i1 %cmp1, %cmp2
338   ret i1 %and
341 define i1 @sge_ult(i8 %a, i8 %b) {
342 ; CHECK-LABEL: @sge_ult(
343 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 %a, %b
344 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %a, %b
345 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
346 ; CHECK-NEXT:    ret i1 [[AND]]
348   %cmp1 = icmp sge i8 %a, %b
349   %cmp2 = icmp ult i8 %a, %b
350   %and = and i1 %cmp1, %cmp2
351   ret i1 %and
356 define i1 @sgt_eq(i8 %a, i8 %b) {
357 ; CHECK-LABEL: @sgt_eq(
358 ; CHECK-NEXT:    ret i1 false
360   %cmp1 = icmp sgt i8 %a, %b
361   %cmp2 = icmp eq i8 %a, %b
362   %and = and i1 %cmp1, %cmp2
363   ret i1 %and
366 define i1 @sgt_ne(i8 %a, i8 %b) {
367 ; CHECK-LABEL: @sgt_ne(
368 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
369 ; CHECK-NEXT:    ret i1 [[CMP1]]
371   %cmp1 = icmp sgt i8 %a, %b
372   %cmp2 = icmp ne i8 %a, %b
373   %and = and i1 %cmp1, %cmp2
374   ret i1 %and
377 define i1 @sgt_sge(i8 %a, i8 %b) {
378 ; CHECK-LABEL: @sgt_sge(
379 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
380 ; CHECK-NEXT:    ret i1 [[CMP1]]
382   %cmp1 = icmp sgt i8 %a, %b
383   %cmp2 = icmp sge i8 %a, %b
384   %and = and i1 %cmp1, %cmp2
385   ret i1 %and
388 define i1 @sgt_sgt(i8 %a, i8 %b) {
389 ; CHECK-LABEL: @sgt_sgt(
390 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
391 ; CHECK-NEXT:    ret i1 [[CMP1]]
393   %cmp1 = icmp sgt i8 %a, %b
394   %cmp2 = icmp sgt i8 %a, %b
395   %and = and i1 %cmp1, %cmp2
396   ret i1 %and
399 define i1 @sgt_sle(i8 %a, i8 %b) {
400 ; CHECK-LABEL: @sgt_sle(
401 ; CHECK-NEXT:    ret i1 false
403   %cmp1 = icmp sgt i8 %a, %b
404   %cmp2 = icmp sle i8 %a, %b
405   %and = and i1 %cmp1, %cmp2
406   ret i1 %and
409 define i1 @sgt_slt(i8 %a, i8 %b) {
410 ; CHECK-LABEL: @sgt_slt(
411 ; CHECK-NEXT:    ret i1 false
413   %cmp1 = icmp sgt i8 %a, %b
414   %cmp2 = icmp slt i8 %a, %b
415   %and = and i1 %cmp1, %cmp2
416   ret i1 %and
419 define i1 @sgt_uge(i8 %a, i8 %b) {
420 ; CHECK-LABEL: @sgt_uge(
421 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
422 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %a, %b
423 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
424 ; CHECK-NEXT:    ret i1 [[AND]]
426   %cmp1 = icmp sgt i8 %a, %b
427   %cmp2 = icmp uge i8 %a, %b
428   %and = and i1 %cmp1, %cmp2
429   ret i1 %and
432 define i1 @sgt_ugt(i8 %a, i8 %b) {
433 ; CHECK-LABEL: @sgt_ugt(
434 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
435 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 %a, %b
436 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
437 ; CHECK-NEXT:    ret i1 [[AND]]
439   %cmp1 = icmp sgt i8 %a, %b
440   %cmp2 = icmp ugt i8 %a, %b
441   %and = and i1 %cmp1, %cmp2
442   ret i1 %and
445 define i1 @sgt_ule(i8 %a, i8 %b) {
446 ; CHECK-LABEL: @sgt_ule(
447 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
448 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 %a, %b
449 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
450 ; CHECK-NEXT:    ret i1 [[AND]]
452   %cmp1 = icmp sgt i8 %a, %b
453   %cmp2 = icmp ule i8 %a, %b
454   %and = and i1 %cmp1, %cmp2
455   ret i1 %and
458 define i1 @sgt_ult(i8 %a, i8 %b) {
459 ; CHECK-LABEL: @sgt_ult(
460 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 %a, %b
461 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %a, %b
462 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
463 ; CHECK-NEXT:    ret i1 [[AND]]
465   %cmp1 = icmp sgt i8 %a, %b
466   %cmp2 = icmp ult i8 %a, %b
467   %and = and i1 %cmp1, %cmp2
468   ret i1 %and
473 define i1 @sle_eq(i8 %a, i8 %b) {
474 ; CHECK-LABEL: @sle_eq(
475 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 %a, %b
476 ; CHECK-NEXT:    ret i1 [[CMP2]]
478   %cmp1 = icmp sle i8 %a, %b
479   %cmp2 = icmp eq i8 %a, %b
480   %and = and i1 %cmp1, %cmp2
481   ret i1 %and
484 define i1 @sle_ne(i8 %a, i8 %b) {
485 ; CHECK-LABEL: @sle_ne(
486 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
487 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 %a, %b
488 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
489 ; CHECK-NEXT:    ret i1 [[AND]]
491   %cmp1 = icmp sle i8 %a, %b
492   %cmp2 = icmp ne i8 %a, %b
493   %and = and i1 %cmp1, %cmp2
494   ret i1 %and
497 define i1 @sle_sge(i8 %a, i8 %b) {
498 ; CHECK-LABEL: @sle_sge(
499 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
500 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 %a, %b
501 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
502 ; CHECK-NEXT:    ret i1 [[AND]]
504   %cmp1 = icmp sle i8 %a, %b
505   %cmp2 = icmp sge i8 %a, %b
506   %and = and i1 %cmp1, %cmp2
507   ret i1 %and
510 define i1 @sle_sgt(i8 %a, i8 %b) {
511 ; CHECK-LABEL: @sle_sgt(
512 ; CHECK-NEXT:    ret i1 false
514   %cmp1 = icmp sle i8 %a, %b
515   %cmp2 = icmp sgt i8 %a, %b
516   %and = and i1 %cmp1, %cmp2
517   ret i1 %and
520 define i1 @sle_sle(i8 %a, i8 %b) {
521 ; CHECK-LABEL: @sle_sle(
522 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
523 ; CHECK-NEXT:    ret i1 [[CMP1]]
525   %cmp1 = icmp sle i8 %a, %b
526   %cmp2 = icmp sle i8 %a, %b
527   %and = and i1 %cmp1, %cmp2
528   ret i1 %and
531 define i1 @sle_slt(i8 %a, i8 %b) {
532 ; CHECK-LABEL: @sle_slt(
533 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 %a, %b
534 ; CHECK-NEXT:    ret i1 [[CMP2]]
536   %cmp1 = icmp sle i8 %a, %b
537   %cmp2 = icmp slt i8 %a, %b
538   %and = and i1 %cmp1, %cmp2
539   ret i1 %and
542 define i1 @sle_uge(i8 %a, i8 %b) {
543 ; CHECK-LABEL: @sle_uge(
544 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
545 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %a, %b
546 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
547 ; CHECK-NEXT:    ret i1 [[AND]]
549   %cmp1 = icmp sle i8 %a, %b
550   %cmp2 = icmp uge i8 %a, %b
551   %and = and i1 %cmp1, %cmp2
552   ret i1 %and
555 define i1 @sle_ugt(i8 %a, i8 %b) {
556 ; CHECK-LABEL: @sle_ugt(
557 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
558 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 %a, %b
559 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
560 ; CHECK-NEXT:    ret i1 [[AND]]
562   %cmp1 = icmp sle i8 %a, %b
563   %cmp2 = icmp ugt i8 %a, %b
564   %and = and i1 %cmp1, %cmp2
565   ret i1 %and
568 define i1 @sle_ule(i8 %a, i8 %b) {
569 ; CHECK-LABEL: @sle_ule(
570 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
571 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 %a, %b
572 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
573 ; CHECK-NEXT:    ret i1 [[AND]]
575   %cmp1 = icmp sle i8 %a, %b
576   %cmp2 = icmp ule i8 %a, %b
577   %and = and i1 %cmp1, %cmp2
578   ret i1 %and
581 define i1 @sle_ult(i8 %a, i8 %b) {
582 ; CHECK-LABEL: @sle_ult(
583 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 %a, %b
584 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %a, %b
585 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
586 ; CHECK-NEXT:    ret i1 [[AND]]
588   %cmp1 = icmp sle i8 %a, %b
589   %cmp2 = icmp ult i8 %a, %b
590   %and = and i1 %cmp1, %cmp2
591   ret i1 %and
596 define i1 @slt_eq(i8 %a, i8 %b) {
597 ; CHECK-LABEL: @slt_eq(
598 ; CHECK-NEXT:    ret i1 false
600   %cmp1 = icmp slt i8 %a, %b
601   %cmp2 = icmp eq i8 %a, %b
602   %and = and i1 %cmp1, %cmp2
603   ret i1 %and
606 define i1 @slt_ne(i8 %a, i8 %b) {
607 ; CHECK-LABEL: @slt_ne(
608 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
609 ; CHECK-NEXT:    ret i1 [[CMP1]]
611   %cmp1 = icmp slt i8 %a, %b
612   %cmp2 = icmp ne i8 %a, %b
613   %and = and i1 %cmp1, %cmp2
614   ret i1 %and
617 define i1 @slt_sge(i8 %a, i8 %b) {
618 ; CHECK-LABEL: @slt_sge(
619 ; CHECK-NEXT:    ret i1 false
621   %cmp1 = icmp slt i8 %a, %b
622   %cmp2 = icmp sge i8 %a, %b
623   %and = and i1 %cmp1, %cmp2
624   ret i1 %and
627 define i1 @slt_sgt(i8 %a, i8 %b) {
628 ; CHECK-LABEL: @slt_sgt(
629 ; CHECK-NEXT:    ret i1 false
631   %cmp1 = icmp slt i8 %a, %b
632   %cmp2 = icmp sgt i8 %a, %b
633   %and = and i1 %cmp1, %cmp2
634   ret i1 %and
637 define i1 @slt_sle(i8 %a, i8 %b) {
638 ; CHECK-LABEL: @slt_sle(
639 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
640 ; CHECK-NEXT:    ret i1 [[CMP1]]
642   %cmp1 = icmp slt i8 %a, %b
643   %cmp2 = icmp sle i8 %a, %b
644   %and = and i1 %cmp1, %cmp2
645   ret i1 %and
648 define i1 @slt_slt(i8 %a, i8 %b) {
649 ; CHECK-LABEL: @slt_slt(
650 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
651 ; CHECK-NEXT:    ret i1 [[CMP1]]
653   %cmp1 = icmp slt i8 %a, %b
654   %cmp2 = icmp slt i8 %a, %b
655   %and = and i1 %cmp1, %cmp2
656   ret i1 %and
659 define i1 @slt_uge(i8 %a, i8 %b) {
660 ; CHECK-LABEL: @slt_uge(
661 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
662 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %a, %b
663 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
664 ; CHECK-NEXT:    ret i1 [[AND]]
666   %cmp1 = icmp slt i8 %a, %b
667   %cmp2 = icmp uge i8 %a, %b
668   %and = and i1 %cmp1, %cmp2
669   ret i1 %and
672 define i1 @slt_ugt(i8 %a, i8 %b) {
673 ; CHECK-LABEL: @slt_ugt(
674 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
675 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 %a, %b
676 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
677 ; CHECK-NEXT:    ret i1 [[AND]]
679   %cmp1 = icmp slt i8 %a, %b
680   %cmp2 = icmp ugt i8 %a, %b
681   %and = and i1 %cmp1, %cmp2
682   ret i1 %and
685 define i1 @slt_ule(i8 %a, i8 %b) {
686 ; CHECK-LABEL: @slt_ule(
687 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
688 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 %a, %b
689 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
690 ; CHECK-NEXT:    ret i1 [[AND]]
692   %cmp1 = icmp slt i8 %a, %b
693   %cmp2 = icmp ule i8 %a, %b
694   %and = and i1 %cmp1, %cmp2
695   ret i1 %and
698 define i1 @slt_ult(i8 %a, i8 %b) {
699 ; CHECK-LABEL: @slt_ult(
700 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 %a, %b
701 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %a, %b
702 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
703 ; CHECK-NEXT:    ret i1 [[AND]]
705   %cmp1 = icmp slt i8 %a, %b
706   %cmp2 = icmp ult i8 %a, %b
707   %and = and i1 %cmp1, %cmp2
708   ret i1 %and
713 define i1 @uge_eq(i8 %a, i8 %b) {
714 ; CHECK-LABEL: @uge_eq(
715 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 %a, %b
716 ; CHECK-NEXT:    ret i1 [[CMP2]]
718   %cmp1 = icmp uge i8 %a, %b
719   %cmp2 = icmp eq i8 %a, %b
720   %and = and i1 %cmp1, %cmp2
721   ret i1 %and
724 define i1 @uge_ne(i8 %a, i8 %b) {
725 ; CHECK-LABEL: @uge_ne(
726 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
727 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 %a, %b
728 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
729 ; CHECK-NEXT:    ret i1 [[AND]]
731   %cmp1 = icmp uge i8 %a, %b
732   %cmp2 = icmp ne i8 %a, %b
733   %and = and i1 %cmp1, %cmp2
734   ret i1 %and
737 define i1 @uge_sge(i8 %a, i8 %b) {
738 ; CHECK-LABEL: @uge_sge(
739 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
740 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 %a, %b
741 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
742 ; CHECK-NEXT:    ret i1 [[AND]]
744   %cmp1 = icmp uge i8 %a, %b
745   %cmp2 = icmp sge i8 %a, %b
746   %and = and i1 %cmp1, %cmp2
747   ret i1 %and
750 define i1 @uge_sgt(i8 %a, i8 %b) {
751 ; CHECK-LABEL: @uge_sgt(
752 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
753 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 %a, %b
754 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
755 ; CHECK-NEXT:    ret i1 [[AND]]
757   %cmp1 = icmp uge i8 %a, %b
758   %cmp2 = icmp sgt i8 %a, %b
759   %and = and i1 %cmp1, %cmp2
760   ret i1 %and
763 define i1 @uge_sle(i8 %a, i8 %b) {
764 ; CHECK-LABEL: @uge_sle(
765 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
766 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 %a, %b
767 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
768 ; CHECK-NEXT:    ret i1 [[AND]]
770   %cmp1 = icmp uge i8 %a, %b
771   %cmp2 = icmp sle i8 %a, %b
772   %and = and i1 %cmp1, %cmp2
773   ret i1 %and
776 define i1 @uge_slt(i8 %a, i8 %b) {
777 ; CHECK-LABEL: @uge_slt(
778 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
779 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 %a, %b
780 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
781 ; CHECK-NEXT:    ret i1 [[AND]]
783   %cmp1 = icmp uge i8 %a, %b
784   %cmp2 = icmp slt i8 %a, %b
785   %and = and i1 %cmp1, %cmp2
786   ret i1 %and
789 define i1 @uge_uge(i8 %a, i8 %b) {
790 ; CHECK-LABEL: @uge_uge(
791 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
792 ; CHECK-NEXT:    ret i1 [[CMP1]]
794   %cmp1 = icmp uge i8 %a, %b
795   %cmp2 = icmp uge i8 %a, %b
796   %and = and i1 %cmp1, %cmp2
797   ret i1 %and
800 define i1 @uge_ugt(i8 %a, i8 %b) {
801 ; CHECK-LABEL: @uge_ugt(
802 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 %a, %b
803 ; CHECK-NEXT:    ret i1 [[CMP2]]
805   %cmp1 = icmp uge i8 %a, %b
806   %cmp2 = icmp ugt i8 %a, %b
807   %and = and i1 %cmp1, %cmp2
808   ret i1 %and
811 define i1 @uge_ule(i8 %a, i8 %b) {
812 ; CHECK-LABEL: @uge_ule(
813 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 %a, %b
814 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 %a, %b
815 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
816 ; CHECK-NEXT:    ret i1 [[AND]]
818   %cmp1 = icmp uge i8 %a, %b
819   %cmp2 = icmp ule i8 %a, %b
820   %and = and i1 %cmp1, %cmp2
821   ret i1 %and
824 define i1 @uge_ult(i8 %a, i8 %b) {
825 ; CHECK-LABEL: @uge_ult(
826 ; CHECK-NEXT:    ret i1 false
828   %cmp1 = icmp uge i8 %a, %b
829   %cmp2 = icmp ult i8 %a, %b
830   %and = and i1 %cmp1, %cmp2
831   ret i1 %and
836 define i1 @ugt_eq(i8 %a, i8 %b) {
837 ; CHECK-LABEL: @ugt_eq(
838 ; CHECK-NEXT:    ret i1 false
840   %cmp1 = icmp ugt i8 %a, %b
841   %cmp2 = icmp eq i8 %a, %b
842   %and = and i1 %cmp1, %cmp2
843   ret i1 %and
846 define i1 @ugt_ne(i8 %a, i8 %b) {
847 ; CHECK-LABEL: @ugt_ne(
848 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
849 ; CHECK-NEXT:    ret i1 [[CMP1]]
851   %cmp1 = icmp ugt i8 %a, %b
852   %cmp2 = icmp ne i8 %a, %b
853   %and = and i1 %cmp1, %cmp2
854   ret i1 %and
857 define i1 @ugt_sge(i8 %a, i8 %b) {
858 ; CHECK-LABEL: @ugt_sge(
859 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
860 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 %a, %b
861 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
862 ; CHECK-NEXT:    ret i1 [[AND]]
864   %cmp1 = icmp ugt i8 %a, %b
865   %cmp2 = icmp sge i8 %a, %b
866   %and = and i1 %cmp1, %cmp2
867   ret i1 %and
870 define i1 @ugt_sgt(i8 %a, i8 %b) {
871 ; CHECK-LABEL: @ugt_sgt(
872 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
873 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 %a, %b
874 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
875 ; CHECK-NEXT:    ret i1 [[AND]]
877   %cmp1 = icmp ugt i8 %a, %b
878   %cmp2 = icmp sgt i8 %a, %b
879   %and = and i1 %cmp1, %cmp2
880   ret i1 %and
883 define i1 @ugt_sle(i8 %a, i8 %b) {
884 ; CHECK-LABEL: @ugt_sle(
885 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
886 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 %a, %b
887 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
888 ; CHECK-NEXT:    ret i1 [[AND]]
890   %cmp1 = icmp ugt i8 %a, %b
891   %cmp2 = icmp sle i8 %a, %b
892   %and = and i1 %cmp1, %cmp2
893   ret i1 %and
896 define i1 @ugt_slt(i8 %a, i8 %b) {
897 ; CHECK-LABEL: @ugt_slt(
898 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
899 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 %a, %b
900 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
901 ; CHECK-NEXT:    ret i1 [[AND]]
903   %cmp1 = icmp ugt i8 %a, %b
904   %cmp2 = icmp slt i8 %a, %b
905   %and = and i1 %cmp1, %cmp2
906   ret i1 %and
909 define i1 @ugt_uge(i8 %a, i8 %b) {
910 ; CHECK-LABEL: @ugt_uge(
911 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
912 ; CHECK-NEXT:    ret i1 [[CMP1]]
914   %cmp1 = icmp ugt i8 %a, %b
915   %cmp2 = icmp uge i8 %a, %b
916   %and = and i1 %cmp1, %cmp2
917   ret i1 %and
920 define i1 @ugt_ugt(i8 %a, i8 %b) {
921 ; CHECK-LABEL: @ugt_ugt(
922 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 %a, %b
923 ; CHECK-NEXT:    ret i1 [[CMP1]]
925   %cmp1 = icmp ugt i8 %a, %b
926   %cmp2 = icmp ugt i8 %a, %b
927   %and = and i1 %cmp1, %cmp2
928   ret i1 %and
931 define i1 @ugt_ule(i8 %a, i8 %b) {
932 ; CHECK-LABEL: @ugt_ule(
933 ; CHECK-NEXT:    ret i1 false
935   %cmp1 = icmp ugt i8 %a, %b
936   %cmp2 = icmp ule i8 %a, %b
937   %and = and i1 %cmp1, %cmp2
938   ret i1 %and
941 define i1 @ugt_ult(i8 %a, i8 %b) {
942 ; CHECK-LABEL: @ugt_ult(
943 ; CHECK-NEXT:    ret i1 false
945   %cmp1 = icmp ugt i8 %a, %b
946   %cmp2 = icmp ult i8 %a, %b
947   %and = and i1 %cmp1, %cmp2
948   ret i1 %and
953 define i1 @ule_eq(i8 %a, i8 %b) {
954 ; CHECK-LABEL: @ule_eq(
955 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 %a, %b
956 ; CHECK-NEXT:    ret i1 [[CMP2]]
958   %cmp1 = icmp ule i8 %a, %b
959   %cmp2 = icmp eq i8 %a, %b
960   %and = and i1 %cmp1, %cmp2
961   ret i1 %and
964 define i1 @ule_ne(i8 %a, i8 %b) {
965 ; CHECK-LABEL: @ule_ne(
966 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
967 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 %a, %b
968 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
969 ; CHECK-NEXT:    ret i1 [[AND]]
971   %cmp1 = icmp ule i8 %a, %b
972   %cmp2 = icmp ne i8 %a, %b
973   %and = and i1 %cmp1, %cmp2
974   ret i1 %and
977 define i1 @ule_sge(i8 %a, i8 %b) {
978 ; CHECK-LABEL: @ule_sge(
979 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
980 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 %a, %b
981 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
982 ; CHECK-NEXT:    ret i1 [[AND]]
984   %cmp1 = icmp ule i8 %a, %b
985   %cmp2 = icmp sge i8 %a, %b
986   %and = and i1 %cmp1, %cmp2
987   ret i1 %and
990 define i1 @ule_sgt(i8 %a, i8 %b) {
991 ; CHECK-LABEL: @ule_sgt(
992 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
993 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 %a, %b
994 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
995 ; CHECK-NEXT:    ret i1 [[AND]]
997   %cmp1 = icmp ule i8 %a, %b
998   %cmp2 = icmp sgt i8 %a, %b
999   %and = and i1 %cmp1, %cmp2
1000   ret i1 %and
1003 define i1 @ule_sle(i8 %a, i8 %b) {
1004 ; CHECK-LABEL: @ule_sle(
1005 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
1006 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 %a, %b
1007 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1008 ; CHECK-NEXT:    ret i1 [[AND]]
1010   %cmp1 = icmp ule i8 %a, %b
1011   %cmp2 = icmp sle i8 %a, %b
1012   %and = and i1 %cmp1, %cmp2
1013   ret i1 %and
1016 define i1 @ule_slt(i8 %a, i8 %b) {
1017 ; CHECK-LABEL: @ule_slt(
1018 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
1019 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 %a, %b
1020 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1021 ; CHECK-NEXT:    ret i1 [[AND]]
1023   %cmp1 = icmp ule i8 %a, %b
1024   %cmp2 = icmp slt i8 %a, %b
1025   %and = and i1 %cmp1, %cmp2
1026   ret i1 %and
1029 define i1 @ule_uge(i8 %a, i8 %b) {
1030 ; CHECK-LABEL: @ule_uge(
1031 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
1032 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %a, %b
1033 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1034 ; CHECK-NEXT:    ret i1 [[AND]]
1036   %cmp1 = icmp ule i8 %a, %b
1037   %cmp2 = icmp uge i8 %a, %b
1038   %and = and i1 %cmp1, %cmp2
1039   ret i1 %and
1042 define i1 @ule_ugt(i8 %a, i8 %b) {
1043 ; CHECK-LABEL: @ule_ugt(
1044 ; CHECK-NEXT:    ret i1 false
1046   %cmp1 = icmp ule i8 %a, %b
1047   %cmp2 = icmp ugt i8 %a, %b
1048   %and = and i1 %cmp1, %cmp2
1049   ret i1 %and
1052 define i1 @ule_ule(i8 %a, i8 %b) {
1053 ; CHECK-LABEL: @ule_ule(
1054 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 %a, %b
1055 ; CHECK-NEXT:    ret i1 [[CMP1]]
1057   %cmp1 = icmp ule i8 %a, %b
1058   %cmp2 = icmp ule i8 %a, %b
1059   %and = and i1 %cmp1, %cmp2
1060   ret i1 %and
1063 define i1 @ule_ult(i8 %a, i8 %b) {
1064 ; CHECK-LABEL: @ule_ult(
1065 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %a, %b
1066 ; CHECK-NEXT:    ret i1 [[CMP2]]
1068   %cmp1 = icmp ule i8 %a, %b
1069   %cmp2 = icmp ult i8 %a, %b
1070   %and = and i1 %cmp1, %cmp2
1071   ret i1 %and
1076 define i1 @ult_eq(i8 %a, i8 %b) {
1077 ; CHECK-LABEL: @ult_eq(
1078 ; CHECK-NEXT:    ret i1 false
1080   %cmp1 = icmp ult i8 %a, %b
1081   %cmp2 = icmp eq i8 %a, %b
1082   %and = and i1 %cmp1, %cmp2
1083   ret i1 %and
1086 define i1 @ult_ne(i8 %a, i8 %b) {
1087 ; CHECK-LABEL: @ult_ne(
1088 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1089 ; CHECK-NEXT:    ret i1 [[CMP1]]
1091   %cmp1 = icmp ult i8 %a, %b
1092   %cmp2 = icmp ne i8 %a, %b
1093   %and = and i1 %cmp1, %cmp2
1094   ret i1 %and
1097 define i1 @ult_sge(i8 %a, i8 %b) {
1098 ; CHECK-LABEL: @ult_sge(
1099 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1100 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 %a, %b
1101 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1102 ; CHECK-NEXT:    ret i1 [[AND]]
1104   %cmp1 = icmp ult i8 %a, %b
1105   %cmp2 = icmp sge i8 %a, %b
1106   %and = and i1 %cmp1, %cmp2
1107   ret i1 %and
1110 define i1 @ult_sgt(i8 %a, i8 %b) {
1111 ; CHECK-LABEL: @ult_sgt(
1112 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1113 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 %a, %b
1114 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1115 ; CHECK-NEXT:    ret i1 [[AND]]
1117   %cmp1 = icmp ult i8 %a, %b
1118   %cmp2 = icmp sgt i8 %a, %b
1119   %and = and i1 %cmp1, %cmp2
1120   ret i1 %and
1123 define i1 @ult_sle(i8 %a, i8 %b) {
1124 ; CHECK-LABEL: @ult_sle(
1125 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1126 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 %a, %b
1127 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1128 ; CHECK-NEXT:    ret i1 [[AND]]
1130   %cmp1 = icmp ult i8 %a, %b
1131   %cmp2 = icmp sle i8 %a, %b
1132   %and = and i1 %cmp1, %cmp2
1133   ret i1 %and
1136 define i1 @ult_slt(i8 %a, i8 %b) {
1137 ; CHECK-LABEL: @ult_slt(
1138 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1139 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 %a, %b
1140 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1141 ; CHECK-NEXT:    ret i1 [[AND]]
1143   %cmp1 = icmp ult i8 %a, %b
1144   %cmp2 = icmp slt i8 %a, %b
1145   %and = and i1 %cmp1, %cmp2
1146   ret i1 %and
1149 define i1 @ult_uge(i8 %a, i8 %b) {
1150 ; CHECK-LABEL: @ult_uge(
1151 ; CHECK-NEXT:    ret i1 false
1153   %cmp1 = icmp ult i8 %a, %b
1154   %cmp2 = icmp uge i8 %a, %b
1155   %and = and i1 %cmp1, %cmp2
1156   ret i1 %and
1159 define i1 @ult_ugt(i8 %a, i8 %b) {
1160 ; CHECK-LABEL: @ult_ugt(
1161 ; CHECK-NEXT:    ret i1 false
1163   %cmp1 = icmp ult i8 %a, %b
1164   %cmp2 = icmp ugt i8 %a, %b
1165   %and = and i1 %cmp1, %cmp2
1166   ret i1 %and
1169 define i1 @ult_ule(i8 %a, i8 %b) {
1170 ; CHECK-LABEL: @ult_ule(
1171 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1172 ; CHECK-NEXT:    ret i1 [[CMP1]]
1174   %cmp1 = icmp ult i8 %a, %b
1175   %cmp2 = icmp ule i8 %a, %b
1176   %and = and i1 %cmp1, %cmp2
1177   ret i1 %and
1180 define i1 @ult_ult(i8 %a, i8 %b) {
1181 ; CHECK-LABEL: @ult_ult(
1182 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1183 ; CHECK-NEXT:    ret i1 [[CMP1]]
1185   %cmp1 = icmp ult i8 %a, %b
1186   %cmp2 = icmp ult i8 %a, %b
1187   %and = and i1 %cmp1, %cmp2
1188   ret i1 %and
1191 ; Check a couple of vector variants to make sure those work too.
1193 define <2 x i1> @ult_uge_vec(<2 x i8> %a, <2 x i8> %b) {
1194 ; CHECK-LABEL: @ult_uge_vec(
1195 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
1197   %cmp1 = icmp ult <2 x i8> %a, %b
1198   %cmp2 = icmp uge <2 x i8> %a, %b
1199   %and = and <2 x i1> %cmp1, %cmp2
1200   ret <2 x i1> %and
1203 define <2 x i1> @ult_ule_vec(<2 x i8> %a, <2 x i8> %b) {
1204 ; CHECK-LABEL: @ult_ule_vec(
1205 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i8> %a, %b
1206 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
1208   %cmp1 = icmp ult <2 x i8> %a, %b
1209   %cmp2 = icmp ule <2 x i8> %a, %b
1210   %and = and <2 x i1> %cmp1, %cmp2
1211   ret <2 x i1> %and
1214 define i1 @ult_uge_swap(i8 %a, i8 %b) {
1215 ; CHECK-LABEL: @ult_uge_swap(
1216 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1217 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 %b, %a
1218 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1219 ; CHECK-NEXT:    ret i1 [[AND]]
1221   %cmp1 = icmp ult i8 %a, %b
1222   %cmp2 = icmp uge i8 %b, %a
1223   %and = and i1 %cmp1, %cmp2
1224   ret i1 %and
1227 define i1 @ult_ult_swap(i8 %a, i8 %b) {
1228 ; CHECK-LABEL: @ult_ult_swap(
1229 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 %a, %b
1230 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 %b, %a
1231 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1232 ; CHECK-NEXT:    ret i1 [[AND]]
1234   %cmp1 = icmp ult i8 %a, %b
1235   %cmp2 = icmp ult i8 %b, %a
1236   %and = and i1 %cmp1, %cmp2
1237   ret i1 %and