llvm/test/CodeGen/AArch64/min-max-combine.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s --check-prefixes=CHECK-ISEL
   3 ; RUN: llc -mtriple=aarch64 %s -o - -mattr=cssc | FileCheck %s --check-prefixes=CHECK-CSSC
   4 ; RUN: llc -mtriple=aarch64 -global-isel %s -o - | FileCheck %s --check-prefixes=CHECK-GLOBAL
   5 ; RUN: llc -mtriple=aarch64 -global-isel %s -o - -mattr=cssc | FileCheck %s --check-prefixes=CHECK-CSSC
   6
   7 ; These tests check for @llvm.smax, @llvm.smin combines.
   8
   9 ; SMAX
  10
  11 declare i8 @llvm.smax.i8(i8 %a, i8 %b) readnone
  12
  13 define i8 @smaxi8_zero(i8 %a) {
  14 ; CHECK-ISEL-LABEL: smaxi8_zero:
  15 ; CHECK-ISEL:       // %bb.0:
  16 ; CHECK-ISEL-NEXT:    sxtb w8, w0
  17 ; CHECK-ISEL-NEXT:    bic w0, w8, w8, asr #31
  18 ; CHECK-ISEL-NEXT:    ret
  19 ;
  20 ; CHECK-CSSC-LABEL: smaxi8_zero:
  21 ; CHECK-CSSC:       // %bb.0:
  22 ; CHECK-CSSC-NEXT:    sxtb w8, w0
  23 ; CHECK-CSSC-NEXT:    smax w0, w8, #0
  24 ; CHECK-CSSC-NEXT:    ret
  25 ;
  26 ; CHECK-GLOBAL-LABEL: smaxi8_zero:
  27 ; CHECK-GLOBAL:       // %bb.0:
  28 ; CHECK-GLOBAL-NEXT:    sxtb w8, w0
  29 ; CHECK-GLOBAL-NEXT:    cmp w8, #0
  30 ; CHECK-GLOBAL-NEXT:    csel w0, w0, wzr, gt
  31 ; CHECK-GLOBAL-NEXT:    ret
  32   %c = call i8 @llvm.smax.i8(i8 %a, i8 0)
  33   ret i8 %c
  34 }
  35
  36 declare i16 @llvm.smax.i16(i16 %a, i16 %b) readnone
  37
  38 define i16 @smaxi16_zero(i16 %a) {
  39 ; CHECK-ISEL-LABEL: smaxi16_zero:
  40 ; CHECK-ISEL:       // %bb.0:
  41 ; CHECK-ISEL-NEXT:    sxth w8, w0
  42 ; CHECK-ISEL-NEXT:    bic w0, w8, w8, asr #31
  43 ; CHECK-ISEL-NEXT:    ret
  44 ;
  45 ; CHECK-CSSC-LABEL: smaxi16_zero:
  46 ; CHECK-CSSC:       // %bb.0:
  47 ; CHECK-CSSC-NEXT:    sxth w8, w0
  48 ; CHECK-CSSC-NEXT:    smax w0, w8, #0
  49 ; CHECK-CSSC-NEXT:    ret
  50 ;
  51 ; CHECK-GLOBAL-LABEL: smaxi16_zero:
  52 ; CHECK-GLOBAL:       // %bb.0:
  53 ; CHECK-GLOBAL-NEXT:    sxth w8, w0
  54 ; CHECK-GLOBAL-NEXT:    cmp w8, #0
  55 ; CHECK-GLOBAL-NEXT:    csel w0, w0, wzr, gt
  56 ; CHECK-GLOBAL-NEXT:    ret
  57   %c = call i16 @llvm.smax.i16(i16 %a, i16 0)
  58   ret i16 %c
  59 }
  60
  61 declare i32 @llvm.smax.i32(i32 %a, i32 %b) readnone
  62
  63 define i32 @smaxi32_zero(i32 %a) {
  64 ; CHECK-ISEL-LABEL: smaxi32_zero:
  65 ; CHECK-ISEL:       // %bb.0:
  66 ; CHECK-ISEL-NEXT:    bic w0, w0, w0, asr #31
  67 ; CHECK-ISEL-NEXT:    ret
  68 ;
  69 ; CHECK-CSSC-LABEL: smaxi32_zero:
  70 ; CHECK-CSSC:       // %bb.0:
  71 ; CHECK-CSSC-NEXT:    smax w0, w0, #0
  72 ; CHECK-CSSC-NEXT:    ret
  73 ;
  74 ; CHECK-GLOBAL-LABEL: smaxi32_zero:
  75 ; CHECK-GLOBAL:       // %bb.0:
  76 ; CHECK-GLOBAL-NEXT:    cmp w0, #0
  77 ; CHECK-GLOBAL-NEXT:    csel w0, w0, wzr, gt
  78 ; CHECK-GLOBAL-NEXT:    ret
  79   %c = call i32 @llvm.smax.i32(i32 %a, i32 0)
  80   ret i32 %c
  81 }
  82
  83 declare i64 @llvm.smax.i64(i64 %a, i64 %b) readnone
  84
  85 define i64 @smaxi64_zero(i64 %a) {
  86 ; CHECK-ISEL-LABEL: smaxi64_zero:
  87 ; CHECK-ISEL:       // %bb.0:
  88 ; CHECK-ISEL-NEXT:    bic x0, x0, x0, asr #63
  89 ; CHECK-ISEL-NEXT:    ret
  90 ;
  91 ; CHECK-CSSC-LABEL: smaxi64_zero:
  92 ; CHECK-CSSC:       // %bb.0:
  93 ; CHECK-CSSC-NEXT:    smax x0, x0, #0
  94 ; CHECK-CSSC-NEXT:    ret
  95 ;
  96 ; CHECK-GLOBAL-LABEL: smaxi64_zero:
  97 ; CHECK-GLOBAL:       // %bb.0:
  98 ; CHECK-GLOBAL-NEXT:    cmp x0, #0
  99 ; CHECK-GLOBAL-NEXT:    csel x0, x0, xzr, gt
 100 ; CHECK-GLOBAL-NEXT:    ret
 101   %c = call i64 @llvm.smax.i64(i64 %a, i64 0)
 102   ret i64 %c
 103 }
 104
 105 ; SMIN
 106
 107 declare i8 @llvm.smin.i8(i8 %a, i8 %b) readnone
 108
 109 define i8 @smini8_zero(i8 %a) {
 110 ; CHECK-ISEL-LABEL: smini8_zero:
 111 ; CHECK-ISEL:       // %bb.0:
 112 ; CHECK-ISEL-NEXT:    sxtb w8, w0
 113 ; CHECK-ISEL-NEXT:    and w0, w8, w8, asr #31
 114 ; CHECK-ISEL-NEXT:    ret
 115 ;
 116 ; CHECK-CSSC-LABEL: smini8_zero:
 117 ; CHECK-CSSC:       // %bb.0:
 118 ; CHECK-CSSC-NEXT:    sxtb w8, w0
 119 ; CHECK-CSSC-NEXT:    smin w0, w8, #0
 120 ; CHECK-CSSC-NEXT:    ret
 121 ;
 122 ; CHECK-GLOBAL-LABEL: smini8_zero:
 123 ; CHECK-GLOBAL:       // %bb.0:
 124 ; CHECK-GLOBAL-NEXT:    sxtb w8, w0
 125 ; CHECK-GLOBAL-NEXT:    cmp w8, #0
 126 ; CHECK-GLOBAL-NEXT:    csel w0, w0, wzr, lt
 127 ; CHECK-GLOBAL-NEXT:    ret
 128   %c = call i8 @llvm.smin.i8(i8 %a, i8 0)
 129   ret i8 %c
 130 }
 131
 132 declare i16 @llvm.smin.i16(i16 %a, i16 %b) readnone
 133
 134 define i16 @smini16_zero(i16 %a) {
 135 ; CHECK-ISEL-LABEL: smini16_zero:
 136 ; CHECK-ISEL:       // %bb.0:
 137 ; CHECK-ISEL-NEXT:    sxth w8, w0
 138 ; CHECK-ISEL-NEXT:    and w0, w8, w8, asr #31
 139 ; CHECK-ISEL-NEXT:    ret
 140 ;
 141 ; CHECK-CSSC-LABEL: smini16_zero:
 142 ; CHECK-CSSC:       // %bb.0:
 143 ; CHECK-CSSC-NEXT:    sxth w8, w0
 144 ; CHECK-CSSC-NEXT:    smin w0, w8, #0
 145 ; CHECK-CSSC-NEXT:    ret
 146 ;
 147 ; CHECK-GLOBAL-LABEL: smini16_zero:
 148 ; CHECK-GLOBAL:       // %bb.0:
 149 ; CHECK-GLOBAL-NEXT:    sxth w8, w0
 150 ; CHECK-GLOBAL-NEXT:    cmp w8, #0
 151 ; CHECK-GLOBAL-NEXT:    csel w0, w0, wzr, lt
 152 ; CHECK-GLOBAL-NEXT:    ret
 153   %c = call i16 @llvm.smin.i16(i16 %a, i16 0)
 154   ret i16 %c
 155 }
 156
 157 declare i32 @llvm.smin.i32(i32 %a, i32 %b) readnone
 158
 159 define i32 @smini32_zero(i32 %a) {
 160 ; CHECK-ISEL-LABEL: smini32_zero:
 161 ; CHECK-ISEL:       // %bb.0:
 162 ; CHECK-ISEL-NEXT:    and w0, w0, w0, asr #31
 163 ; CHECK-ISEL-NEXT:    ret
 164 ;
 165 ; CHECK-CSSC-LABEL: smini32_zero:
 166 ; CHECK-CSSC:       // %bb.0:
 167 ; CHECK-CSSC-NEXT:    smin w0, w0, #0
 168 ; CHECK-CSSC-NEXT:    ret
 169 ;
 170 ; CHECK-GLOBAL-LABEL: smini32_zero:
 171 ; CHECK-GLOBAL:       // %bb.0:
 172 ; CHECK-GLOBAL-NEXT:    cmp w0, #0
 173 ; CHECK-GLOBAL-NEXT:    csel w0, w0, wzr, lt
 174 ; CHECK-GLOBAL-NEXT:    ret
 175   %c = call i32 @llvm.smin.i32(i32 %a, i32 0)
 176   ret i32 %c
 177 }
 178
 179 declare i64 @llvm.smin.i64(i64 %a, i64 %b) readnone
 180
 181 define i64 @smini64_zero(i64 %a) {
 182 ; CHECK-ISEL-LABEL: smini64_zero:
 183 ; CHECK-ISEL:       // %bb.0:
 184 ; CHECK-ISEL-NEXT:    and x0, x0, x0, asr #63
 185 ; CHECK-ISEL-NEXT:    ret
 186 ;
 187 ; CHECK-CSSC-LABEL: smini64_zero:
 188 ; CHECK-CSSC:       // %bb.0:
 189 ; CHECK-CSSC-NEXT:    smin x0, x0, #0
 190 ; CHECK-CSSC-NEXT:    ret
 191 ;
 192 ; CHECK-GLOBAL-LABEL: smini64_zero:
 193 ; CHECK-GLOBAL:       // %bb.0:
 194 ; CHECK-GLOBAL-NEXT:    cmp x0, #0
 195 ; CHECK-GLOBAL-NEXT:    csel x0, x0, xzr, lt
 196 ; CHECK-GLOBAL-NEXT:    ret
 197   %c = call i64 @llvm.smin.i64(i64 %a, i64 0)
 198   ret i64 %c
 199 }