1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc < %s -mtriple=x86_64-pc-linux-gnu | FileCheck %s --check-prefix=X64 3; RUN: llc < %s -mtriple=x86_64-pc-linux-gnux32 | FileCheck %s --check-prefix=X64 4; RUN: llc < %s -mtriple=i686-pc-linux | FileCheck %s --check-prefix=X86 5 6define i32 @mul4_32(i32 %A) { 7; X64-LABEL: mul4_32: 8; X64: # %bb.0: 9; X64-NEXT: # kill: def $edi killed $edi def $rdi 10; X64-NEXT: leal (,%rdi,4), %eax 11; X64-NEXT: retq 12; 13; X86-LABEL: mul4_32: 14; X86: # %bb.0: 15; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 16; X86-NEXT: shll $2, %eax 17; X86-NEXT: retl 18 %mul = mul i32 %A, 4 19 ret i32 %mul 20} 21 22define i64 @mul4_64(i64 %A) { 23; X64-LABEL: mul4_64: 24; X64: # %bb.0: 25; X64-NEXT: leaq (,%rdi,4), %rax 26; X64-NEXT: retq 27; 28; X86-LABEL: mul4_64: 29; X86: # %bb.0: 30; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 31; X86-NEXT: movl {{[0-9]+}}(%esp), %edx 32; X86-NEXT: shldl $2, %eax, %edx 33; X86-NEXT: shll $2, %eax 34; X86-NEXT: retl 35 %mul = mul i64 %A, 4 36 ret i64 %mul 37} 38 39define i32 @mul4096_32(i32 %A) { 40; X64-LABEL: mul4096_32: 41; X64: # %bb.0: 42; X64-NEXT: shll $12, %edi 43; X64-NEXT: movl %edi, %eax 44; X64-NEXT: retq 45; 46; X86-LABEL: mul4096_32: 47; X86: # %bb.0: 48; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 49; X86-NEXT: shll $12, %eax 50; X86-NEXT: retl 51 %mul = mul i32 %A, 4096 52 ret i32 %mul 53} 54 55define i64 @mul4096_64(i64 %A) { 56; X64-LABEL: mul4096_64: 57; X64: # %bb.0: 58; X64-NEXT: shlq $12, %rdi 59; X64-NEXT: movq %rdi, %rax 60; X64-NEXT: retq 61; 62; X86-LABEL: mul4096_64: 63; X86: # %bb.0: 64; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 65; X86-NEXT: movl {{[0-9]+}}(%esp), %edx 66; X86-NEXT: shldl $12, %eax, %edx 67; X86-NEXT: shll $12, %eax 68; X86-NEXT: retl 69 %mul = mul i64 %A, 4096 70 ret i64 %mul 71} 72 73define i32 @mulmin4096_32(i32 %A) { 74; X64-LABEL: mulmin4096_32: 75; X64: # %bb.0: 76; X64-NEXT: shll $12, %edi 77; X64-NEXT: negl %edi 78; X64-NEXT: movl %edi, %eax 79; X64-NEXT: retq 80; 81; X86-LABEL: mulmin4096_32: 82; X86: # %bb.0: 83; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 84; X86-NEXT: shll $12, %eax 85; X86-NEXT: negl %eax 86; X86-NEXT: retl 87 %mul = mul i32 %A, -4096 88 ret i32 %mul 89} 90 91define i64 @mulmin4096_64(i64 %A) { 92; X64-LABEL: mulmin4096_64: 93; X64: # %bb.0: 94; X64-NEXT: shlq $12, %rdi 95; X64-NEXT: negq %rdi 96; X64-NEXT: movq %rdi, %rax 97; X64-NEXT: retq 98; 99; X86-LABEL: mulmin4096_64: 100; X86: # %bb.0: 101; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 102; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 103; X86-NEXT: shldl $12, %eax, %ecx 104; X86-NEXT: shll $12, %eax 105; X86-NEXT: xorl %edx, %edx 106; X86-NEXT: negl %eax 107; X86-NEXT: sbbl %ecx, %edx 108; X86-NEXT: retl 109 %mul = mul i64 %A, -4096 110 ret i64 %mul 111} 112 113define i32 @mul3_32(i32 %A) { 114; X64-LABEL: mul3_32: 115; X64: # %bb.0: 116; X64-NEXT: # kill: def $edi killed $edi def $rdi 117; X64-NEXT: leal (%rdi,%rdi,2), %eax 118; X64-NEXT: retq 119; 120; X86-LABEL: mul3_32: 121; X86: # %bb.0: 122; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 123; X86-NEXT: leal (%eax,%eax,2), %eax 124; X86-NEXT: retl 125; But why?! 126 %mul = mul i32 %A, 3 127 ret i32 %mul 128} 129 130define i64 @mul3_64(i64 %A) { 131; X64-LABEL: mul3_64: 132; X64: # %bb.0: 133; X64-NEXT: leaq (%rdi,%rdi,2), %rax 134; X64-NEXT: retq 135; 136; X86-LABEL: mul3_64: 137; X86: # %bb.0: 138; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 139; X86-NEXT: leal (%eax,%eax,2), %ecx 140; X86-NEXT: movl $3, %eax 141; X86-NEXT: mull {{[0-9]+}}(%esp) 142; X86-NEXT: addl %ecx, %edx 143; X86-NEXT: retl 144 %mul = mul i64 %A, 3 145 ret i64 %mul 146} 147 148define i32 @mul40_32(i32 %A) { 149; X64-LABEL: mul40_32: 150; X64: # %bb.0: 151; X64-NEXT: # kill: def $edi killed $edi def $rdi 152; X64-NEXT: shll $3, %edi 153; X64-NEXT: leal (%rdi,%rdi,4), %eax 154; X64-NEXT: retq 155; 156; X86-LABEL: mul40_32: 157; X86: # %bb.0: 158; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 159; X86-NEXT: shll $3, %eax 160; X86-NEXT: leal (%eax,%eax,4), %eax 161; X86-NEXT: retl 162 %mul = mul i32 %A, 40 163 ret i32 %mul 164} 165 166define i64 @mul40_64(i64 %A) { 167; X64-LABEL: mul40_64: 168; X64: # %bb.0: 169; X64-NEXT: shlq $3, %rdi 170; X64-NEXT: leaq (%rdi,%rdi,4), %rax 171; X64-NEXT: retq 172; 173; X86-LABEL: mul40_64: 174; X86: # %bb.0: 175; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 176; X86-NEXT: leal (%eax,%eax,4), %ecx 177; X86-NEXT: movl $40, %eax 178; X86-NEXT: mull {{[0-9]+}}(%esp) 179; X86-NEXT: leal (%edx,%ecx,8), %edx 180; X86-NEXT: retl 181 %mul = mul i64 %A, 40 182 ret i64 %mul 183} 184 185define i32 @mul4_32_minsize(i32 %A) minsize { 186; X64-LABEL: mul4_32_minsize: 187; X64: # %bb.0: 188; X64-NEXT: # kill: def $edi killed $edi def $rdi 189; X64-NEXT: leal (,%rdi,4), %eax 190; X64-NEXT: retq 191; 192; X86-LABEL: mul4_32_minsize: 193; X86: # %bb.0: 194; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 195; X86-NEXT: shll $2, %eax 196; X86-NEXT: retl 197 %mul = mul i32 %A, 4 198 ret i32 %mul 199} 200 201define i32 @mul40_32_minsize(i32 %A) minsize { 202; X64-LABEL: mul40_32_minsize: 203; X64: # %bb.0: 204; X64-NEXT: imull $40, %edi, %eax 205; X64-NEXT: retq 206; 207; X86-LABEL: mul40_32_minsize: 208; X86: # %bb.0: 209; X86-NEXT: imull $40, {{[0-9]+}}(%esp), %eax 210; X86-NEXT: retl 211 %mul = mul i32 %A, 40 212 ret i32 %mul 213} 214 215define i32 @mul33_32(i32 %A) { 216; X64-LABEL: mul33_32: 217; X64: # %bb.0: 218; X64-NEXT: # kill: def $edi killed $edi def $rdi 219; X64-NEXT: movl %edi, %eax 220; X64-NEXT: shll $5, %eax 221; X64-NEXT: leal (%rax,%rdi), %eax 222; X64-NEXT: retq 223; 224; X86-LABEL: mul33_32: 225; X86: # %bb.0: 226; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 227; X86-NEXT: movl %ecx, %eax 228; X86-NEXT: shll $5, %eax 229; X86-NEXT: addl %ecx, %eax 230; X86-NEXT: retl 231 %mul = mul i32 %A, 33 232 ret i32 %mul 233} 234 235define i32 @mul31_32(i32 %A) { 236; X64-LABEL: mul31_32: 237; X64: # %bb.0: 238; X64-NEXT: movl %edi, %eax 239; X64-NEXT: shll $5, %eax 240; X64-NEXT: subl %edi, %eax 241; X64-NEXT: retq 242; 243; X86-LABEL: mul31_32: 244; X86: # %bb.0: 245; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 246; X86-NEXT: movl %ecx, %eax 247; X86-NEXT: shll $5, %eax 248; X86-NEXT: subl %ecx, %eax 249; X86-NEXT: retl 250 %mul = mul i32 %A, 31 251 ret i32 %mul 252} 253 254define i32 @mul0_32(i32 %A) { 255; X64-LABEL: mul0_32: 256; X64: # %bb.0: 257; X64-NEXT: xorl %eax, %eax 258; X64-NEXT: retq 259; 260; X86-LABEL: mul0_32: 261; X86: # %bb.0: 262; X86-NEXT: xorl %eax, %eax 263; X86-NEXT: retl 264 %mul = mul i32 %A, 0 265 ret i32 %mul 266} 267 268define i32 @mul4294967295_32(i32 %A) { 269; X64-LABEL: mul4294967295_32: 270; X64: # %bb.0: 271; X64-NEXT: negl %edi 272; X64-NEXT: movl %edi, %eax 273; X64-NEXT: retq 274; 275; X86-LABEL: mul4294967295_32: 276; X86: # %bb.0: 277; X86-NEXT: xorl %eax, %eax 278; X86-NEXT: subl {{[0-9]+}}(%esp), %eax 279; X86-NEXT: retl 280 %mul = mul i32 %A, 4294967295 281 ret i32 %mul 282} 283 284define i64 @mul18446744073709551615_64(i64 %A) { 285; X64-LABEL: mul18446744073709551615_64: 286; X64: # %bb.0: 287; X64-NEXT: negq %rdi 288; X64-NEXT: movq %rdi, %rax 289; X64-NEXT: retq 290; 291; X86-LABEL: mul18446744073709551615_64: 292; X86: # %bb.0: 293; X86-NEXT: xorl %edx, %edx 294; X86-NEXT: xorl %eax, %eax 295; X86-NEXT: subl {{[0-9]+}}(%esp), %eax 296; X86-NEXT: sbbl {{[0-9]+}}(%esp), %edx 297; X86-NEXT: retl 298 %mul = mul i64 %A, 18446744073709551615 299 ret i64 %mul 300} 301 302define i32 @test(i32 %a) { 303; X64-LABEL: test: 304; X64: # %bb.0: # %entry 305; X64-NEXT: movl %edi, %eax 306; X64-NEXT: shll $5, %eax 307; X64-NEXT: subl %edi, %eax 308; X64-NEXT: retq 309; 310; X86-LABEL: test: 311; X86: # %bb.0: # %entry 312; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 313; X86-NEXT: movl %ecx, %eax 314; X86-NEXT: shll $5, %eax 315; X86-NEXT: subl %ecx, %eax 316; X86-NEXT: retl 317entry: 318 %tmp3 = mul i32 %a, 31 319 ret i32 %tmp3 320} 321 322define i32 @test1(i32 %a) { 323; X64-LABEL: test1: 324; X64: # %bb.0: # %entry 325; X64-NEXT: movl %edi, %eax 326; X64-NEXT: shll $5, %eax 327; X64-NEXT: subl %eax, %edi 328; X64-NEXT: movl %edi, %eax 329; X64-NEXT: retq 330; 331; X86-LABEL: test1: 332; X86: # %bb.0: # %entry 333; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 334; X86-NEXT: movl %eax, %ecx 335; X86-NEXT: shll $5, %ecx 336; X86-NEXT: subl %ecx, %eax 337; X86-NEXT: retl 338entry: 339 %tmp3 = mul i32 %a, -31 340 ret i32 %tmp3 341} 342 343 344define i32 @test2(i32 %a) { 345; X64-LABEL: test2: 346; X64: # %bb.0: # %entry 347; X64-NEXT: # kill: def $edi killed $edi def $rdi 348; X64-NEXT: movl %edi, %eax 349; X64-NEXT: shll $5, %eax 350; X64-NEXT: leal (%rax,%rdi), %eax 351; X64-NEXT: retq 352; 353; X86-LABEL: test2: 354; X86: # %bb.0: # %entry 355; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 356; X86-NEXT: movl %ecx, %eax 357; X86-NEXT: shll $5, %eax 358; X86-NEXT: addl %ecx, %eax 359; X86-NEXT: retl 360entry: 361 %tmp3 = mul i32 %a, 33 362 ret i32 %tmp3 363} 364 365define i32 @test3(i32 %a) { 366; X64-LABEL: test3: 367; X64: # %bb.0: # %entry 368; X64-NEXT: # kill: def $edi killed $edi def $rdi 369; X64-NEXT: movl %edi, %eax 370; X64-NEXT: shll $5, %eax 371; X64-NEXT: leal (%rax,%rdi), %eax 372; X64-NEXT: negl %eax 373; X64-NEXT: retq 374; 375; X86-LABEL: test3: 376; X86: # %bb.0: # %entry 377; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 378; X86-NEXT: movl %ecx, %eax 379; X86-NEXT: shll $5, %eax 380; X86-NEXT: addl %ecx, %eax 381; X86-NEXT: negl %eax 382; X86-NEXT: retl 383entry: 384 %tmp3 = mul i32 %a, -33 385 ret i32 %tmp3 386} 387 388define i64 @test4(i64 %a) { 389; X64-LABEL: test4: 390; X64: # %bb.0: # %entry 391; X64-NEXT: movq %rdi, %rax 392; X64-NEXT: shlq $5, %rax 393; X64-NEXT: subq %rdi, %rax 394; X64-NEXT: retq 395; 396; X86-LABEL: test4: 397; X86: # %bb.0: # %entry 398; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 399; X86-NEXT: movl %eax, %ecx 400; X86-NEXT: shll $5, %ecx 401; X86-NEXT: subl %eax, %ecx 402; X86-NEXT: movl $31, %eax 403; X86-NEXT: mull {{[0-9]+}}(%esp) 404; X86-NEXT: addl %ecx, %edx 405; X86-NEXT: retl 406entry: 407 %tmp3 = mul i64 %a, 31 408 ret i64 %tmp3 409} 410 411define i64 @test5(i64 %a) { 412; X64-LABEL: test5: 413; X64: # %bb.0: # %entry 414; X64-NEXT: movq %rdi, %rax 415; X64-NEXT: shlq $5, %rax 416; X64-NEXT: subq %rax, %rdi 417; X64-NEXT: movq %rdi, %rax 418; X64-NEXT: retq 419; 420; X86-LABEL: test5: 421; X86: # %bb.0: # %entry 422; X86-NEXT: pushl %esi 423; X86-NEXT: .cfi_def_cfa_offset 8 424; X86-NEXT: .cfi_offset %esi, -8 425; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 426; X86-NEXT: movl {{[0-9]+}}(%esp), %esi 427; X86-NEXT: movl %esi, %eax 428; X86-NEXT: shll $5, %eax 429; X86-NEXT: subl %eax, %esi 430; X86-NEXT: movl $-31, %edx 431; X86-NEXT: movl %ecx, %eax 432; X86-NEXT: mull %edx 433; X86-NEXT: subl %ecx, %edx 434; X86-NEXT: addl %esi, %edx 435; X86-NEXT: popl %esi 436; X86-NEXT: .cfi_def_cfa_offset 4 437; X86-NEXT: retl 438entry: 439 %tmp3 = mul i64 %a, -31 440 ret i64 %tmp3 441} 442 443 444define i64 @test6(i64 %a) { 445; X64-LABEL: test6: 446; X64: # %bb.0: # %entry 447; X64-NEXT: movq %rdi, %rax 448; X64-NEXT: shlq $5, %rax 449; X64-NEXT: leaq (%rax,%rdi), %rax 450; X64-NEXT: retq 451; 452; X86-LABEL: test6: 453; X86: # %bb.0: # %entry 454; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 455; X86-NEXT: movl %eax, %ecx 456; X86-NEXT: shll $5, %ecx 457; X86-NEXT: addl %eax, %ecx 458; X86-NEXT: movl $33, %eax 459; X86-NEXT: mull {{[0-9]+}}(%esp) 460; X86-NEXT: addl %ecx, %edx 461; X86-NEXT: retl 462entry: 463 %tmp3 = mul i64 %a, 33 464 ret i64 %tmp3 465} 466 467define i64 @test7(i64 %a) { 468; X64-LABEL: test7: 469; X64: # %bb.0: # %entry 470; X64-NEXT: movq %rdi, %rax 471; X64-NEXT: shlq $5, %rax 472; X64-NEXT: leaq (%rax,%rdi), %rax 473; X64-NEXT: negq %rax 474; X64-NEXT: retq 475; 476; X86-LABEL: test7: 477; X86: # %bb.0: # %entry 478; X86-NEXT: pushl %esi 479; X86-NEXT: .cfi_def_cfa_offset 8 480; X86-NEXT: .cfi_offset %esi, -8 481; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 482; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 483; X86-NEXT: movl %eax, %esi 484; X86-NEXT: shll $5, %esi 485; X86-NEXT: addl %eax, %esi 486; X86-NEXT: movl $-33, %edx 487; X86-NEXT: movl %ecx, %eax 488; X86-NEXT: mull %edx 489; X86-NEXT: subl %ecx, %edx 490; X86-NEXT: subl %esi, %edx 491; X86-NEXT: popl %esi 492; X86-NEXT: .cfi_def_cfa_offset 4 493; X86-NEXT: retl 494entry: 495 %tmp3 = mul i64 %a, -33 496 ret i64 %tmp3 497} 498 499define i64 @testOverflow(i64 %a) { 500; X64-LABEL: testOverflow: 501; X64: # %bb.0: # %entry 502; X64-NEXT: movq %rdi, %rax 503; X64-NEXT: shlq $63, %rax 504; X64-NEXT: subq %rdi, %rax 505; X64-NEXT: retq 506; 507; X86-LABEL: testOverflow: 508; X86: # %bb.0: # %entry 509; X86-NEXT: pushl %esi 510; X86-NEXT: .cfi_def_cfa_offset 8 511; X86-NEXT: .cfi_offset %esi, -8 512; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 513; X86-NEXT: movl $-1, %edx 514; X86-NEXT: movl %ecx, %eax 515; X86-NEXT: mull %edx 516; X86-NEXT: movl %ecx, %esi 517; X86-NEXT: shll $31, %esi 518; X86-NEXT: subl %ecx, %esi 519; X86-NEXT: addl %esi, %edx 520; X86-NEXT: subl {{[0-9]+}}(%esp), %edx 521; X86-NEXT: popl %esi 522; X86-NEXT: .cfi_def_cfa_offset 4 523; X86-NEXT: retl 524entry: 525 %tmp3 = mul i64 %a, 9223372036854775807 526 ret i64 %tmp3 527} 528 529define i64 @testNegOverflow(i64 %a) { 530; X64-LABEL: testNegOverflow: 531; X64: # %bb.0: # %entry 532; X64-NEXT: movq %rdi, %rax 533; X64-NEXT: shlq $63, %rax 534; X64-NEXT: subq %rax, %rdi 535; X64-NEXT: movq %rdi, %rax 536; X64-NEXT: retq 537; 538; X86-LABEL: testNegOverflow: 539; X86: # %bb.0: # %entry 540; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx 541; X86-NEXT: movl $1, %edx 542; X86-NEXT: movl %ecx, %eax 543; X86-NEXT: mull %edx 544; X86-NEXT: shll $31, %ecx 545; X86-NEXT: addl %ecx, %edx 546; X86-NEXT: addl {{[0-9]+}}(%esp), %edx 547; X86-NEXT: retl 548entry: 549 %tmp3 = mul i64 %a, -9223372036854775807 550 ret i64 %tmp3 551} 552