llvm/test/CodeGen/X86/mul-constant-i8.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s --check-prefix=X64
   3
   4 define i8 @test_mul_by_1(i8 %x) {
   5 ; X64-LABEL: test_mul_by_1:
   6 ; X64:       # %bb.0:
   7 ; X64-NEXT:    movl %edi, %eax
   8 ; X64-NEXT:    # kill: def $al killed $al killed $eax
   9 ; X64-NEXT:    retq
  10   %m = mul i8 %x, 1
  11   ret i8 %m
  12 }
  13
  14 define i8 @test_mul_by_2(i8 %x) {
  15 ; X64-LABEL: test_mul_by_2:
  16 ; X64:       # %bb.0:
  17 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  18 ; X64-NEXT:    leal (%rdi,%rdi), %eax
  19 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  20 ; X64-NEXT:    retq
  21   %m = mul i8 %x, 2
  22   ret i8 %m
  23 }
  24
  25 define i8 @test_mul_by_3(i8 %x) {
  26 ; X64-LABEL: test_mul_by_3:
  27 ; X64:       # %bb.0:
  28 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  29 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
  30 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  31 ; X64-NEXT:    retq
  32   %m = mul i8 %x, 3
  33   ret i8 %m
  34 }
  35
  36 define i8 @test_mul_by_4(i8 %x) {
  37 ; X64-LABEL: test_mul_by_4:
  38 ; X64:       # %bb.0:
  39 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  40 ; X64-NEXT:    leal (,%rdi,4), %eax
  41 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  42 ; X64-NEXT:    retq
  43   %m = mul i8 %x, 4
  44   ret i8 %m
  45 }
  46
  47 define i8 @test_mul_by_5(i8 %x) {
  48 ; X64-LABEL: test_mul_by_5:
  49 ; X64:       # %bb.0:
  50 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  51 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
  52 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  53 ; X64-NEXT:    retq
  54   %m = mul i8 %x, 5
  55   ret i8 %m
  56 }
  57
  58 define i8 @test_mul_by_6(i8 %x) {
  59 ; X64-LABEL: test_mul_by_6:
  60 ; X64:       # %bb.0:
  61 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  62 ; X64-NEXT:    addl %edi, %edi
  63 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
  64 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  65 ; X64-NEXT:    retq
  66   %m = mul i8 %x, 6
  67   ret i8 %m
  68 }
  69
  70 define i8 @test_mul_by_7(i8 %x) {
  71 ; X64-LABEL: test_mul_by_7:
  72 ; X64:       # %bb.0:
  73 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  74 ; X64-NEXT:    leal (,%rdi,8), %eax
  75 ; X64-NEXT:    subl %edi, %eax
  76 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  77 ; X64-NEXT:    retq
  78   %m = mul i8 %x, 7
  79   ret i8 %m
  80 }
  81
  82 define i8 @test_mul_by_8(i8 %x) {
  83 ; X64-LABEL: test_mul_by_8:
  84 ; X64:       # %bb.0:
  85 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  86 ; X64-NEXT:    leal (,%rdi,8), %eax
  87 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  88 ; X64-NEXT:    retq
  89   %m = mul i8 %x, 8
  90   ret i8 %m
  91 }
  92
  93 define i8 @test_mul_by_9(i8 %x) {
  94 ; X64-LABEL: test_mul_by_9:
  95 ; X64:       # %bb.0:
  96 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  97 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
  98 ; X64-NEXT:    # kill: def $al killed $al killed $eax
  99 ; X64-NEXT:    retq
 100   %m = mul i8 %x, 9
 101   ret i8 %m
 102 }
 103
 104 define i8 @test_mul_by_10(i8 %x) {
 105 ; X64-LABEL: test_mul_by_10:
 106 ; X64:       # %bb.0:
 107 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 108 ; X64-NEXT:    addl %edi, %edi
 109 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 110 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 111 ; X64-NEXT:    retq
 112   %m = mul i8 %x, 10
 113   ret i8 %m
 114 }
 115
 116 define i8 @test_mul_by_11(i8 %x) {
 117 ; X64-LABEL: test_mul_by_11:
 118 ; X64:       # %bb.0:
 119 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 120 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 121 ; X64-NEXT:    leal (%rdi,%rax,2), %eax
 122 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 123 ; X64-NEXT:    retq
 124   %m = mul i8 %x, 11
 125   ret i8 %m
 126 }
 127
 128 define i8 @test_mul_by_12(i8 %x) {
 129 ; X64-LABEL: test_mul_by_12:
 130 ; X64:       # %bb.0:
 131 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 132 ; X64-NEXT:    shll $2, %edi
 133 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 134 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 135 ; X64-NEXT:    retq
 136   %m = mul i8 %x, 12
 137   ret i8 %m
 138 }
 139
 140 define i8 @test_mul_by_13(i8 %x) {
 141 ; X64-LABEL: test_mul_by_13:
 142 ; X64:       # %bb.0:
 143 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 144 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 145 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 146 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 147 ; X64-NEXT:    retq
 148   %m = mul i8 %x, 13
 149   ret i8 %m
 150 }
 151
 152 define i8 @test_mul_by_14(i8 %x) {
 153 ; X64-LABEL: test_mul_by_14:
 154 ; X64:       # %bb.0:
 155 ; X64-NEXT:    movl %edi, %eax
 156 ; X64-NEXT:    leal (%rax,%rax), %ecx
 157 ; X64-NEXT:    shll $4, %eax
 158 ; X64-NEXT:    subl %ecx, %eax
 159 ; X64-NEXT:    # kill: def $al killed $al killed $rax
 160 ; X64-NEXT:    retq
 161   %m = mul i8 %x, 14
 162   ret i8 %m
 163 }
 164
 165 define i8 @test_mul_by_15(i8 %x) {
 166 ; X64-LABEL: test_mul_by_15:
 167 ; X64:       # %bb.0:
 168 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 169 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 170 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 171 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 172 ; X64-NEXT:    retq
 173   %m = mul i8 %x, 15
 174   ret i8 %m
 175 }
 176
 177 define i8 @test_mul_by_16(i8 %x) {
 178 ; X64-LABEL: test_mul_by_16:
 179 ; X64:       # %bb.0:
 180 ; X64-NEXT:    movl %edi, %eax
 181 ; X64-NEXT:    shlb $4, %al
 182 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 183 ; X64-NEXT:    retq
 184   %m = mul i8 %x, 16
 185   ret i8 %m
 186 }
 187
 188 define i8 @test_mul_by_17(i8 %x) {
 189 ; X64-LABEL: test_mul_by_17:
 190 ; X64:       # %bb.0:
 191 ; X64-NEXT:    movl %edi, %eax
 192 ; X64-NEXT:    shll $4, %eax
 193 ; X64-NEXT:    addl %edi, %eax
 194 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 195 ; X64-NEXT:    retq
 196   %m = mul i8 %x, 17
 197   ret i8 %m
 198 }
 199
 200 define i8 @test_mul_by_18(i8 %x) {
 201 ; X64-LABEL: test_mul_by_18:
 202 ; X64:       # %bb.0:
 203 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 204 ; X64-NEXT:    addl %edi, %edi
 205 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 206 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 207 ; X64-NEXT:    retq
 208   %m = mul i8 %x, 18
 209   ret i8 %m
 210 }
 211
 212 define i8 @test_mul_by_19(i8 %x) {
 213 ; X64-LABEL: test_mul_by_19:
 214 ; X64:       # %bb.0:
 215 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 216 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 217 ; X64-NEXT:    leal (%rdi,%rax,2), %eax
 218 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 219 ; X64-NEXT:    retq
 220   %m = mul i8 %x, 19
 221   ret i8 %m
 222 }
 223
 224 define i8 @test_mul_by_20(i8 %x) {
 225 ; X64-LABEL: test_mul_by_20:
 226 ; X64:       # %bb.0:
 227 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 228 ; X64-NEXT:    shll $2, %edi
 229 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 230 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 231 ; X64-NEXT:    retq
 232   %m = mul i8 %x, 20
 233   ret i8 %m
 234 }
 235
 236 define i8 @test_mul_by_21(i8 %x) {
 237 ; X64-LABEL: test_mul_by_21:
 238 ; X64:       # %bb.0:
 239 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 240 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 241 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 242 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 243 ; X64-NEXT:    retq
 244   %m = mul i8 %x, 21
 245   ret i8 %m
 246 }
 247
 248 define i8 @test_mul_by_22(i8 %x) {
 249 ; X64-LABEL: test_mul_by_22:
 250 ; X64:       # %bb.0:
 251 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 252 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 253 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 254 ; X64-NEXT:    addl %edi, %eax
 255 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 256 ; X64-NEXT:    retq
 257   %m = mul i8 %x, 22
 258   ret i8 %m
 259 }
 260
 261 define i8 @test_mul_by_23(i8 %x) {
 262 ; X64-LABEL: test_mul_by_23:
 263 ; X64:       # %bb.0:
 264 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 265 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 266 ; X64-NEXT:    shll $3, %eax
 267 ; X64-NEXT:    subl %edi, %eax
 268 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 269 ; X64-NEXT:    retq
 270   %m = mul i8 %x, 23
 271   ret i8 %m
 272 }
 273
 274 define i8 @test_mul_by_24(i8 %x) {
 275 ; X64-LABEL: test_mul_by_24:
 276 ; X64:       # %bb.0:
 277 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 278 ; X64-NEXT:    shll $3, %edi
 279 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 280 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 281 ; X64-NEXT:    retq
 282   %m = mul i8 %x, 24
 283   ret i8 %m
 284 }
 285
 286 define i8 @test_mul_by_25(i8 %x) {
 287 ; X64-LABEL: test_mul_by_25:
 288 ; X64:       # %bb.0:
 289 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 290 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 291 ; X64-NEXT:    leal (%rax,%rax,4), %eax
 292 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 293 ; X64-NEXT:    retq
 294   %m = mul i8 %x, 25
 295   ret i8 %m
 296 }
 297
 298 define i8 @test_mul_by_26(i8 %x) {
 299 ; X64-LABEL: test_mul_by_26:
 300 ; X64:       # %bb.0:
 301 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 302 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 303 ; X64-NEXT:    leal (%rax,%rax,4), %eax
 304 ; X64-NEXT:    addl %edi, %eax
 305 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 306 ; X64-NEXT:    retq
 307   %m = mul i8 %x, 26
 308   ret i8 %m
 309 }
 310
 311 define i8 @test_mul_by_27(i8 %x) {
 312 ; X64-LABEL: test_mul_by_27:
 313 ; X64:       # %bb.0:
 314 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 315 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 316 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 317 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 318 ; X64-NEXT:    retq
 319   %m = mul i8 %x, 27
 320   ret i8 %m
 321 }
 322
 323 define i8 @test_mul_by_28(i8 %x) {
 324 ; X64-LABEL: test_mul_by_28:
 325 ; X64:       # %bb.0:
 326 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 327 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 328 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 329 ; X64-NEXT:    addl %edi, %eax
 330 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 331 ; X64-NEXT:    retq
 332   %m = mul i8 %x, 28
 333   ret i8 %m
 334 }
 335
 336 define i8 @test_mul_by_29(i8 %x) {
 337 ; X64-LABEL: test_mul_by_29:
 338 ; X64:       # %bb.0:
 339 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 340 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 341 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 342 ; X64-NEXT:    addl %edi, %eax
 343 ; X64-NEXT:    addl %edi, %eax
 344 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 345 ; X64-NEXT:    retq
 346   %m = mul i8 %x, 29
 347   ret i8 %m
 348 }
 349
 350 define i8 @test_mul_by_30(i8 %x) {
 351 ; X64-LABEL: test_mul_by_30:
 352 ; X64:       # %bb.0:
 353 ; X64-NEXT:    movl %edi, %eax
 354 ; X64-NEXT:    leal (%rax,%rax), %ecx
 355 ; X64-NEXT:    shll $5, %eax
 356 ; X64-NEXT:    subl %ecx, %eax
 357 ; X64-NEXT:    # kill: def $al killed $al killed $rax
 358 ; X64-NEXT:    retq
 359   %m = mul i8 %x, 30
 360   ret i8 %m
 361 }
 362
 363 define i8 @test_mul_by_31(i8 %x) {
 364 ; X64-LABEL: test_mul_by_31:
 365 ; X64:       # %bb.0:
 366 ; X64-NEXT:    movl %edi, %eax
 367 ; X64-NEXT:    shll $5, %eax
 368 ; X64-NEXT:    subl %edi, %eax
 369 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 370 ; X64-NEXT:    retq
 371   %m = mul i8 %x, 31
 372   ret i8 %m
 373 }
 374
 375 define i8 @test_mul_by_32(i8 %x) {
 376 ; X64-LABEL: test_mul_by_32:
 377 ; X64:       # %bb.0:
 378 ; X64-NEXT:    movl %edi, %eax
 379 ; X64-NEXT:    shlb $5, %al
 380 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 381 ; X64-NEXT:    retq
 382   %m = mul i8 %x, 32
 383   ret i8 %m
 384 }
 385
 386 define i8 @test_mul_by_37(i8 %x) {
 387 ; X64-LABEL: test_mul_by_37:
 388 ; X64:       # %bb.0:
 389 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 390 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 391 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 392 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 393 ; X64-NEXT:    retq
 394   %m = mul i8 %x, 37
 395   ret i8 %m
 396 }
 397
 398 define i8 @test_mul_by_41(i8 %x) {
 399 ; X64-LABEL: test_mul_by_41:
 400 ; X64:       # %bb.0:
 401 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 402 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 403 ; X64-NEXT:    leal (%rdi,%rax,8), %eax
 404 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 405 ; X64-NEXT:    retq
 406   %m = mul i8 %x, 41
 407   ret i8 %m
 408 }
 409
 410 define i8 @test_mul_by_62(i8 %x) {
 411 ; X64-LABEL: test_mul_by_62:
 412 ; X64:       # %bb.0:
 413 ; X64-NEXT:    movl %edi, %eax
 414 ; X64-NEXT:    leal (%rax,%rax), %ecx
 415 ; X64-NEXT:    shll $6, %eax
 416 ; X64-NEXT:    subl %ecx, %eax
 417 ; X64-NEXT:    # kill: def $al killed $al killed $rax
 418 ; X64-NEXT:    retq
 419   %m = mul i8 %x, 62
 420   ret i8 %m
 421 }
 422
 423 define i8 @test_mul_by_66(i8 %x) {
 424 ; X64-LABEL: test_mul_by_66:
 425 ; X64:       # %bb.0:
 426 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 427 ; X64-NEXT:    movl %edi, %eax
 428 ; X64-NEXT:    shll $6, %eax
 429 ; X64-NEXT:    leal (%rax,%rdi,2), %eax
 430 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 431 ; X64-NEXT:    retq
 432   %m = mul i8 %x, 66
 433   ret i8 %m
 434 }
 435
 436 define i8 @test_mul_by_73(i8 %x) {
 437 ; X64-LABEL: test_mul_by_73:
 438 ; X64:       # %bb.0:
 439 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 440 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 441 ; X64-NEXT:    leal (%rdi,%rax,8), %eax
 442 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 443 ; X64-NEXT:    retq
 444   %m = mul i8 %x, 73
 445   ret i8 %m
 446 }
 447
 448 define i8 @test_mul_by_520(i8 %x) {
 449 ; X64-LABEL: test_mul_by_520:
 450 ; X64:       # %bb.0:
 451 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 452 ; X64-NEXT:    leal (,%rdi,8), %eax
 453 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 454 ; X64-NEXT:    retq
 455   %m = mul i8 %x, 520
 456   ret i8 %m
 457 }
 458
 459 define i8 @test_mul_by_neg10(i8 %x) {
 460 ; X64-LABEL: test_mul_by_neg10:
 461 ; X64:       # %bb.0:
 462 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 463 ; X64-NEXT:    addl %edi, %edi
 464 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 465 ; X64-NEXT:    negl %eax
 466 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 467 ; X64-NEXT:    retq
 468   %m = mul i8 %x, -10
 469   ret i8 %m
 470 }
 471
 472 define i8 @test_mul_by_neg36(i8 %x) {
 473 ; X64-LABEL: test_mul_by_neg36:
 474 ; X64:       # %bb.0:
 475 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 476 ; X64-NEXT:    shll $2, %edi
 477 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 478 ; X64-NEXT:    negl %eax
 479 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 480 ; X64-NEXT:    retq
 481   %m = mul i8 %x, -36
 482   ret i8 %m
 483 }
 484