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

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64
   4
   5 define i16 @test_mul_by_1(i16 %x) {
   6 ; X86-LABEL: test_mul_by_1:
   7 ; X86:       # %bb.0:
   8 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
   9 ; X86-NEXT:    retl
  10 ;
  11 ; X64-LABEL: test_mul_by_1:
  12 ; X64:       # %bb.0:
  13 ; X64-NEXT:    movl %edi, %eax
  14 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  15 ; X64-NEXT:    retq
  16   %mul = mul nsw i16 %x, 1
  17   ret i16 %mul
  18 }
  19
  20 define i16 @test_mul_by_2(i16 %x) {
  21 ; X86-LABEL: test_mul_by_2:
  22 ; X86:       # %bb.0:
  23 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  24 ; X86-NEXT:    addl %eax, %eax
  25 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  26 ; X86-NEXT:    retl
  27 ;
  28 ; X64-LABEL: test_mul_by_2:
  29 ; X64:       # %bb.0:
  30 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  31 ; X64-NEXT:    leal (%rdi,%rdi), %eax
  32 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  33 ; X64-NEXT:    retq
  34   %mul = mul nsw i16 %x, 2
  35   ret i16 %mul
  36 }
  37
  38 define i16 @test_mul_by_3(i16 %x) {
  39 ; X86-LABEL: test_mul_by_3:
  40 ; X86:       # %bb.0:
  41 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  42 ; X86-NEXT:    leal (%eax,%eax,2), %eax
  43 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  44 ; X86-NEXT:    retl
  45 ;
  46 ; X64-LABEL: test_mul_by_3:
  47 ; X64:       # %bb.0:
  48 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  49 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
  50 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  51 ; X64-NEXT:    retq
  52   %mul = mul nsw i16 %x, 3
  53   ret i16 %mul
  54 }
  55
  56 define i16 @test_mul_by_4(i16 %x) {
  57 ; X86-LABEL: test_mul_by_4:
  58 ; X86:       # %bb.0:
  59 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  60 ; X86-NEXT:    shll $2, %eax
  61 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  62 ; X86-NEXT:    retl
  63 ;
  64 ; X64-LABEL: test_mul_by_4:
  65 ; X64:       # %bb.0:
  66 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  67 ; X64-NEXT:    leal (,%rdi,4), %eax
  68 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  69 ; X64-NEXT:    retq
  70   %mul = mul nsw i16 %x, 4
  71   ret i16 %mul
  72 }
  73
  74 define i16 @test_mul_by_5(i16 %x) {
  75 ; X86-LABEL: test_mul_by_5:
  76 ; X86:       # %bb.0:
  77 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  78 ; X86-NEXT:    leal (%eax,%eax,4), %eax
  79 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  80 ; X86-NEXT:    retl
  81 ;
  82 ; X64-LABEL: test_mul_by_5:
  83 ; X64:       # %bb.0:
  84 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  85 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
  86 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  87 ; X64-NEXT:    retq
  88   %mul = mul nsw i16 %x, 5
  89   ret i16 %mul
  90 }
  91
  92 define i16 @test_mul_by_6(i16 %x) {
  93 ; X86-LABEL: test_mul_by_6:
  94 ; X86:       # %bb.0:
  95 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  96 ; X86-NEXT:    addl %eax, %eax
  97 ; X86-NEXT:    leal (%eax,%eax,2), %eax
  98 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  99 ; X86-NEXT:    retl
 100 ;
 101 ; X64-LABEL: test_mul_by_6:
 102 ; X64:       # %bb.0:
 103 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 104 ; X64-NEXT:    addl %edi, %edi
 105 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 106 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 107 ; X64-NEXT:    retq
 108   %mul = mul nsw i16 %x, 6
 109   ret i16 %mul
 110 }
 111
 112 define i16 @test_mul_by_7(i16 %x) {
 113 ; X86-LABEL: test_mul_by_7:
 114 ; X86:       # %bb.0:
 115 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 116 ; X86-NEXT:    leal (,%ecx,8), %eax
 117 ; X86-NEXT:    subl %ecx, %eax
 118 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 119 ; X86-NEXT:    retl
 120 ;
 121 ; X64-LABEL: test_mul_by_7:
 122 ; X64:       # %bb.0:
 123 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 124 ; X64-NEXT:    leal (,%rdi,8), %eax
 125 ; X64-NEXT:    subl %edi, %eax
 126 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 127 ; X64-NEXT:    retq
 128   %mul = mul nsw i16 %x, 7
 129   ret i16 %mul
 130 }
 131
 132 define i16 @test_mul_by_8(i16 %x) {
 133 ; X86-LABEL: test_mul_by_8:
 134 ; X86:       # %bb.0:
 135 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 136 ; X86-NEXT:    shll $3, %eax
 137 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 138 ; X86-NEXT:    retl
 139 ;
 140 ; X64-LABEL: test_mul_by_8:
 141 ; X64:       # %bb.0:
 142 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 143 ; X64-NEXT:    leal (,%rdi,8), %eax
 144 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 145 ; X64-NEXT:    retq
 146   %mul = mul nsw i16 %x, 8
 147   ret i16 %mul
 148 }
 149
 150 define i16 @test_mul_by_9(i16 %x) {
 151 ; X86-LABEL: test_mul_by_9:
 152 ; X86:       # %bb.0:
 153 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 154 ; X86-NEXT:    leal (%eax,%eax,8), %eax
 155 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 156 ; X86-NEXT:    retl
 157 ;
 158 ; X64-LABEL: test_mul_by_9:
 159 ; X64:       # %bb.0:
 160 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 161 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 162 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 163 ; X64-NEXT:    retq
 164   %mul = mul nsw i16 %x, 9
 165   ret i16 %mul
 166 }
 167
 168 define i16 @test_mul_by_10(i16 %x) {
 169 ; X86-LABEL: test_mul_by_10:
 170 ; X86:       # %bb.0:
 171 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 172 ; X86-NEXT:    addl %eax, %eax
 173 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 174 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 175 ; X86-NEXT:    retl
 176 ;
 177 ; X64-LABEL: test_mul_by_10:
 178 ; X64:       # %bb.0:
 179 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 180 ; X64-NEXT:    addl %edi, %edi
 181 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 182 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 183 ; X64-NEXT:    retq
 184   %mul = mul nsw i16 %x, 10
 185   ret i16 %mul
 186 }
 187
 188 define i16 @test_mul_by_11(i16 %x) {
 189 ; X86-LABEL: test_mul_by_11:
 190 ; X86:       # %bb.0:
 191 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 192 ; X86-NEXT:    leal (%eax,%eax,4), %ecx
 193 ; X86-NEXT:    leal (%eax,%ecx,2), %eax
 194 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 195 ; X86-NEXT:    retl
 196 ;
 197 ; X64-LABEL: test_mul_by_11:
 198 ; X64:       # %bb.0:
 199 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 200 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 201 ; X64-NEXT:    leal (%rdi,%rax,2), %eax
 202 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 203 ; X64-NEXT:    retq
 204   %mul = mul nsw i16 %x, 11
 205   ret i16 %mul
 206 }
 207
 208 define i16 @test_mul_by_12(i16 %x) {
 209 ; X86-LABEL: test_mul_by_12:
 210 ; X86:       # %bb.0:
 211 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 212 ; X86-NEXT:    shll $2, %eax
 213 ; X86-NEXT:    leal (%eax,%eax,2), %eax
 214 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 215 ; X86-NEXT:    retl
 216 ;
 217 ; X64-LABEL: test_mul_by_12:
 218 ; X64:       # %bb.0:
 219 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 220 ; X64-NEXT:    shll $2, %edi
 221 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 222 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 223 ; X64-NEXT:    retq
 224   %mul = mul nsw i16 %x, 12
 225   ret i16 %mul
 226 }
 227
 228 define i16 @test_mul_by_13(i16 %x) {
 229 ; X86-LABEL: test_mul_by_13:
 230 ; X86:       # %bb.0:
 231 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 232 ; X86-NEXT:    leal (%eax,%eax,2), %ecx
 233 ; X86-NEXT:    leal (%eax,%ecx,4), %eax
 234 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 235 ; X86-NEXT:    retl
 236 ;
 237 ; X64-LABEL: test_mul_by_13:
 238 ; X64:       # %bb.0:
 239 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 240 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 241 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 242 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 243 ; X64-NEXT:    retq
 244   %mul = mul nsw i16 %x, 13
 245   ret i16 %mul
 246 }
 247
 248 define i16 @test_mul_by_14(i16 %x) {
 249 ; X86-LABEL: test_mul_by_14:
 250 ; X86:       # %bb.0:
 251 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 252 ; X86-NEXT:    movl %ecx, %eax
 253 ; X86-NEXT:    shll $4, %eax
 254 ; X86-NEXT:    subl %ecx, %eax
 255 ; X86-NEXT:    subl %ecx, %eax
 256 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 257 ; X86-NEXT:    retl
 258 ;
 259 ; X64-LABEL: test_mul_by_14:
 260 ; X64:       # %bb.0:
 261 ; X64-NEXT:    movl %edi, %eax
 262 ; X64-NEXT:    shll $4, %eax
 263 ; X64-NEXT:    subl %edi, %eax
 264 ; X64-NEXT:    subl %edi, %eax
 265 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 266 ; X64-NEXT:    retq
 267   %mul = mul nsw i16 %x, 14
 268   ret i16 %mul
 269 }
 270
 271 define i16 @test_mul_by_15(i16 %x) {
 272 ; X86-LABEL: test_mul_by_15:
 273 ; X86:       # %bb.0:
 274 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 275 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 276 ; X86-NEXT:    leal (%eax,%eax,2), %eax
 277 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 278 ; X86-NEXT:    retl
 279 ;
 280 ; X64-LABEL: test_mul_by_15:
 281 ; X64:       # %bb.0:
 282 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 283 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 284 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 285 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 286 ; X64-NEXT:    retq
 287   %mul = mul nsw i16 %x, 15
 288   ret i16 %mul
 289 }
 290
 291 define i16 @test_mul_by_16(i16 %x) {
 292 ; X86-LABEL: test_mul_by_16:
 293 ; X86:       # %bb.0:
 294 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 295 ; X86-NEXT:    shll $4, %eax
 296 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 297 ; X86-NEXT:    retl
 298 ;
 299 ; X64-LABEL: test_mul_by_16:
 300 ; X64:       # %bb.0:
 301 ; X64-NEXT:    movl %edi, %eax
 302 ; X64-NEXT:    shll $4, %eax
 303 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 304 ; X64-NEXT:    retq
 305   %mul = mul nsw i16 %x, 16
 306   ret i16 %mul
 307 }
 308
 309 define i16 @test_mul_by_17(i16 %x) {
 310 ; X86-LABEL: test_mul_by_17:
 311 ; X86:       # %bb.0:
 312 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 313 ; X86-NEXT:    movl %ecx, %eax
 314 ; X86-NEXT:    shll $4, %eax
 315 ; X86-NEXT:    addl %ecx, %eax
 316 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 317 ; X86-NEXT:    retl
 318 ;
 319 ; X64-LABEL: test_mul_by_17:
 320 ; X64:       # %bb.0:
 321 ; X64-NEXT:    movl %edi, %eax
 322 ; X64-NEXT:    shll $4, %eax
 323 ; X64-NEXT:    addl %edi, %eax
 324 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 325 ; X64-NEXT:    retq
 326   %mul = mul nsw i16 %x, 17
 327   ret i16 %mul
 328 }
 329
 330 define i16 @test_mul_by_18(i16 %x) {
 331 ; X86-LABEL: test_mul_by_18:
 332 ; X86:       # %bb.0:
 333 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 334 ; X86-NEXT:    addl %eax, %eax
 335 ; X86-NEXT:    leal (%eax,%eax,8), %eax
 336 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 337 ; X86-NEXT:    retl
 338 ;
 339 ; X64-LABEL: test_mul_by_18:
 340 ; X64:       # %bb.0:
 341 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 342 ; X64-NEXT:    addl %edi, %edi
 343 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 344 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 345 ; X64-NEXT:    retq
 346   %mul = mul nsw i16 %x, 18
 347   ret i16 %mul
 348 }
 349
 350 define i16 @test_mul_by_19(i16 %x) {
 351 ; X86-LABEL: test_mul_by_19:
 352 ; X86:       # %bb.0:
 353 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 354 ; X86-NEXT:    leal (%eax,%eax,8), %ecx
 355 ; X86-NEXT:    leal (%eax,%ecx,2), %eax
 356 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 357 ; X86-NEXT:    retl
 358 ;
 359 ; X64-LABEL: test_mul_by_19:
 360 ; X64:       # %bb.0:
 361 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 362 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 363 ; X64-NEXT:    leal (%rdi,%rax,2), %eax
 364 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 365 ; X64-NEXT:    retq
 366   %mul = mul nsw i16 %x, 19
 367   ret i16 %mul
 368 }
 369
 370 define i16 @test_mul_by_20(i16 %x) {
 371 ; X86-LABEL: test_mul_by_20:
 372 ; X86:       # %bb.0:
 373 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 374 ; X86-NEXT:    shll $2, %eax
 375 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 376 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 377 ; X86-NEXT:    retl
 378 ;
 379 ; X64-LABEL: test_mul_by_20:
 380 ; X64:       # %bb.0:
 381 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 382 ; X64-NEXT:    shll $2, %edi
 383 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 384 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 385 ; X64-NEXT:    retq
 386   %mul = mul nsw i16 %x, 20
 387   ret i16 %mul
 388 }
 389
 390 define i16 @test_mul_by_21(i16 %x) {
 391 ; X86-LABEL: test_mul_by_21:
 392 ; X86:       # %bb.0:
 393 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 394 ; X86-NEXT:    leal (%eax,%eax,4), %ecx
 395 ; X86-NEXT:    leal (%eax,%ecx,4), %eax
 396 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 397 ; X86-NEXT:    retl
 398 ;
 399 ; X64-LABEL: test_mul_by_21:
 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,4), %eax
 404 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 405 ; X64-NEXT:    retq
 406   %mul = mul nsw i16 %x, 21
 407   ret i16 %mul
 408 }
 409
 410 define i16 @test_mul_by_22(i16 %x) {
 411 ; X86-LABEL: test_mul_by_22:
 412 ; X86:       # %bb.0:
 413 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 414 ; X86-NEXT:    leal (%ecx,%ecx,4), %eax
 415 ; X86-NEXT:    leal (%ecx,%eax,4), %eax
 416 ; X86-NEXT:    addl %ecx, %eax
 417 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 418 ; X86-NEXT:    retl
 419 ;
 420 ; X64-LABEL: test_mul_by_22:
 421 ; X64:       # %bb.0:
 422 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 423 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 424 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 425 ; X64-NEXT:    addl %edi, %eax
 426 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 427 ; X64-NEXT:    retq
 428   %mul = mul nsw i16 %x, 22
 429   ret i16 %mul
 430 }
 431
 432 define i16 @test_mul_by_23(i16 %x) {
 433 ; X86-LABEL: test_mul_by_23:
 434 ; X86:       # %bb.0:
 435 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 436 ; X86-NEXT:    leal (%ecx,%ecx,2), %eax
 437 ; X86-NEXT:    shll $3, %eax
 438 ; X86-NEXT:    subl %ecx, %eax
 439 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 440 ; X86-NEXT:    retl
 441 ;
 442 ; X64-LABEL: test_mul_by_23:
 443 ; X64:       # %bb.0:
 444 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 445 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 446 ; X64-NEXT:    shll $3, %eax
 447 ; X64-NEXT:    subl %edi, %eax
 448 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 449 ; X64-NEXT:    retq
 450   %mul = mul nsw i16 %x, 23
 451   ret i16 %mul
 452 }
 453
 454 define i16 @test_mul_by_24(i16 %x) {
 455 ; X86-LABEL: test_mul_by_24:
 456 ; X86:       # %bb.0:
 457 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 458 ; X86-NEXT:    shll $3, %eax
 459 ; X86-NEXT:    leal (%eax,%eax,2), %eax
 460 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 461 ; X86-NEXT:    retl
 462 ;
 463 ; X64-LABEL: test_mul_by_24:
 464 ; X64:       # %bb.0:
 465 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 466 ; X64-NEXT:    shll $3, %edi
 467 ; X64-NEXT:    leal (%rdi,%rdi,2), %eax
 468 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 469 ; X64-NEXT:    retq
 470   %mul = mul nsw i16 %x, 24
 471   ret i16 %mul
 472 }
 473
 474 define i16 @test_mul_by_25(i16 %x) {
 475 ; X86-LABEL: test_mul_by_25:
 476 ; X86:       # %bb.0:
 477 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 478 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 479 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 480 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 481 ; X86-NEXT:    retl
 482 ;
 483 ; X64-LABEL: test_mul_by_25:
 484 ; X64:       # %bb.0:
 485 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 486 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 487 ; X64-NEXT:    leal (%rax,%rax,4), %eax
 488 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 489 ; X64-NEXT:    retq
 490   %mul = mul nsw i16 %x, 25
 491   ret i16 %mul
 492 }
 493
 494 define i16 @test_mul_by_26(i16 %x) {
 495 ; X86-LABEL: test_mul_by_26:
 496 ; X86:       # %bb.0:
 497 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 498 ; X86-NEXT:    leal (%ecx,%ecx,4), %eax
 499 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 500 ; X86-NEXT:    addl %ecx, %eax
 501 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 502 ; X86-NEXT:    retl
 503 ;
 504 ; X64-LABEL: test_mul_by_26:
 505 ; X64:       # %bb.0:
 506 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 507 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 508 ; X64-NEXT:    leal (%rax,%rax,4), %eax
 509 ; X64-NEXT:    addl %edi, %eax
 510 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 511 ; X64-NEXT:    retq
 512   %mul = mul nsw i16 %x, 26
 513   ret i16 %mul
 514 }
 515
 516 define i16 @test_mul_by_27(i16 %x) {
 517 ; X86-LABEL: test_mul_by_27:
 518 ; X86:       # %bb.0:
 519 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 520 ; X86-NEXT:    leal (%eax,%eax,8), %eax
 521 ; X86-NEXT:    leal (%eax,%eax,2), %eax
 522 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 523 ; X86-NEXT:    retl
 524 ;
 525 ; X64-LABEL: test_mul_by_27:
 526 ; X64:       # %bb.0:
 527 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 528 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 529 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 530 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 531 ; X64-NEXT:    retq
 532   %mul = mul nsw i16 %x, 27
 533   ret i16 %mul
 534 }
 535
 536 define i16 @test_mul_by_28(i16 %x) {
 537 ; X86-LABEL: test_mul_by_28:
 538 ; X86:       # %bb.0:
 539 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 540 ; X86-NEXT:    leal (%ecx,%ecx,8), %eax
 541 ; X86-NEXT:    leal (%eax,%eax,2), %eax
 542 ; X86-NEXT:    addl %ecx, %eax
 543 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 544 ; X86-NEXT:    retl
 545 ;
 546 ; X64-LABEL: test_mul_by_28:
 547 ; X64:       # %bb.0:
 548 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 549 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 550 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 551 ; X64-NEXT:    addl %edi, %eax
 552 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 553 ; X64-NEXT:    retq
 554   %mul = mul nsw i16 %x, 28
 555   ret i16 %mul
 556 }
 557
 558 define i16 @test_mul_by_29(i16 %x) {
 559 ; X86-LABEL: test_mul_by_29:
 560 ; X86:       # %bb.0:
 561 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 562 ; X86-NEXT:    leal (%ecx,%ecx,8), %eax
 563 ; X86-NEXT:    leal (%eax,%eax,2), %eax
 564 ; X86-NEXT:    addl %ecx, %eax
 565 ; X86-NEXT:    addl %ecx, %eax
 566 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 567 ; X86-NEXT:    retl
 568 ;
 569 ; X64-LABEL: test_mul_by_29:
 570 ; X64:       # %bb.0:
 571 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 572 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 573 ; X64-NEXT:    leal (%rax,%rax,2), %eax
 574 ; X64-NEXT:    addl %edi, %eax
 575 ; X64-NEXT:    addl %edi, %eax
 576 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 577 ; X64-NEXT:    retq
 578   %mul = mul nsw i16 %x, 29
 579   ret i16 %mul
 580 }
 581
 582 define i16 @test_mul_by_30(i16 %x) {
 583 ; X86-LABEL: test_mul_by_30:
 584 ; X86:       # %bb.0:
 585 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 586 ; X86-NEXT:    movl %ecx, %eax
 587 ; X86-NEXT:    shll $5, %eax
 588 ; X86-NEXT:    subl %ecx, %eax
 589 ; X86-NEXT:    subl %ecx, %eax
 590 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 591 ; X86-NEXT:    retl
 592 ;
 593 ; X64-LABEL: test_mul_by_30:
 594 ; X64:       # %bb.0:
 595 ; X64-NEXT:    movl %edi, %eax
 596 ; X64-NEXT:    shll $5, %eax
 597 ; X64-NEXT:    subl %edi, %eax
 598 ; X64-NEXT:    subl %edi, %eax
 599 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 600 ; X64-NEXT:    retq
 601   %mul = mul nsw i16 %x, 30
 602   ret i16 %mul
 603 }
 604
 605 define i16 @test_mul_by_31(i16 %x) {
 606 ; X86-LABEL: test_mul_by_31:
 607 ; X86:       # %bb.0:
 608 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 609 ; X86-NEXT:    movl %ecx, %eax
 610 ; X86-NEXT:    shll $5, %eax
 611 ; X86-NEXT:    subl %ecx, %eax
 612 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 613 ; X86-NEXT:    retl
 614 ;
 615 ; X64-LABEL: test_mul_by_31:
 616 ; X64:       # %bb.0:
 617 ; X64-NEXT:    movl %edi, %eax
 618 ; X64-NEXT:    shll $5, %eax
 619 ; X64-NEXT:    subl %edi, %eax
 620 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 621 ; X64-NEXT:    retq
 622   %mul = mul nsw i16 %x, 31
 623   ret i16 %mul
 624 }
 625
 626 define i16 @test_mul_by_32(i16 %x) {
 627 ; X86-LABEL: test_mul_by_32:
 628 ; X86:       # %bb.0:
 629 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 630 ; X86-NEXT:    shll $5, %eax
 631 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 632 ; X86-NEXT:    retl
 633 ;
 634 ; X64-LABEL: test_mul_by_32:
 635 ; X64:       # %bb.0:
 636 ; X64-NEXT:    movl %edi, %eax
 637 ; X64-NEXT:    shll $5, %eax
 638 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 639 ; X64-NEXT:    retq
 640   %mul = mul nsw i16 %x, 32
 641   ret i16 %mul
 642 }
 643
 644 define i16 @test_mul_by_37(i16 %x) {
 645 ; X86-LABEL: test_mul_by_37:
 646 ; X86:       # %bb.0:
 647 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 648 ; X86-NEXT:    leal (%eax,%eax,8), %ecx
 649 ; X86-NEXT:    leal (%eax,%ecx,4), %eax
 650 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 651 ; X86-NEXT:    retl
 652 ;
 653 ; X64-LABEL: test_mul_by_37:
 654 ; X64:       # %bb.0:
 655 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 656 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 657 ; X64-NEXT:    leal (%rdi,%rax,4), %eax
 658 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 659 ; X64-NEXT:    retq
 660   %mul = mul nsw i16 %x, 37
 661   ret i16 %mul
 662 }
 663
 664 define i16 @test_mul_by_41(i16 %x) {
 665 ; X86-LABEL: test_mul_by_41:
 666 ; X86:       # %bb.0:
 667 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 668 ; X86-NEXT:    leal (%eax,%eax,4), %ecx
 669 ; X86-NEXT:    leal (%eax,%ecx,8), %eax
 670 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 671 ; X86-NEXT:    retl
 672 ;
 673 ; X64-LABEL: test_mul_by_41:
 674 ; X64:       # %bb.0:
 675 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 676 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 677 ; X64-NEXT:    leal (%rdi,%rax,8), %eax
 678 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 679 ; X64-NEXT:    retq
 680   %mul = mul nsw i16 %x, 41
 681   ret i16 %mul
 682 }
 683
 684 define i16 @test_mul_by_62(i16 %x) {
 685 ; X86-LABEL: test_mul_by_62:
 686 ; X86:       # %bb.0:
 687 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 688 ; X86-NEXT:    movl %ecx, %eax
 689 ; X86-NEXT:    shll $6, %eax
 690 ; X86-NEXT:    subl %ecx, %eax
 691 ; X86-NEXT:    subl %ecx, %eax
 692 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 693 ; X86-NEXT:    retl
 694 ;
 695 ; X64-LABEL: test_mul_by_62:
 696 ; X64:       # %bb.0:
 697 ; X64-NEXT:    movl %edi, %eax
 698 ; X64-NEXT:    shll $6, %eax
 699 ; X64-NEXT:    subl %edi, %eax
 700 ; X64-NEXT:    subl %edi, %eax
 701 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 702 ; X64-NEXT:    retq
 703   %mul = mul nsw i16 %x, 62
 704   ret i16 %mul
 705 }
 706
 707 define i16 @test_mul_by_66(i16 %x) {
 708 ; X86-LABEL: test_mul_by_66:
 709 ; X86:       # %bb.0:
 710 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 711 ; X86-NEXT:    movl %eax, %ecx
 712 ; X86-NEXT:    shll $6, %ecx
 713 ; X86-NEXT:    leal (%ecx,%eax,2), %eax
 714 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 715 ; X86-NEXT:    retl
 716 ;
 717 ; X64-LABEL: test_mul_by_66:
 718 ; X64:       # %bb.0:
 719 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 720 ; X64-NEXT:    movl %edi, %eax
 721 ; X64-NEXT:    shll $6, %eax
 722 ; X64-NEXT:    leal (%rax,%rdi,2), %eax
 723 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 724 ; X64-NEXT:    retq
 725   %mul = mul nsw i16 %x, 66
 726   ret i16 %mul
 727 }
 728
 729 define i16 @test_mul_by_73(i16 %x) {
 730 ; X86-LABEL: test_mul_by_73:
 731 ; X86:       # %bb.0:
 732 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 733 ; X86-NEXT:    leal (%eax,%eax,8), %ecx
 734 ; X86-NEXT:    leal (%eax,%ecx,8), %eax
 735 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 736 ; X86-NEXT:    retl
 737 ;
 738 ; X64-LABEL: test_mul_by_73:
 739 ; X64:       # %bb.0:
 740 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 741 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 742 ; X64-NEXT:    leal (%rdi,%rax,8), %eax
 743 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 744 ; X64-NEXT:    retq
 745   %mul = mul nsw i16 %x, 73
 746   ret i16 %mul
 747 }
 748
 749 define i16 @test_mul_by_520(i16 %x) {
 750 ; X86-LABEL: test_mul_by_520:
 751 ; X86:       # %bb.0:
 752 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 753 ; X86-NEXT:    movl %eax, %ecx
 754 ; X86-NEXT:    shll $9, %ecx
 755 ; X86-NEXT:    leal (%ecx,%eax,8), %eax
 756 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 757 ; X86-NEXT:    retl
 758 ;
 759 ; X64-LABEL: test_mul_by_520:
 760 ; X64:       # %bb.0:
 761 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 762 ; X64-NEXT:    movl %edi, %eax
 763 ; X64-NEXT:    shll $9, %eax
 764 ; X64-NEXT:    leal (%rax,%rdi,8), %eax
 765 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 766 ; X64-NEXT:    retq
 767   %mul = mul nsw i16 %x, 520
 768   ret i16 %mul
 769 }
 770
 771 define i16 @test_mul_by_neg10(i16 %x) {
 772 ; X86-LABEL: test_mul_by_neg10:
 773 ; X86:       # %bb.0:
 774 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 775 ; X86-NEXT:    addl %eax, %eax
 776 ; X86-NEXT:    leal (%eax,%eax,4), %eax
 777 ; X86-NEXT:    negl %eax
 778 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 779 ; X86-NEXT:    retl
 780 ;
 781 ; X64-LABEL: test_mul_by_neg10:
 782 ; X64:       # %bb.0:
 783 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 784 ; X64-NEXT:    addl %edi, %edi
 785 ; X64-NEXT:    leal (%rdi,%rdi,4), %eax
 786 ; X64-NEXT:    negl %eax
 787 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 788 ; X64-NEXT:    retq
 789   %mul = mul nsw i16 %x, -10
 790   ret i16 %mul
 791 }
 792
 793 define i16 @test_mul_by_neg36(i16 %x) {
 794 ; X86-LABEL: test_mul_by_neg36:
 795 ; X86:       # %bb.0:
 796 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 797 ; X86-NEXT:    shll $2, %eax
 798 ; X86-NEXT:    leal (%eax,%eax,8), %eax
 799 ; X86-NEXT:    negl %eax
 800 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 801 ; X86-NEXT:    retl
 802 ;
 803 ; X64-LABEL: test_mul_by_neg36:
 804 ; X64:       # %bb.0:
 805 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 806 ; X64-NEXT:    shll $2, %edi
 807 ; X64-NEXT:    leal (%rdi,%rdi,8), %eax
 808 ; X64-NEXT:    negl %eax
 809 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 810 ; X64-NEXT:    retq
 811   %mul = mul nsw i16 %x, -36
 812   ret i16 %mul
 813 }
 814
 815 ; (x*9+42)*(x*5+2)
 816 define i16 @test_mul_spec(i16 %x) nounwind {
 817 ; X86-LABEL: test_mul_spec:
 818 ; X86:       # %bb.0:
 819 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 820 ; X86-NEXT:    leal 42(%eax,%eax,8), %ecx
 821 ; X86-NEXT:    leal 2(%eax,%eax,4), %eax
 822 ; X86-NEXT:    imull %ecx, %eax
 823 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 824 ; X86-NEXT:    retl
 825 ;
 826 ; X64-LABEL: test_mul_spec:
 827 ; X64:       # %bb.0:
 828 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 829 ; X64-NEXT:    leal 42(%rdi,%rdi,8), %ecx
 830 ; X64-NEXT:    leal 2(%rdi,%rdi,4), %eax
 831 ; X64-NEXT:    imull %ecx, %eax
 832 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 833 ; X64-NEXT:    retq
 834   %mul = mul nsw i16 %x, 9
 835   %add = add nsw i16 %mul, 42
 836   %mul2 = mul nsw i16 %x, 5
 837   %add2 = add nsw i16 %mul2, 2
 838   %mul3 = mul nsw i16 %add, %add2
 839   ret i16 %mul3
 840 }