diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2018-03-26 18:19:28 +0000 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2018-03-26 18:19:28 +0000 |
| commit | f33d9052935869fb2b70272b41de5b5df610c958 (patch) | |
| tree | 1e64db3a3965e27f5a8590916780b04426b7c0f8 /llvm/lib/Target | |
| parent | 7c4b5d92f14ac38eaae17f5e486c83bcdc87344b (diff) | |
| download | bcm5719-llvm-f33d9052935869fb2b70272b41de5b5df610c958.tar.gz bcm5719-llvm-f33d9052935869fb2b70272b41de5b5df610c958.zip | |
[X86] Add WriteBitScan/WriteLZCNT/WriteTZCNT/WritePOPCNT scheduler classes (PR36881)
Give the bit count instructions their own scheduler classes instead of forcing them into existing classes.
These were mostly overridden anyway, but I had to add in costs from Agner for silvermont and znver1 and the Fam16h SoG for btver2 (Jaguar).
Differential Revision: https://reviews.llvm.org/D44879
llvm-svn: 328566
Diffstat (limited to 'llvm/lib/Target')
| -rw-r--r-- | llvm/lib/Target/X86/X86InstrInfo.td | 48 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86InstrSSE.td | 12 | ||||
| -rwxr-xr-x | llvm/lib/Target/X86/X86SchedBroadwell.td | 18 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86SchedHaswell.td | 18 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86SchedSandyBridge.td | 12 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86SchedSkylakeClient.td | 24 | ||||
| -rwxr-xr-x | llvm/lib/Target/X86/X86SchedSkylakeServer.td | 24 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86Schedule.td | 5 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86ScheduleBtVer2.td | 26 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86ScheduleSLM.td | 6 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86ScheduleZnver1.td | 25 |
11 files changed, 93 insertions, 125 deletions
diff --git a/llvm/lib/Target/X86/X86InstrInfo.td b/llvm/lib/Target/X86/X86InstrInfo.td index 52912728431..5a09785e0e8 100644 --- a/llvm/lib/Target/X86/X86InstrInfo.td +++ b/llvm/lib/Target/X86/X86InstrInfo.td @@ -1341,52 +1341,52 @@ let Defs = [EFLAGS] in { def BSF16rr : I<0xBC, MRMSrcReg, (outs GR16:$dst), (ins GR16:$src), "bsf{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, EFLAGS, (X86bsf GR16:$src))], - IIC_BIT_SCAN_REG>, PS, OpSize16, Sched<[WriteShift]>; + IIC_BIT_SCAN_REG>, PS, OpSize16, Sched<[WriteBitScan]>; def BSF16rm : I<0xBC, MRMSrcMem, (outs GR16:$dst), (ins i16mem:$src), "bsf{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, EFLAGS, (X86bsf (loadi16 addr:$src)))], - IIC_BIT_SCAN_MEM>, PS, OpSize16, Sched<[WriteShiftLd]>; + IIC_BIT_SCAN_MEM>, PS, OpSize16, Sched<[WriteBitScanLd]>; def BSF32rr : I<0xBC, MRMSrcReg, (outs GR32:$dst), (ins GR32:$src), "bsf{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, EFLAGS, (X86bsf GR32:$src))], - IIC_BIT_SCAN_REG>, PS, OpSize32, Sched<[WriteShift]>; + IIC_BIT_SCAN_REG>, PS, OpSize32, Sched<[WriteBitScan]>; def BSF32rm : I<0xBC, MRMSrcMem, (outs GR32:$dst), (ins i32mem:$src), "bsf{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, EFLAGS, (X86bsf (loadi32 addr:$src)))], - IIC_BIT_SCAN_MEM>, PS, OpSize32, Sched<[WriteShiftLd]>; + IIC_BIT_SCAN_MEM>, PS, OpSize32, Sched<[WriteBitScanLd]>; def BSF64rr : RI<0xBC, MRMSrcReg, (outs GR64:$dst), (ins GR64:$src), "bsf{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, EFLAGS, (X86bsf GR64:$src))], - IIC_BIT_SCAN_REG>, PS, Sched<[WriteShift]>; + IIC_BIT_SCAN_REG>, PS, Sched<[WriteBitScan]>; def BSF64rm : RI<0xBC, MRMSrcMem, (outs GR64:$dst), (ins i64mem:$src), "bsf{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, EFLAGS, (X86bsf (loadi64 addr:$src)))], - IIC_BIT_SCAN_MEM>, PS, Sched<[WriteShiftLd]>; + IIC_BIT_SCAN_MEM>, PS, Sched<[WriteBitScanLd]>; def BSR16rr : I<0xBD, MRMSrcReg, (outs GR16:$dst), (ins GR16:$src), "bsr{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, EFLAGS, (X86bsr GR16:$src))], - IIC_BIT_SCAN_REG>, PS, OpSize16, Sched<[WriteShift]>; + IIC_BIT_SCAN_REG>, PS, OpSize16, Sched<[WriteBitScan]>; def BSR16rm : I<0xBD, MRMSrcMem, (outs GR16:$dst), (ins i16mem:$src), "bsr{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, EFLAGS, (X86bsr (loadi16 addr:$src)))], - IIC_BIT_SCAN_MEM>, PS, OpSize16, Sched<[WriteShiftLd]>; + IIC_BIT_SCAN_MEM>, PS, OpSize16, Sched<[WriteBitScanLd]>; def BSR32rr : I<0xBD, MRMSrcReg, (outs GR32:$dst), (ins GR32:$src), "bsr{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, EFLAGS, (X86bsr GR32:$src))], - IIC_BIT_SCAN_REG>, PS, OpSize32, Sched<[WriteShift]>; + IIC_BIT_SCAN_REG>, PS, OpSize32, Sched<[WriteBitScan]>; def BSR32rm : I<0xBD, MRMSrcMem, (outs GR32:$dst), (ins i32mem:$src), "bsr{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, EFLAGS, (X86bsr (loadi32 addr:$src)))], - IIC_BIT_SCAN_MEM>, PS, OpSize32, Sched<[WriteShiftLd]>; + IIC_BIT_SCAN_MEM>, PS, OpSize32, Sched<[WriteBitScanLd]>; def BSR64rr : RI<0xBD, MRMSrcReg, (outs GR64:$dst), (ins GR64:$src), "bsr{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, EFLAGS, (X86bsr GR64:$src))], - IIC_BIT_SCAN_REG>, PS, Sched<[WriteShift]>; + IIC_BIT_SCAN_REG>, PS, Sched<[WriteBitScan]>; def BSR64rm : RI<0xBD, MRMSrcMem, (outs GR64:$dst), (ins i64mem:$src), "bsr{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, EFLAGS, (X86bsr (loadi64 addr:$src)))], - IIC_BIT_SCAN_MEM>, PS, Sched<[WriteShiftLd]>; + IIC_BIT_SCAN_MEM>, PS, Sched<[WriteBitScanLd]>; } // Defs = [EFLAGS] let SchedRW = [WriteMicrocoded] in { @@ -2269,32 +2269,32 @@ let Predicates = [HasLZCNT], Defs = [EFLAGS] in { def LZCNT16rr : I<0xBD, MRMSrcReg, (outs GR16:$dst), (ins GR16:$src), "lzcnt{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, (ctlz GR16:$src)), (implicit EFLAGS)], - IIC_LZCNT_RR>, XS, OpSize16, Sched<[WriteIMul]>; + IIC_LZCNT_RR>, XS, OpSize16, Sched<[WriteLZCNT]>; def LZCNT16rm : I<0xBD, MRMSrcMem, (outs GR16:$dst), (ins i16mem:$src), "lzcnt{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, (ctlz (loadi16 addr:$src))), (implicit EFLAGS)], IIC_LZCNT_RM>, XS, OpSize16, - Sched<[WriteIMulLd]>; + Sched<[WriteLZCNTLd]>; def LZCNT32rr : I<0xBD, MRMSrcReg, (outs GR32:$dst), (ins GR32:$src), "lzcnt{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, (ctlz GR32:$src)), (implicit EFLAGS)], - IIC_LZCNT_RR>, XS, OpSize32, Sched<[WriteIMul]>; + IIC_LZCNT_RR>, XS, OpSize32, Sched<[WriteLZCNT]>; def LZCNT32rm : I<0xBD, MRMSrcMem, (outs GR32:$dst), (ins i32mem:$src), "lzcnt{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, (ctlz (loadi32 addr:$src))), (implicit EFLAGS)], IIC_LZCNT_RM>, XS, OpSize32, - Sched<[WriteIMulLd]>; + Sched<[WriteLZCNTLd]>; def LZCNT64rr : RI<0xBD, MRMSrcReg, (outs GR64:$dst), (ins GR64:$src), "lzcnt{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, (ctlz GR64:$src)), (implicit EFLAGS)], - IIC_LZCNT_RR>, XS, Sched<[WriteIMul]>; + IIC_LZCNT_RR>, XS, Sched<[WriteLZCNT]>; def LZCNT64rm : RI<0xBD, MRMSrcMem, (outs GR64:$dst), (ins i64mem:$src), "lzcnt{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, (ctlz (loadi64 addr:$src))), (implicit EFLAGS)], IIC_LZCNT_RM>, XS, - Sched<[WriteIMulLd]>; + Sched<[WriteLZCNTLd]>; } //===----------------------------------------------------------------------===// @@ -2304,32 +2304,32 @@ let Predicates = [HasBMI], Defs = [EFLAGS] in { def TZCNT16rr : I<0xBC, MRMSrcReg, (outs GR16:$dst), (ins GR16:$src), "tzcnt{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, (cttz GR16:$src)), (implicit EFLAGS)], - IIC_TZCNT_RR>, XS, OpSize16, Sched<[WriteIMul]>; + IIC_TZCNT_RR>, XS, OpSize16, Sched<[WriteTZCNT]>; def TZCNT16rm : I<0xBC, MRMSrcMem, (outs GR16:$dst), (ins i16mem:$src), "tzcnt{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, (cttz (loadi16 addr:$src))), (implicit EFLAGS)], IIC_TZCNT_RM>, XS, OpSize16, - Sched<[WriteIMulLd]>; + Sched<[WriteTZCNTLd]>; def TZCNT32rr : I<0xBC, MRMSrcReg, (outs GR32:$dst), (ins GR32:$src), "tzcnt{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, (cttz GR32:$src)), (implicit EFLAGS)], - IIC_TZCNT_RR>, XS, OpSize32, Sched<[WriteIMul]>; + IIC_TZCNT_RR>, XS, OpSize32, Sched<[WriteTZCNT]>; def TZCNT32rm : I<0xBC, MRMSrcMem, (outs GR32:$dst), (ins i32mem:$src), "tzcnt{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, (cttz (loadi32 addr:$src))), (implicit EFLAGS)], IIC_TZCNT_RM>, XS, OpSize32, - Sched<[WriteIMulLd]>; + Sched<[WriteTZCNTLd]>; def TZCNT64rr : RI<0xBC, MRMSrcReg, (outs GR64:$dst), (ins GR64:$src), "tzcnt{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, (cttz GR64:$src)), (implicit EFLAGS)], - IIC_TZCNT_RR>, XS, Sched<[WriteIMul]>; + IIC_TZCNT_RR>, XS, Sched<[WriteTZCNT]>; def TZCNT64rm : RI<0xBC, MRMSrcMem, (outs GR64:$dst), (ins i64mem:$src), "tzcnt{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, (cttz (loadi64 addr:$src))), (implicit EFLAGS)], IIC_TZCNT_RM>, XS, - Sched<[WriteIMulLd]>; + Sched<[WriteTZCNTLd]>; } multiclass bmi_bls<string mnemonic, Format RegMRM, Format MemMRM, diff --git a/llvm/lib/Target/X86/X86InstrSSE.td b/llvm/lib/Target/X86/X86InstrSSE.td index e1493496770..ebaaaebeb11 100644 --- a/llvm/lib/Target/X86/X86InstrSSE.td +++ b/llvm/lib/Target/X86/X86InstrSSE.td @@ -6227,35 +6227,35 @@ let Defs = [EFLAGS], Predicates = [HasPOPCNT] in { def POPCNT16rr : I<0xB8, MRMSrcReg, (outs GR16:$dst), (ins GR16:$src), "popcnt{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, (ctpop GR16:$src)), (implicit EFLAGS)], - IIC_SSE_POPCNT_RR>, Sched<[WriteFAdd]>, + IIC_SSE_POPCNT_RR>, Sched<[WritePOPCNT]>, OpSize16, XS; def POPCNT16rm : I<0xB8, MRMSrcMem, (outs GR16:$dst), (ins i16mem:$src), "popcnt{w}\t{$src, $dst|$dst, $src}", [(set GR16:$dst, (ctpop (loadi16 addr:$src))), (implicit EFLAGS)], IIC_SSE_POPCNT_RM>, - Sched<[WriteFAddLd]>, OpSize16, XS; + Sched<[WritePOPCNTLd]>, OpSize16, XS; def POPCNT32rr : I<0xB8, MRMSrcReg, (outs GR32:$dst), (ins GR32:$src), "popcnt{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, (ctpop GR32:$src)), (implicit EFLAGS)], - IIC_SSE_POPCNT_RR>, Sched<[WriteFAdd]>, + IIC_SSE_POPCNT_RR>, Sched<[WritePOPCNT]>, OpSize32, XS; def POPCNT32rm : I<0xB8, MRMSrcMem, (outs GR32:$dst), (ins i32mem:$src), "popcnt{l}\t{$src, $dst|$dst, $src}", [(set GR32:$dst, (ctpop (loadi32 addr:$src))), (implicit EFLAGS)], IIC_SSE_POPCNT_RM>, - Sched<[WriteFAddLd]>, OpSize32, XS; + Sched<[WritePOPCNTLd]>, OpSize32, XS; def POPCNT64rr : RI<0xB8, MRMSrcReg, (outs GR64:$dst), (ins GR64:$src), "popcnt{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, (ctpop GR64:$src)), (implicit EFLAGS)], - IIC_SSE_POPCNT_RR>, Sched<[WriteFAdd]>, XS; + IIC_SSE_POPCNT_RR>, Sched<[WritePOPCNT]>, XS; def POPCNT64rm : RI<0xB8, MRMSrcMem, (outs GR64:$dst), (ins i64mem:$src), "popcnt{q}\t{$src, $dst|$dst, $src}", [(set GR64:$dst, (ctpop (loadi64 addr:$src))), (implicit EFLAGS)], IIC_SSE_POPCNT_RM>, - Sched<[WriteFAddLd]>, XS; + Sched<[WritePOPCNTLd]>, XS; } // SS41I_unop_rm_int_v16 - SSE 4.1 unary operator whose type is v8i16. diff --git a/llvm/lib/Target/X86/X86SchedBroadwell.td b/llvm/lib/Target/X86/X86SchedBroadwell.td index d67ee328266..6ce52328451 100755 --- a/llvm/lib/Target/X86/X86SchedBroadwell.td +++ b/llvm/lib/Target/X86/X86SchedBroadwell.td @@ -110,6 +110,12 @@ def : WriteRes<WriteIMulH, []> { let Latency = 3; } // Integer multiplication, h def : WriteRes<WriteLEA, [BWPort15]>; // LEA instructions can't fold loads. +// Bit counts. +defm : BWWriteResPair<WriteBitScan, [BWPort1], 3>; +defm : BWWriteResPair<WriteLZCNT, [BWPort1], 3>; +defm : BWWriteResPair<WriteTZCNT, [BWPort1], 3>; +defm : BWWriteResPair<WritePOPCNT, [BWPort1], 3>; + // Integer shifts and rotates. defm : BWWriteResPair<WriteShift, [BWPort06], 1>; @@ -851,13 +857,9 @@ def: InstRW<[BWWriteResGroup27], (instrs IMUL8r, MUL8r)>; def: InstRW<[BWWriteResGroup27], (instregex "ADD_FPrST0", "ADD_FST0r", "ADD_FrST0", - "BSF(16|32|64)rr", - "BSR(16|32|64)rr", - "LZCNT(16|32|64)rr", "MMX_CVTPI2PSirr", "PDEP(32|64)rr", "PEXT(32|64)rr", - "POPCNT(16|32|64)rr", "SHLD(16|32|64)rri8", "SHRD(16|32|64)rri8", "SUBR_FPrST0", @@ -866,7 +868,6 @@ def: InstRW<[BWWriteResGroup27], (instregex "ADD_FPrST0", "SUB_FPrST0", "SUB_FST0r", "SUB_FrST0", - "TZCNT(16|32|64)rr", "(V?)ADDPD(Y?)rr", "(V?)ADDPS(Y?)rr", "(V?)ADDSDrr", @@ -1889,16 +1890,11 @@ def BWWriteResGroup91 : SchedWriteRes<[BWPort1,BWPort23]> { } def: InstRW<[BWWriteResGroup91], (instrs IMUL32rm, IMUL32rmi, IMUL32rmi8, IMUL64rm, IMUL64rmi8, IMUL64rmi32)>; def: InstRW<[BWWriteResGroup91], (instrs IMUL8m, MUL8m)>; -def: InstRW<[BWWriteResGroup91], (instregex "BSF(16|32|64)rm", - "BSR(16|32|64)rm", - "LZCNT(16|32|64)rm", - "MMX_CVTPI2PSirm", +def: InstRW<[BWWriteResGroup91], (instregex "MMX_CVTPI2PSirm", "MMX_CVTPS2PIirm", "MMX_CVTTPS2PIirm", "PDEP(32|64)rm", "PEXT(32|64)rm", - "POPCNT(16|32|64)rm", - "TZCNT(16|32|64)rm", "(V?)ADDPDrm", "(V?)ADDPSrm", "(V?)ADDSDrm", diff --git a/llvm/lib/Target/X86/X86SchedHaswell.td b/llvm/lib/Target/X86/X86SchedHaswell.td index 4532ddc7399..eea8c42db5a 100644 --- a/llvm/lib/Target/X86/X86SchedHaswell.td +++ b/llvm/lib/Target/X86/X86SchedHaswell.td @@ -121,6 +121,12 @@ defm : HWWriteResPair<WriteJump, [HWPort06], 1>; // the port to read all inputs. We don't model that. def : WriteRes<WriteLEA, [HWPort15]>; +// Bit counts. +defm : HWWriteResPair<WriteBitScan, [HWPort1], 3>; +defm : HWWriteResPair<WriteLZCNT, [HWPort1], 3>; +defm : HWWriteResPair<WriteTZCNT, [HWPort1], 3>; +defm : HWWriteResPair<WritePOPCNT, [HWPort1], 3>; + // This is quite rough, latency depends on the dividend. defm : HWWriteResPair<WriteIDiv, [HWPort0, HWDivider], 25, [1,10], 1, 4>; // Scalar and vector floating point. @@ -1042,20 +1048,15 @@ def HWWriteResGroup12 : SchedWriteRes<[HWPort1,HWPort23]> { def: InstRW<[HWWriteResGroup12], (instrs MUL8m, MUL16m, IMUL8m, IMUL16m, IMUL16rm, IMUL16rmi, IMUL16rmi8, IMUL32rm, IMUL32rmi, IMUL32rmi8, IMUL64rm, IMUL64rmi32, IMUL64rmi8)>; -def: InstRW<[HWWriteResGroup12], (instregex "BSF(16|32|64)rm", - "BSR(16|32|64)rm", - "FCOM32m", +def: InstRW<[HWWriteResGroup12], (instregex "FCOM32m", "FCOM64m", "FCOMP32m", "FCOMP64m", - "LZCNT(16|32|64)rm", "MMX_CVTPI2PSirm", "MMX_CVTPS2PIirm", "MMX_CVTTPS2PIirm", "PDEP(32|64)rm", "PEXT(32|64)rm", - "POPCNT(16|32|64)rm", - "TZCNT(16|32|64)rm", "(V?)ADDSDrm", "(V?)ADDSSrm", "(V?)CMPSDrm", @@ -1779,13 +1780,9 @@ def: InstRW<[HWWriteResGroup50], (instrs MUL8r, IMUL8r, IMUL16rr, IMUL32rr, IMUL def: InstRW<[HWWriteResGroup50], (instregex "ADD_FPrST0", "ADD_FST0r", "ADD_FrST0", - "BSF(16|32|64)rr", - "BSR(16|32|64)rr", - "LZCNT(16|32|64)rr", "MMX_CVTPI2PSirr", "PDEP(32|64)rr", "PEXT(32|64)rr", - "POPCNT(16|32|64)rr", "SHLD(16|32|64)rri8", "SHRD(16|32|64)rri8", "SUBR_FPrST0", @@ -1794,7 +1791,6 @@ def: InstRW<[HWWriteResGroup50], (instregex "ADD_FPrST0", "SUB_FPrST0", "SUB_FST0r", "SUB_FrST0", - "TZCNT(16|32|64)rr", "(V?)ADDPD(Y?)rr", "(V?)ADDPS(Y?)rr", "(V?)ADDSDrr", diff --git a/llvm/lib/Target/X86/X86SchedSandyBridge.td b/llvm/lib/Target/X86/X86SchedSandyBridge.td index 7797e23d397..84b40cfa527 100644 --- a/llvm/lib/Target/X86/X86SchedSandyBridge.td +++ b/llvm/lib/Target/X86/X86SchedSandyBridge.td @@ -112,6 +112,12 @@ defm : SBWriteResPair<WriteJump, [SBPort5], 1>; // the port to read all inputs. We don't model that. def : WriteRes<WriteLEA, [SBPort15]>; +// Bit counts. +defm : SBWriteResPair<WriteBitScan, [SBPort1], 3, [1], 1, 5>; +defm : SBWriteResPair<WriteLZCNT, [SBPort1], 3, [1], 1, 5>; +defm : SBWriteResPair<WriteTZCNT, [SBPort1], 3, [1], 1, 5>; +defm : SBWriteResPair<WritePOPCNT, [SBPort1], 3, [1], 1, 5>; + // Scalar and vector floating point. def : WriteRes<WriteFStore, [SBPort23, SBPort4]>; def : WriteRes<WriteFLoad, [SBPort23]> { let Latency = 6; } @@ -672,8 +678,6 @@ def: InstRW<[SBWriteResGroup21], (instrs MUL8r, IMUL16rr, IMUL32rr, IMUL32rri, I def: InstRW<[SBWriteResGroup21], (instregex "ADD_FPrST0", "ADD_FST0r", "ADD_FrST0", - "BSF(16|32|64)rr", - "BSR(16|32|64)rr", "CRC32r(16|32|64)r8", "CRC32r(16|32|64)r64", "MMX_CVTPI2PSirr", @@ -1412,9 +1416,7 @@ def SBWriteResGroup72 : SchedWriteRes<[SBPort1,SBPort23]> { let NumMicroOps = 2; let ResourceCycles = [1,1]; } -def: InstRW<[SBWriteResGroup72], (instregex "BSF(16|32|64)rm", - "BSR(16|32|64)rm", - "CRC32r(16|32|64)m64", +def: InstRW<[SBWriteResGroup72], (instregex "CRC32r(16|32|64)m64", "CRC32r(16|32|64)m8", "FCOM32m", "FCOM64m", diff --git a/llvm/lib/Target/X86/X86SchedSkylakeClient.td b/llvm/lib/Target/X86/X86SchedSkylakeClient.td index 408858e9685..78aec721d37 100644 --- a/llvm/lib/Target/X86/X86SchedSkylakeClient.td +++ b/llvm/lib/Target/X86/X86SchedSkylakeClient.td @@ -110,6 +110,12 @@ defm : SKLWriteResPair<WriteIDiv, [SKLPort0, SKLDivider], 25, [1,10], 1, 4>; // def : WriteRes<WriteIMulH, []> { let Latency = 3; } // Integer multiplication, high part. def : WriteRes<WriteLEA, [SKLPort15]>; // LEA instructions can't fold loads. +// Bit counts. +defm : SKLWriteResPair<WriteBitScan, [SKLPort1], 3>; +defm : SKLWriteResPair<WriteLZCNT, [SKLPort1], 3>; +defm : SKLWriteResPair<WriteTZCNT, [SKLPort1], 3>; +defm : SKLWriteResPair<WritePOPCNT, [SKLPort1], 3>; + // Integer shifts and rotates. defm : SKLWriteResPair<WriteShift, [SKLPort06], 1>; @@ -862,15 +868,10 @@ def SKLWriteResGroup29 : SchedWriteRes<[SKLPort1]> { } def: InstRW<[SKLWriteResGroup29], (instrs IMUL16rr, IMUL32rr, IMUL32rri, IMUL32rri8, IMUL64rr, IMUL64rri32, IMUL64rri8)>; def: InstRW<[SKLWriteResGroup29], (instrs IMUL8r, MUL8r)>; -def: InstRW<[SKLWriteResGroup29], (instregex "BSF(16|32|64)rr", - "BSR(16|32|64)rr", - "LZCNT(16|32|64)rr", - "PDEP(32|64)rr", +def: InstRW<[SKLWriteResGroup29], (instregex "PDEP(32|64)rr", "PEXT(32|64)rr", - "POPCNT(16|32|64)rr", "SHLD(16|32|64)rri8", - "SHRD(16|32|64)rri8", - "TZCNT(16|32|64)rr")>; + "SHRD(16|32|64)rri8")>; def SKLWriteResGroup29_16i : SchedWriteRes<[SKLPort1, SKLPort0156]> { let Latency = 3; @@ -1874,13 +1875,8 @@ def SKLWriteResGroup107 : SchedWriteRes<[SKLPort1,SKLPort23]> { } def: InstRW<[SKLWriteResGroup107], (instrs IMUL32rmi, IMUL32rmi8, IMUL64rm, IMUL64rmi32, IMUL64rmi8)>; def: InstRW<[SKLWriteResGroup107], (instrs IMUL8m, MUL8m)>; -def: InstRW<[SKLWriteResGroup107], (instregex "BSF(16|32|64)rm", - "BSR(16|32|64)rm", - "LZCNT(16|32|64)rm", - "PDEP(32|64)rm", - "PEXT(32|64)rm", - "POPCNT(16|32|64)rm", - "TZCNT(16|32|64)rm")>; +def: InstRW<[SKLWriteResGroup107], (instregex "PDEP(32|64)rm", + "PEXT(32|64)rm")>; def SKLWriteResGroup107_16 : SchedWriteRes<[SKLPort1, SKLPort0156, SKLPort23]> { let Latency = 8; diff --git a/llvm/lib/Target/X86/X86SchedSkylakeServer.td b/llvm/lib/Target/X86/X86SchedSkylakeServer.td index 32ef9105a2f..8b4a394bc3f 100755 --- a/llvm/lib/Target/X86/X86SchedSkylakeServer.td +++ b/llvm/lib/Target/X86/X86SchedSkylakeServer.td @@ -113,6 +113,12 @@ def : WriteRes<WriteLEA, [SKXPort15]>; // LEA instructions can't fold loads. // Integer shifts and rotates. defm : SKXWriteResPair<WriteShift, [SKXPort06], 1>; +// Bit counts. +defm : SKXWriteResPair<WriteBitScan, [SKXPort1], 3>; +defm : SKXWriteResPair<WriteLZCNT, [SKXPort1], 3>; +defm : SKXWriteResPair<WriteTZCNT, [SKXPort1], 3>; +defm : SKXWriteResPair<WritePOPCNT, [SKXPort1], 3>; + // Loads, stores, and moves, not folded with other operations. def : WriteRes<WriteLoad, [SKXPort23]> { let Latency = 5; } def : WriteRes<WriteStore, [SKXPort237, SKXPort4]>; @@ -1703,15 +1709,10 @@ def SKXWriteResGroup31 : SchedWriteRes<[SKXPort1]> { } def: InstRW<[SKXWriteResGroup31], (instrs IMUL16rr, IMUL32rr, IMUL32rri, IMUL32rri8, IMUL64rr, IMUL64rri32, IMUL64rri8)>; def: InstRW<[SKXWriteResGroup31], (instrs IMUL8r, MUL8r)>; -def: InstRW<[SKXWriteResGroup31], (instregex "BSF(16|32|64)rr", - "BSR(16|32|64)rr", - "LZCNT(16|32|64)rr", - "PDEP(32|64)rr", +def: InstRW<[SKXWriteResGroup31], (instregex "PDEP(32|64)rr", "PEXT(32|64)rr", - "POPCNT(16|32|64)rr", "SHLD(16|32|64)rri8", - "SHRD(16|32|64)rri8", - "TZCNT(16|32|64)rr")>; + "SHRD(16|32|64)rri8")>; def SKXWriteResGroup31_16i : SchedWriteRes<[SKXPort1, SKXPort0156]> { let Latency = 3; @@ -3901,13 +3902,8 @@ def SKXWriteResGroup118 : SchedWriteRes<[SKXPort1,SKXPort23]> { } def: InstRW<[SKXWriteResGroup118], (instrs IMUL32rm, IMUL32rmi, IMUL32rmi8, IMUL64rm, IMUL64rmi32, IMUL64rmi8)>; def: InstRW<[SKXWriteResGroup118], (instrs IMUL8m, MUL8m)>; -def: InstRW<[SKXWriteResGroup118], (instregex "BSF(16|32|64)rm", - "BSR(16|32|64)rm", - "LZCNT(16|32|64)rm", - "PDEP(32|64)rm", - "PEXT(32|64)rm", - "POPCNT(16|32|64)rm", - "TZCNT(16|32|64)rm")>; +def: InstRW<[SKXWriteResGroup118], (instregex "PDEP(32|64)rm", + "PEXT(32|64)rm")>; def SKXWriteResGroup118_16_1 : SchedWriteRes<[SKXPort1, SKXPort0156, SKXPort23]> { let Latency = 8; diff --git a/llvm/lib/Target/X86/X86Schedule.td b/llvm/lib/Target/X86/X86Schedule.td index 1e8352ff7dc..b994a57e27a 100644 --- a/llvm/lib/Target/X86/X86Schedule.td +++ b/llvm/lib/Target/X86/X86Schedule.td @@ -46,6 +46,11 @@ def WriteIMulH : SchedWrite; // Integer multiplication, high part. defm WriteIDiv : X86SchedWritePair; // Integer division. def WriteLEA : SchedWrite; // LEA instructions can't fold loads. +defm WriteBitScan : X86SchedWritePair; // Bit scan forward/reverse. +defm WritePOPCNT : X86SchedWritePair; // Bit population count. +defm WriteLZCNT : X86SchedWritePair; // Leading zero count. +defm WriteTZCNT : X86SchedWritePair; // Trailing zero count. + // Integer shifts and rotates. defm WriteShift : X86SchedWritePair; diff --git a/llvm/lib/Target/X86/X86ScheduleBtVer2.td b/llvm/lib/Target/X86/X86ScheduleBtVer2.td index f91862cab98..c9af75ceed0 100644 --- a/llvm/lib/Target/X86/X86ScheduleBtVer2.td +++ b/llvm/lib/Target/X86/X86ScheduleBtVer2.td @@ -134,27 +134,11 @@ def : WriteRes<WriteIMulH, [JALU1]> { // FIXME: SAGU 3-operand LEA def : WriteRes<WriteLEA, [JALU01]>; -// FIXME: Why do bitcounts use WriteIMul? -def JWriteLZCNT : SchedWriteRes<[JALU01]> { -} -def JWriteLZCNTLd : SchedWriteRes<[JLAGU, JALU01]> { - let Latency = 4; -} -def : InstRW<[JWriteLZCNT], (instrs LZCNT16rr, LZCNT32rr, LZCNT64rr, - POPCNT16rr, POPCNT32rr, POPCNT64rr)>; -def : InstRW<[JWriteLZCNTLd], (instrs LZCNT16rm, LZCNT32rm, LZCNT64rm, - POPCNT16rm, POPCNT32rm, POPCNT64rm)>; - -def JWriteTZCNT : SchedWriteRes<[JALU01]> { - let Latency = 2; - let ResourceCycles = [2]; -} -def JWriteTZCNTLd : SchedWriteRes<[JLAGU, JALU01]> { - let Latency = 5; - let ResourceCycles = [1, 2]; -} -def : InstRW<[JWriteTZCNT], (instrs TZCNT16rr, TZCNT32rr, TZCNT64rr)>; -def : InstRW<[JWriteTZCNTLd], (instrs TZCNT16rm, TZCNT32rm, TZCNT64rm)>; +// Bit counts. +defm : JWriteResIntPair<WriteBitScan, [JALU01], 5, [4], 8>; +defm : JWriteResIntPair<WritePOPCNT, [JALU01], 1>; +defm : JWriteResIntPair<WriteLZCNT, [JALU01], 1>; +defm : JWriteResIntPair<WriteTZCNT, [JALU01], 2, [2]>; def JWriteIMul64 : SchedWriteRes<[JALU1, JMul]> { let Latency = 6; diff --git a/llvm/lib/Target/X86/X86ScheduleSLM.td b/llvm/lib/Target/X86/X86ScheduleSLM.td index 518c5149b67..94eb5374a69 100644 --- a/llvm/lib/Target/X86/X86ScheduleSLM.td +++ b/llvm/lib/Target/X86/X86ScheduleSLM.td @@ -97,6 +97,12 @@ defm : SLMWriteResPair<WriteJump, [SLM_IEC_RSV1], 1>; // the port to read all inputs. We don't model that. def : WriteRes<WriteLEA, [SLM_IEC_RSV1]>; +// Bit counts. +defm : SLMWriteResPair<WriteBitScan, [SLM_IEC_RSV01], 10, [20], 10>; +defm : SLMWriteResPair<WriteLZCNT, [SLM_IEC_RSV0], 3>; +defm : SLMWriteResPair<WriteTZCNT, [SLM_IEC_RSV0], 3>; +defm : SLMWriteResPair<WritePOPCNT, [SLM_IEC_RSV0], 3>; + // This is quite rough, latency depends on the dividend. defm : SLMWriteResPair<WriteIDiv, [SLM_IEC_RSV01, SLMDivider], 25, [1,25], 1, 4>; diff --git a/llvm/lib/Target/X86/X86ScheduleZnver1.td b/llvm/lib/Target/X86/X86ScheduleZnver1.td index 2199b56d0e0..bb5a851b64d 100644 --- a/llvm/lib/Target/X86/X86ScheduleZnver1.td +++ b/llvm/lib/Target/X86/X86ScheduleZnver1.td @@ -152,6 +152,12 @@ defm : ZnWriteResPair<WriteIMul, [ZnALU1, ZnMultiplier], 4>; defm : ZnWriteResPair<WriteShift, [ZnALU], 1>; defm : ZnWriteResPair<WriteJump, [ZnALU], 1>; +// Bit counts. +defm : ZnWriteResPair<WriteBitScan, [ZnALU], 3>; +defm : ZnWriteResPair<WriteLZCNT, [ZnALU], 2>; +defm : ZnWriteResPair<WriteTZCNT, [ZnALU], 2>; +defm : ZnWriteResPair<WritePOPCNT, [ZnALU], 1>; + // Treat misc copies as a move. def : InstRW<[WriteMove], (instrs COPY)>; @@ -522,19 +528,6 @@ def ZnWriteALULat2Ld : SchedWriteRes<[ZnAGU, ZnALU]> { let Latency = 6; } -def ZnWriteALULat3 : SchedWriteRes<[ZnALU]> { - let Latency = 3; -} -def ZnWriteALULat3Ld : SchedWriteRes<[ZnAGU, ZnALU]> { - let Latency = 7; -} - -// BSF BSR. -// r,r. -def : InstRW<[ZnWriteALULat3], (instregex "BS(R|F)(16|32|64)rr")>; -// r,m. -def : InstRW<[ZnWriteALULat3Ld, ReadAfterLd], (instregex "BS(R|F)(16|32|64)rm")>; - // BT. // r,r/i. def : InstRW<[WriteShift], (instregex "BT(16|32|64)r(r|i8)")>; @@ -630,12 +623,6 @@ def : InstRW<[WriteShift], def : InstRW<[WriteShift], (instregex "SET(O|NO|B|AE|E|NE|BE|A|S|NS|P|NP|L|GE|LE|G)m")>; -// LZCNT TZCNT. -// r,r. -def : InstRW<[ZnWriteALULat2], (instregex "(LZCNT|TZCNT)(16|32|64)rr")>; -// r,m. -def : InstRW<[ZnWriteALULat2Ld, ReadAfterLd], (instregex "(LZCNT|TZCNT)(16|32|64)rm")>; - //-- Misc instructions --// // CMPXCHG. def ZnWriteCMPXCHG : SchedWriteRes<[ZnAGU, ZnALU]> { |

