llvm/test/CodeGen/RISCV/split-udiv-by-constant.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: sed 's/iXLen2/i64/g' %s | llc -mtriple=riscv32 -mattr=+m | \
   3 ; RUN:   FileCheck %s --check-prefix=RV32
   4 ; RUN: sed 's/iXLen2/i128/g' %s | llc -mtriple=riscv64 -mattr=+m | \
   5 ; RUN:   FileCheck %s --check-prefix=RV64
   6
   7 define iXLen2 @test_udiv_3(iXLen2 %x) nounwind {
   8 ; RV32-LABEL: test_udiv_3:
   9 ; RV32:       # %bb.0:
  10 ; RV32-NEXT:    addi sp, sp, -16
  11 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  12 ; RV32-NEXT:    li a2, 3
  13 ; RV32-NEXT:    li a3, 0
  14 ; RV32-NEXT:    call __udivdi3@plt
  15 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  16 ; RV32-NEXT:    addi sp, sp, 16
  17 ; RV32-NEXT:    ret
  18 ;
  19 ; RV64-LABEL: test_udiv_3:
  20 ; RV64:       # %bb.0:
  21 ; RV64-NEXT:    addi sp, sp, -16
  22 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  23 ; RV64-NEXT:    li a2, 3
  24 ; RV64-NEXT:    li a3, 0
  25 ; RV64-NEXT:    call __udivti3@plt
  26 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  27 ; RV64-NEXT:    addi sp, sp, 16
  28 ; RV64-NEXT:    ret
  29   %a = udiv iXLen2 %x, 3
  30   ret iXLen2 %a
  31 }
  32
  33 define iXLen2 @test_udiv_5(iXLen2 %x) nounwind {
  34 ; RV32-LABEL: test_udiv_5:
  35 ; RV32:       # %bb.0:
  36 ; RV32-NEXT:    addi sp, sp, -16
  37 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  38 ; RV32-NEXT:    li a2, 5
  39 ; RV32-NEXT:    li a3, 0
  40 ; RV32-NEXT:    call __udivdi3@plt
  41 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  42 ; RV32-NEXT:    addi sp, sp, 16
  43 ; RV32-NEXT:    ret
  44 ;
  45 ; RV64-LABEL: test_udiv_5:
  46 ; RV64:       # %bb.0:
  47 ; RV64-NEXT:    addi sp, sp, -16
  48 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  49 ; RV64-NEXT:    li a2, 5
  50 ; RV64-NEXT:    li a3, 0
  51 ; RV64-NEXT:    call __udivti3@plt
  52 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  53 ; RV64-NEXT:    addi sp, sp, 16
  54 ; RV64-NEXT:    ret
  55   %a = udiv iXLen2 %x, 5
  56   ret iXLen2 %a
  57 }
  58
  59 define iXLen2 @test_udiv_7(iXLen2 %x) nounwind {
  60 ; RV32-LABEL: test_udiv_7:
  61 ; RV32:       # %bb.0:
  62 ; RV32-NEXT:    addi sp, sp, -16
  63 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  64 ; RV32-NEXT:    li a2, 7
  65 ; RV32-NEXT:    li a3, 0
  66 ; RV32-NEXT:    call __udivdi3@plt
  67 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  68 ; RV32-NEXT:    addi sp, sp, 16
  69 ; RV32-NEXT:    ret
  70 ;
  71 ; RV64-LABEL: test_udiv_7:
  72 ; RV64:       # %bb.0:
  73 ; RV64-NEXT:    addi sp, sp, -16
  74 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  75 ; RV64-NEXT:    li a2, 7
  76 ; RV64-NEXT:    li a3, 0
  77 ; RV64-NEXT:    call __udivti3@plt
  78 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  79 ; RV64-NEXT:    addi sp, sp, 16
  80 ; RV64-NEXT:    ret
  81   %a = udiv iXLen2 %x, 7
  82   ret iXLen2 %a
  83 }
  84
  85 define iXLen2 @test_udiv_9(iXLen2 %x) nounwind {
  86 ; RV32-LABEL: test_udiv_9:
  87 ; RV32:       # %bb.0:
  88 ; RV32-NEXT:    addi sp, sp, -16
  89 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  90 ; RV32-NEXT:    li a2, 9
  91 ; RV32-NEXT:    li a3, 0
  92 ; RV32-NEXT:    call __udivdi3@plt
  93 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  94 ; RV32-NEXT:    addi sp, sp, 16
  95 ; RV32-NEXT:    ret
  96 ;
  97 ; RV64-LABEL: test_udiv_9:
  98 ; RV64:       # %bb.0:
  99 ; RV64-NEXT:    addi sp, sp, -16
 100 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 101 ; RV64-NEXT:    li a2, 9
 102 ; RV64-NEXT:    li a3, 0
 103 ; RV64-NEXT:    call __udivti3@plt
 104 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 105 ; RV64-NEXT:    addi sp, sp, 16
 106 ; RV64-NEXT:    ret
 107   %a = udiv iXLen2 %x, 9
 108   ret iXLen2 %a
 109 }
 110
 111 define iXLen2 @test_udiv_15(iXLen2 %x) nounwind {
 112 ; RV32-LABEL: test_udiv_15:
 113 ; RV32:       # %bb.0:
 114 ; RV32-NEXT:    addi sp, sp, -16
 115 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 116 ; RV32-NEXT:    li a2, 15
 117 ; RV32-NEXT:    li a3, 0
 118 ; RV32-NEXT:    call __udivdi3@plt
 119 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 120 ; RV32-NEXT:    addi sp, sp, 16
 121 ; RV32-NEXT:    ret
 122 ;
 123 ; RV64-LABEL: test_udiv_15:
 124 ; RV64:       # %bb.0:
 125 ; RV64-NEXT:    addi sp, sp, -16
 126 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 127 ; RV64-NEXT:    li a2, 15
 128 ; RV64-NEXT:    li a3, 0
 129 ; RV64-NEXT:    call __udivti3@plt
 130 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 131 ; RV64-NEXT:    addi sp, sp, 16
 132 ; RV64-NEXT:    ret
 133   %a = udiv iXLen2 %x, 15
 134   ret iXLen2 %a
 135 }
 136
 137 define iXLen2 @test_udiv_17(iXLen2 %x) nounwind {
 138 ; RV32-LABEL: test_udiv_17:
 139 ; RV32:       # %bb.0:
 140 ; RV32-NEXT:    addi sp, sp, -16
 141 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 142 ; RV32-NEXT:    li a2, 17
 143 ; RV32-NEXT:    li a3, 0
 144 ; RV32-NEXT:    call __udivdi3@plt
 145 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 146 ; RV32-NEXT:    addi sp, sp, 16
 147 ; RV32-NEXT:    ret
 148 ;
 149 ; RV64-LABEL: test_udiv_17:
 150 ; RV64:       # %bb.0:
 151 ; RV64-NEXT:    addi sp, sp, -16
 152 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 153 ; RV64-NEXT:    li a2, 17
 154 ; RV64-NEXT:    li a3, 0
 155 ; RV64-NEXT:    call __udivti3@plt
 156 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 157 ; RV64-NEXT:    addi sp, sp, 16
 158 ; RV64-NEXT:    ret
 159   %a = udiv iXLen2 %x, 17
 160   ret iXLen2 %a
 161 }
 162
 163 define iXLen2 @test_udiv_255(iXLen2 %x) nounwind {
 164 ; RV32-LABEL: test_udiv_255:
 165 ; RV32:       # %bb.0:
 166 ; RV32-NEXT:    addi sp, sp, -16
 167 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 168 ; RV32-NEXT:    li a2, 255
 169 ; RV32-NEXT:    li a3, 0
 170 ; RV32-NEXT:    call __udivdi3@plt
 171 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 172 ; RV32-NEXT:    addi sp, sp, 16
 173 ; RV32-NEXT:    ret
 174 ;
 175 ; RV64-LABEL: test_udiv_255:
 176 ; RV64:       # %bb.0:
 177 ; RV64-NEXT:    addi sp, sp, -16
 178 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 179 ; RV64-NEXT:    li a2, 255
 180 ; RV64-NEXT:    li a3, 0
 181 ; RV64-NEXT:    call __udivti3@plt
 182 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 183 ; RV64-NEXT:    addi sp, sp, 16
 184 ; RV64-NEXT:    ret
 185   %a = udiv iXLen2 %x, 255
 186   ret iXLen2 %a
 187 }
 188
 189 define iXLen2 @test_udiv_257(iXLen2 %x) nounwind {
 190 ; RV32-LABEL: test_udiv_257:
 191 ; RV32:       # %bb.0:
 192 ; RV32-NEXT:    addi sp, sp, -16
 193 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 194 ; RV32-NEXT:    li a2, 257
 195 ; RV32-NEXT:    li a3, 0
 196 ; RV32-NEXT:    call __udivdi3@plt
 197 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 198 ; RV32-NEXT:    addi sp, sp, 16
 199 ; RV32-NEXT:    ret
 200 ;
 201 ; RV64-LABEL: test_udiv_257:
 202 ; RV64:       # %bb.0:
 203 ; RV64-NEXT:    addi sp, sp, -16
 204 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 205 ; RV64-NEXT:    li a2, 257
 206 ; RV64-NEXT:    li a3, 0
 207 ; RV64-NEXT:    call __udivti3@plt
 208 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 209 ; RV64-NEXT:    addi sp, sp, 16
 210 ; RV64-NEXT:    ret
 211   %a = udiv iXLen2 %x, 257
 212   ret iXLen2 %a
 213 }
 214
 215 define iXLen2 @test_udiv_65535(iXLen2 %x) nounwind {
 216 ; RV32-LABEL: test_udiv_65535:
 217 ; RV32:       # %bb.0:
 218 ; RV32-NEXT:    addi sp, sp, -16
 219 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 220 ; RV32-NEXT:    lui a2, 16
 221 ; RV32-NEXT:    addi a2, a2, -1
 222 ; RV32-NEXT:    li a3, 0
 223 ; RV32-NEXT:    call __udivdi3@plt
 224 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 225 ; RV32-NEXT:    addi sp, sp, 16
 226 ; RV32-NEXT:    ret
 227 ;
 228 ; RV64-LABEL: test_udiv_65535:
 229 ; RV64:       # %bb.0:
 230 ; RV64-NEXT:    addi sp, sp, -16
 231 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 232 ; RV64-NEXT:    lui a2, 16
 233 ; RV64-NEXT:    addiw a2, a2, -1
 234 ; RV64-NEXT:    li a3, 0
 235 ; RV64-NEXT:    call __udivti3@plt
 236 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 237 ; RV64-NEXT:    addi sp, sp, 16
 238 ; RV64-NEXT:    ret
 239   %a = udiv iXLen2 %x, 65535
 240   ret iXLen2 %a
 241 }
 242
 243 define iXLen2 @test_udiv_65537(iXLen2 %x) nounwind {
 244 ; RV32-LABEL: test_udiv_65537:
 245 ; RV32:       # %bb.0:
 246 ; RV32-NEXT:    addi sp, sp, -16
 247 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 248 ; RV32-NEXT:    lui a2, 16
 249 ; RV32-NEXT:    addi a2, a2, 1
 250 ; RV32-NEXT:    li a3, 0
 251 ; RV32-NEXT:    call __udivdi3@plt
 252 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 253 ; RV32-NEXT:    addi sp, sp, 16
 254 ; RV32-NEXT:    ret
 255 ;
 256 ; RV64-LABEL: test_udiv_65537:
 257 ; RV64:       # %bb.0:
 258 ; RV64-NEXT:    addi sp, sp, -16
 259 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 260 ; RV64-NEXT:    lui a2, 16
 261 ; RV64-NEXT:    addiw a2, a2, 1
 262 ; RV64-NEXT:    li a3, 0
 263 ; RV64-NEXT:    call __udivti3@plt
 264 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 265 ; RV64-NEXT:    addi sp, sp, 16
 266 ; RV64-NEXT:    ret
 267   %a = udiv iXLen2 %x, 65537
 268   ret iXLen2 %a
 269 }
 270
 271 define iXLen2 @test_udiv_12(iXLen2 %x) nounwind {
 272 ; RV32-LABEL: test_udiv_12:
 273 ; RV32:       # %bb.0:
 274 ; RV32-NEXT:    addi sp, sp, -16
 275 ; RV32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 276 ; RV32-NEXT:    li a2, 12
 277 ; RV32-NEXT:    li a3, 0
 278 ; RV32-NEXT:    call __udivdi3@plt
 279 ; RV32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 280 ; RV32-NEXT:    addi sp, sp, 16
 281 ; RV32-NEXT:    ret
 282 ;
 283 ; RV64-LABEL: test_udiv_12:
 284 ; RV64:       # %bb.0:
 285 ; RV64-NEXT:    addi sp, sp, -16
 286 ; RV64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 287 ; RV64-NEXT:    li a2, 12
 288 ; RV64-NEXT:    li a3, 0
 289 ; RV64-NEXT:    call __udivti3@plt
 290 ; RV64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 291 ; RV64-NEXT:    addi sp, sp, 16
 292 ; RV64-NEXT:    ret
 293   %a = udiv iXLen2 %x, 12
 294   ret iXLen2 %a
 295 }