| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=aarch64-- | FileCheck %s --check-prefixes=CHECK,SDISEL |
| ; RUN: llc < %s -mtriple=aarch64-- -global-isel | FileCheck %s --check-prefixes=CHECK,GISEL |
| |
| ; Ensure chains of comparisons produce chains of `ccmp` |
| |
| ; (x0 < x1) && (x2 > x3) |
| define i32 @cmp_and2(i32 %0, i32 %1, i32 %2, i32 %3) { |
| ; SDISEL-LABEL: cmp_and2: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: cmp w0, w1 |
| ; SDISEL-NEXT: ccmp w2, w3, #0, lo |
| ; SDISEL-NEXT: cset w0, hi |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: cmp_and2: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, w1 |
| ; GISEL-NEXT: cset w8, lo |
| ; GISEL-NEXT: cmp w2, w3 |
| ; GISEL-NEXT: cset w9, hi |
| ; GISEL-NEXT: and w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %5 = icmp ult i32 %0, %1 |
| %6 = icmp ugt i32 %2, %3 |
| %7 = select i1 %5, i1 %6, i1 false |
| %8 = zext i1 %7 to i32 |
| ret i32 %8 |
| } |
| |
| ; (x0 < x1) && (x2 > x3) && (x4 != x5) |
| define i32 @cmp_and3(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5) { |
| ; SDISEL-LABEL: cmp_and3: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: cmp w0, w1 |
| ; SDISEL-NEXT: ccmp w2, w3, #0, lo |
| ; SDISEL-NEXT: ccmp w4, w5, #4, hi |
| ; SDISEL-NEXT: cset w0, ne |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: cmp_and3: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, w1 |
| ; GISEL-NEXT: cset w8, lo |
| ; GISEL-NEXT: cmp w2, w3 |
| ; GISEL-NEXT: cset w9, hi |
| ; GISEL-NEXT: cmp w4, w5 |
| ; GISEL-NEXT: and w8, w8, w9 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: and w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %7 = icmp ult i32 %0, %1 |
| %8 = icmp ugt i32 %2, %3 |
| %9 = select i1 %7, i1 %8, i1 false |
| %10 = icmp ne i32 %4, %5 |
| %11 = select i1 %9, i1 %10, i1 false |
| %12 = zext i1 %11 to i32 |
| ret i32 %12 |
| } |
| |
| ; (x0 < x1) && (x2 > x3) && (x4 != x5) && (x6 == x7) |
| define i32 @cmp_and4(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7) { |
| ; SDISEL-LABEL: cmp_and4: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: cmp w2, w3 |
| ; SDISEL-NEXT: ccmp w0, w1, #2, hi |
| ; SDISEL-NEXT: ccmp w4, w5, #4, lo |
| ; SDISEL-NEXT: ccmp w6, w7, #0, ne |
| ; SDISEL-NEXT: cset w0, eq |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: cmp_and4: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w2, w3 |
| ; GISEL-NEXT: cset w8, hi |
| ; GISEL-NEXT: cmp w0, w1 |
| ; GISEL-NEXT: cset w9, lo |
| ; GISEL-NEXT: cmp w4, w5 |
| ; GISEL-NEXT: and w8, w8, w9 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: cmp w6, w7 |
| ; GISEL-NEXT: and w8, w8, w9 |
| ; GISEL-NEXT: cset w9, eq |
| ; GISEL-NEXT: and w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %9 = icmp ugt i32 %2, %3 |
| %10 = icmp ult i32 %0, %1 |
| %11 = select i1 %9, i1 %10, i1 false |
| %12 = icmp ne i32 %4, %5 |
| %13 = select i1 %11, i1 %12, i1 false |
| %14 = icmp eq i32 %6, %7 |
| %15 = select i1 %13, i1 %14, i1 false |
| %16 = zext i1 %15 to i32 |
| ret i32 %16 |
| } |
| |
| ; (x0 < x1) || (x2 > x3) |
| define i32 @cmp_or2(i32 %0, i32 %1, i32 %2, i32 %3) { |
| ; SDISEL-LABEL: cmp_or2: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: cmp w0, w1 |
| ; SDISEL-NEXT: ccmp w2, w3, #0, hs |
| ; SDISEL-NEXT: cset w0, ne |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: cmp_or2: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, w1 |
| ; GISEL-NEXT: cset w8, lo |
| ; GISEL-NEXT: cmp w2, w3 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: orr w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %5 = icmp ult i32 %0, %1 |
| %6 = icmp ne i32 %2, %3 |
| %7 = select i1 %5, i1 true, i1 %6 |
| %8 = zext i1 %7 to i32 |
| ret i32 %8 |
| } |
| |
| ; (x0 < x1) || (x2 > x3) || (x4 != x5) |
| define i32 @cmp_or3(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5) { |
| ; SDISEL-LABEL: cmp_or3: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: cmp w0, w1 |
| ; SDISEL-NEXT: ccmp w2, w3, #2, hs |
| ; SDISEL-NEXT: ccmp w4, w5, #0, ls |
| ; SDISEL-NEXT: cset w0, ne |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: cmp_or3: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, w1 |
| ; GISEL-NEXT: cset w8, lo |
| ; GISEL-NEXT: cmp w2, w3 |
| ; GISEL-NEXT: cset w9, hi |
| ; GISEL-NEXT: cmp w4, w5 |
| ; GISEL-NEXT: orr w8, w8, w9 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: orr w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %7 = icmp ult i32 %0, %1 |
| %8 = icmp ugt i32 %2, %3 |
| %9 = select i1 %7, i1 true, i1 %8 |
| %10 = icmp ne i32 %4, %5 |
| %11 = select i1 %9, i1 true, i1 %10 |
| %12 = zext i1 %11 to i32 |
| ret i32 %12 |
| } |
| |
| ; (x0 < x1) || (x2 > x3) || (x4 != x5) || (x6 == x7) |
| define i32 @cmp_or4(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7) { |
| ; SDISEL-LABEL: cmp_or4: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: cmp w0, w1 |
| ; SDISEL-NEXT: ccmp w2, w3, #2, hs |
| ; SDISEL-NEXT: ccmp w4, w5, #0, ls |
| ; SDISEL-NEXT: ccmp w6, w7, #4, eq |
| ; SDISEL-NEXT: cset w0, eq |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: cmp_or4: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, w1 |
| ; GISEL-NEXT: cset w8, lo |
| ; GISEL-NEXT: cmp w2, w3 |
| ; GISEL-NEXT: cset w9, hi |
| ; GISEL-NEXT: cmp w4, w5 |
| ; GISEL-NEXT: orr w8, w8, w9 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: cmp w6, w7 |
| ; GISEL-NEXT: orr w8, w8, w9 |
| ; GISEL-NEXT: cset w9, eq |
| ; GISEL-NEXT: orr w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %9 = icmp ult i32 %0, %1 |
| %10 = icmp ugt i32 %2, %3 |
| %11 = select i1 %9, i1 true, i1 %10 |
| %12 = icmp ne i32 %4, %5 |
| %13 = select i1 %11, i1 true, i1 %12 |
| %14 = icmp eq i32 %6, %7 |
| %15 = select i1 %13, i1 true, i1 %14 |
| %16 = zext i1 %15 to i32 |
| ret i32 %16 |
| } |
| |
| ; (x0 != 0) || (x1 != 0) |
| define i32 @true_or2(i32 %0, i32 %1) { |
| ; SDISEL-LABEL: true_or2: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: orr w8, w0, w1 |
| ; SDISEL-NEXT: cmp w8, #0 |
| ; SDISEL-NEXT: cset w0, ne |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: true_or2: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, #0 |
| ; GISEL-NEXT: cset w8, ne |
| ; GISEL-NEXT: cmp w1, #0 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: orr w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %3 = icmp ne i32 %0, 0 |
| %4 = icmp ne i32 %1, 0 |
| %5 = select i1 %3, i1 true, i1 %4 |
| %6 = zext i1 %5 to i32 |
| ret i32 %6 |
| } |
| |
| ; (x0 != 0) || (x1 != 0) || (x2 != 0) |
| define i32 @true_or3(i32 %0, i32 %1, i32 %2) { |
| ; SDISEL-LABEL: true_or3: |
| ; SDISEL: // %bb.0: |
| ; SDISEL-NEXT: orr w8, w0, w1 |
| ; SDISEL-NEXT: orr w8, w8, w2 |
| ; SDISEL-NEXT: cmp w8, #0 |
| ; SDISEL-NEXT: cset w0, ne |
| ; SDISEL-NEXT: ret |
| ; |
| ; GISEL-LABEL: true_or3: |
| ; GISEL: // %bb.0: |
| ; GISEL-NEXT: cmp w0, #0 |
| ; GISEL-NEXT: cset w8, ne |
| ; GISEL-NEXT: cmp w1, #0 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: cmp w2, #0 |
| ; GISEL-NEXT: orr w8, w8, w9 |
| ; GISEL-NEXT: cset w9, ne |
| ; GISEL-NEXT: orr w0, w8, w9 |
| ; GISEL-NEXT: ret |
| %4 = icmp ne i32 %0, 0 |
| %5 = icmp ne i32 %1, 0 |
| %6 = select i1 %4, i1 true, i1 %5 |
| %7 = icmp ne i32 %2, 0 |
| %8 = select i1 %6, i1 true, i1 %7 |
| %9 = zext i1 %8 to i32 |
| ret i32 %9 |
| } |
| ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line: |
| ; CHECK: {{.*}} |