xref: /freebsd/contrib/llvm-project/llvm/lib/Target/RISCV/RISCVSchedRocket.td (revision 06c3fb2749bda94cb5201f81ffdb8fa6c3161b2e)
1e8d8bef9SDimitry Andric//==- RISCVSchedRocket.td - Rocket Scheduling Definitions ----*- tablegen -*-=//
2e8d8bef9SDimitry Andric//
3e8d8bef9SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e8d8bef9SDimitry Andric// See https://llvm.org/LICENSE.txt for license information.
5e8d8bef9SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e8d8bef9SDimitry Andric//
7e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===//
8e8d8bef9SDimitry Andric
9e8d8bef9SDimitry Andric// ===---------------------------------------------------------------------===//
10e8d8bef9SDimitry Andric// The following definitions describe the simpler per-operand machine model.
11e8d8bef9SDimitry Andric// This works with MachineScheduler. See MCSchedule.h for details.
12e8d8bef9SDimitry Andric
13e8d8bef9SDimitry Andric// Rocket machine model for scheduling and other instruction cost heuristics.
14e8d8bef9SDimitry Andricdef RocketModel : SchedMachineModel {
15e8d8bef9SDimitry Andric  let MicroOpBufferSize = 0; // Rocket is in-order.
16e8d8bef9SDimitry Andric  let IssueWidth = 1;        // 1 micro-op is dispatched per cycle.
17e8d8bef9SDimitry Andric  let LoadLatency = 3;
18e8d8bef9SDimitry Andric  let MispredictPenalty = 3;
190eae32dcSDimitry Andric  let CompleteModel = false;
2004eeddc0SDimitry Andric  let UnsupportedFeatures = [HasStdExtZbkb, HasStdExtZbkc, HasStdExtZbkx,
21*06c3fb27SDimitry Andric                             HasStdExtZcmt, HasStdExtZknd, HasStdExtZkne,
22*06c3fb27SDimitry Andric                             HasStdExtZknh, HasStdExtZksed, HasStdExtZksh,
23*06c3fb27SDimitry Andric                             HasStdExtZkr, HasVInstructions, HasVInstructionsI64];
24e8d8bef9SDimitry Andric}
25e8d8bef9SDimitry Andric
26e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===//
27e8d8bef9SDimitry Andric// Define each kind of processor resource and number available.
28e8d8bef9SDimitry Andric
29e8d8bef9SDimitry Andric// Modeling each pipeline as a ProcResource using the BufferSize = 0 since
30e8d8bef9SDimitry Andric// Rocket is in-order.
31e8d8bef9SDimitry Andric
32e8d8bef9SDimitry Andriclet BufferSize = 0 in {
33e8d8bef9SDimitry Andricdef RocketUnitALU        : ProcResource<1>; // Int ALU
34e8d8bef9SDimitry Andricdef RocketUnitIMul       : ProcResource<1>; // Int Multiply
35e8d8bef9SDimitry Andricdef RocketUnitMem        : ProcResource<1>; // Load/Store
36e8d8bef9SDimitry Andricdef RocketUnitB          : ProcResource<1>; // Branch
37e8d8bef9SDimitry Andric
38e8d8bef9SDimitry Andricdef RocketUnitFPALU      : ProcResource<1>; // FP ALU
39e8d8bef9SDimitry Andric}
40e8d8bef9SDimitry Andric
41e8d8bef9SDimitry Andriclet BufferSize = 1 in {
42e8d8bef9SDimitry Andricdef RocketUnitIDiv       : ProcResource<1>; // Int Division
43e8d8bef9SDimitry Andricdef RocketUnitFPDivSqrt  : ProcResource<1>; // FP Divide/Sqrt
44e8d8bef9SDimitry Andric}
45e8d8bef9SDimitry Andric
46e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===//
47e8d8bef9SDimitry Andric
48e8d8bef9SDimitry Andriclet SchedModel = RocketModel in {
49e8d8bef9SDimitry Andric
50e8d8bef9SDimitry Andric// Branching
51e8d8bef9SDimitry Andricdef : WriteRes<WriteJmp, [RocketUnitB]>;
52e8d8bef9SDimitry Andricdef : WriteRes<WriteJal, [RocketUnitB]>;
53e8d8bef9SDimitry Andricdef : WriteRes<WriteJalr, [RocketUnitB]>;
54e8d8bef9SDimitry Andric
55e8d8bef9SDimitry Andric// Integer arithmetic and logic
56e8d8bef9SDimitry Andricdef : WriteRes<WriteIALU32, [RocketUnitALU]>;
57e8d8bef9SDimitry Andricdef : WriteRes<WriteIALU, [RocketUnitALU]>;
58fe6060f1SDimitry Andricdef : WriteRes<WriteShiftImm32, [RocketUnitALU]>;
59fe6060f1SDimitry Andricdef : WriteRes<WriteShiftImm, [RocketUnitALU]>;
60fe6060f1SDimitry Andricdef : WriteRes<WriteShiftReg32, [RocketUnitALU]>;
61fe6060f1SDimitry Andricdef : WriteRes<WriteShiftReg, [RocketUnitALU]>;
62e8d8bef9SDimitry Andric
63e8d8bef9SDimitry Andric// Integer multiplication
64e8d8bef9SDimitry Andriclet Latency = 4 in {
65e8d8bef9SDimitry Andricdef : WriteRes<WriteIMul, [RocketUnitIMul]>;
66e8d8bef9SDimitry Andricdef : WriteRes<WriteIMul32, [RocketUnitIMul]>;
67e8d8bef9SDimitry Andric}
68e8d8bef9SDimitry Andric
69e8d8bef9SDimitry Andric// Integer division
70e8d8bef9SDimitry Andric// Worst case latency is used.
71e8d8bef9SDimitry Andricdef : WriteRes<WriteIDiv32, [RocketUnitIDiv]> {
72e8d8bef9SDimitry Andric  let Latency = 34;
73e8d8bef9SDimitry Andric  let ResourceCycles = [34];
74e8d8bef9SDimitry Andric}
75e8d8bef9SDimitry Andricdef : WriteRes<WriteIDiv, [RocketUnitIDiv]> {
76e8d8bef9SDimitry Andric  let Latency = 33;
77e8d8bef9SDimitry Andric  let ResourceCycles = [33];
78e8d8bef9SDimitry Andric}
79e8d8bef9SDimitry Andric
80e8d8bef9SDimitry Andric// Memory
81e8d8bef9SDimitry Andricdef : WriteRes<WriteSTB, [RocketUnitMem]>;
82e8d8bef9SDimitry Andricdef : WriteRes<WriteSTH, [RocketUnitMem]>;
83e8d8bef9SDimitry Andricdef : WriteRes<WriteSTW, [RocketUnitMem]>;
84e8d8bef9SDimitry Andricdef : WriteRes<WriteSTD, [RocketUnitMem]>;
85e8d8bef9SDimitry Andricdef : WriteRes<WriteFST32, [RocketUnitMem]>;
86e8d8bef9SDimitry Andricdef : WriteRes<WriteFST64, [RocketUnitMem]>;
87e8d8bef9SDimitry Andric
88e8d8bef9SDimitry Andriclet Latency = 3 in {
89e8d8bef9SDimitry Andricdef : WriteRes<WriteLDB, [RocketUnitMem]>;
90e8d8bef9SDimitry Andricdef : WriteRes<WriteLDH, [RocketUnitMem]>;
91e8d8bef9SDimitry Andric}
92e8d8bef9SDimitry Andric
93e8d8bef9SDimitry Andriclet Latency = 2 in {
94e8d8bef9SDimitry Andricdef : WriteRes<WriteLDW, [RocketUnitMem]>;
95e8d8bef9SDimitry Andricdef : WriteRes<WriteLDD, [RocketUnitMem]>;
96e8d8bef9SDimitry Andricdef : WriteRes<WriteFLD32, [RocketUnitMem]>;
97e8d8bef9SDimitry Andricdef : WriteRes<WriteFLD64, [RocketUnitMem]>;
98e8d8bef9SDimitry Andric
99e8d8bef9SDimitry Andric// Atomic memory
100e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicW, [RocketUnitMem]>;
101e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicD, [RocketUnitMem]>;
102e8d8bef9SDimitry Andric
103e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicLDW, [RocketUnitMem]>;
104e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicLDD, [RocketUnitMem]>;
105e8d8bef9SDimitry Andric}
106e8d8bef9SDimitry Andric
107e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicSTW, [RocketUnitMem]>;
108e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicSTD, [RocketUnitMem]>;
109e8d8bef9SDimitry Andric
110e8d8bef9SDimitry Andric// Single precision.
111e8d8bef9SDimitry Andriclet Latency = 4 in {
112bdd1243dSDimitry Andricdef : WriteRes<WriteFAdd32, [RocketUnitFPALU]>;
113e8d8bef9SDimitry Andricdef : WriteRes<WriteFSGNJ32, [RocketUnitFPALU]>;
114e8d8bef9SDimitry Andricdef : WriteRes<WriteFMinMax32, [RocketUnitFPALU]>;
115e8d8bef9SDimitry Andric}
116e8d8bef9SDimitry Andric
117e8d8bef9SDimitry Andric// Double precision
118e8d8bef9SDimitry Andriclet Latency = 6 in {
119bdd1243dSDimitry Andricdef : WriteRes<WriteFAdd64, [RocketUnitFPALU]>;
120e8d8bef9SDimitry Andricdef : WriteRes<WriteFSGNJ64, [RocketUnitFPALU]>;
121e8d8bef9SDimitry Andricdef : WriteRes<WriteFMinMax64, [RocketUnitFPALU]>;
122e8d8bef9SDimitry Andric}
123e8d8bef9SDimitry Andric
124e8d8bef9SDimitry Andric// Conversions
125e8d8bef9SDimitry Andriclet Latency = 2 in {
126e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI32ToF32, [RocketUnitFPALU]>;
127e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI32ToF64, [RocketUnitFPALU]>;
128e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI64ToF32, [RocketUnitFPALU]>;
129e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI64ToF64, [RocketUnitFPALU]>;
130e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToI32, [RocketUnitFPALU]>;
131e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToI64, [RocketUnitFPALU]>;
132e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToI32, [RocketUnitFPALU]>;
133e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToI64, [RocketUnitFPALU]>;
134e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToF64, [RocketUnitFPALU]>;
135e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToF32, [RocketUnitFPALU]>;
136e8d8bef9SDimitry Andric
137e8d8bef9SDimitry Andricdef : WriteRes<WriteFClass32, [RocketUnitFPALU]>;
138e8d8bef9SDimitry Andricdef : WriteRes<WriteFClass64, [RocketUnitFPALU]>;
139e8d8bef9SDimitry Andricdef : WriteRes<WriteFCmp32, [RocketUnitFPALU]>;
140e8d8bef9SDimitry Andricdef : WriteRes<WriteFCmp64, [RocketUnitFPALU]>;
141e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovF32ToI32, [RocketUnitFPALU]>;
142e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovI32ToF32, [RocketUnitFPALU]>;
143e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovF64ToI64, [RocketUnitFPALU]>;
144e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovI64ToF64, [RocketUnitFPALU]>;
145e8d8bef9SDimitry Andric}
146e8d8bef9SDimitry Andric
147e8d8bef9SDimitry Andric// FP multiplication
148e8d8bef9SDimitry Andriclet Latency = 5 in {
149e8d8bef9SDimitry Andricdef : WriteRes<WriteFMul32, [RocketUnitFPALU]>;
150fe6060f1SDimitry Andricdef : WriteRes<WriteFMA32, [RocketUnitFPALU]>;
151e8d8bef9SDimitry Andric}
152e8d8bef9SDimitry Andric
153e8d8bef9SDimitry Andriclet Latency = 7 in {
154e8d8bef9SDimitry Andricdef : WriteRes<WriteFMul64, [RocketUnitFPALU]>;
155fe6060f1SDimitry Andricdef : WriteRes<WriteFMA64, [RocketUnitFPALU]>;
156e8d8bef9SDimitry Andric}
157e8d8bef9SDimitry Andric
158e8d8bef9SDimitry Andric// FP division
159e8d8bef9SDimitry Andric// FP division unit on Rocket is not pipelined, so set resource cycles to latency.
160e8d8bef9SDimitry Andriclet Latency = 20, ResourceCycles = [20] in {
161e8d8bef9SDimitry Andricdef : WriteRes<WriteFDiv32, [RocketUnitFPDivSqrt]>;
162e8d8bef9SDimitry Andricdef : WriteRes<WriteFDiv64, [RocketUnitFPDivSqrt]>;
163e8d8bef9SDimitry Andric}
164e8d8bef9SDimitry Andric
165e8d8bef9SDimitry Andric// FP square root unit on Rocket is not pipelined, so set resource cycles to latency.
166e8d8bef9SDimitry Andricdef : WriteRes<WriteFSqrt32, [RocketUnitFPDivSqrt]> { let Latency = 20;
167e8d8bef9SDimitry Andric                                                      let ResourceCycles = [20]; }
168e8d8bef9SDimitry Andricdef : WriteRes<WriteFSqrt64, [RocketUnitFPDivSqrt]> { let Latency = 25;
169e8d8bef9SDimitry Andric                                                      let ResourceCycles = [25]; }
170e8d8bef9SDimitry Andric
171e8d8bef9SDimitry Andric// Others
172e8d8bef9SDimitry Andricdef : WriteRes<WriteCSR, []>;
173e8d8bef9SDimitry Andricdef : WriteRes<WriteNop, []>;
174e8d8bef9SDimitry Andric
175e8d8bef9SDimitry Andricdef : InstRW<[WriteIALU], (instrs COPY)>;
176e8d8bef9SDimitry Andric
177e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===//
178e8d8bef9SDimitry Andric// Bypass and advance
179e8d8bef9SDimitry Andricdef : ReadAdvance<ReadJmp, 0>;
180e8d8bef9SDimitry Andricdef : ReadAdvance<ReadJalr, 0>;
181e8d8bef9SDimitry Andricdef : ReadAdvance<ReadCSR, 0>;
182e8d8bef9SDimitry Andricdef : ReadAdvance<ReadStoreData, 0>;
183e8d8bef9SDimitry Andricdef : ReadAdvance<ReadMemBase, 0>;
184e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIALU, 0>;
185e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIALU32, 0>;
186fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftImm, 0>;
187fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftImm32, 0>;
188fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftReg, 0>;
189fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftReg32, 0>;
190e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIDiv, 0>;
191e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIDiv32, 0>;
192e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIMul, 0>;
193e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIMul32, 0>;
194e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicWA, 0>;
195e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicWD, 0>;
196e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicDA, 0>;
197e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicDD, 0>;
198e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicLDW, 0>;
199e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicLDD, 0>;
200e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicSTW, 0>;
201e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicSTD, 0>;
202bdd1243dSDimitry Andricdef : ReadAdvance<ReadFStoreData, 0>;
203e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMemBase, 0>;
204bdd1243dSDimitry Andricdef : ReadAdvance<ReadFAdd32, 0>;
205bdd1243dSDimitry Andricdef : ReadAdvance<ReadFAdd64, 0>;
206e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMul32, 0>;
207e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMul64, 0>;
208bdd1243dSDimitry Andricdef : ReadAdvance<ReadFMA32, 0>;
209fe6060f1SDimitry Andricdef : ReadAdvance<ReadFMA64, 0>;
210e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFDiv32, 0>;
211e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFDiv64, 0>;
212e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSqrt32, 0>;
213e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSqrt64, 0>;
214e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCmp32, 0>;
215e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCmp64, 0>;
216e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSGNJ32, 0>;
217e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSGNJ64, 0>;
218e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMinMax32, 0>;
219e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMinMax64, 0>;
220e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToI32, 0>;
221e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToI64, 0>;
222e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToI32, 0>;
223e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToI64, 0>;
224e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI32ToF32, 0>;
225e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI32ToF64, 0>;
226e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI64ToF32, 0>;
227e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI64ToF64, 0>;
228e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToF64, 0>;
229e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToF32, 0>;
230e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovF32ToI32, 0>;
231e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovI32ToF32, 0>;
232e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovF64ToI64, 0>;
233e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovI64ToF64, 0>;
234e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFClass32, 0>;
235e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFClass64, 0>;
236fe6060f1SDimitry Andric
2376e75b2fbSDimitry Andric//===----------------------------------------------------------------------===//
2386e75b2fbSDimitry Andric// Unsupported extensions
2396e75b2fbSDimitry Andricdefm : UnsupportedSchedV;
240fe6060f1SDimitry Andricdefm : UnsupportedSchedZba;
241fe6060f1SDimitry Andricdefm : UnsupportedSchedZbb;
24204eeddc0SDimitry Andricdefm : UnsupportedSchedZbc;
24304eeddc0SDimitry Andricdefm : UnsupportedSchedZbs;
244bdd1243dSDimitry Andricdefm : UnsupportedSchedZbkb;
245bdd1243dSDimitry Andricdefm : UnsupportedSchedZbkx;
246*06c3fb27SDimitry Andricdefm : UnsupportedSchedZfa;
247fe6060f1SDimitry Andricdefm : UnsupportedSchedZfh;
248bdd1243dSDimitry Andricdefm : UnsupportedSchedSFB;
249e8d8bef9SDimitry Andric}
250