llvm/test/CodeGen/RISCV/ucmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: llc < %s -mtriple=riscv32 | FileCheck %s --check-prefix=RV32I
   3 ; RUN: llc < %s -mtriple=riscv64 | FileCheck %s --check-prefix=RV64I
   4
   5 define i8 @ucmp.8.8(i8 zeroext %x, i8 zeroext %y) nounwind {
   6 ; RV32I-LABEL: ucmp.8.8:
   7 ; RV32I:       # %bb.0:
   8 ; RV32I-NEXT:    sltu a2, a0, a1
   9 ; RV32I-NEXT:    sltu a0, a1, a0
  10 ; RV32I-NEXT:    sub a0, a0, a2
  11 ; RV32I-NEXT:    ret
  12 ;
  13 ; RV64I-LABEL: ucmp.8.8:
  14 ; RV64I:       # %bb.0:
  15 ; RV64I-NEXT:    sltu a2, a0, a1
  16 ; RV64I-NEXT:    sltu a0, a1, a0
  17 ; RV64I-NEXT:    sub a0, a0, a2
  18 ; RV64I-NEXT:    ret
  19   %1 = call i8 @llvm.ucmp(i8 %x, i8 %y)
  20   ret i8 %1
  21 }
  22
  23 define i8 @ucmp.8.16(i16 zeroext %x, i16 zeroext %y) nounwind {
  24 ; RV32I-LABEL: ucmp.8.16:
  25 ; RV32I:       # %bb.0:
  26 ; RV32I-NEXT:    sltu a2, a0, a1
  27 ; RV32I-NEXT:    sltu a0, a1, a0
  28 ; RV32I-NEXT:    sub a0, a0, a2
  29 ; RV32I-NEXT:    ret
  30 ;
  31 ; RV64I-LABEL: ucmp.8.16:
  32 ; RV64I:       # %bb.0:
  33 ; RV64I-NEXT:    sltu a2, a0, a1
  34 ; RV64I-NEXT:    sltu a0, a1, a0
  35 ; RV64I-NEXT:    sub a0, a0, a2
  36 ; RV64I-NEXT:    ret
  37   %1 = call i8 @llvm.ucmp(i16 %x, i16 %y)
  38   ret i8 %1
  39 }
  40
  41 define i8 @ucmp.8.32(i32 %x, i32 %y) nounwind {
  42 ; RV32I-LABEL: ucmp.8.32:
  43 ; RV32I:       # %bb.0:
  44 ; RV32I-NEXT:    sltu a2, a0, a1
  45 ; RV32I-NEXT:    sltu a0, a1, a0
  46 ; RV32I-NEXT:    sub a0, a0, a2
  47 ; RV32I-NEXT:    ret
  48 ;
  49 ; RV64I-LABEL: ucmp.8.32:
  50 ; RV64I:       # %bb.0:
  51 ; RV64I-NEXT:    sext.w a1, a1
  52 ; RV64I-NEXT:    sext.w a0, a0
  53 ; RV64I-NEXT:    sltu a2, a0, a1
  54 ; RV64I-NEXT:    sltu a0, a1, a0
  55 ; RV64I-NEXT:    sub a0, a0, a2
  56 ; RV64I-NEXT:    ret
  57   %1 = call i8 @llvm.ucmp(i32 %x, i32 %y)
  58   ret i8 %1
  59 }
  60
  61 define i8 @ucmp.8.64(i64 %x, i64 %y) nounwind {
  62 ; RV32I-LABEL: ucmp.8.64:
  63 ; RV32I:       # %bb.0:
  64 ; RV32I-NEXT:    beq a1, a3, .LBB3_2
  65 ; RV32I-NEXT:  # %bb.1:
  66 ; RV32I-NEXT:    sltu a4, a1, a3
  67 ; RV32I-NEXT:    sltu a0, a3, a1
  68 ; RV32I-NEXT:    sub a0, a0, a4
  69 ; RV32I-NEXT:    ret
  70 ; RV32I-NEXT:  .LBB3_2:
  71 ; RV32I-NEXT:    sltu a4, a0, a2
  72 ; RV32I-NEXT:    sltu a0, a2, a0
  73 ; RV32I-NEXT:    sub a0, a0, a4
  74 ; RV32I-NEXT:    ret
  75 ;
  76 ; RV64I-LABEL: ucmp.8.64:
  77 ; RV64I:       # %bb.0:
  78 ; RV64I-NEXT:    sltu a2, a0, a1
  79 ; RV64I-NEXT:    sltu a0, a1, a0
  80 ; RV64I-NEXT:    sub a0, a0, a2
  81 ; RV64I-NEXT:    ret
  82   %1 = call i8 @llvm.ucmp(i64 %x, i64 %y)
  83   ret i8 %1
  84 }
  85
  86 define i8 @ucmp.8.128(i128 %x, i128 %y) nounwind {
  87 ; RV32I-LABEL: ucmp.8.128:
  88 ; RV32I:       # %bb.0:
  89 ; RV32I-NEXT:    lw a2, 4(a1)
  90 ; RV32I-NEXT:    lw a4, 8(a1)
  91 ; RV32I-NEXT:    lw a5, 12(a1)
  92 ; RV32I-NEXT:    lw a6, 12(a0)
  93 ; RV32I-NEXT:    lw a3, 4(a0)
  94 ; RV32I-NEXT:    lw a7, 8(a0)
  95 ; RV32I-NEXT:    beq a6, a5, .LBB4_2
  96 ; RV32I-NEXT:  # %bb.1:
  97 ; RV32I-NEXT:    sltu t2, a6, a5
  98 ; RV32I-NEXT:    j .LBB4_3
  99 ; RV32I-NEXT:  .LBB4_2:
 100 ; RV32I-NEXT:    sltu t2, a7, a4
 101 ; RV32I-NEXT:  .LBB4_3:
 102 ; RV32I-NEXT:    lw a1, 0(a1)
 103 ; RV32I-NEXT:    lw t0, 0(a0)
 104 ; RV32I-NEXT:    beq a3, a2, .LBB4_5
 105 ; RV32I-NEXT:  # %bb.4:
 106 ; RV32I-NEXT:    sltu a0, a3, a2
 107 ; RV32I-NEXT:    j .LBB4_6
 108 ; RV32I-NEXT:  .LBB4_5:
 109 ; RV32I-NEXT:    sltu a0, t0, a1
 110 ; RV32I-NEXT:  .LBB4_6:
 111 ; RV32I-NEXT:    xor t1, a6, a5
 112 ; RV32I-NEXT:    xor t3, a7, a4
 113 ; RV32I-NEXT:    or t1, t3, t1
 114 ; RV32I-NEXT:    beqz t1, .LBB4_8
 115 ; RV32I-NEXT:  # %bb.7:
 116 ; RV32I-NEXT:    mv a0, t2
 117 ; RV32I-NEXT:  .LBB4_8:
 118 ; RV32I-NEXT:    beq a6, a5, .LBB4_11
 119 ; RV32I-NEXT:  # %bb.9:
 120 ; RV32I-NEXT:    sltu a4, a5, a6
 121 ; RV32I-NEXT:    bne a3, a2, .LBB4_12
 122 ; RV32I-NEXT:  .LBB4_10:
 123 ; RV32I-NEXT:    sltu a1, a1, t0
 124 ; RV32I-NEXT:    bnez t1, .LBB4_13
 125 ; RV32I-NEXT:    j .LBB4_14
 126 ; RV32I-NEXT:  .LBB4_11:
 127 ; RV32I-NEXT:    sltu a4, a4, a7
 128 ; RV32I-NEXT:    beq a3, a2, .LBB4_10
 129 ; RV32I-NEXT:  .LBB4_12:
 130 ; RV32I-NEXT:    sltu a1, a2, a3
 131 ; RV32I-NEXT:    beqz t1, .LBB4_14
 132 ; RV32I-NEXT:  .LBB4_13:
 133 ; RV32I-NEXT:    mv a1, a4
 134 ; RV32I-NEXT:  .LBB4_14:
 135 ; RV32I-NEXT:    sub a0, a1, a0
 136 ; RV32I-NEXT:    ret
 137 ;
 138 ; RV64I-LABEL: ucmp.8.128:
 139 ; RV64I:       # %bb.0:
 140 ; RV64I-NEXT:    beq a1, a3, .LBB4_2
 141 ; RV64I-NEXT:  # %bb.1:
 142 ; RV64I-NEXT:    sltu a4, a1, a3
 143 ; RV64I-NEXT:    sltu a0, a3, a1
 144 ; RV64I-NEXT:    sub a0, a0, a4
 145 ; RV64I-NEXT:    ret
 146 ; RV64I-NEXT:  .LBB4_2:
 147 ; RV64I-NEXT:    sltu a4, a0, a2
 148 ; RV64I-NEXT:    sltu a0, a2, a0
 149 ; RV64I-NEXT:    sub a0, a0, a4
 150 ; RV64I-NEXT:    ret
 151   %1 = call i8 @llvm.ucmp(i128 %x, i128 %y)
 152   ret i8 %1
 153 }
 154
 155 define i32 @ucmp.32.32(i32 %x, i32 %y) nounwind {
 156 ; RV32I-LABEL: ucmp.32.32:
 157 ; RV32I:       # %bb.0:
 158 ; RV32I-NEXT:    sltu a2, a0, a1
 159 ; RV32I-NEXT:    sltu a0, a1, a0
 160 ; RV32I-NEXT:    sub a0, a0, a2
 161 ; RV32I-NEXT:    ret
 162 ;
 163 ; RV64I-LABEL: ucmp.32.32:
 164 ; RV64I:       # %bb.0:
 165 ; RV64I-NEXT:    sext.w a1, a1
 166 ; RV64I-NEXT:    sext.w a0, a0
 167 ; RV64I-NEXT:    sltu a2, a0, a1
 168 ; RV64I-NEXT:    sltu a0, a1, a0
 169 ; RV64I-NEXT:    sub a0, a0, a2
 170 ; RV64I-NEXT:    ret
 171   %1 = call i32 @llvm.ucmp(i32 %x, i32 %y)
 172   ret i32 %1
 173 }
 174
 175 define i32 @ucmp.32.32_sext(i32 signext %x, i32 signext %y) nounwind {
 176 ; RV32I-LABEL: ucmp.32.32_sext:
 177 ; RV32I:       # %bb.0:
 178 ; RV32I-NEXT:    sltu a2, a0, a1
 179 ; RV32I-NEXT:    sltu a0, a1, a0
 180 ; RV32I-NEXT:    sub a0, a0, a2
 181 ; RV32I-NEXT:    ret
 182 ;
 183 ; RV64I-LABEL: ucmp.32.32_sext:
 184 ; RV64I:       # %bb.0:
 185 ; RV64I-NEXT:    sltu a2, a0, a1
 186 ; RV64I-NEXT:    sltu a0, a1, a0
 187 ; RV64I-NEXT:    sub a0, a0, a2
 188 ; RV64I-NEXT:    ret
 189   %1 = call i32 @llvm.ucmp(i32 %x, i32 %y)
 190   ret i32 %1
 191 }
 192
 193 define i32 @ucmp.32.32_zext(i32 zeroext %x, i32 zeroext %y) nounwind {
 194 ; RV32I-LABEL: ucmp.32.32_zext:
 195 ; RV32I:       # %bb.0:
 196 ; RV32I-NEXT:    sltu a2, a0, a1
 197 ; RV32I-NEXT:    sltu a0, a1, a0
 198 ; RV32I-NEXT:    sub a0, a0, a2
 199 ; RV32I-NEXT:    ret
 200 ;
 201 ; RV64I-LABEL: ucmp.32.32_zext:
 202 ; RV64I:       # %bb.0:
 203 ; RV64I-NEXT:    sltu a2, a0, a1
 204 ; RV64I-NEXT:    sltu a0, a1, a0
 205 ; RV64I-NEXT:    sub a0, a0, a2
 206 ; RV64I-NEXT:    ret
 207   %1 = call i32 @llvm.ucmp(i32 %x, i32 %y)
 208   ret i32 %1
 209 }
 210
 211 define i32 @ucmp.32.64(i64 %x, i64 %y) nounwind {
 212 ; RV32I-LABEL: ucmp.32.64:
 213 ; RV32I:       # %bb.0:
 214 ; RV32I-NEXT:    beq a1, a3, .LBB8_2
 215 ; RV32I-NEXT:  # %bb.1:
 216 ; RV32I-NEXT:    sltu a4, a1, a3
 217 ; RV32I-NEXT:    sltu a0, a3, a1
 218 ; RV32I-NEXT:    sub a0, a0, a4
 219 ; RV32I-NEXT:    ret
 220 ; RV32I-NEXT:  .LBB8_2:
 221 ; RV32I-NEXT:    sltu a4, a0, a2
 222 ; RV32I-NEXT:    sltu a0, a2, a0
 223 ; RV32I-NEXT:    sub a0, a0, a4
 224 ; RV32I-NEXT:    ret
 225 ;
 226 ; RV64I-LABEL: ucmp.32.64:
 227 ; RV64I:       # %bb.0:
 228 ; RV64I-NEXT:    sltu a2, a0, a1
 229 ; RV64I-NEXT:    sltu a0, a1, a0
 230 ; RV64I-NEXT:    sub a0, a0, a2
 231 ; RV64I-NEXT:    ret
 232   %1 = call i32 @llvm.ucmp(i64 %x, i64 %y)
 233   ret i32 %1
 234 }
 235
 236 define i64 @ucmp.64.64(i64 %x, i64 %y) nounwind {
 237 ; RV32I-LABEL: ucmp.64.64:
 238 ; RV32I:       # %bb.0:
 239 ; RV32I-NEXT:    beq a1, a3, .LBB9_2
 240 ; RV32I-NEXT:  # %bb.1:
 241 ; RV32I-NEXT:    sltu a4, a1, a3
 242 ; RV32I-NEXT:    sltu a0, a3, a1
 243 ; RV32I-NEXT:    j .LBB9_3
 244 ; RV32I-NEXT:  .LBB9_2:
 245 ; RV32I-NEXT:    sltu a4, a0, a2
 246 ; RV32I-NEXT:    sltu a0, a2, a0
 247 ; RV32I-NEXT:  .LBB9_3:
 248 ; RV32I-NEXT:    sub a0, a0, a4
 249 ; RV32I-NEXT:    srai a1, a0, 31
 250 ; RV32I-NEXT:    ret
 251 ;
 252 ; RV64I-LABEL: ucmp.64.64:
 253 ; RV64I:       # %bb.0:
 254 ; RV64I-NEXT:    sltu a2, a0, a1
 255 ; RV64I-NEXT:    sltu a0, a1, a0
 256 ; RV64I-NEXT:    sub a0, a0, a2
 257 ; RV64I-NEXT:    ret
 258   %1 = call i64 @llvm.ucmp(i64 %x, i64 %y)
 259   ret i64 %1
 260 }