<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="" applecontenteditable="true">Hi Andrew,<div class=""><br class=""></div><div class=""><div class="">I think this change is responsible for a tablgen failure in stage2 builds:</div><div class=""><br class=""></div><div class=""> <a href="http://green.lab.llvm.org/green/job/clang-stage2-configure-Rthinlto_build/2171/" class="">http://green.lab.llvm.org/green/job/clang-stage2-configure-Rthinlto_build/2171/</a></div><div class=""><br class=""></div><div class="">I reproduced the failure locally (without ThinLTO), reverted your commit, rebuilt the stage1 clang, rebuilt the stage2 llvm-tblgen tool, and found that the crash disappears when your commit is reverted.</div><div class=""><br class=""></div><div class="">Could you take a look?</div><span class=""><br class=""></span><span class="">FAILED: lib/Target/ARM/ARMGenRegisterBank.inc.tmp<br class="">cd /Volumes/Builds/pz-master-stage2-RA/lib/Target/ARM && /Volumes/Builds/pz-master-stage2-RA/bin/llvm-tblgen -gen-register-bank -I /Users/vk/llvm/lib/Target/ARM -I /Users/vk/llvm/include -I /Users/vk/llvm/lib/Target /Users/vk/llvm/lib/Target/ARM/ARM.td -o /Volumes<br class="">/Builds/pz-master-stage2-RA/lib/Target/ARM/ARMGenRegisterBank.inc.tmp<br class="">0 llvm-tblgen 0x0000000106fc9568 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40<br class="">1 llvm-tblgen 0x0000000106fc9be6 SignalHandler(int) + 422<br class="">2 libsystem_platform.dylib 0x00000001076a7fba _sigtramp + 26<br class="">3 libsystem_platform.dylib 0x00007fff58deb468 _sigtramp + 1366570184<br class="">4 llvm-tblgen 0x0000000106e89cc7 llvm::CodeGenRegBank::getCompositeSubRegIndex(llvm::CodeGenSubRegIndex*, llvm::CodeGenSubRegIndex*) + 615<br class="">5 llvm-tblgen 0x0000000106e88be6 llvm::CodeGenRegister::computeSubRegs(llvm::CodeGenRegBank&) + 2182<br class="">6 llvm-tblgen 0x0000000106e8e9f0 llvm::CodeGenRegBank::CodeGenRegBank(llvm::RecordKeeper&) + 2192<br class="">7 llvm-tblgen 0x0000000106f384a1 llvm::EmitRegisterBank(llvm::RecordKeeper&, llvm::raw_ostream&) + 65<br class="">8 llvm-tblgen 0x0000000106f72c64 (anonymous namespace)::LLVMTableGenMain(llvm::raw_ostream&, llvm::RecordKeeper&) + 1172<br class="">9 llvm-tblgen 0x0000000106fcb15f llvm::TableGenMain(char*, bool (*)(llvm::raw_ostream&, llvm::RecordKeeper&)) + 3599<br class="">10 llvm-tblgen 0x0000000106f727a6 main + 134<br class="">11 libdyld.dylib 0x000000010733c6a5 start + 1<br class="">Stack dump:<br class="">0. Program arguments: /Volumes/Builds/pz-master-stage2-RA/bin/llvm-tblgen -gen-register-bank -I /Users/vk/llvm/lib/Target/ARM -I /Users/vk/llvm/include -I /Users/vk/llvm/lib/Target /Users/vk/llvm/lib/Target/ARM/ARM.td -o /Volumes/Builds/pz-master-stage2-RA/lib/Target/ARM/ARMGenRegisterBank.inc.tmp<br class="">/bin/sh: line 1: 41986 Segmentation fault: 11 /Volumes/Builds/pz-master-stage2-RA/bin/llvm-tblgen -gen-register-bank -I /Users/vk/llvm/lib/Target/ARM -I /Users/vk/llvm/include -I /Users/vk/llvm/lib/Target /Users/vk/llvm/lib/Target/ARM/ARM.td -o /Volumes/Builds/pz<br class="">-master-stage2-RA/lib/Target/ARM/ARMGenRegisterBank.inc.tmp</span></div><div class=""><span class=""><br class=""></span></div><div class=""><span class="">thanks,</span></div><div class=""><span class="">vedant<br class=""></span><span class=""><br class=""></span><div><blockquote type="cite" class=""><div class="">On May 30, 2017, at 6:00 AM, Andrew V. Tischenko via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org" class="">llvm-commits@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Author: avt77<br class="">Date: Tue May 30 08:00:44 2017<br class="">New Revision: 304209<br class=""><br class="">URL: <a href="http://llvm.org/viewvc/llvm-project?rev=304209&view=rev" class="">http://llvm.org/viewvc/llvm-project?rev=304209&view=rev</a><br class="">Log:<br class="">This patch closes PR28513: an optimization of multiplication by different constants.<br class="">It's implemented on DAG combiner level.<br class=""><br class="">Modified:<br class=""> llvm/trunk/lib/Target/X86/X86ISelLowering.cpp<br class=""> llvm/trunk/test/CodeGen/X86/mul-constant-i16.ll<br class=""> llvm/trunk/test/CodeGen/X86/mul-constant-i32.ll<br class=""> llvm/trunk/test/CodeGen/X86/mul-constant-i64.ll<br class=""><br class="">Modified: llvm/trunk/lib/Target/X86/X86ISelLowering.cpp<br class="">URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86ISelLowering.cpp?rev=304209&r1=304208&r2=304209&view=diff" class="">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86ISelLowering.cpp?rev=304209&r1=304208&r2=304209&view=diff</a><br class="">==============================================================================<br class="">--- llvm/trunk/lib/Target/X86/X86ISelLowering.cpp (original)<br class="">+++ llvm/trunk/lib/Target/X86/X86ISelLowering.cpp Tue May 30 08:00:44 2017<br class="">@@ -80,6 +80,12 @@ static cl::opt<int> ExperimentalPrefLoop<br class=""> " of the loop header PC will be 0)."),<br class=""> cl::Hidden);<br class=""><br class="">+static cl::opt<bool> MulConstantOptimization(<br class="">+ "mul-constant-optimization", cl::init(true),<br class="">+ cl::desc("Replace 'mul x, Const' with more effective instructions like "<br class="">+ "SHIFT, LEA, etc."),<br class="">+ cl::Hidden);<br class="">+<br class=""> /// Call this when the user attempts to do something unsupported, like<br class=""> /// returning a double without SSE2 enabled on x86_64. This is not fatal, unlike<br class=""> /// report_fatal_error, so calling code should attempt to recover without<br class="">@@ -30928,6 +30934,75 @@ static SDValue reduceVMULWidth(SDNode *N<br class=""> }<br class=""> }<br class=""><br class="">+static SDValue combineMulSpecial(uint64_t MulAmt, SDNode *N, SelectionDAG &DAG,<br class="">+ EVT VT, SDLoc DL) {<br class="">+<br class="">+ auto combineMulShlAddOrSub = [&](int Mult, int Shift, bool isAdd) {<br class="">+ SDValue Result = DAG.getNode(X86ISD::MUL_IMM, DL, VT, N->getOperand(0),<br class="">+ DAG.getConstant(Mult, DL, VT));<br class="">+ Result = DAG.getNode(ISD::SHL, DL, VT, Result,<br class="">+ DAG.getConstant(Shift, DL, MVT::i8));<br class="">+ Result = DAG.getNode(isAdd ? ISD::ADD : ISD::SUB, DL, VT, N->getOperand(0),<br class="">+ Result);<br class="">+ return Result;<br class="">+ };<br class="">+<br class="">+ auto combineMulMulAddOrSub = [&](bool isAdd) {<br class="">+ SDValue Result = DAG.getNode(X86ISD::MUL_IMM, DL, VT, N->getOperand(0),<br class="">+ DAG.getConstant(9, DL, VT));<br class="">+ Result = DAG.getNode(ISD::MUL, DL, VT, Result, DAG.getConstant(3, DL, VT));<br class="">+ Result = DAG.getNode(isAdd ? ISD::ADD : ISD::SUB, DL, VT, N->getOperand(0),<br class="">+ Result);<br class="">+ return Result;<br class="">+ };<br class="">+<br class="">+ switch (MulAmt) {<br class="">+ default:<br class="">+ break;<br class="">+ case 11:<br class="">+ // mul x, 11 => add ((shl (mul x, 5), 1), x)<br class="">+ return combineMulShlAddOrSub(5, 1, /*isAdd*/ true);<br class="">+ case 21:<br class="">+ // mul x, 21 => add ((shl (mul x, 5), 2), x)<br class="">+ return combineMulShlAddOrSub(5, 2, /*isAdd*/ true);<br class="">+ case 22:<br class="">+ // mul x, 22 => add (add ((shl (mul x, 5), 2), x), x)<br class="">+ return DAG.getNode(ISD::ADD, DL, VT, N->getOperand(0),<br class="">+ combineMulShlAddOrSub(5, 2, /*isAdd*/ true));<br class="">+ case 19:<br class="">+ // mul x, 19 => sub ((shl (mul x, 5), 2), x)<br class="">+ return combineMulShlAddOrSub(5, 2, /*isAdd*/ false);<br class="">+ case 13:<br class="">+ // mul x, 13 => add ((shl (mul x, 3), 2), x)<br class="">+ return combineMulShlAddOrSub(3, 2, /*isAdd*/ true);<br class="">+ case 23:<br class="">+ // mul x, 13 => sub ((shl (mul x, 3), 3), x)<br class="">+ return combineMulShlAddOrSub(3, 3, /*isAdd*/ false);<br class="">+ case 14:<br class="">+ // mul x, 14 => add (add ((shl (mul x, 3), 2), x), x)<br class="">+ return DAG.getNode(ISD::ADD, DL, VT, N->getOperand(0),<br class="">+ combineMulShlAddOrSub(3, 2, /*isAdd*/ true));<br class="">+ case 26:<br class="">+ // mul x, 26 => sub ((mul (mul x, 9), 3), x)<br class="">+ return combineMulMulAddOrSub(/*isAdd*/ false);<br class="">+ case 28:<br class="">+ // mul x, 28 => add ((mul (mul x, 9), 3), x)<br class="">+ return combineMulMulAddOrSub(/*isAdd*/ true);<br class="">+ case 29:<br class="">+ // mul x, 29 => add (add ((mul (mul x, 9), 3), x), x)<br class="">+ return DAG.getNode(ISD::ADD, DL, VT, N->getOperand(0),<br class="">+ combineMulMulAddOrSub(/*isAdd*/ true));<br class="">+ case 30:<br class="">+ // mul x, 30 => sub (sub ((shl x, 5), x), x)<br class="">+ return DAG.getNode(<br class="">+ ISD::SUB, DL, VT, N->getOperand(0),<br class="">+ DAG.getNode(ISD::SUB, DL, VT, N->getOperand(0),<br class="">+ DAG.getNode(ISD::SHL, DL, VT, N->getOperand(0),<br class="">+ DAG.getConstant(5, DL, MVT::i8))));<br class="">+ }<br class="">+ return SDValue();<br class="">+}<br class="">+<br class=""> /// Optimize a single multiply with constant into two operations in order to<br class=""> /// implement it with two cheaper instructions, e.g. LEA + SHL, LEA + LEA.<br class=""> static SDValue combineMul(SDNode *N, SelectionDAG &DAG,<br class="">@@ -30937,6 +31012,8 @@ static SDValue combineMul(SDNode *N, Sel<br class=""> if (DCI.isBeforeLegalize() && VT.isVector())<br class=""> return reduceVMULWidth(N, DAG, Subtarget);<br class=""><br class="">+ if (!MulConstantOptimization)<br class="">+ return SDValue();<br class=""> // An imul is usually smaller than the alternative sequence.<br class=""> if (DAG.getMachineFunction().getFunction()->optForMinSize())<br class=""> return SDValue();<br class="">@@ -30992,7 +31069,8 @@ static SDValue combineMul(SDNode *N, Sel<br class=""> else<br class=""> NewMul = DAG.getNode(X86ISD::MUL_IMM, DL, VT, NewMul,<br class=""> DAG.getConstant(MulAmt2, DL, VT));<br class="">- }<br class="">+ } else if (!Subtarget.slowLEA())<br class="">+ NewMul = combineMulSpecial(MulAmt, N, DAG, VT, DL);<br class=""><br class=""> if (!NewMul) {<br class=""> assert(MulAmt != 0 &&<br class=""><br class="">Modified: llvm/trunk/test/CodeGen/X86/mul-constant-i16.ll<br class="">URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/mul-constant-i16.ll?rev=304209&r1=304208&r2=304209&view=diff" class="">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/mul-constant-i16.ll?rev=304209&r1=304208&r2=304209&view=diff</a><br class="">==============================================================================<br class="">--- llvm/trunk/test/CodeGen/X86/mul-constant-i16.ll (original)<br class="">+++ llvm/trunk/test/CodeGen/X86/mul-constant-i16.ll Tue May 30 08:00:44 2017<br class="">@@ -188,13 +188,16 @@ define i16 @test_mul_by_11(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_11:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $11, %eax, %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,2), %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_11:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $11, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">+; X64-NEXT: leal (%rdi,%rax,2), %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 11<br class="">@@ -225,13 +228,16 @@ define i16 @test_mul_by_13(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_13:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $13, %eax, %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_13:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $13, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">+; X64-NEXT: leal (%rdi,%rax,4), %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 13<br class="">@@ -241,14 +247,19 @@ define i16 @test_mul_by_13(i16 %x) {<br class=""> define i16 @test_mul_by_14(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_14:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $14, %eax, %eax<br class="">+; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %eax<br class="">+; X86-NEXT: leal (%ecx,%eax,4), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_14:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $14, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">+; X64-NEXT: leal (%rdi,%rax,4), %eax<br class="">+; X64-NEXT: addl %edi, %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 14<br class="">@@ -338,14 +349,19 @@ define i16 @test_mul_by_19(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_19:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $19, %eax, %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: shll $2, %ecx<br class="">+; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_19:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $19, %edi, %eax<br class="">-; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">+; X64-NEXT: shll $2, %eax<br class="">+; X64-NEXT: subl %eax, %edi<br class="">+; X64-NEXT: movl %edi, %eax<br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 19<br class=""> ret i16 %mul<br class="">@@ -375,13 +391,16 @@ define i16 @test_mul_by_21(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_21:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $21, %eax, %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_21:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $21, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">+; X64-NEXT: leal (%rdi,%rax,4), %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 21<br class="">@@ -391,14 +410,19 @@ define i16 @test_mul_by_21(i16 %x) {<br class=""> define i16 @test_mul_by_22(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_22:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $22, %eax, %eax<br class="">+; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,4), %eax<br class="">+; X86-NEXT: leal (%ecx,%eax,4), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_22:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $22, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">+; X64-NEXT: leal (%rdi,%rax,4), %eax<br class="">+; X64-NEXT: addl %edi, %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 22<br class="">@@ -409,14 +433,19 @@ define i16 @test_mul_by_23(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_23:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $23, %eax, %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %ecx<br class="">+; X86-NEXT: shll $3, %ecx<br class="">+; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_23:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $23, %edi, %eax<br class="">-; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">+; X64-NEXT: shll $3, %eax<br class="">+; X64-NEXT: subl %eax, %edi<br class="">+; X64-NEXT: movl %edi, %eax<br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 23<br class=""> ret i16 %mul<br class="">@@ -466,14 +495,19 @@ define i16 @test_mul_by_26(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_26:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $26, %eax, %eax<br class="">+; X86-NEXT: leal (%eax,%eax,8), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %ecx<br class="">+; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_26:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $26, %edi, %eax<br class="">-; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,8), %eax<br class="">+; X64-NEXT: leal (%rax,%rax,2), %eax<br class="">+; X64-NEXT: subl %eax, %edi<br class="">+; X64-NEXT: movl %edi, %eax<br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 26<br class=""> ret i16 %mul<br class="">@@ -502,14 +536,19 @@ define i16 @test_mul_by_27(i16 %x) {<br class=""> define i16 @test_mul_by_28(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_28:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $28, %eax, %eax<br class="">+; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,8), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_28:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $28, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,8), %eax<br class="">+; X64-NEXT: leal (%rax,%rax,2), %eax<br class="">+; X64-NEXT: addl %edi, %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 28<br class="">@@ -519,14 +558,21 @@ define i16 @test_mul_by_28(i16 %x) {<br class=""> define i16 @test_mul_by_29(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_29:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $29, %eax, %eax<br class="">+; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,8), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_29:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $29, %edi, %eax<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal (%rdi,%rdi,8), %eax<br class="">+; X64-NEXT: leal (%rax,%rax,2), %eax<br class="">+; X64-NEXT: addl %edi, %eax<br class="">+; X64-NEXT: addl %edi, %eax<br class=""> ; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 29<br class="">@@ -537,14 +583,22 @@ define i16 @test_mul_by_30(i16 %x) {<br class=""> ; X86-LABEL: test_mul_by_30:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: imull $30, %eax, %eax<br class="">+; X86-NEXT: movl %eax, %ecx<br class="">+; X86-NEXT: shll $5, %ecx<br class="">+; X86-NEXT: movl %eax, %edx<br class="">+; X86-NEXT: subl %ecx, %edx<br class="">+; X86-NEXT: subl %edx, %eax<br class=""> ; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class=""> ; X86-NEXT: retl<br class=""> ;<br class=""> ; X64-LABEL: test_mul_by_30:<br class=""> ; X64: # BB#0:<br class="">-; X64-NEXT: imull $30, %edi, %eax<br class="">-; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class="">+; X64-NEXT: movl %edi, %eax<br class="">+; X64-NEXT: shll $5, %eax<br class="">+; X64-NEXT: movl %edi, %ecx<br class="">+; X64-NEXT: subl %eax, %ecx<br class="">+; X64-NEXT: subl %ecx, %edi<br class="">+; X64-NEXT: movl %edi, %eax<br class=""> ; X64-NEXT: retq<br class=""> %mul = mul nsw i16 %x, 30<br class=""> ret i16 %mul<br class="">@@ -587,3 +641,30 @@ define i16 @test_mul_by_32(i16 %x) {<br class=""> %mul = mul nsw i16 %x, 32<br class=""> ret i16 %mul<br class=""> }<br class="">+<br class="">+; (x*9+42)*(x*5+2)<br class="">+define i16 @test_mul_spec(i16 %x) nounwind {<br class="">+; X86-LABEL: test_mul_spec:<br class="">+; X86: # BB#0:<br class="">+; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal 42(%eax,%eax,8), %ecx<br class="">+; X86-NEXT: leal 2(%eax,%eax,4), %eax<br class="">+; X86-NEXT: imull %ecx, %eax<br class="">+; X86-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class="">+; X86-NEXT: retl<br class="">+;<br class="">+; X64-LABEL: test_mul_spec:<br class="">+; X64: # BB#0:<br class="">+; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-NEXT: leal 42(%rdi,%rdi,8), %ecx<br class="">+; X64-NEXT: leal 2(%rdi,%rdi,4), %eax<br class="">+; X64-NEXT: imull %ecx, %eax<br class="">+; X64-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill><br class="">+; X64-NEXT: retq<br class="">+ %mul = mul nsw i16 %x, 9<br class="">+ %add = add nsw i16 %mul, 42<br class="">+ %mul2 = mul nsw i16 %x, 5<br class="">+ %add2 = add nsw i16 %mul2, 2<br class="">+ %mul3 = mul nsw i16 %add, %add2<br class="">+ ret i16 %mul3<br class="">+}<br class=""><br class="">Modified: llvm/trunk/test/CodeGen/X86/mul-constant-i32.ll<br class="">URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/mul-constant-i32.ll?rev=304209&r1=304208&r2=304209&view=diff" class="">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/mul-constant-i32.ll?rev=304209&r1=304208&r2=304209&view=diff</a><br class="">==============================================================================<br class="">--- llvm/trunk/test/CodeGen/X86/mul-constant-i32.ll (original)<br class="">+++ llvm/trunk/test/CodeGen/X86/mul-constant-i32.ll Tue May 30 08:00:44 2017<br class="">@@ -1,6 +1,12 @@<br class=""> ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py<br class=""> ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86<br class="">-; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -print-schedule=true -mcpu=haswell| FileCheck %s --check-prefix=X64-HSW<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -print-schedule=true -mcpu=btver2| FileCheck %s --check-prefix=X64-JAG<br class="">+; RUN: llc < %s -mtriple=i686-unknown -mul-constant-optimization=false | FileCheck %s --check-prefix=X86-NOOPT<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -mul-constant-optimization=false -print-schedule=true -mcpu=haswell| FileCheck %s --check-prefix=HSW-NOOPT<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -mul-constant-optimization=false -print-schedule=true -mcpu=btver2| FileCheck %s --check-prefix=JAG-NOOPT<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -print-schedule=true -mcpu=slm| FileCheck %s --check-prefix=X64-SLM<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -mul-constant-optimization=false -print-schedule=true -mcpu=slm| FileCheck %s --check-prefix=SLM-NOOPT<br class=""><br class=""> define i32 @test_mul_by_1(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_1:<br class="">@@ -8,10 +14,40 @@ define i32 @test_mul_by_1(i32 %x) {<br class=""> ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_1:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: movl %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_1:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_1:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_1:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_1:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_1:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_1:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_1:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 1<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -23,11 +59,47 @@ define i32 @test_mul_by_2(i32 %x) {<br class=""> ; X86-NEXT: addl %eax, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_2:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_2:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_2:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_2:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: addl %eax, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_2:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (%rdi,%rdi), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_2:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal (%rdi,%rdi), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_2:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_2:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal (%rdi,%rdi), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 2<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -38,11 +110,46 @@ define i32 @test_mul_by_3(i32 %x) {<br class=""> ; X86-NEXT: imull $3, {{[0-9]+}}(%esp), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_3:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_3:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_3:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_3:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $3, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_3:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_3:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_3:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_3:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 3<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -54,11 +161,47 @@ define i32 @test_mul_by_4(i32 %x) {<br class=""> ; X86-NEXT: shll $2, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_4:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (,%rdi,4), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_4:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_4:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_4:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: shll $2, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_4:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (,%rdi,4), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_4:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal (,%rdi,4), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_4:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_4:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal (,%rdi,4), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 4<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -69,11 +212,46 @@ define i32 @test_mul_by_5(i32 %x) {<br class=""> ; X86-NEXT: imull $5, {{[0-9]+}}(%esp), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_5:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_5:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_5:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_5:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $5, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_5:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_5:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_5:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_5:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 5<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -86,12 +264,46 @@ define i32 @test_mul_by_6(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,2), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_6:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: addl %edi, %edi<br class="">-; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_6:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: addl %edi, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_6:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: addl %edi, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_6:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $6, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_6:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $6, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_6:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $6, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_6:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: addl %edi, %edi # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_6:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $6, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 6<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -104,12 +316,46 @@ define i32 @test_mul_by_7(i32 %x) {<br class=""> ; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_7:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (,%rdi,8), %eax<br class="">-; X64-NEXT: subl %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_7:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_7:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_7:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $7, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_7:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $7, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_7:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $7, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_7:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (,%rdi,8), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: subl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_7:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $7, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 7<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -121,11 +367,47 @@ define i32 @test_mul_by_8(i32 %x) {<br class=""> ; X86-NEXT: shll $3, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_8:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (,%rdi,8), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_8:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_8:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_8:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: shll $3, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_8:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (,%rdi,8), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_8:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal (,%rdi,8), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_8:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (,%rdi,8), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_8:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal (,%rdi,8), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 8<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -136,11 +418,46 @@ define i32 @test_mul_by_9(i32 %x) {<br class=""> ; X86-NEXT: imull $9, {{[0-9]+}}(%esp), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_9:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi,8), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_9:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_9:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_9:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $9, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_9:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_9:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_9:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_9:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 9<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -153,12 +470,46 @@ define i32 @test_mul_by_10(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,4), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_10:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: addl %edi, %edi<br class="">-; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_10:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: addl %edi, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_10:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: addl %edi, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_10:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $10, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_10:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $10, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_10:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $10, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_10:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: addl %edi, %edi # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_10:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $10, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 10<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -166,13 +517,49 @@ define i32 @test_mul_by_10(i32 %x) {<br class=""> define i32 @test_mul_by_11(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_11:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $11, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,2), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_11:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $11, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_11:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_11:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_11:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $11, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_11:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $11, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_11:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $11, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_11:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $11, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_11:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $11, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 11<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -185,12 +572,46 @@ define i32 @test_mul_by_12(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,2), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_12:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: shll $2, %edi<br class="">-; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_12:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: shll $2, %edi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_12:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: shll $2, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_12:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $12, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_12:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $12, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_12:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $12, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_12:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: shll $2, %edi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_12:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $12, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 12<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -198,13 +619,49 @@ define i32 @test_mul_by_12(i32 %x) {<br class=""> define i32 @test_mul_by_13(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_13:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $13, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_13:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $13, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_13:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_13:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_13:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $13, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_13:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $13, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_13:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $13, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_13:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $13, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_13:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $13, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 13<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -212,13 +669,52 @@ define i32 @test_mul_by_13(i32 %x) {<br class=""> define i32 @test_mul_by_14(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_14:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $14, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %eax<br class="">+; X86-NEXT: leal (%ecx,%eax,4), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_14:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $14, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_14:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_14:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_14:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $14, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_14:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $14, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_14:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $14, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_14:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $14, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_14:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $14, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 14<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -231,12 +727,46 @@ define i32 @test_mul_by_15(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,2), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_15:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">-; X64-NEXT: leal (%rax,%rax,2), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_15:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_15:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_15:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $15, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_15:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $15, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_15:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $15, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_15:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rax,%rax,2), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_15:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $15, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 15<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -248,11 +778,47 @@ define i32 @test_mul_by_16(i32 %x) {<br class=""> ; X86-NEXT: shll $4, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_16:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shll $4, %edi<br class="">-; X64-NEXT: movl %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_16:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shll $4, %edi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_16:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shll $4, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_16:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: shll $4, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_16:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: shll $4, %edi # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_16:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: shll $4, %edi # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_16:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shll $4, %edi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_16:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: shll $4, %edi # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 16<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -266,13 +832,49 @@ define i32 @test_mul_by_17(i32 %x) {<br class=""> ; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_17:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: movl %edi, %eax<br class="">-; X64-NEXT: shll $4, %eax<br class="">-; X64-NEXT: leal (%rax,%rdi), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_17:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: shll $4, %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rdi), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_17:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: shll $4, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rdi), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_17:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $17, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_17:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $17, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_17:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $17, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_17:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: shll $4, %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rax,%rdi), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_17:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $17, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 17<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -285,12 +887,46 @@ define i32 @test_mul_by_18(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,8), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_18:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: addl %edi, %edi<br class="">-; X64-NEXT: leal (%rdi,%rdi,8), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_18:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: addl %edi, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_18:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: addl %edi, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_18:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $18, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_18:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $18, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_18:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $18, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_18:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: addl %edi, %edi # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_18:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $18, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 18<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -298,13 +934,54 @@ define i32 @test_mul_by_18(i32 %x) {<br class=""> define i32 @test_mul_by_19(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_19:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $19, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: shll $2, %ecx<br class="">+; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_19:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $19, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_19:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: shll $2, %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subl %eax, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_19:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: shll $2, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %eax, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_19:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $19, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_19:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $19, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_19:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $19, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_19:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $19, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_19:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $19, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 19<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -317,12 +994,46 @@ define i32 @test_mul_by_20(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,4), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_20:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: shll $2, %edi<br class="">-; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_20:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: shll $2, %edi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_20:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: shll $2, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_20:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $20, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_20:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $20, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_20:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $20, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_20:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: shll $2, %edi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_20:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $20, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 20<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -330,13 +1041,49 @@ define i32 @test_mul_by_20(i32 %x) {<br class=""> define i32 @test_mul_by_21(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_21:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $21, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_21:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $21, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_21:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_21:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_21:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $21, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_21:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $21, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_21:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $21, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_21:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $21, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_21:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $21, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 21<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -344,13 +1091,52 @@ define i32 @test_mul_by_21(i32 %x) {<br class=""> define i32 @test_mul_by_22(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_22:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $22, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,4), %eax<br class="">+; X86-NEXT: leal (%ecx,%eax,4), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_22:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $22, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_22:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_22:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_22:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $22, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_22:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $22, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_22:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $22, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_22:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $22, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_22:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $22, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 22<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -358,13 +1144,54 @@ define i32 @test_mul_by_22(i32 %x) {<br class=""> define i32 @test_mul_by_23(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_23:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $23, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %ecx<br class="">+; X86-NEXT: shll $3, %ecx<br class="">+; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_23:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $23, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_23:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: shll $3, %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subl %eax, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_23:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: shll $3, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %eax, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_23:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $23, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_23:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $23, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_23:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $23, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_23:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $23, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_23:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $23, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 23<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -377,12 +1204,46 @@ define i32 @test_mul_by_24(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,2), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_24:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: shll $3, %edi<br class="">-; X64-NEXT: leal (%rdi,%rdi,2), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_24:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: shll $3, %edi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_24:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: shll $3, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_24:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $24, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_24:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $24, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_24:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $24, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_24:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: shll $3, %edi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,2), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_24:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $24, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 24<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -395,12 +1256,46 @@ define i32 @test_mul_by_25(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,4), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_25:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi,4), %eax<br class="">-; X64-NEXT: leal (%rax,%rax,4), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_25:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_25:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rax,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_25:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $25, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_25:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $25, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_25:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $25, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_25:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rax,%rax,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_25:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $25, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 25<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -408,13 +1303,54 @@ define i32 @test_mul_by_25(i32 %x) {<br class=""> define i32 @test_mul_by_26(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_26:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $26, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,8), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %ecx<br class="">+; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_26:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $26, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_26:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subl %eax, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_26:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %eax, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_26:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $26, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_26:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $26, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_26:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $26, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_26:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $26, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_26:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $26, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 26<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -427,12 +1363,46 @@ define i32 @test_mul_by_27(i32 %x) {<br class=""> ; X86-NEXT: leal (%eax,%eax,2), %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_27:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">-; X64-NEXT: leal (%rdi,%rdi,8), %eax<br class="">-; X64-NEXT: leal (%rax,%rax,2), %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_27:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_27:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_27:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $27, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_27:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $27, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_27:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $27, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_27:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal (%rax,%rax,2), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_27:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $27, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 27<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -440,13 +1410,52 @@ define i32 @test_mul_by_27(i32 %x) {<br class=""> define i32 @test_mul_by_28(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_28:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $28, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,8), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_28:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $28, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_28:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_28:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_28:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $28, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_28:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $28, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_28:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $28, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_28:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $28, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_28:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $28, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 28<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -454,13 +1463,55 @@ define i32 @test_mul_by_28(i32 %x) {<br class=""> define i32 @test_mul_by_29(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_29:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $29, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,8), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class="">+; X86-NEXT: addl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_29:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $29, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_29:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: addl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_29:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal (%rdi,%rdi,8), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal (%rax,%rax,2), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_29:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $29, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_29:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $29, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_29:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $29, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_29:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $29, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_29:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $29, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 29<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -468,13 +1519,58 @@ define i32 @test_mul_by_29(i32 %x) {<br class=""> define i32 @test_mul_by_30(i32 %x) {<br class=""> ; X86-LABEL: test_mul_by_30:<br class=""> ; X86: # BB#0:<br class="">-; X86-NEXT: imull $30, {{[0-9]+}}(%esp), %eax<br class="">-; X86-NEXT: retl<br class="">-;<br class="">-; X64-LABEL: test_mul_by_30:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imull $30, %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: movl %eax, %ecx<br class="">+; X86-NEXT: shll $5, %ecx<br class="">+; X86-NEXT: movl %eax, %edx<br class="">+; X86-NEXT: subl %ecx, %edx<br class="">+; X86-NEXT: subl %edx, %eax<br class="">+; X86-NEXT: retl<br class="">+;<br class="">+; X64-HSW-LABEL: test_mul_by_30:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: shll $5, %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: movl %edi, %ecx # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: subl %eax, %ecx # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: subl %ecx, %edi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_30:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: movl %edi, %ecx # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: shll $5, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %eax, %ecx # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %ecx, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_30:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $30, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_30:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $30, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_30:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $30, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_30:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imull $30, %edi, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_30:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $30, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 30<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -488,12 +1584,46 @@ define i32 @test_mul_by_31(i32 %x) {<br class=""> ; X86-NEXT: subl %ecx, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_31:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: movl %edi, %eax<br class="">-; X64-NEXT: shll $5, %eax<br class="">-; X64-NEXT: subl %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_31:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: shll $5, %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_31:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: shll $5, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subl %edi, %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_31:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: imull $31, {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_31:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imull $31, %edi, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_31:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imull $31, %edi, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_31:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: shll $5, %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: subl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_31:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imull $31, %edi, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 31<br class=""> ret i32 %mul<br class=""> }<br class="">@@ -505,11 +1635,124 @@ define i32 @test_mul_by_32(i32 %x) {<br class=""> ; X86-NEXT: shll $5, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_32:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shll $5, %edi<br class="">-; X64-NEXT: movl %edi, %eax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_32:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shll $5, %edi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_32:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shll $5, %edi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_32:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: shll $5, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_32:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: shll $5, %edi # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_32:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: shll $5, %edi # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.17]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_32:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shll $5, %edi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_32:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: shll $5, %edi # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: movl %edi, %eax # sched: [1:0.50]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i32 %x, 32<br class=""> ret i32 %mul<br class=""> }<br class="">+<br class="">+; (x*9+42)*(x*5+2)<br class="">+define i32 @test_mul_spec(i32 %x) nounwind {<br class="">+; X86-LABEL: test_mul_spec:<br class="">+; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal 42(%eax,%eax,8), %ecx<br class="">+; X86-NEXT: leal 2(%eax,%eax,4), %eax<br class="">+; X86-NEXT: imull %ecx, %eax<br class="">+; X86-NEXT: retl<br class="">+;<br class="">+; X64-HSW-LABEL: test_mul_spec:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,8), %ecx # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addl $42, %ecx # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addl $2, %eax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: imull %ecx, %eax # sched: [4:1.00]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_spec:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-JAG-NEXT: leal 42(%rdi,%rdi,8), %ecx # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leal 2(%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: imull %ecx, %eax # sched: [3:1.00]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_spec:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: leal 42(%eax,%eax,8), %ecx<br class="">+; X86-NOOPT-NEXT: leal 2(%eax,%eax,4), %eax<br class="">+; X86-NOOPT-NEXT: imull %ecx, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_spec:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; HSW-NOOPT-NEXT: leal (%rdi,%rdi,8), %ecx # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: addl $42, %ecx # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: leal (%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: addl $2, %eax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: imull %ecx, %eax # sched: [4:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_spec:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; JAG-NOOPT-NEXT: leal 42(%rdi,%rdi,8), %ecx # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: leal 2(%rdi,%rdi,4), %eax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: imull %ecx, %eax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_spec:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; X64-SLM-NEXT: leal 42(%rdi,%rdi,8), %ecx # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leal 2(%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: imull %ecx, %eax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_spec:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def><br class="">+; SLM-NOOPT-NEXT: leal 42(%rdi,%rdi,8), %ecx # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: leal 2(%rdi,%rdi,4), %eax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: imull %ecx, %eax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+ %mul = mul nsw i32 %x, 9<br class="">+ %add = add nsw i32 %mul, 42<br class="">+ %mul2 = mul nsw i32 %x, 5<br class="">+ %add2 = add nsw i32 %mul2, 2<br class="">+ %mul3 = mul nsw i32 %add, %add2<br class="">+ ret i32 %mul3<br class="">+}<br class=""><br class="">Modified: llvm/trunk/test/CodeGen/X86/mul-constant-i64.ll<br class="">URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/mul-constant-i64.ll?rev=304209&r1=304208&r2=304209&view=diff" class="">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/mul-constant-i64.ll?rev=304209&r1=304208&r2=304209&view=diff</a><br class="">==============================================================================<br class="">--- llvm/trunk/test/CodeGen/X86/mul-constant-i64.ll (original)<br class="">+++ llvm/trunk/test/CodeGen/X86/mul-constant-i64.ll Tue May 30 08:00:44 2017<br class="">@@ -1,18 +1,55 @@<br class=""> ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py<br class=""> ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86<br class="">-; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -print-schedule=true -mcpu=haswell| FileCheck %s --check-prefix=X64-HSW<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -print-schedule=true -mcpu=btver2| FileCheck %s --check-prefix=X64-JAG<br class="">+; RUN: llc < %s -mtriple=i686-unknown -mul-constant-optimization=false | FileCheck %s --check-prefix=X86-NOOPT<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -mul-constant-optimization=false -print-schedule=true -mcpu=haswell| FileCheck %s --check-prefix=HSW-NOOPT<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -mul-constant-optimization=false -print-schedule=true -mcpu=btver2| FileCheck %s --check-prefix=JAG-NOOPT<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -print-schedule=true -mcpu=slm| FileCheck %s --check-prefix=X64-SLM<br class="">+; RUN: llc < %s -mtriple=x86_64-unknown -mul-constant-optimization=false -print-schedule=true -mcpu=slm| FileCheck %s --check-prefix=SLM-NOOPT<br class=""><br class="">-define i64 @test_mul_by_1(i64 %x) {<br class="">+define i64 @test_mul_by_1(i64 %x) nounwind {<br class=""> ; X86-LABEL: test_mul_by_1:<br class=""> ; X86: # BB#0:<br class=""> ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class=""> ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_1:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: movq %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_1:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_1:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_1:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_1:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_1:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_1:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_1:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 1<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -26,10 +63,43 @@ define i64 @test_mul_by_2(i64 %x) {<br class=""> ; X86-NEXT: addl %eax, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_2:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_2:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_2:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_2:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edx<br class="">+; X86-NOOPT-NEXT: shldl $1, %eax, %edx<br class="">+; X86-NOOPT-NEXT: addl %eax, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_2:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (%rdi,%rdi), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_2:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq (%rdi,%rdi), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_2:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_2:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq (%rdi,%rdi), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 2<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -43,10 +113,43 @@ define i64 @test_mul_by_3(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_3:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi,2), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_3:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_3:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_3:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $3, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $3, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_3:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_3:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_3:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_3:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 3<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -60,10 +163,43 @@ define i64 @test_mul_by_4(i64 %x) {<br class=""> ; X86-NEXT: shll $2, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_4:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (,%rdi,4), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_4:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_4:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_4:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edx<br class="">+; X86-NOOPT-NEXT: shldl $2, %eax, %edx<br class="">+; X86-NOOPT-NEXT: shll $2, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_4:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (,%rdi,4), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_4:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq (,%rdi,4), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_4:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_4:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq (,%rdi,4), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 4<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -77,10 +213,43 @@ define i64 @test_mul_by_5(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_5:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi,4), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_5:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_5:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_5:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $5, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $5, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_5:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_5:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_5:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_5:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 5<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -95,11 +264,46 @@ define i64 @test_mul_by_6(i64 %x) {<br class=""> ; X86-NEXT: leal (%edx,%ecx,2), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_6:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: addq %rdi, %rdi<br class="">-; X64-NEXT: leaq (%rdi,%rdi,2), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_6:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: addq %rdi, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_6:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: addq %rdi, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_6:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $6, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $6, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_6:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $6, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_6:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $6, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_6:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: addq %rdi, %rdi # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_6:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $6, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 6<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -115,11 +319,46 @@ define i64 @test_mul_by_7(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_7:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (,%rdi,8), %rax<br class="">-; X64-NEXT: subq %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_7:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_7:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_7:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $7, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $7, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_7:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $7, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_7:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $7, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_7:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (,%rdi,8), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: subq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_7:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $7, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 7<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -133,10 +372,43 @@ define i64 @test_mul_by_8(i64 %x) {<br class=""> ; X86-NEXT: shll $3, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_8:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (,%rdi,8), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_8:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_8:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_8:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edx<br class="">+; X86-NOOPT-NEXT: shldl $3, %eax, %edx<br class="">+; X86-NOOPT-NEXT: shll $3, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_8:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (,%rdi,8), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_8:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq (,%rdi,8), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_8:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (,%rdi,8), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_8:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq (,%rdi,8), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 8<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -150,10 +422,43 @@ define i64 @test_mul_by_9(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_9:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi,8), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_9:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_9:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_9:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $9, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $9, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_9:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_9:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_9:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_9:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 9<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -168,11 +473,46 @@ define i64 @test_mul_by_10(i64 %x) {<br class=""> ; X86-NEXT: leal (%edx,%ecx,2), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_10:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: addq %rdi, %rdi<br class="">-; X64-NEXT: leaq (%rdi,%rdi,4), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_10:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: addq %rdi, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_10:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: addq %rdi, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_10:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $10, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $10, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_10:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $10, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_10:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $10, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_10:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: addq %rdi, %rdi # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_10:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $10, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 10<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -180,16 +520,53 @@ define i64 @test_mul_by_10(i64 %x) {<br class=""> define i64 @test_mul_by_11(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_11:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,2), %ecx<br class=""> ; X86-NEXT: movl $11, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $11, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_11:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $11, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_11:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_11:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_11:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $11, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $11, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_11:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $11, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_11:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $11, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_11:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $11, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_11:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $11, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 11<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -204,11 +581,46 @@ define i64 @test_mul_by_12(i64 %x) {<br class=""> ; X86-NEXT: leal (%edx,%ecx,4), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_12:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shlq $2, %rdi<br class="">-; X64-NEXT: leaq (%rdi,%rdi,2), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_12:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shlq $2, %rdi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_12:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shlq $2, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_12:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $12, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $12, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_12:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $12, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_12:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $12, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_12:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shlq $2, %rdi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_12:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $12, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 12<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -216,16 +628,53 @@ define i64 @test_mul_by_12(i64 %x) {<br class=""> define i64 @test_mul_by_13(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_13:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %ecx<br class=""> ; X86-NEXT: movl $13, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $13, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_13:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $13, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_13:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_13:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_13:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $13, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $13, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_13:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $13, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_13:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $13, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_13:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $13, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_13:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $13, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 13<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -233,16 +682,56 @@ define i64 @test_mul_by_13(i64 %x) {<br class=""> define i64 @test_mul_by_14(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_14:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %ecx<br class="">+; X86-NEXT: addl %eax, %ecx<br class=""> ; X86-NEXT: movl $14, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $14, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_14:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $14, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_14:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_14:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_14:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $14, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $14, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_14:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $14, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_14:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $14, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_14:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $14, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_14:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $14, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 14<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -258,11 +747,46 @@ define i64 @test_mul_by_15(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_15:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi,4), %rax<br class="">-; X64-NEXT: leaq (%rax,%rax,2), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_15:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_15:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_15:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $15, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $15, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_15:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $15, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_15:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $15, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_15:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_15:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $15, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 15<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -276,11 +800,49 @@ define i64 @test_mul_by_16(i64 %x) {<br class=""> ; X86-NEXT: shll $4, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_16:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shlq $4, %rdi<br class="">-; X64-NEXT: movq %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_16:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shlq $4, %rdi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_16:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shlq $4, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_16:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edx<br class="">+; X86-NOOPT-NEXT: shldl $4, %eax, %edx<br class="">+; X86-NOOPT-NEXT: shll $4, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_16:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: shlq $4, %rdi # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_16:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: shlq $4, %rdi # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_16:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shlq $4, %rdi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_16:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: shlq $4, %rdi # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 16<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -297,12 +859,49 @@ define i64 @test_mul_by_17(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_17:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: movq %rdi, %rax<br class="">-; X64-NEXT: shlq $4, %rax<br class="">-; X64-NEXT: leaq (%rax,%rdi), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_17:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: shlq $4, %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rdi), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_17:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: shlq $4, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rdi), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_17:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $17, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $17, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_17:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $17, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_17:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $17, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_17:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: shlq $4, %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: addq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_17:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $17, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 17<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -317,11 +916,46 @@ define i64 @test_mul_by_18(i64 %x) {<br class=""> ; X86-NEXT: leal (%edx,%ecx,2), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_18:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: addq %rdi, %rdi<br class="">-; X64-NEXT: leaq (%rdi,%rdi,8), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_18:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: addq %rdi, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_18:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: addq %rdi, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_18:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $18, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $18, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_18:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $18, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_18:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $18, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_18:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: addq %rdi, %rdi # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_18:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $18, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 18<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -329,16 +963,58 @@ define i64 @test_mul_by_18(i64 %x) {<br class=""> define i64 @test_mul_by_19(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_19:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,4), %eax<br class="">+; X86-NEXT: shll $2, %eax<br class="">+; X86-NEXT: subl %eax, %ecx<br class=""> ; X86-NEXT: movl $19, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $19, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_19:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $19, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_19:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: shlq $2, %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subq %rax, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_19:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: shlq $2, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rax, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_19:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $19, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $19, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_19:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $19, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_19:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $19, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_19:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $19, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_19:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $19, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 19<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -353,11 +1029,46 @@ define i64 @test_mul_by_20(i64 %x) {<br class=""> ; X86-NEXT: leal (%edx,%ecx,4), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_20:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shlq $2, %rdi<br class="">-; X64-NEXT: leaq (%rdi,%rdi,4), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_20:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shlq $2, %rdi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_20:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shlq $2, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_20:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $20, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $20, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_20:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $20, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_20:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $20, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_20:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shlq $2, %rdi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_20:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $20, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 20<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -365,16 +1076,53 @@ define i64 @test_mul_by_20(i64 %x) {<br class=""> define i64 @test_mul_by_21(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_21:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %ecx<br class=""> ; X86-NEXT: movl $21, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $21, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_21:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $21, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_21:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_21:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_21:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $21, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $21, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_21:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $21, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_21:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $21, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_21:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $21, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_21:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $21, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 21<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -382,16 +1130,56 @@ define i64 @test_mul_by_21(i64 %x) {<br class=""> define i64 @test_mul_by_22(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_22:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,4), %ecx<br class="">+; X86-NEXT: leal (%eax,%ecx,4), %ecx<br class="">+; X86-NEXT: addl %eax, %ecx<br class=""> ; X86-NEXT: movl $22, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $22, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_22:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $22, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_22:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_22:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_22:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $22, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $22, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_22:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $22, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_22:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $22, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_22:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $22, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_22:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $22, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 22<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -399,16 +1187,58 @@ define i64 @test_mul_by_22(i64 %x) {<br class=""> define i64 @test_mul_by_23(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_23:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %eax<br class="">+; X86-NEXT: shll $3, %eax<br class="">+; X86-NEXT: subl %eax, %ecx<br class=""> ; X86-NEXT: movl $23, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $23, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_23:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $23, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_23:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: shlq $3, %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subq %rax, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_23:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: shlq $3, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rax, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_23:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $23, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $23, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_23:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $23, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_23:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $23, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_23:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $23, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_23:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $23, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 23<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -423,11 +1253,46 @@ define i64 @test_mul_by_24(i64 %x) {<br class=""> ; X86-NEXT: leal (%edx,%ecx,8), %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_24:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shlq $3, %rdi<br class="">-; X64-NEXT: leaq (%rdi,%rdi,2), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_24:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shlq $3, %rdi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_24:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shlq $3, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_24:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $24, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $24, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_24:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $24, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_24:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $24, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_24:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shlq $3, %rdi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,2), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_24:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $24, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 24<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -443,11 +1308,46 @@ define i64 @test_mul_by_25(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_25:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi,4), %rax<br class="">-; X64-NEXT: leaq (%rax,%rax,4), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_25:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_25:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rax,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_25:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $25, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $25, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_25:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $25, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_25:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $25, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_25:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq (%rax,%rax,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_25:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $25, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 25<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -455,16 +1355,58 @@ define i64 @test_mul_by_25(i64 %x) {<br class=""> define i64 @test_mul_by_26(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_26:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,8), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,2), %eax<br class="">+; X86-NEXT: subl %eax, %ecx<br class=""> ; X86-NEXT: movl $26, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $26, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_26:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $26, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_26:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subq %rax, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_26:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rax, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_26:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $26, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $26, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_26:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $26, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_26:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $26, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_26:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $26, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_26:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $26, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 26<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -480,11 +1422,46 @@ define i64 @test_mul_by_27(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_27:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: leaq (%rdi,%rdi,8), %rax<br class="">-; X64-NEXT: leaq (%rax,%rax,2), %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_27:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_27:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_27:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $27, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $27, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_27:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $27, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_27:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $27, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_27:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_27:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $27, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 27<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -492,16 +1469,56 @@ define i64 @test_mul_by_27(i64 %x) {<br class=""> define i64 @test_mul_by_28(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_28:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,8), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %ecx<br class="">+; X86-NEXT: addl %eax, %ecx<br class=""> ; X86-NEXT: movl $28, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $28, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_28:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $28, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_28:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_28:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_28:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $28, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $28, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_28:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $28, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_28:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $28, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_28:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $28, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_28:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $28, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 28<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -509,16 +1526,59 @@ define i64 @test_mul_by_28(i64 %x) {<br class=""> define i64 @test_mul_by_29(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_29:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NEXT: leal (%eax,%eax,8), %ecx<br class="">+; X86-NEXT: leal (%ecx,%ecx,2), %ecx<br class="">+; X86-NEXT: addl %eax, %ecx<br class="">+; X86-NEXT: addl %eax, %ecx<br class=""> ; X86-NEXT: movl $29, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $29, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_29:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $29, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_29:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: addq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_29:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq (%rdi,%rdi,8), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq (%rax,%rax,2), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: addq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_29:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $29, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $29, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_29:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $29, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_29:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $29, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_29:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $29, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_29:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $29, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 29<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -526,16 +1586,60 @@ define i64 @test_mul_by_29(i64 %x) {<br class=""> define i64 @test_mul_by_30(i64 %x) {<br class=""> ; X86-LABEL: test_mul_by_30:<br class=""> ; X86: # BB#0:<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: shll $5, %ecx<br class=""> ; X86-NEXT: movl $30, %eax<br class=""> ; X86-NEXT: mull {{[0-9]+}}(%esp)<br class="">-; X86-NEXT: imull $30, {{[0-9]+}}(%esp), %ecx<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_30:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: imulq $30, %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_30:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: shlq $5, %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: movq %rdi, %rcx # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: subq %rax, %rcx # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: subq %rcx, %rdi # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_30:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: movq %rdi, %rcx # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: shlq $5, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rax, %rcx # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rcx, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_30:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $30, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $30, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_30:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $30, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_30:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $30, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_30:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: imulq $30, %rdi, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_30:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $30, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 30<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -552,12 +1656,49 @@ define i64 @test_mul_by_31(i64 %x) {<br class=""> ; X86-NEXT: addl %ecx, %edx<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_31:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: movq %rdi, %rax<br class="">-; X64-NEXT: shlq $5, %rax<br class="">-; X64-NEXT: subq %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_31:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: shlq $5, %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: subq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_31:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: shlq $5, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: subq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_31:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl $31, %eax<br class="">+; X86-NOOPT-NEXT: mull {{[0-9]+}}(%esp)<br class="">+; X86-NOOPT-NEXT: imull $31, {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_31:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: imulq $31, %rdi, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_31:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: imulq $31, %rdi, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_31:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: shlq $5, %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: subq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_31:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: imulq $31, %rdi, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 31<br class=""> ret i64 %mul<br class=""> }<br class="">@@ -571,11 +1712,168 @@ define i64 @test_mul_by_32(i64 %x) {<br class=""> ; X86-NEXT: shll $5, %eax<br class=""> ; X86-NEXT: retl<br class=""> ;<br class="">-; X64-LABEL: test_mul_by_32:<br class="">-; X64: # BB#0:<br class="">-; X64-NEXT: shlq $5, %rdi<br class="">-; X64-NEXT: movq %rdi, %rax<br class="">-; X64-NEXT: retq<br class="">+; X64-HSW-LABEL: test_mul_by_32:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: shlq $5, %rdi # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_by_32:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: shlq $5, %rdi # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_by_32:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %eax<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edx<br class="">+; X86-NOOPT-NEXT: shldl $5, %eax, %edx<br class="">+; X86-NOOPT-NEXT: shll $5, %eax<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_by_32:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: shlq $5, %rdi # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_by_32:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: shlq $5, %rdi # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.17]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_by_32:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: shlq $5, %rdi # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_by_32:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: shlq $5, %rdi # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: movq %rdi, %rax # sched: [1:0.50]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class=""> %mul = mul nsw i64 %x, 32<br class=""> ret i64 %mul<br class=""> }<br class="">+<br class="">+; (x*9+42)*(x*5+2)<br class="">+define i64 @test_mul_spec(i64 %x) nounwind {<br class="">+; X86-LABEL: test_mul_spec:<br class="">+; X86: # BB#0:<br class="">+; X86-NEXT: pushl %ebx<br class="">+; X86-NEXT: pushl %edi<br class="">+; X86-NEXT: pushl %esi<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi<br class="">+; X86-NEXT: movl $9, %edx<br class="">+; X86-NEXT: movl %ecx, %eax<br class="">+; X86-NEXT: mull %edx<br class="">+; X86-NEXT: movl %eax, %esi<br class="">+; X86-NEXT: leal (%edi,%edi,8), %ebx<br class="">+; X86-NEXT: addl $42, %esi<br class="">+; X86-NEXT: adcl %edx, %ebx<br class="">+; X86-NEXT: movl $5, %edx<br class="">+; X86-NEXT: movl %ecx, %eax<br class="">+; X86-NEXT: mull %edx<br class="">+; X86-NEXT: movl %eax, %ecx<br class="">+; X86-NEXT: leal (%edi,%edi,4), %edi<br class="">+; X86-NEXT: addl $2, %ecx<br class="">+; X86-NEXT: adcl %edx, %edi<br class="">+; X86-NEXT: movl %esi, %eax<br class="">+; X86-NEXT: mull %ecx<br class="">+; X86-NEXT: imull %esi, %edi<br class="">+; X86-NEXT: addl %edi, %edx<br class="">+; X86-NEXT: imull %ebx, %ecx<br class="">+; X86-NEXT: addl %ecx, %edx<br class="">+; X86-NEXT: popl %esi<br class="">+; X86-NEXT: popl %edi<br class="">+; X86-NEXT: popl %ebx<br class="">+; X86-NEXT: retl<br class="">+;<br class="">+; X64-HSW-LABEL: test_mul_spec:<br class="">+; X64-HSW: # BB#0:<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,8), %rcx # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addq $42, %rcx # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-HSW-NEXT: addq $2, %rax # sched: [1:0.25]<br class="">+; X64-HSW-NEXT: imulq %rcx, %rax # sched: [3:1.00]<br class="">+; X64-HSW-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; X64-JAG-LABEL: test_mul_spec:<br class="">+; X64-JAG: # BB#0:<br class="">+; X64-JAG-NEXT: leaq 42(%rdi,%rdi,8), %rcx # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: leaq 2(%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; X64-JAG-NEXT: imulq %rcx, %rax # sched: [3:1.00]<br class="">+; X64-JAG-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X86-NOOPT-LABEL: test_mul_spec:<br class="">+; X86-NOOPT: # BB#0:<br class="">+; X86-NOOPT-NEXT: pushl %ebx<br class="">+; X86-NOOPT-NEXT: pushl %edi<br class="">+; X86-NOOPT-NEXT: pushl %esi<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %ecx<br class="">+; X86-NOOPT-NEXT: movl {{[0-9]+}}(%esp), %edi<br class="">+; X86-NOOPT-NEXT: movl $9, %edx<br class="">+; X86-NOOPT-NEXT: movl %ecx, %eax<br class="">+; X86-NOOPT-NEXT: mull %edx<br class="">+; X86-NOOPT-NEXT: movl %eax, %esi<br class="">+; X86-NOOPT-NEXT: leal (%edi,%edi,8), %ebx<br class="">+; X86-NOOPT-NEXT: addl $42, %esi<br class="">+; X86-NOOPT-NEXT: adcl %edx, %ebx<br class="">+; X86-NOOPT-NEXT: movl $5, %edx<br class="">+; X86-NOOPT-NEXT: movl %ecx, %eax<br class="">+; X86-NOOPT-NEXT: mull %edx<br class="">+; X86-NOOPT-NEXT: movl %eax, %ecx<br class="">+; X86-NOOPT-NEXT: leal (%edi,%edi,4), %edi<br class="">+; X86-NOOPT-NEXT: addl $2, %ecx<br class="">+; X86-NOOPT-NEXT: adcl %edx, %edi<br class="">+; X86-NOOPT-NEXT: movl %esi, %eax<br class="">+; X86-NOOPT-NEXT: mull %ecx<br class="">+; X86-NOOPT-NEXT: imull %esi, %edi<br class="">+; X86-NOOPT-NEXT: addl %edi, %edx<br class="">+; X86-NOOPT-NEXT: imull %ebx, %ecx<br class="">+; X86-NOOPT-NEXT: addl %ecx, %edx<br class="">+; X86-NOOPT-NEXT: popl %esi<br class="">+; X86-NOOPT-NEXT: popl %edi<br class="">+; X86-NOOPT-NEXT: popl %ebx<br class="">+; X86-NOOPT-NEXT: retl<br class="">+;<br class="">+; HSW-NOOPT-LABEL: test_mul_spec:<br class="">+; HSW-NOOPT: # BB#0:<br class="">+; HSW-NOOPT-NEXT: leaq (%rdi,%rdi,8), %rcx # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: addq $42, %rcx # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: leaq (%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; HSW-NOOPT-NEXT: addq $2, %rax # sched: [1:0.25]<br class="">+; HSW-NOOPT-NEXT: imulq %rcx, %rax # sched: [3:1.00]<br class="">+; HSW-NOOPT-NEXT: retq # sched: [1:1.00]<br class="">+;<br class="">+; JAG-NOOPT-LABEL: test_mul_spec:<br class="">+; JAG-NOOPT: # BB#0:<br class="">+; JAG-NOOPT-NEXT: leaq 42(%rdi,%rdi,8), %rcx # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: leaq 2(%rdi,%rdi,4), %rax # sched: [1:0.50]<br class="">+; JAG-NOOPT-NEXT: imulq %rcx, %rax # sched: [3:1.00]<br class="">+; JAG-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; X64-SLM-LABEL: test_mul_spec:<br class="">+; X64-SLM: # BB#0:<br class="">+; X64-SLM-NEXT: leaq 42(%rdi,%rdi,8), %rcx # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: leaq 2(%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; X64-SLM-NEXT: imulq %rcx, %rax # sched: [3:1.00]<br class="">+; X64-SLM-NEXT: retq # sched: [4:1.00]<br class="">+;<br class="">+; SLM-NOOPT-LABEL: test_mul_spec:<br class="">+; SLM-NOOPT: # BB#0:<br class="">+; SLM-NOOPT-NEXT: leaq 42(%rdi,%rdi,8), %rcx # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: leaq 2(%rdi,%rdi,4), %rax # sched: [1:1.00]<br class="">+; SLM-NOOPT-NEXT: imulq %rcx, %rax # sched: [3:1.00]<br class="">+; SLM-NOOPT-NEXT: retq # sched: [4:1.00]<br class="">+ %mul = mul nsw i64 %x, 9<br class="">+ %add = add nsw i64 %mul, 42<br class="">+ %mul2 = mul nsw i64 %x, 5<br class="">+ %add2 = add nsw i64 %mul2, 2<br class="">+ %mul3 = mul nsw i64 %add, %add2<br class="">+ ret i64 %mul3<br class="">+}<br class=""><br class=""><br class="">_______________________________________________<br class="">llvm-commits mailing list<br class=""><a href="mailto:llvm-commits@lists.llvm.org" class="">llvm-commits@lists.llvm.org</a><br class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits<br class=""></div></div></blockquote></div><br class=""></div></body></html>