xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/RISCV/RISCVSchedRocket.td (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
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,
2106c3fb27SDimitry Andric                             HasStdExtZcmt, HasStdExtZknd, HasStdExtZkne,
2206c3fb27SDimitry Andric                             HasStdExtZknh, HasStdExtZksed, HasStdExtZksh,
2306c3fb27SDimitry 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;
735f757f3fSDimitry Andric  let ReleaseAtCycles = [34];
74e8d8bef9SDimitry Andric}
75e8d8bef9SDimitry Andricdef : WriteRes<WriteIDiv, [RocketUnitIDiv]> {
76e8d8bef9SDimitry Andric  let Latency = 33;
775f757f3fSDimitry Andric  let ReleaseAtCycles = [33];
78e8d8bef9SDimitry Andric}
79e8d8bef9SDimitry Andric
80*0fca6ea1SDimitry Andric// Integer remainder
81*0fca6ea1SDimitry Andricdef : WriteRes<WriteIRem32, [RocketUnitIDiv]> {
82*0fca6ea1SDimitry Andric  let Latency = 34;
83*0fca6ea1SDimitry Andric  let ReleaseAtCycles = [34];
84*0fca6ea1SDimitry Andric}
85*0fca6ea1SDimitry Andricdef : WriteRes<WriteIRem, [RocketUnitIDiv]> {
86*0fca6ea1SDimitry Andric  let Latency = 33;
87*0fca6ea1SDimitry Andric  let ReleaseAtCycles = [33];
88*0fca6ea1SDimitry Andric}
89*0fca6ea1SDimitry Andric
90e8d8bef9SDimitry Andric// Memory
91e8d8bef9SDimitry Andricdef : WriteRes<WriteSTB, [RocketUnitMem]>;
92e8d8bef9SDimitry Andricdef : WriteRes<WriteSTH, [RocketUnitMem]>;
93e8d8bef9SDimitry Andricdef : WriteRes<WriteSTW, [RocketUnitMem]>;
94e8d8bef9SDimitry Andricdef : WriteRes<WriteSTD, [RocketUnitMem]>;
95e8d8bef9SDimitry Andricdef : WriteRes<WriteFST32, [RocketUnitMem]>;
96e8d8bef9SDimitry Andricdef : WriteRes<WriteFST64, [RocketUnitMem]>;
97e8d8bef9SDimitry Andric
98e8d8bef9SDimitry Andriclet Latency = 3 in {
99e8d8bef9SDimitry Andricdef : WriteRes<WriteLDB, [RocketUnitMem]>;
100e8d8bef9SDimitry Andricdef : WriteRes<WriteLDH, [RocketUnitMem]>;
101e8d8bef9SDimitry Andric}
102e8d8bef9SDimitry Andric
103e8d8bef9SDimitry Andriclet Latency = 2 in {
104e8d8bef9SDimitry Andricdef : WriteRes<WriteLDW, [RocketUnitMem]>;
105e8d8bef9SDimitry Andricdef : WriteRes<WriteLDD, [RocketUnitMem]>;
106e8d8bef9SDimitry Andricdef : WriteRes<WriteFLD32, [RocketUnitMem]>;
107e8d8bef9SDimitry Andricdef : WriteRes<WriteFLD64, [RocketUnitMem]>;
108e8d8bef9SDimitry Andric
109e8d8bef9SDimitry Andric// Atomic memory
110e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicW, [RocketUnitMem]>;
111e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicD, [RocketUnitMem]>;
112e8d8bef9SDimitry Andric
113e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicLDW, [RocketUnitMem]>;
114e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicLDD, [RocketUnitMem]>;
115e8d8bef9SDimitry Andric}
116e8d8bef9SDimitry Andric
117e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicSTW, [RocketUnitMem]>;
118e8d8bef9SDimitry Andricdef : WriteRes<WriteAtomicSTD, [RocketUnitMem]>;
119e8d8bef9SDimitry Andric
120e8d8bef9SDimitry Andric// Single precision.
121e8d8bef9SDimitry Andriclet Latency = 4 in {
122bdd1243dSDimitry Andricdef : WriteRes<WriteFAdd32, [RocketUnitFPALU]>;
123e8d8bef9SDimitry Andricdef : WriteRes<WriteFSGNJ32, [RocketUnitFPALU]>;
124e8d8bef9SDimitry Andricdef : WriteRes<WriteFMinMax32, [RocketUnitFPALU]>;
125e8d8bef9SDimitry Andric}
126e8d8bef9SDimitry Andric
127e8d8bef9SDimitry Andric// Double precision
128e8d8bef9SDimitry Andriclet Latency = 6 in {
129bdd1243dSDimitry Andricdef : WriteRes<WriteFAdd64, [RocketUnitFPALU]>;
130e8d8bef9SDimitry Andricdef : WriteRes<WriteFSGNJ64, [RocketUnitFPALU]>;
131e8d8bef9SDimitry Andricdef : WriteRes<WriteFMinMax64, [RocketUnitFPALU]>;
132e8d8bef9SDimitry Andric}
133e8d8bef9SDimitry Andric
134e8d8bef9SDimitry Andric// Conversions
135e8d8bef9SDimitry Andriclet Latency = 2 in {
136e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI32ToF32, [RocketUnitFPALU]>;
137e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI32ToF64, [RocketUnitFPALU]>;
138e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI64ToF32, [RocketUnitFPALU]>;
139e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtI64ToF64, [RocketUnitFPALU]>;
140e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToI32, [RocketUnitFPALU]>;
141e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToI64, [RocketUnitFPALU]>;
142e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToI32, [RocketUnitFPALU]>;
143e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToI64, [RocketUnitFPALU]>;
144e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF32ToF64, [RocketUnitFPALU]>;
145e8d8bef9SDimitry Andricdef : WriteRes<WriteFCvtF64ToF32, [RocketUnitFPALU]>;
146e8d8bef9SDimitry Andric
147e8d8bef9SDimitry Andricdef : WriteRes<WriteFClass32, [RocketUnitFPALU]>;
148e8d8bef9SDimitry Andricdef : WriteRes<WriteFClass64, [RocketUnitFPALU]>;
149e8d8bef9SDimitry Andricdef : WriteRes<WriteFCmp32, [RocketUnitFPALU]>;
150e8d8bef9SDimitry Andricdef : WriteRes<WriteFCmp64, [RocketUnitFPALU]>;
151e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovF32ToI32, [RocketUnitFPALU]>;
152e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovI32ToF32, [RocketUnitFPALU]>;
153e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovF64ToI64, [RocketUnitFPALU]>;
154e8d8bef9SDimitry Andricdef : WriteRes<WriteFMovI64ToF64, [RocketUnitFPALU]>;
155e8d8bef9SDimitry Andric}
156e8d8bef9SDimitry Andric
157e8d8bef9SDimitry Andric// FP multiplication
158e8d8bef9SDimitry Andriclet Latency = 5 in {
159e8d8bef9SDimitry Andricdef : WriteRes<WriteFMul32, [RocketUnitFPALU]>;
160fe6060f1SDimitry Andricdef : WriteRes<WriteFMA32, [RocketUnitFPALU]>;
161e8d8bef9SDimitry Andric}
162e8d8bef9SDimitry Andric
163e8d8bef9SDimitry Andriclet Latency = 7 in {
164e8d8bef9SDimitry Andricdef : WriteRes<WriteFMul64, [RocketUnitFPALU]>;
165fe6060f1SDimitry Andricdef : WriteRes<WriteFMA64, [RocketUnitFPALU]>;
166e8d8bef9SDimitry Andric}
167e8d8bef9SDimitry Andric
168e8d8bef9SDimitry Andric// FP division
169e8d8bef9SDimitry Andric// FP division unit on Rocket is not pipelined, so set resource cycles to latency.
1705f757f3fSDimitry Andriclet Latency = 20, ReleaseAtCycles = [20] in {
171e8d8bef9SDimitry Andricdef : WriteRes<WriteFDiv32, [RocketUnitFPDivSqrt]>;
172e8d8bef9SDimitry Andricdef : WriteRes<WriteFDiv64, [RocketUnitFPDivSqrt]>;
173e8d8bef9SDimitry Andric}
174e8d8bef9SDimitry Andric
175e8d8bef9SDimitry Andric// FP square root unit on Rocket is not pipelined, so set resource cycles to latency.
176e8d8bef9SDimitry Andricdef : WriteRes<WriteFSqrt32, [RocketUnitFPDivSqrt]> { let Latency = 20;
1775f757f3fSDimitry Andric                                                      let ReleaseAtCycles = [20]; }
178e8d8bef9SDimitry Andricdef : WriteRes<WriteFSqrt64, [RocketUnitFPDivSqrt]> { let Latency = 25;
1795f757f3fSDimitry Andric                                                      let ReleaseAtCycles = [25]; }
180e8d8bef9SDimitry Andric
181e8d8bef9SDimitry Andric// Others
182e8d8bef9SDimitry Andricdef : WriteRes<WriteCSR, []>;
183e8d8bef9SDimitry Andricdef : WriteRes<WriteNop, []>;
184e8d8bef9SDimitry Andric
185e8d8bef9SDimitry Andricdef : InstRW<[WriteIALU], (instrs COPY)>;
186e8d8bef9SDimitry Andric
187e8d8bef9SDimitry Andric//===----------------------------------------------------------------------===//
188e8d8bef9SDimitry Andric// Bypass and advance
189e8d8bef9SDimitry Andricdef : ReadAdvance<ReadJmp, 0>;
190e8d8bef9SDimitry Andricdef : ReadAdvance<ReadJalr, 0>;
191e8d8bef9SDimitry Andricdef : ReadAdvance<ReadCSR, 0>;
192e8d8bef9SDimitry Andricdef : ReadAdvance<ReadStoreData, 0>;
193e8d8bef9SDimitry Andricdef : ReadAdvance<ReadMemBase, 0>;
194e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIALU, 0>;
195e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIALU32, 0>;
196fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftImm, 0>;
197fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftImm32, 0>;
198fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftReg, 0>;
199fe6060f1SDimitry Andricdef : ReadAdvance<ReadShiftReg32, 0>;
200e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIDiv, 0>;
201e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIDiv32, 0>;
202*0fca6ea1SDimitry Andricdef : ReadAdvance<ReadIRem, 0>;
203*0fca6ea1SDimitry Andricdef : ReadAdvance<ReadIRem32, 0>;
204e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIMul, 0>;
205e8d8bef9SDimitry Andricdef : ReadAdvance<ReadIMul32, 0>;
206e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicWA, 0>;
207e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicWD, 0>;
208e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicDA, 0>;
209e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicDD, 0>;
210e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicLDW, 0>;
211e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicLDD, 0>;
212e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicSTW, 0>;
213e8d8bef9SDimitry Andricdef : ReadAdvance<ReadAtomicSTD, 0>;
214bdd1243dSDimitry Andricdef : ReadAdvance<ReadFStoreData, 0>;
215e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMemBase, 0>;
216bdd1243dSDimitry Andricdef : ReadAdvance<ReadFAdd32, 0>;
217bdd1243dSDimitry Andricdef : ReadAdvance<ReadFAdd64, 0>;
218e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMul32, 0>;
219e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMul64, 0>;
220bdd1243dSDimitry Andricdef : ReadAdvance<ReadFMA32, 0>;
2215f757f3fSDimitry Andricdef : ReadAdvance<ReadFMA32Addend, 0>;
222fe6060f1SDimitry Andricdef : ReadAdvance<ReadFMA64, 0>;
2235f757f3fSDimitry Andricdef : ReadAdvance<ReadFMA64Addend, 0>;
224e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFDiv32, 0>;
225e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFDiv64, 0>;
226e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSqrt32, 0>;
227e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSqrt64, 0>;
228e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCmp32, 0>;
229e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCmp64, 0>;
230e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSGNJ32, 0>;
231e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFSGNJ64, 0>;
232e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMinMax32, 0>;
233e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMinMax64, 0>;
234e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToI32, 0>;
235e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToI64, 0>;
236e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToI32, 0>;
237e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToI64, 0>;
238e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI32ToF32, 0>;
239e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI32ToF64, 0>;
240e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI64ToF32, 0>;
241e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtI64ToF64, 0>;
242e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF32ToF64, 0>;
243e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFCvtF64ToF32, 0>;
244e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovF32ToI32, 0>;
245e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovI32ToF32, 0>;
246e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovF64ToI64, 0>;
247e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFMovI64ToF64, 0>;
248e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFClass32, 0>;
249e8d8bef9SDimitry Andricdef : ReadAdvance<ReadFClass64, 0>;
250fe6060f1SDimitry Andric
2516e75b2fbSDimitry Andric//===----------------------------------------------------------------------===//
2526e75b2fbSDimitry Andric// Unsupported extensions
2536e75b2fbSDimitry Andricdefm : UnsupportedSchedV;
254*0fca6ea1SDimitry Andricdefm : UnsupportedSchedZabha;
255fe6060f1SDimitry Andricdefm : UnsupportedSchedZba;
256fe6060f1SDimitry Andricdefm : UnsupportedSchedZbb;
25704eeddc0SDimitry Andricdefm : UnsupportedSchedZbc;
25804eeddc0SDimitry Andricdefm : UnsupportedSchedZbs;
259bdd1243dSDimitry Andricdefm : UnsupportedSchedZbkb;
260bdd1243dSDimitry Andricdefm : UnsupportedSchedZbkx;
26106c3fb27SDimitry Andricdefm : UnsupportedSchedZfa;
262fe6060f1SDimitry Andricdefm : UnsupportedSchedZfh;
263bdd1243dSDimitry Andricdefm : UnsupportedSchedSFB;
264*0fca6ea1SDimitry Andricdefm : UnsupportedSchedXsfvcp;
265*0fca6ea1SDimitry Andricdefm : UnsupportedSchedZvk;
266e8d8bef9SDimitry Andric}
267